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

java.lang.Object
  extended by org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken
      extended by org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.GroupToken
          extended by de.cau.cs.kieler.quartz.editor.parseTreeConstruction.QuartzParsetreeConstructor.ObservedSpecList_Group
Enclosing class:
QuartzParsetreeConstructor

protected class QuartzParsetreeConstructor.ObservedSpecList_Group
extends org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.GroupToken

begin Rule ObservedSpecList **************** ObservedSpecList: "satisfies" "{" ProofGoalList "}"; //"satisfies" "{" "observer" "(" InterfaceList ")" "{" stmts=LocStmt "}" proofs=ProofGoalList "}" //| "satisfies" "{" "observer" "(" InterfaceList ")" "{" stmts=LocStmt "}" "}" // |

Rating red

Field Summary
 
Fields inherited from class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AbstractToken
current, next, no, parent
 
Constructor Summary
QuartzParsetreeConstructor.ObservedSpecList_Group(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.Group getGrammarElement()
           
 org.eclipse.xtext.parsetree.reconstr.IInstanceDescription tryConsume()
           
 
Methods inherited from class org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.GroupToken
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.ObservedSpecList_Group

public QuartzParsetreeConstructor.ObservedSpecList_Group(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.Group 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