de.cau.cs.kieler.quartz.editor.parseTreeConstruction
Class QuartzParsetreeConstructor.UtyAction_Alternatives
java.lang.Object
org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken
org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AlternativesToken
de.cau.cs.kieler.quartz.editor.parseTreeConstruction.QuartzParsetreeConstructor.UtyAction_Alternatives
- Enclosing class:
- QuartzParsetreeConstructor
protected class QuartzParsetreeConstructor.UtyAction_Alternatives
- extends org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AlternativesToken
begin Rule UtyAction ****************
UtyAction:
"emit" "next"? "(" UtyExpr ")"|"next" "(" UtyExpr ")" "=" t2=UtyExpr|"der" "(" UtyExpr ")"
"<-" t4=UtyExpr|"assume" "(" UtyExpr ")"|"assert" "(" UtyExpr ")";
//| UtyExpr "=" t1=UtyExpr
//| UtyExpr "<-" t3=UtyExpr
//| RELEASECAN "(" UtyExpr ")"
/ * | "release" "(" UtyExpr ")"
| "constrainS" "(" UtyExpr ")"
| "constrainM" "(" UtyExpr ")"
| "constrainE" "(" UtyExpr ")"
| "constrainSM" "(" UtyExpr ")"
| "constrainSE" "(" UtyExpr ")"
| "constrainME" "(" UtyExpr ")"
| "constrainSME" "(" UtyExpr ")"* /
//| QName ":" "assume" "(" expr=UtyExpr ")"
// | QName ":" "assert" "(" expr=UtyExpr ")"
- Rating

Fields inherited from class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken |
current, next, no, parent |
Constructor Summary |
QuartzParsetreeConstructor.UtyAction_Alternatives(org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken parent,
org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken next,
int no,
org.eclipse.xtext.parsetree.reconstr.IInstanceDescription current)
|
Method Summary |
org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken |
createFollower(int index,
org.eclipse.xtext.parsetree.reconstr.IInstanceDescription inst)
|
org.eclipse.xtext.Alternatives |
getGrammarElement()
|
org.eclipse.xtext.parsetree.reconstr.IInstanceDescription |
tryConsume()
|
Methods inherited from class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AlternativesToken |
tryConsumeVal |
Methods inherited from class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken |
checkForRecursion, createParentFollower, createParentFollower, getCurrent, getDiagnostic, getNext, getNo, getParent, serialize, serializeThis |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
QuartzParsetreeConstructor.UtyAction_Alternatives
public QuartzParsetreeConstructor.UtyAction_Alternatives(org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken parent,
org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken next,
int no,
org.eclipse.xtext.parsetree.reconstr.IInstanceDescription current)
getGrammarElement
public org.eclipse.xtext.Alternatives getGrammarElement()
- Specified by:
getGrammarElement
in class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken
createFollower
public org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken createFollower(int index,
org.eclipse.xtext.parsetree.reconstr.IInstanceDescription inst)
- Overrides:
createFollower
in class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken
tryConsume
public org.eclipse.xtext.parsetree.reconstr.IInstanceDescription tryConsume()
- Overrides:
tryConsume
in class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken