de.cau.cs.kieler.quartz.editor.parseTreeConstruction
Class QuartzParsetreeConstructor.ProofGoalList_Alternatives

java.lang.Object
  extended by org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken
      extended by org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AlternativesToken
          extended by 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 red

Field Summary
 
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
 

Constructor Detail

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

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