Package eu.bandm.tools.d2d2.rt

Class __Patterns

java.lang.Object

eu.bandm.tools.d2d2.rt.__Patterns

@Generated(generator="eu.bandm.tools.umod",
           version="",
           timestamp="2026-02-01_13h21m14")
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 @Opt Binding> p_predec, Pattern<? super String> p_id, Pattern<? super Expression> p_exp, Pattern<? super ImportContext> p_context, Pattern<? super @Opt String> p_definitionName, Pattern<? super Boolean> p_used)
static Pattern<FlattenContext>	term_FlattenContext(Pattern<Object> superpattern, Pattern<? super @Opt FlattenContext> p_predec, Pattern<? super @Opt Binding> p_localSubsts)
static Pattern<ImportContext>	term_ImportContext(Pattern<Object> superpattern, Pattern<? super @Opt 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 NonNullKeyMap<String,@Opt ImportContext>> p_subs, Pattern<? super Integer> p_level)
static Pattern<PermutationGroup>	term_PermutationGroup(Pattern<? super Udom> superpattern, Pattern<? super Perm> p_rule, Pattern<? super NonNullMap<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 NonNullList<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 Multimap<Definition,ResultingStructure>> p_assoc)
static Pattern<State>	term_State(Pattern<Object> superpattern, Pattern<? super @Opt State> p_predec, Pattern<? super ResultContainer> p_result, Pattern<? super @Opt 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 NonNullSet<Expression>> p_obligates, Pattern<? super NonNullSet<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_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 NonNullSet<Expression>> p_obligates,
 Pattern<? super NonNullSet<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 @Opt FlattenContext> p_predec,
 Pattern<? super @Opt Binding> p_localSubsts)

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 @Opt State> p_predec,
 Pattern<? super ResultContainer> p_result,
 Pattern<? super @Opt 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_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 NonNullList<Udom>> p_sequ)

cast_Udom

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

term_Udom

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

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_Binding

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

term_Binding

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

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)

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 Multimap<Definition,ResultingStructure>> p_assoc)

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_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_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 NonNullMap<Expression,PermutationSubexpression>> p_subs)

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_ImportContext

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

term_ImportContext

public static Pattern<ImportContext> term_ImportContext(Pattern<Object> superpattern,
 Pattern<? super @Opt 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 NonNullKeyMap<String,@Opt ImportContext>> p_subs,
 Pattern<? super Integer> p_level)