de.cau.cs.kieler.quartz.editor.parseTreeConstruction
Class QuartzParsetreeConstructor.UtyAction_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.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 red

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

Constructor Detail

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