Uses of Class
eu.bandm.sig.absy.Pattern

Packages that use Pattern

eu.bandm.sig.absy	created on 2012-06-22_17h11m15 by program umod, version 0.17 command line = umod --getterfunctions true --setterfunctions true --monolithic false --swingtree true -x 0 /home/lepper/sig//src eu.bandm.sig.absy sig2.umod
eu.bandm.sig.semantics

Uses of Pattern in eu.bandm.sig.absy

Subclasses of Pattern in eu.bandm.sig.absy

class	AggregatePattern
class	BinaryPattern
class	ConjunctivePattern
class	PatternVariable
class	PCast
class	PCotuple
class	PDisjoint
class	PIntersect
class	POverlay
class	PTuple
class	PVar
class	TuplePattern
class	VariantPattern

Fields in eu.bandm.sig.absy declared as Pattern

protected Pattern	VariantPattern.body
protected Pattern	PCast.body
protected Pattern	PCotuple.body
protected Pattern	ConjunctivePattern.left
protected Pattern	Equation.left
protected Pattern	CAxiom.left
protected Pattern	CEquation.left
protected Pattern	BinaryPattern.left
protected Pattern	REquation.left
protected Pattern	ConjunctivePattern.right
protected Pattern	BinaryPattern.right

Fields in eu.bandm.sig.absy with type parameters of type Pattern

protected CheckedMap_RD<Label,Pattern>	TuplePattern.elements
protected CheckedMap_RD<Label,Pattern>	PTuple.elems
static Function<Pattern,CheckedMap_D<Variable,Type>>	Pattern.get_bindings
static Function<VariantPattern,Pattern>	VariantPattern.get_body
static Function<PCast,Pattern>	PCast.get_body
static Function<PCotuple,Pattern>	PCotuple.get_body
static Function<TuplePattern,CheckedMap_RD<Label,Pattern>>	TuplePattern.get_elements
static Function<PTuple,CheckedMap_RD<Label,Pattern>>	PTuple.get_elems
static Function<ConjunctivePattern,Pattern>	ConjunctivePattern.get_left
static Function<Equation,Pattern>	Equation.get_left
static Function<CAxiom,Pattern>	CAxiom.get_left
static Function<CEquation,Pattern>	CEquation.get_left
static Function<BinaryPattern,Pattern>	BinaryPattern.get_left
static Function<REquation,Pattern>	REquation.get_left
static Function<ConjunctivePattern,Pattern>	ConjunctivePattern.get_right
static Function<BinaryPattern,Pattern>	BinaryPattern.get_right
static Function<Pattern,Type>	Pattern.get_type
static Consumer<CheckedMap_D<Variable,Type>,Pattern>	Pattern.set_bindings
static Consumer<Pattern,PCast>	PCast.set_body
static Consumer<Pattern,PCotuple>	PCotuple.set_body
static Consumer<CheckedMap_RD<Label,Pattern>,PTuple>	PTuple.set_elems
static Consumer<Pattern,CAxiom>	CAxiom.set_left
static Consumer<Pattern,CEquation>	CEquation.set_left
static Consumer<Pattern,BinaryPattern>	BinaryPattern.set_left
static Consumer<Pattern,REquation>	REquation.set_left
static Consumer<Pattern,BinaryPattern>	BinaryPattern.set_right
static Consumer<Type,Pattern>	Pattern.set_type

Methods in eu.bandm.sig.absy that return Pattern

Pattern	Pattern.doclone()
Pattern	VariantPattern.get_body()
Pattern	PCast.get_body()
Pattern	PCotuple.get_body()
Pattern	ConjunctivePattern.get_left()
Pattern	Equation.get_left()
Pattern	CAxiom.get_left()
Pattern	CEquation.get_left()
Pattern	BinaryPattern.get_left()
Pattern	REquation.get_left()
Pattern	ConjunctivePattern.get_right()
Pattern	BinaryPattern.get_right()
Pattern	Pattern.initFrom(Object o0)
Pattern	SAX_Parser.matchSAX_Pattern(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
Pattern	SAX_Parser.XMLPARSER_Pattern.parseSAX()

Methods in eu.bandm.sig.absy that return types with arguments of type Pattern

CheckedMap_RD<Label,Pattern>	TuplePattern.get_elements()
CheckedMap_RD<Label,Pattern>	PTuple.get_elems()
protected CheckedMap_RD<Label,Pattern>	SAX_Parser.parse_5()

Methods in eu.bandm.sig.absy with parameters of type Pattern

void	SAX_Writer.action(Pattern e0)
protected void	__TREEGEN__.Inner1.Inner2.action(Pattern e0)
protected void	__Formatter.action(Pattern el)
protected void	Visitor.action(Pattern e0)
protected void	Rewriter.action(Pattern e0)
protected void	MATCH_ONLY_00.action(Pattern e0)
void	SAX_Writer.dumpfields(Pattern e0)
void	MATCH_ONLY_00.match(Pattern e0)
void	SAX_Parser.XMLPARSER_Pattern.parsefields(Pattern newobj, eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
void	TuplePattern.put_elements(Label key0, Pattern value)
void	PTuple.put_elems(Label key0, Pattern value)
protected void	Rewriter.rewriteFields(Pattern clone)
void	VariantPattern.set_body(Pattern val)
boolean	PCast.set_body(Pattern val)
boolean	PCotuple.set_body(Pattern val)
void	ConjunctivePattern.set_left(Pattern val)
void	Equation.set_left(Pattern val)
boolean	CAxiom.set_left(Pattern val)
boolean	CEquation.set_left(Pattern val)
boolean	BinaryPattern.set_left(Pattern val)
boolean	REquation.set_left(Pattern val)
void	ConjunctivePattern.set_right(Pattern val)
boolean	BinaryPattern.set_right(Pattern val)
protected Format	__Formatter.toFormat(Pattern el)

Method parameters in eu.bandm.sig.absy with type arguments of type Pattern

void	TuplePattern.set_elements(CheckedMap_RD<Label,Pattern> val)
boolean	PTuple.set_elems(CheckedMap_RD<Label,Pattern> val)

Constructors in eu.bandm.sig.absy with parameters of type Pattern

BinaryPattern(Pattern left, Pattern right)

CAxiom(Pattern left)

CEquation(Pattern left, Expression right)

ConjunctivePattern(Pattern left, Pattern right)

Equation(Pattern left, Expr right)

PCast(boolean open, Type target, Pattern body)

PCotuple(Label selector, Pattern body)

PDisjoint(Pattern left, Pattern right)

PIntersect(Pattern left, Pattern right)

POverlay(Pattern left, Pattern right)

REquation(Pattern left, Expression right)

VariantPattern(Label label, Pattern body)

Constructor parameters in eu.bandm.sig.absy with type arguments of type Pattern

PTuple(CheckedMap_RD<Label,Pattern> elems)

Uses of Pattern in eu.bandm.sig.semantics

Methods in eu.bandm.sig.semantics that return Pattern

Pattern

Sig2Reducer.reducePattern(eu.bandm.sig.tdom.Element element)

Methods in eu.bandm.sig.semantics with parameters of type Pattern

static eu.bandm.sig.semantics.TermAlgebra.Variables

TermAlgebra.variables(Pattern p)