Uses of Class
eu.bandm.tools.d2d2.model.Expression
Package
Description
D2d allows to write valid XML documents directly in the creative flow of authoring,
with minimum typographic noise.
Umod main model class: This is the internal
model for the d2d text type definitions.
Umod main model class: This is a model for the
results of d2d text parsing.
-
Uses of Expression in eu.bandm.tools.d2d2.base
Modifier and TypeFieldDescriptionprotected Expression
Dtd2Def.Phase1.expr
Visitor result register of the last generated expression.(package private) Expression
Reducer.expr
(package private) final Expression
CharParserPrepare.Split.g
(package private) final Expression
CharParserPrepare.Split.i
(package private) Expression
Classifier.Equivalence.other
(package private) final Expression
CharParserPrepare.Split.p
(package private) final Expression
CharParserPrepare.Split.s
protected @Opt Expression
Text2Udom.xslt_alt_ubiquituous
Contains all xslt tags which can appear anywhere in the target elements.protected Expression
Text2Udom.xslt_alt_ubiquituous_repeated
Contains all xslt tags which can appear anywhere in the target elements.Modifier and TypeFieldDescription(package private) Set<Expression>
TypeCheck.AttributeCollector.attrefs
protected Map<Expression,
CharSet> Navigate.CharSetCalc.charsets
Cache for all results calculated so far.(package private) CheckedList<Expression>
CharParserPrepare.ReduceToCardinalities.components
static final Set<Expression>
StackPrinter.FollowSet.empty
Empty result setprotected CheckedList<Expression>
UMod2Def.fieldRefs
(package private) Set<Expression>
StackPrinter.followset
Holds all references the tags of which could be entered in the current parsing state.protected Map<Expression,
Integer> SyntaxGraph.inX
All positions (inX, outX, y, and more) of each expression are RELATIVE to the enclosing construct.protected Map<Expression,
Integer> SyntaxGraph.outX
protected Set<Expression>
StackPrinter.FollowSet.result
The result to return.protected Map<Expression,
TypeCheck.Type> TypeCheck.types
protected Map<Expression,
Integer> SyntaxGraph.y
protected Map<Expression,
Integer> SyntaxGraph.y2
Auxiliary ypos which cannot be easily calculated from contents, e.g.protected Map<Expression,
Integer> SyntaxGraph.y3
Auxiliary ypos which cannot be easily calculated from contents, e.g.Modifier and TypeMethodDescription(package private) Expression
CharParserPrepare.Split.comprehend()
Combine the four components into on regexp:(package private) Expression
XsltInstance.get_xslt_alt_ubiquituous()
The alternative of all xslt expressions which can appear anyhere in a target format element.(package private) Expression
XsltInstance.get_xslt_alt_ubiquituous_repeated()
A "star" repetition wrapped aroundXsltInstance.xslt_alt_ubiquituous
.static Expression
Navigate.insertedExpression
(Insertion ins) Delivers the expression which is meant to be inserted by an insertion expression which contains only one single (resolved) reference expression.protected Expression
Dtd2Def.Phase1.makeRef
(DTM.ElementRef eref) Make a d2d reference for a dtm reference.(package private) static Expression
CharParserPrepare.PLUS
(Expression exp) static Expression
Navigate.resolveInsertion
(Expression exp) Returns the argument if it is not an insertion, otherwise the XRegExp referred to by its only content, a resolved reference.(package private) static Expression
CharParserPrepare.SEQ
(Expression... exp) static Expression
static Expression
CharParserPrepare.toRegExp
(String s, Expression exp) CharParserPrepare.EliminateRecursion.translate
(CharsRegExp currentDef) Descends given char parser expression and collects a single RegExp which represents the "bucket hull".CharParserPrepare.ReduceToCardinalities.translate
(Expression in) Returns a top-level permutation expression which contains all found sub-elements in their possible cardinalities.CharParserPrepare.ReduceToCardinalities.translate
(CheckedList<Expression> ins) (package private) @Opt Expression
Dtd2Def.Phase1.AttConverter.translate
(DTM.Attribute att) Central service point: Convert one attribute, generate the necessary d2d definition, add it to an element def in the generated module, and return the appropriate reference expression.Modifier and TypeMethodDescriptionCentral service method: calculate the result.static Set<Expression>
TypeCheck.collectAttributesOpt
(XRegExp host) Delivers an Expression ONLY for indicating whether the attribute is optional.TypeCheck.get_types()
Modifier and TypeMethodDescriptionvoid
Navigate.CharSetCalc.action
(Expression x) All other expressions are not character expressions.protected void
FirstCalculator.addFromTo
(Expression from, Expression to, boolean isalt) "From" is the component expression FROM which the director map is copied inTO the map ruling the compond expression called "to".d(package private) static Alt
CharParserPrepare.ALT
(Expression... exp) (package private) void
SyntaxGraph.Layouter.calculateMetaBox
(Expression exp, Expression sub) Make room for a dashed box around an expression.(package private) void
CharParserPrepare.EliminateRecursion.dump
(Expression exp) protected boolean
Classifier.equivalent
(Expression exp1, Expression exp2) protected void
TypeCheck.error
(Expression exp, String text) Navigate.CharSetCalc.find
(Expression exp) Evaluate the expression: Either return the cache or invoke visiting.(package private) boolean
FirstCalculator.isDone
(Expression exp) If not yet visited, create the director map objects.(package private) static boolean
CharParserPrepare.isEmptyAlt
(Expression exp) protected boolean
Reducer.isNonTightSeq
(Expression expr) protected boolean
Reducer.isTightSeq
(Expression expr) static void
FirstCalculator.liftFirstsToSeq
(Expression exp, Seq ns) All directors from "exp" are lifted into the directory maps of "ns", to point to the "exp"-expression.protected void
FirstCalculator.LL1_violation
(String s, Expression from, Expression to) Signal the fact that a tag is already contained in the domain of the (non-weak) director map.protected boolean
Navigate.CharSetCalc.lookUp
(Expression exp) Copy the cached value to theNavigate.CharSetCalc.result
register.protected void
Navigate.CharSetCalc.memorize
(Expression exp) Put to cache.SyntaxGraph.Painter.paintIt
(Expression expr, @Opt SyntaxGraph.RefPainter refPainter, Color backgroundColor) Central Service Access: Paint the complete expression tree.(package private) void
SyntaxGraph.Painter.paintMetaBox
(Expression exp, Expression sub, String text) Paint a dashed box for insertion/substitution/greediness.void
SyntaxGraph.RefPainter_simple.paintRef
(Graphics2D gr, SyntaxGraph.LayoutParameters lp, Expression exp, String tag, boolean isInsertion, int x0, int y0, int w, int h) void
SyntaxGraph.RefPainter.paintRef
(Graphics2D gr, SyntaxGraph.LayoutParameters lp, Expression exp, String tag, boolean isInsertion, int x0, int y0, int w, int h) void
Userdoc.RefPainter_custom.paintRef
(Graphics2D gr, SyntaxGraph.LayoutParameters layoutParameters, Expression exp, String tag, boolean isInsertion, int x0, int y0, int w, int h) (package private) static Expression
CharParserPrepare.PLUS
(Expression exp) void
Classifier.Equivalence.pre
(Expression exp) protected void
StackPrinter.ExpressionPrinter.printPar
(Expression x) Prints the contents of a modifier Opt/Star/Plus.protected void
Navigate.CharSetCalc.rangeerror
(Expression exp, String pos) Range operator between non-singleton sets.static Expression
Navigate.resolveInsertion
(Expression exp) Returns the argument if it is not an insertion, otherwise the XRegExp referred to by its only content, a resolved reference.(package private) static Expression
CharParserPrepare.SEQ
(Expression... exp) protected void
CharacterParser.subElement
(Definition def, Expression rule) Called when reaching a ParseParticle, a CharsRegExp or an Enumeration, which all lead to wrapping the parsing result into a Result object with this definition as its tag.boolean
Classifier.Equivalence.test
(Expression exp1, Expression exp2) protected TypeCheck.Type
TypeCheck.testDefinition
(Expression caller, XRegExp x) static Expression
CharParserPrepare.toRegExp
(String s, Expression exp) CharParserPrepare.ReduceToCardinalities.translate
(Expression in) Returns a top-level permutation expression which contains all found sub-elements in their possible cardinalities.void
CharParserPrepare.ReduceToCardinalities.translateOne
(Expression in) protected TypeCheck.Type
TypeCheck.typeOf
(Expression x) Modifier and TypeMethodDescription(package private) void
CharParserPrepare.ReduceToCardinalities.add
(List<Expression> exps) protected void
Text2Udom.addRestPerm
(State_perm permstate, CheckedList<Expression> misslist) Add obligate members of a "perm" expression to the term which describes the missing input.protected void
Def2Dtd.makeSeq
(CheckedList<Expression> on) protected void
StackPrinter.ExpressionPrinter.printMult
(Collection<Expression> subs, String sep, int prec) Prints the argument sequence of Seq/Alt/Perm and puts parentheses iff the precedence decreases.protected void
SyntaxGraph.Layouter.processAltOrInnerPerm
(Iterator<Expression> subs, int outerW) Caculates the size of the sub-expression, shifts the sub-expression to some co-ordinates relative to the Alt- or Perm-expression, and calculates the resultingSyntaxGraph.Layouter.sizeInfo
.protected void
Text2Udom.report_assumed_xslt_output
(CheckedList<Expression> misslist) Is called when an target-language open/close tag has been found after an xslt template call, to report the necessary expansion.protected void
Text2Udom.report_missing_elements
(boolean isOpen, String tag, boolean frameFound, CheckedList<Expression> misslist, List<SimpleMessage<String>> messlist, Location<String> closeTagDefLoc) this proc can be called fromText2Udom.process_open_tag(String, boolean)
orText2Udom.process_close_tag(String, boolean)
.
Basically, there are two classes of error recovery:framefound = true ==> the tag is KNOWN, but tags before are missing, --- then continue with a shrunk stack state.
framefound = false ==> the tag is NOT KNOWN, then discard all input up to the next tag and try again.CharParserPrepare.ReduceToCardinalities.translate
(CheckedList<Expression> ins) protected CheckedList<DTD.CP>
Def2Dtd.translatesubs
(Collection<Expression> subs) ModifierConstructorDescription(package private)
Split
(Expression g, Expression p, Expression s, Expression i) -
Uses of Expression in eu.bandm.tools.d2d2.model
Modifier and TypeClassDescriptionclass
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.class
Generated by umod; model author's documentation MISSING.Modifier and TypeFieldDescriptionprotected Expression
CharsRegExp.dataContentModel
Generated by umod; model author's documentation MISSING.protected Expression
CharBinary.left
Generated by umod; model author's documentation MISSING.protected Expression
CharsRegExp.linearContentModel
Generated by umod; model author's documentation MISSING.protected Expression
Subst.mul
Generated by umod; model author's documentation MISSING.protected Expression
GrUnary.on
Generated by umod; model author's documentation MISSING.protected Expression
Insertion.on
Generated by umod; model author's documentation MISSING.protected Expression
ParseParticle.on
Generated by umod; model author's documentation MISSING.protected Expression
Subst.on
Generated by umod; model author's documentation MISSING.protected Expression
CharBinary.right
Generated by umod; model author's documentation MISSING.protected Expression
XRegExp.value
Generated by umod; model author's documentation MISSING.Modifier and TypeFieldDescriptionprotected CheckedMap_RD<String,
Expression> Expression.firsts
Generated by umod; model author's documentation MISSING.static final Function<Expression,
Boolean> Expression.get_canProduceEpsilon
Deprecated.Use new '::' method reference instead.static final Function<CharsRegExp,
Expression> CharsRegExp.get_dataContentModel
Deprecated.Use new '::' method reference instead.static final Function<Expression,
CheckedMap_RD<String, Expression>> Expression.get_firsts
Deprecated.Use new '::' method reference instead.static final Function<Expression,
CheckedMap_RD<String, Expression>> Expression.get_firsts
Deprecated.Use new '::' method reference instead.static final Function<ImportItem,
CheckedMap_RD<String, Expression>> ImportItem.get_globalSubsts
Deprecated.Use new '::' method reference instead.static final Function<CharBinary,
Expression> CharBinary.get_left
Deprecated.Use new '::' method reference instead.static final Function<CharsRegExp,
Expression> CharsRegExp.get_linearContentModel
Deprecated.Use new '::' method reference instead.static final Function<ImportItem,
CheckedMap_RD<String, CheckedMap_RD<String, Expression>>> ImportItem.get_localSubsts
Deprecated.Use new '::' method reference instead.static final Function<Subst,
Expression> Subst.get_mul
Deprecated.Use new '::' method reference instead.static final Function<Perm,
CheckedSet<Expression>> Perm.get_obligates
Deprecated.Use new '::' method reference instead.static final Function<GrMult,
CheckedList<Expression>> GrMult.get_on
Deprecated.Use new '::' method reference instead.static final Function<GrUnary,
Expression> GrUnary.get_on
Deprecated.Use new '::' method reference instead.static final Function<Insertion,
Expression> Insertion.get_on
Deprecated.Use new '::' method reference instead.static final Function<ParseParticle,
Expression> ParseParticle.get_on
Deprecated.Use new '::' method reference instead.static final Function<Subst,
Expression> Subst.get_on
Deprecated.Use new '::' method reference instead.static final Function<CharBinary,
Expression> CharBinary.get_right
Deprecated.Use new '::' method reference instead.static final Function<XRegExp,
Expression> XRegExp.get_value
Deprecated.Use new '::' method reference instead.static final Function<Expression,
CheckedMap_RD<String, Expression>> Expression.get_weakfirsts
Deprecated.Use new '::' method reference instead.static final Function<Expression,
CheckedMap_RD<String, Expression>> Expression.get_weakfirsts
Deprecated.Use new '::' method reference instead.protected CheckedMap_RD<String,
Expression> ImportItem.globalSubsts
Generated by umod; model author's documentation MISSING.protected CheckedMap_RD<String,
CheckedMap_RD<String, Expression>> ImportItem.localSubsts
Generated by umod; model author's documentation MISSING.protected CheckedSet<Expression>
Perm.obligates
Generated by umod; model author's documentation MISSING.protected CheckedList<Expression>
GrMult.on
Generated by umod; model author's documentation MISSING.protected CheckedMap_RD<String,
Expression> Expression.weakfirsts
Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionExpression.doclone()
Clones this object.__SAX_Parser.fill_Expression
(Object res) CharsRegExp.get_dataContentModel()
Generated by umod; model author's documentation MISSING.CharBinary.get_left()
Generated by umod; model author's documentation MISSING.CharsRegExp.get_linearContentModel()
Generated by umod; model author's documentation MISSING.Subst.get_mul()
Generated by umod; model author's documentation MISSING.GrUnary.get_on()
Generated by umod; model author's documentation MISSING.Insertion.get_on()
Generated by umod; model author's documentation MISSING.ParseParticle.get_on()
Generated by umod; model author's documentation MISSING.Subst.get_on()
Generated by umod; model author's documentation MISSING.CharBinary.get_right()
Generated by umod; model author's documentation MISSING.XRegExp.get_value()
Generated by umod; model author's documentation MISSING.Copies values of all common fields from the argument.__SAX_Parser.matchSAX_Expression()
Modifier and TypeMethodDescriptionstatic Pattern<Expression>
Expression.get_canProduceEpsilon
(Pattern<? super Boolean> p) Lifts a pattern which matches the field value to one which matches this whole object.Expression.get_firsts()
Generated by umod; model author's documentation MISSING.static Pattern<Expression>
Expression.get_firsts
(Pattern<? super CheckedMap_RD<String, Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.ImportItem.get_globalSubsts()
Generated by umod; model author's documentation MISSING.ImportItem.get_localSubsts()
Generated by umod; model author's documentation MISSING.Perm.get_obligates()
Generated by umod; model author's documentation MISSING.GrMult.get_on()
Generated by umod; model author's documentation MISSING.Expression.get_weakfirsts()
Generated by umod; model author's documentation MISSING.static Pattern<Expression>
Expression.get_weakfirsts
(Pattern<? super CheckedMap_RD<String, Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.protected CheckedMap_RD<String,
Expression> __SAX_Parser.parse_10()
protected CheckedMap_RD<String,
Expression> __SAX_Parser.parse_26()
protected CheckedMap_RD<String,
Expression> __SAX_Parser.parse_27()
protected CheckedList<Expression>
__SAX_Parser.parse_28()
protected CheckedSet<Expression>
__SAX_Parser.parse_29()
protected CheckedMap_RD<String,
Expression> __SAX_Parser.parse_8()
protected CheckedMap_RD<String,
CheckedMap_RD<String, Expression>> __SAX_Parser.parse_9()
static Pattern<Expression>
__Patterns.term_Expression
(Pattern<? super Expr0> superpattern, Pattern<? super Boolean> p_canProduceEpsilon, Pattern<? super CheckedMap_RD<String, Expression>> p_firsts, Pattern<? super CheckedMap_RD<String, Expression>> p_weakfirsts) Modifier and TypeMethodDescriptionprotected void
__Formatter.action
(Expression el) void
__SAX_Writer.action
(Expression e0) protected void
CoRewrite.action
(Expression e0) protected void
Dump.action
(Expression e0) protected void
MATCH_ONLY_00.action
(Expression e0) protected void
Match.action
(Expression e0) protected void
Rewrite.action
(Expression e0) protected void
SinglePhase.action
(Expression e0) protected void
Dump.descend
(Expression e0) protected void
Match.descend
(Expression e0) void
__SAX_Writer.dumpfields
(Expression e0) void
__SAX_Parser.XMLPARSER_Expression.fillFields
(Expression newobj) void
CoRewrite.follow_firsts
(Expression element) void
Dump.follow_firsts
(Expression element) void
Match.follow_firsts
(Expression element) void
Rewrite.follow_firsts
(Expression element) void
SinglePhase.follow_firsts
(Expression element) void
CoRewrite.follow_weakfirsts
(Expression element) void
Dump.follow_weakfirsts
(Expression element) void
Match.follow_weakfirsts
(Expression element) void
Rewrite.follow_weakfirsts
(Expression element) void
SinglePhase.follow_weakfirsts
(Expression element) void
MATCH_ONLY_00.followAll_firsts
(Expression element) void
MATCH_ONLY_00.followAll_weakfirsts
(Expression element) void
MATCH_ONLY_00.match
(Expression e0) void
__SAX_Parser.XMLPARSER_Expression.parsefields
(Expression newobj) protected void
Match.post
(Expression e0) protected void
Match.pre
(Expression e0) protected void
Dump.printscalars
(Expression e0) void
ImportItem.put_globalSubsts
(String key0, Expression value) Convenience un-Currying method.void
ImportItem.put_localSubsts
(String key0, String key1, Expression value) Convenience un-Currying method.protected void
CoRewrite.rewriteFields
(Expression clone) protected void
Rewrite.rewriteFields
(Expression clone) boolean
CharsRegExp.set_dataContentModel
(Expression val) Generated by umod; model author's documentation MISSING.boolean
CharsRegExp.set_linearContentModel
(Expression val) Generated by umod; model author's documentation MISSING.boolean
Subst.set_mul
(Expression val) Generated by umod; model author's documentation MISSING.boolean
ParseParticle.set_on
(Expression val) Generated by umod; model author's documentation MISSING.boolean
Subst.set_on
(Expression val) Generated by umod; model author's documentation MISSING.boolean
XRegExp.set_value
(Expression val) Generated by umod; model author's documentation MISSING.protected Format
__Formatter.toFormat
(Expression el) CharBinary.with_left
(Expression val) Generated by umod; model author's documentation MISSING.GrUnary.with_on
(Expression val) Generated by umod; model author's documentation MISSING.Insertion.with_on
(Expression val) Generated by umod; model author's documentation MISSING.CharBinary.with_right
(Expression val) Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescription__Patterns.cast_Expression
(Pattern<? super Expression> p) static Pattern<CharsRegExp>
CharsRegExp.get_dataContentModel
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<Expression>
Expression.get_firsts
(Pattern<? super CheckedMap_RD<String, Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<ImportItem>
ImportItem.get_globalSubsts
(Pattern<? super CheckedMap_RD<String, Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<CharBinary>
CharBinary.get_left
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<CharsRegExp>
CharsRegExp.get_linearContentModel
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<ImportItem>
ImportItem.get_localSubsts
(Pattern<? super CheckedMap_RD<String, CheckedMap_RD<String, Expression>>> p) Lifts a pattern which matches the field value to one which matches this whole object.Subst.get_mul
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.Perm.get_obligates
(Pattern<? super CheckedSet<Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.GrMult.get_on
(Pattern<? super CheckedList<Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.GrUnary.get_on
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.Insertion.get_on
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<ParseParticle>
ParseParticle.get_on
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.Subst.get_on
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<CharBinary>
CharBinary.get_right
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.XRegExp.get_value
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<Expression>
Expression.get_weakfirsts
(Pattern<? super CheckedMap_RD<String, Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.void
ImportItem.put_localSubsts
(String key0, CheckedMap_RD<String, Expression> value) Convenience un-Currying method.boolean
Expression.set_firsts
(CheckedMap_RD<String, Expression> val) Generated by umod; model author's documentation MISSING.boolean
ImportItem.set_globalSubsts
(CheckedMap_RD<String, Expression> val) Generated by umod; model author's documentation MISSING.boolean
ImportItem.set_localSubsts
(CheckedMap_RD<String, CheckedMap_RD<String, Expression>> val) Generated by umod; model author's documentation MISSING.boolean
Expression.set_weakfirsts
(CheckedMap_RD<String, Expression> val) Generated by umod; model author's documentation MISSING.__Patterns.term_CharExpr
(Pattern<? super Expression> superpattern) __Patterns.term_Empty
(Pattern<? super Expression> superpattern) __Patterns.term_GrMult
(Pattern<? super Expression> superpattern, Pattern<? super CheckedList<Expression>> p_on) __Patterns.term_GrUnary
(Pattern<? super Expression> superpattern, Pattern<? super Expression> p_on, Pattern<? super Boolean> p_istight) __Patterns.term_Insertion
(Pattern<? super Expression> superpattern, Pattern<? super Expression> p_on, Pattern<? super Boolean> p_synthetic) __Patterns.term_None
(Pattern<? super Expression> superpattern) static Pattern<ParseParticle>
__Patterns.term_ParseParticle
(Pattern<? super Expression> superpattern, Pattern<? super String> p_ident, Pattern<? super Expression> p_on, Pattern<? super CharsRegExp> p_collector) __Patterns.term_Pcdata
(Pattern<? super Expression> superpattern) __Patterns.term_Reference
(Pattern<? super Expression> superpattern, Pattern<? super String> p_sourceText, Pattern<? super Boolean> p_isImplicit, Pattern<? super Definition> p_resolved) static Pattern<StringConst>
__Patterns.term_StringConst
(Pattern<? super Expression> superpattern, Pattern<? super String> p_value) __Patterns.term_Subst
(Pattern<? super Expression> superpattern, Pattern<? super Expression> p_on, Pattern<? super Reference> p_div, Pattern<? super Expression> p_mul) Perm.with_obligates
(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.GrMult.with_on
(CheckedList<Expression> val) Generated by umod; model author's documentation MISSING.ModifierConstructorDescriptionCharBinary
(Expression left, Expression right) Synthetic minimal constructor provided by the umod compiler.CharBinary
(Location<XMLDocumentIdentifier> location, Expression left, Expression right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".CharCut
(Expression left, Expression right) Synthetic minimal constructor provided by the umod compiler.CharCut
(Location<XMLDocumentIdentifier> location, Expression left, Expression right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".CharJoin
(Expression left, Expression right) Synthetic minimal constructor provided by the umod compiler.CharJoin
(Location<XMLDocumentIdentifier> location, Expression left, Expression right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".CharMinus
(Expression left, Expression right) Synthetic minimal constructor provided by the umod compiler.CharMinus
(Location<XMLDocumentIdentifier> location, Expression left, Expression right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".CharRange
(Expression left, Expression right) Synthetic minimal constructor provided by the umod compiler.CharRange
(Location<XMLDocumentIdentifier> location, Expression left, Expression right) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".CharsRegExp
(SourceItem context, String name, Location<XMLDocumentIdentifier> location, Expression value) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".CharsRegExp
(String name, Location<XMLDocumentIdentifier> location, Expression value) Synthetic minimal constructor provided by the umod compiler.Greedy
(Expression on) Synthetic minimal constructor provided by the umod compiler.Greedy
(Location<XMLDocumentIdentifier> location, Expression on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Greedy
(Location<XMLDocumentIdentifier> location, Expression on, boolean istight) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".GrUnary
(Expression on) Synthetic minimal constructor provided by the umod compiler.GrUnary
(Location<XMLDocumentIdentifier> location, Expression on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".GrUnary
(Location<XMLDocumentIdentifier> location, Expression on, boolean istight) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Insertion
(Expression on) Synthetic minimal constructor provided by the umod compiler.Insertion
(Location<XMLDocumentIdentifier> location, Expression on) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Insertion
(Location<XMLDocumentIdentifier> location, Expression on, boolean synthetic) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Opt
(Expression on) Synthetic minimal constructor provided by the umod compiler.Opt
(Location<XMLDocumentIdentifier> location, Expression on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Opt
(Location<XMLDocumentIdentifier> location, Expression on, boolean istight) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".ParseParticle
(Location<XMLDocumentIdentifier> location, String ident, Expression on) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".ParseParticle
(String ident, Expression on) Synthetic minimal constructor provided by the umod compiler.Plus
(Expression on) Synthetic minimal constructor provided by the umod compiler.Plus
(Location<XMLDocumentIdentifier> location, Expression on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Plus
(Location<XMLDocumentIdentifier> location, Expression on, boolean istight) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Star
(Expression on) Synthetic minimal constructor provided by the umod compiler.Star
(Location<XMLDocumentIdentifier> location, Expression on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Star
(Location<XMLDocumentIdentifier> location, Expression on, boolean istight) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Subst
(Expression on, Reference div, Expression mul) Synthetic minimal constructor provided by the umod compiler.Subst
(Location<XMLDocumentIdentifier> location, Expression on, Reference div, Expression mul) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".TagsRegExp
(SourceItem context, String name, Location<XMLDocumentIdentifier> location, Expression value) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".TagsRegExp
(String name, Location<XMLDocumentIdentifier> location, Expression value) Synthetic minimal constructor provided by the umod compiler.XRegExp
(SourceItem context, String name, Location<XMLDocumentIdentifier> location, Expression value) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".XRegExp
(String name, Location<XMLDocumentIdentifier> location, Expression value) Synthetic minimal constructor provided by the umod compiler.ModifierConstructorDescriptionAlt
(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".GrMult
(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Perm
(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..".Seq
(Location<XMLDocumentIdentifier> location, CheckedList<Expression> on, boolean istight) Constructor generated according to specification #1
Constructor defined according to directive "C 1/..". -
Uses of Expression in eu.bandm.tools.d2d2.rt
Modifier and TypeFieldDescriptionprotected Expression
Binding.exp
Generated by umod; model author's documentation MISSING.protected Expression
State_singleton.rule
Generated by umod; model author's documentation MISSING.Modifier and TypeFieldDescriptionprotected CheckedSet<Expression>
State_perm.consumed
Generated by umod; model author's documentation MISSING.static final Function<State_perm,
CheckedSet<Expression>> State_perm.get_consumed
Deprecated.Use new '::' method reference instead.static final Function<Binding,
Expression> Binding.get_exp
Deprecated.Use new '::' method reference instead.static final Function<State_perm,
CheckedSet<Expression>> State_perm.get_obligates
Deprecated.Use new '::' method reference instead.static final Function<State_singleton,
Expression> State_singleton.get_rule
Deprecated.Use new '::' method reference instead.static final Function<State,
Expression> State.get_rule
Deprecated.Use new '::' method reference instead.static final Function<PermutationGroup,
CheckedMap_RD<Expression, PermutationSubexpression>> PermutationGroup.get_subs
Deprecated.Use new '::' method reference instead.protected CheckedSet<Expression>
State_perm.obligates
Generated by umod; model author's documentation MISSING.protected CheckedMap_RD<Expression,
PermutationSubexpression> PermutationGroup.subs
Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionBinding.get_exp()
Generated by umod; model author's documentation MISSING.State_singleton.get_rule()
Generated by umod; model author's documentation MISSING.State.get_rule()
State.set_rule()
Modifier and TypeMethodDescriptionState_perm.get_consumed()
Generated by umod; model author's documentation MISSING.State_perm.get_obligates()
Generated by umod; model author's documentation MISSING.PermutationGroup.get_subs()
Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionprotected void
MATCH_ONLY_00.action
(Expression e0) boolean
PermutationGroup.containsKey_subs
(Expression key0) Convenience un-Currying method.void
PermutationGroup.put_subs
(Expression key0, PermutationSubexpression value) Convenience un-Currying method.boolean
Binding.set_exp
(Expression val) Generated by umod; model author's documentation MISSING.boolean
State_perm.set_rule
(Expression val) Generated by umod; model author's documentation MISSING.boolean
State_rep.set_rule
(Expression val) Generated by umod; model author's documentation MISSING.boolean
State_sequ.set_rule
(Expression val) Generated by umod; model author's documentation MISSING.boolean
State_singleton.set_rule
(Expression val) Generated by umod; model author's documentation MISSING.Modifier and TypeMethodDescriptionstatic Pattern<State_perm>
State_perm.get_consumed
(Pattern<? super CheckedSet<Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.Binding.get_exp
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<State_perm>
State_perm.get_obligates
(Pattern<? super CheckedSet<Expression>> p) Lifts a pattern which matches the field value to one which matches this whole object.State.get_rule
(Pattern<? super Expression> p) Lifts a pattern which matches the field value to one which matches this whole object.static Pattern<PermutationGroup>
PermutationGroup.get_subs
(Pattern<? super CheckedMap_RD<Expression, PermutationSubexpression>> p) Lifts a pattern which matches the field value to one which matches this whole object.boolean
State_perm.set_consumed
(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.boolean
State_perm.set_obligates
(CheckedSet<Expression> val) Generated by umod; model author's documentation MISSING.boolean
PermutationGroup.set_subs
(CheckedMap_RD<Expression, PermutationSubexpression> val) Generated by umod; model author's documentation MISSING.ModifierConstructorDescriptionBinding
(Binding predec, String id, Expression exp, ImportContext context, String definitionName) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".Binding
(String id, Expression exp, ImportContext context) Synthetic minimal constructor provided by the umod compiler.State_singleton
(ResultContainer result, Reference ref, Definition def, Expression rule) Synthetic minimal constructor provided by the umod compiler.State_singleton
(State predec, ResultContainer result, boolean inxslt, Reference ref, Definition def, Expression rule) Constructor generated according to specification #0
Constructor defined according to directive "C 0/..".