Package eu.bandm.tools.d2d2.rt

Class __Patterns

java.lang.Object

eu.bandm.tools.d2d2.rt.__Patterns

public class __Patterns
extends Object

Ancillary class providing Paisley compound patterns. The methods with names cast_[T] simply call ReflectionPatterns.forInstancesOf(java.lang.Class, eu.bandm.tools.paisley.Pattern). Thus they combine a pattern which matches some super type with a type check.

The methods with names term_[T] get as parameters one pattern for the super class and one for each own field and combine them to a pattern for the class T.

(The 'term(..)' methods do intentionally not include the code of the 'cast(..)' methods, because the latter is not needed when the former is used as the pattern for the superclass.)

Constructor Summary

Constructors

Constructor	Description
__Patterns()

Method Summary

Modifier and Type	Method	Description
static Pattern<Object>	cast_Binding(Pattern<? super Binding> p)
static Pattern<Object>	cast_FlattenContext(Pattern<? super FlattenContext> p)
static Pattern<Object>	cast_ImportContext(Pattern<? super ImportContext> p)
static Pattern<Object>	cast_PermutationGroup(Pattern<? super PermutationGroup> p)
static Pattern<Object>	cast_PermutationSubexpression(Pattern<? super PermutationSubexpression> p)
static Pattern<Object>	cast_ResultContainer(Pattern<? super ResultContainer> p)
static Pattern<Object>	cast_ResultingChars(Pattern<? super ResultingChars> p)
static Pattern<Object>	cast_ResultingStructure(Pattern<? super ResultingStructure> p)
static Pattern<Object>	cast_State(Pattern<? super State> p)
static Pattern<Object>	cast_State_perm(Pattern<? super State_perm> p)
static Pattern<Object>	cast_State_rep(Pattern<? super State_rep> p)
static Pattern<Object>	cast_State_sequ(Pattern<? super State_sequ> p)
static Pattern<Object>	cast_State_singleton(Pattern<? super State_singleton> p)
static Pattern<Object>	cast_SubstituteChars(Pattern<? super SubstituteChars> p)
static Pattern<Object>	cast_Udom(Pattern<? super Udom> p)
static Pattern<Binding>	term_Binding(Pattern<Object> superpattern, Pattern<? super Binding> p_predec, Pattern<? super String> p_id, Pattern<? super Expression> p_exp, Pattern<? super ImportContext> p_context, Pattern<? super String> p_definitionName, Pattern<? super Boolean> p_used)
static Pattern<FlattenContext>	term_FlattenContext(Pattern<Object> superpattern, Pattern<? super FlattenContext> p_predec, Pattern<? super Binding> p_localSubsts)
static Pattern<ImportContext>	term_ImportContext(Pattern<Object> superpattern, Pattern<? super ImportContext> p_predec, Pattern<? super ImportItem> p_importItem, Pattern<? super String> p_moduleAddress, Pattern<? super Module> p_rawModule, Pattern<? super String> p_key, Pattern<? super CheckedMap_D<String,ImportContext>> p_subs, Pattern<? super Integer> p_level)
static Pattern<PermutationGroup>	term_PermutationGroup(Pattern<? super Udom> superpattern, Pattern<? super Perm> p_rule, Pattern<? super CheckedMap_RD<Expression,PermutationSubexpression>> p_subs)
static Pattern<PermutationSubexpression>	term_PermutationSubexpression(Pattern<? super ResultContainer> superpattern)
static Pattern<ResultContainer>	term_ResultContainer(Pattern<? super Udom> superpattern, Pattern<? super Location<String>> p_location, Pattern<? super CheckedList<Udom>> p_sequ)
static Pattern<ResultingChars>	term_ResultingChars(Pattern<? super Udom> superpattern, Pattern<? super MemString<String>> p_chars, Pattern<? super Boolean> p_isWhitespace)
static Pattern<ResultingStructure>	term_ResultingStructure(Pattern<? super ResultContainer> superpattern, Pattern<? super Definition> p_tag, Pattern<? super CheckedMultimap_RD<Definition,ResultingStructure>> p_assoc)
static Pattern<State>	term_State(Pattern<Object> superpattern, Pattern<? super State> p_predec, Pattern<? super ResultContainer> p_result, Pattern<? super Expression> p_rule, Pattern<? super Boolean> p_inxslt)
static Pattern<State_perm>	term_State_perm(Pattern<? super State> superpattern, Pattern<? super PermutationGroup> p_directory, Pattern<? super CheckedSet<Expression>> p_obligates, Pattern<? super CheckedSet<Expression>> p_consumed)
static Pattern<State_rep>	term_State_rep(Pattern<? super State> superpattern)
static Pattern<State_sequ>	term_State_sequ(Pattern<? super State> superpattern, Pattern<? super Integer> p_position)
static Pattern<State_singleton>	term_State_singleton(Pattern<? super State> superpattern, Pattern<? super Reference> p_ref, Pattern<? super Definition> p_def)
static Pattern<SubstituteChars>	term_SubstituteChars(Pattern<? super ResultingChars> superpattern, Pattern<? super Location<String>> p_endLocation)
static Pattern<Udom>	term_Udom(Pattern<Object> superpattern)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

__Patterns

public __Patterns()

