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 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
|
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)
|