Package eu.bandm.tools.d2d2.rt
Class __Patterns
java.lang.Object
eu.bandm.tools.d2d2.rt.__Patterns
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
-
Method Summary
Modifier and TypeMethodDescriptioncast_Binding
(Pattern<? super Binding> p) cast_FlattenContext
(Pattern<? super FlattenContext> p) cast_ImportContext
(Pattern<? super ImportContext> p) cast_PermutationGroup
(Pattern<? super PermutationGroup> p) cast_ResultContainer
(Pattern<? super ResultContainer> p) cast_ResultingChars
(Pattern<? super ResultingChars> p) cast_ResultingStructure
(Pattern<? super ResultingStructure> p) cast_State
(Pattern<? super State> p) cast_State_perm
(Pattern<? super State_perm> p) cast_State_rep
(Pattern<? super State_rep> p) cast_State_sequ
(Pattern<? super State_sequ> p) cast_State_singleton
(Pattern<? super State_singleton> p) cast_SubstituteChars
(Pattern<? super SubstituteChars> p) 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) 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) 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)
-
Constructor Details
-
__Patterns
public __Patterns()
-
-
Method Details
-
cast_ResultingChars
-
term_ResultingChars
-
cast_SubstituteChars
-
term_SubstituteChars
public static Pattern<SubstituteChars> term_SubstituteChars(Pattern<? super ResultingChars> superpattern, Pattern<? super Location<String>> p_endLocation) -
cast_State
-
term_State
-
cast_State_rep
-
term_State_rep
-
cast_PermutationGroup
-
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
-
term_Udom
-
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
-
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
-
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
-
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
-
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
-
term_Binding
-
cast_State_perm
-
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
-
term_FlattenContext
public static Pattern<FlattenContext> term_FlattenContext(Pattern<Object> superpattern, Pattern<? super FlattenContext> p_predec, Pattern<? super Binding> p_localSubsts) -
cast_State_sequ
-
term_State_sequ
-