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

Packages that use Label
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 Label in eu.bandm.sig.absy
 

Subclasses of Label in eu.bandm.sig.absy
 class Index
           
 class LIndex
           
 class LName
           
 class Name
           
 

Fields in eu.bandm.sig.absy declared as Label
protected  Label TypeComponent.label
           
protected  Label VariantExpr.label
           
protected  Label VariantPattern.label
           
protected  Label TAccept.selector
           
protected  Label OAccept.selector
           
protected  Label OCommit.selector
           
protected  Label Selection.selector
           
protected  Label ECotuple.selector
           
protected  Label PCotuple.selector
           
protected  Label TCotuple.selector
           
protected  Label ESelect.selector
           
protected  Label OCotuple.selector
           
protected  Label OSelect.selector
           
protected  Label OCoselect.selector
           
 

Fields in eu.bandm.sig.absy with type parameters of type Label
protected  CheckedMap_RD<Label,Type> AggregateType.components
           
protected  CheckedMap_RD<Label,Pattern> TuplePattern.elements
           
protected  CheckedMap_RD<Label,Expr> Tuple.elements
           
protected  CheckedMap_RD<Label,FVar> FProduct.elems
           
protected  CheckedMap_RD<Label,FProduct> FCoproduct.elems
           
protected  CheckedMap_RD<Label,Variable> OTuple.elems
           
protected  CheckedMap_RD<Label,Type> FamilyType.elems
           
protected  CheckedMap_RD<Label,Expression> ETuple.elems
           
protected  CheckedMap_RD<Label,Pattern> PTuple.elems
           
static Function<AggregateType,CheckedMap_RD<Label,Type>> AggregateType.get_components
           
static Function<TuplePattern,CheckedMap_RD<Label,Pattern>> TuplePattern.get_elements
           
static Function<Tuple,CheckedMap_RD<Label,Expr>> Tuple.get_elements
           
static Function<FProduct,CheckedMap_RD<Label,FVar>> FProduct.get_elems
           
static Function<FCoproduct,CheckedMap_RD<Label,FProduct>> FCoproduct.get_elems
           
static Function<OTuple,CheckedMap_RD<Label,Variable>> OTuple.get_elems
           
static Function<FamilyType,CheckedMap_RD<Label,Type>> FamilyType.get_elems
           
static Function<ETuple,CheckedMap_RD<Label,Expression>> ETuple.get_elems
           
static Function<PTuple,CheckedMap_RD<Label,Pattern>> PTuple.get_elems
           
static Function<TypeComponent,Label> TypeComponent.get_label
           
static Function<VariantExpr,Label> VariantExpr.get_label
           
static Function<VariantPattern,Label> VariantPattern.get_label
           
static Function<LambdaExpr,CheckedMap_RD<Label,Rule>> LambdaExpr.get_rules
           
static Function<CaseExpr,CheckedMap_RD<Label,Rule>> CaseExpr.get_rules
           
static Function<TAccept,Label> TAccept.get_selector
           
static Function<OAccept,Label> OAccept.get_selector
           
static Function<OCommit,Label> OCommit.get_selector
           
static Function<Selection,Label> Selection.get_selector
           
static Function<ECotuple,Label> ECotuple.get_selector
           
static Function<PCotuple,Label> PCotuple.get_selector
           
static Function<TCotuple,Label> TCotuple.get_selector
           
static Function<ESelect,Label> ESelect.get_selector
           
static Function<OCotuple,Label> OCotuple.get_selector
           
static Function<OSelect,Label> OSelect.get_selector
           
static Function<OCoselect,Label> OCoselect.get_selector
           
static Function<TypeBinding,CheckedMap_RD<Label,TypeBoundVariable>> TypeBinding.get_variables
           
protected  CheckedMap_RD<Label,Rule> LambdaExpr.rules
           
protected  CheckedMap_RD<Label,Rule> CaseExpr.rules
           
static Consumer<CheckedMap_RD<Label,Variable>,OTuple> OTuple.set_elems
           
static Consumer<CheckedMap_RD<Label,Type>,FamilyType> FamilyType.set_elems
           
static Consumer<CheckedMap_RD<Label,Expression>,ETuple> ETuple.set_elems
           
static Consumer<CheckedMap_RD<Label,Pattern>,PTuple> PTuple.set_elems
           
static Consumer<Label,ECotuple> ECotuple.set_selector
           
static Consumer<Label,PCotuple> PCotuple.set_selector
           
static Consumer<Label,TCotuple> TCotuple.set_selector
           