Method Details

cast_ResultingChars

public static Pattern<Object> cast_ResultingChars(Pattern<? super ResultingChars> p)

term_ResultingChars

public static Pattern<ResultingChars> term_ResultingChars(Pattern<? super Udom> superpattern,
 Pattern<? super MemString<String>> p_chars,
 Pattern<? super Boolean> p_isWhitespace)

cast_SubstituteChars

public static Pattern<Object> cast_SubstituteChars(Pattern<? super SubstituteChars> p)

term_SubstituteChars

public static Pattern<SubstituteChars> term_SubstituteChars(Pattern<? super ResultingChars> superpattern,
 Pattern<? super Location<String>> p_endLocation)

cast_State

public static Pattern<Object> cast_State(Pattern<? super State> p)

term_State

public static Pattern<State> term_State(Pattern<Object> superpattern,
 Pattern<? super State> p_predec,
 Pattern<? super ResultContainer> p_result,
 Pattern<? super Expression> p_rule,
 Pattern<? super Boolean> p_inxslt)

cast_State_rep

public static Pattern<Object> cast_State_rep(Pattern<? super State_rep> p)

term_State_rep

public static Pattern<State_rep> term_State_rep(Pattern<? super State> superpattern)

cast_PermutationGroup

public static Pattern<Object> cast_PermutationGroup(Pattern<? super PermutationGroup> p)

term_PermutationGroup

public static Pattern<PermutationGroup> term_PermutationGroup(Pattern<? super Udom> superpattern,
 Pattern<? super Perm> p_rule,
 Pattern<? super CheckedMap_RD<Expression,PermutationSubexpression>> p_subs)

cast_Udom

public static Pattern<Object> cast_Udom(Pattern<? super Udom> p)

term_Udom

public static Pattern<Udom> term_Udom(Pattern<Object> superpattern)

cast_PermutationSubexpression

public static Pattern<Object> cast_PermutationSubexpression(Pattern<? super PermutationSubexpression> p)

term_PermutationSubexpression

public static Pattern<PermutationSubexpression> term_PermutationSubexpression(Pattern<? super ResultContainer> superpattern)

cast_ImportContext

public static Pattern<Object> cast_ImportContext(Pattern<? super ImportContext> p)

term_ImportContext

public static Pattern<ImportContext> term_ImportContext(Pattern<Object> superpattern,
 Pattern<? super ImportContext> p_predec,
 Pattern<? super ImportItem> p_importItem,
 Pattern<? super String> p_moduleAddress,
 Pattern<? super Module> p_rawModule,
 Pattern<? super String> p_key,
 Pattern<? super CheckedMap_D<String,ImportContext>> p_subs,
 Pattern<? super Integer> p_level)

cast_ResultingStructure

public static Pattern<Object> cast_ResultingStructure(Pattern<? super ResultingStructure> p)

term_ResultingStructure

public static Pattern<ResultingStructure> term_ResultingStructure(Pattern<? super ResultContainer> superpattern,
 Pattern<? super Definition> p_tag,
 Pattern<? super CheckedMultimap_RD<Definition,ResultingStructure>> p_assoc)

cast_State_singleton

public static Pattern<Object> cast_State_singleton(Pattern<? super State_singleton> p)

term_State_singleton

public static Pattern<State_singleton> term_State_singleton(Pattern<? super State> superpattern,
 Pattern<? super Reference> p_ref,
 Pattern<? super Definition> p_def)

cast_ResultContainer

public static Pattern<Object> cast_ResultContainer(Pattern<? super ResultContainer> p)

term_ResultContainer

public static Pattern<ResultContainer> term_ResultContainer(Pattern<? super Udom> superpattern,
 Pattern<? super Location<String>> p_location,
 Pattern<? super CheckedList<Udom>> p_sequ)

cast_Binding

public static Pattern<Object> cast_Binding(Pattern<? super Binding> p)

term_Binding

public static Pattern<Binding> term_Binding(Pattern<Object> superpattern,
 Pattern<? super Binding> p_predec,
 Pattern<? super String> p_id,
 Pattern<? super Expression> p_exp,
 Pattern<? super ImportContext> p_context,
 Pattern<? super String> p_definitionName,
 Pattern<? super Boolean> p_used)

cast_State_perm

public static Pattern<Object> cast_State_perm(Pattern<? super State_perm> p)

term_State_perm

public static Pattern<State_perm> term_State_perm(Pattern<? super State> superpattern,
 Pattern<? super PermutationGroup> p_directory,
 Pattern<? super CheckedSet<Expression>> p_obligates,
 Pattern<? super CheckedSet<Expression>> p_consumed)

cast_FlattenContext

public static Pattern<Object> cast_FlattenContext(Pattern<? super FlattenContext> p)

term_FlattenContext

public static Pattern<FlattenContext> term_FlattenContext(Pattern<Object> superpattern,
 Pattern<? super FlattenContext> p_predec,
 Pattern<? super Binding> p_localSubsts)

cast_State_sequ

public static Pattern<Object> cast_State_sequ(Pattern<? super State_sequ> p)

term_State_sequ

public static Pattern<State_sequ> term_State_sequ(Pattern<? super State> superpattern,
 Pattern<? super Integer> p_position)