de.cau.cs.kieler.quartz.editor.parseTreeConstruction
Class QuartzParsetreeConstructor.ProofGoalList_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.ProofGoalList_Alternatives
- Enclosing class:
- QuartzParsetreeConstructor
protected class QuartzParsetreeConstructor.ProofGoalList_Alternatives
- extends org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AlternativesToken
begin Rule ProofGoalList ****************
ProofGoalList:
(name+=QName ":" "assume" expr+=UtyExpr ";"|name+=QName ":" "assume" expr+=UtyExpr ";"
goals+=ProofGoalList|name+=QName ver+=VerifTask ctrl+=ControlList? ":" "assert" expr
+=UtyExpr ass+=AssumeList? ";"|name+=QName ctr+=ControlList ":" "assert" expr+=UtyExpr
ass+=AssumeList? ";"|name+=QName ":" "assert" expr+=UtyExpr ass+=AssumeList? ";")+;
- Rating

Fields inherited from class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken |
current, next, no, parent |
Constructor Summary |
QuartzParsetreeConstructor.ProofGoalList_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.ProofGoalList_Alternatives
public QuartzParsetreeConstructor.ProofGoalList_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