static Consumer<Label,ESelect> ESelect.set_selector
           
static Consumer<Label,OCotuple> OCotuple.set_selector
           
static Consumer<Label,OSelect> OSelect.set_selector
           
static Consumer<Label,OCoselect> OCoselect.set_selector
           
protected  CheckedMap_RD<Label,TypeBoundVariable> TypeBinding.variables
           
 

Methods in eu.bandm.sig.absy that return Label
 Label Label.doclone()
           
 Label TypeComponent.get_label()
           
 Label VariantExpr.get_label()
           
 Label VariantPattern.get_label()
           
 Label TAccept.get_selector()
           
 Label OAccept.get_selector()
           
 Label OCommit.get_selector()
           
 Label Selection.get_selector()
           
 Label ECotuple.get_selector()
           
 Label PCotuple.get_selector()
           
 Label TCotuple.get_selector()
           
 Label ESelect.get_selector()
           
 Label OCotuple.get_selector()
           
 Label OSelect.get_selector()
           
 Label OCoselect.get_selector()
           
 Label Label.initFrom(Object o0)
           
 Label SAX_Parser.matchSAX_Label(eu.bandm.tools.umod.runtime.TsoapPrimitives.BackPatchLocation pos)
           
 Label SAX_Parser.XMLPARSER_Label.parseSAX()
           
 

Methods in eu.bandm.sig.absy that return types with arguments of type Label
 CheckedMap_RD<Label,Type> AggregateType.get_components()
           
 CheckedMap_RD<Label,Pattern> TuplePattern.get_elements()
           
 CheckedMap_RD<Label,Expr> Tuple.get_elements()
           
 CheckedMap_RD<Label,FVar> FProduct.get_elems()
           
 CheckedMap_RD<Label,FProduct> FCoproduct.get_elems()
           
 CheckedMap_RD<Label,Variable> OTuple.get_elems()
           
 CheckedMap_RD<Label,Type> FamilyType.get_elems()
           
 CheckedMap_RD<Label,Expression> ETuple.get_elems()
           
 CheckedMap_RD<Label,Pattern> PTuple.get_elems()
           
 CheckedMap_RD<Label,Rule> LambdaExpr.get_rules()
           
 CheckedMap_RD<Label,Rule> CaseExpr.get_rules()
           
 CheckedMap_RD<Label,TypeBoundVariable> TypeBinding.get_variables()
           
protected  CheckedMap_RD<Label,Rule> SAX_Parser.parse_1()
           
protected  CheckedMap_RD<Label,Rule> SAX_Parser.parse_3()
           
protected  CheckedMap_RD<Label,Expr> SAX_Parser.parse_4()
           
protected  CheckedMap_RD<Label,Pattern> SAX_Parser.parse_5()
           
protected  CheckedMap_RD<Label,Type> SAX_Parser.parse_6()
           
protected  CheckedMap_RD<Label,TypeBoundVariable> SAX_Parser.parse_7()
           
 

Methods in eu.bandm.sig.absy with parameters of type Label
 void SAX_Writer.action(Label e0)
           
protected  void __TREEGEN__.Inner1.Inner2.action(Label e0)
           
protected  void __Formatter.action(Label el)
           
protected  void Visitor.action(Label e0)
           
protected  void Rewriter.action(Label e0)
           
protected  void MATCH_ONLY_00.action(Label e0)
           
 boolean FProduct.containsKey_elems(Label key0)
           
 boolean FCoproduct.containsKey_elems(Label key0)
           
 boolean OTuple.containsKey_elems(Label key0)
           
 boolean FamilyType.containsKey_elems(Label key0)
           
 boolean ETuple.containsKey_elems(Label key0)
           
 boolean PTuple.containsKey_elems(Label key0)
           
 void MATCH_ONLY_00.match(Label e0)
           
 void AggregateType.put_components(Label key0, Type value)
           
 void Tuple.put_elements(Label key0, Expr value)
           
 void TuplePattern.put_elements(Label key0, Pattern value)
           
 void ETuple.put_elems(Label key0, Expression value)
           
 void FCoproduct.put_elems(Label key0, FProduct value)
           
 void FProduct.put_elems(Label key0, FVar value)
           
 void PTuple.put_elems(Label key0, Pattern value)
           
 void FamilyType.put_elems(Label key0, Type value)
           
 void OTuple.put_elems(Label key0, Variable value)
           
 void LambdaExpr.put_rules(Label key0, Rule value)
           
 void CaseExpr.put_rules(Label key0, Rule value)
           
 void TypeBinding.put_variables(Label key0, TypeBoundVariable value)
           
protected  void Rewriter.rewriteFields(Label clone)
           
 void TypeComponent.set_label(Label val)
           
 void VariantExpr.set_label(Label val)
           
 void VariantPattern.set_label(Label val)
           
 void TAccept.set_selector(Label val)
           
 void OAccept.set_selector(Label val)
           
 void OCommit.set_selector(Label val)
           
 void Selection.set_selector(Label val)
           
 boolean ECotuple.set_selector(Label val)
           
 boolean PCotuple.set_selector(Label val)
           
 boolean TCotuple.set_selector(Label val)
           
 boolean ESelect.set_selector(Label val)
           
 boolean OCotuple.set_selector(Label val)
           
 boolean OSelect.set_selector(Label val)
           
 boolean OCoselect.set_selector(Label val)
           
protected  Format __Formatter.toFormat(Label el)
           
 

Method parameters in eu.bandm.sig.absy with type arguments of type Label
protected
<C> Format
CustomFormatter.enumerate(Format open, Format annotator, Format separator, Format close, Map<Label,C> components)
           
 void AggregateType.set_components(CheckedMap_RD<Label,Type> val)
           
 void Tuple.set_elements(CheckedMap_RD<Label,Expr> val)
           
 void TuplePattern.set_elements(CheckedMap_RD<Label,Pattern> val)
           
 boolean ETuple.set_elems(CheckedMap_RD<Label,Expression> val)
           
 void FCoproduct.set_elems(CheckedMap_RD<Label,FProduct> val)
           
 void FProduct.set_elems(CheckedMap_RD<Label,FVar> val)
           
 boolean PTuple.set_elems(CheckedMap_RD<Label,Pattern> val)
           
 boolean FamilyType.set_elems(CheckedMap_RD<Label,Type> val)
           
 boolean OTuple.set_elems(CheckedMap_RD<Label,Variable> val)
           
 void LambdaExpr.set_rules(CheckedMap_RD<Label,Rule> val)
           
 void CaseExpr.set_rules(CheckedMap_RD<Label,Rule> val)
           
 void TypeBinding.set_variables(CheckedMap_RD<Label,TypeBoundVariable> val)
           
 

Constructors in eu.bandm.sig.absy with parameters of type Label
ECotuple(Label selector, Expression body)
           
ESelect(Label selector, Expression body)
           
OAccept(Label selector)
           
OCommit(Label selector)
           
OCoselect(Variable out, Label selector, Variable in)
           
OCotuple(Variable out, Label selector, Variable in)
           
OSelect(Variable out, Label selector, Variable in)
           
PCotuple(Label selector, Pattern body)
           
Selection(Expr body, Label selector)
           
TAccept(Label selector)
           
TCotuple(Label selector, Variable in)
           
TypeComponent(Type argument, Label label)
           
VariantExpr(boolean open, Label label, Expr body)
           
VariantPattern(Label label, Pattern body)
           
 

Constructor parameters in eu.bandm.sig.absy with type arguments of type Label
PTuple(CheckedMap_RD<Label,Pattern> elems)
           
 

Uses of Label in eu.bandm.sig.semantics
 

Fields in eu.bandm.sig.semantics declared as Label
static Label Families.trivial
           
 

Methods in eu.bandm.sig.semantics that return Label
 Label Sig2Reducer.reduceLabel(eu.bandm.sig.tdom.Element element)
           
 

Methods in eu.bandm.sig.semantics that return types with arguments of type Label
static
<C> Map<Label,C>
Families.trivial(C elem)
           
 CheckedMap_RD<Label,Type> TypeAlgebra.Evaluator.unproduct(Type t)
           
 

Methods in eu.bandm.sig.semantics with parameters of type Label
static boolean Families.isTrivial(Label label)
           
 

Method parameters in eu.bandm.sig.semantics with type arguments of type Label
static
<A> A
Families.arbitrary(Map<Label,A> family)
           
static boolean TestAlgebra.disjoint(Multimap<Variable,Label> possible, Test... ts)
           
static boolean TestAlgebra.isFalse(Multimap<Variable,Label> possible, Test t)
           
static boolean Families.isIndexed(Map<Label,?> family)
           
static boolean Families.isNamed(Map<Label,?> family)
           
static boolean Families.isTrivial(Map<Label,?> family)
           
static boolean TestAlgebra.isTrue(Multimap<Variable,Label> possible, Test t)