de.cau.cs.kieler.quartz.editor.parseTreeConstruction
Class QuartzParsetreeConstructor.UtyExpr_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.UtyExpr_Alternatives
Enclosing class:
QuartzParsetreeConstructor

protected class QuartzParsetreeConstructor.UtyExpr_Alternatives
extends org.eclipse.xtext.parsetree.reconstr.impl.AbstractParseTreeConstructor.AlternativesToken

begin Rule UtyExpr **************** UtyExpr: "instant"|"inside"|"terminate"|"true"|"false"|BVCONST|OCTCONST|HEXCONST|NATCONST |REALCONST|QName|op=NOT expr=UtyExpr|"+" UtyExpr|"-" UtyExpr|"abs" "(" UtyExpr ")"| "sat" "{" UtyExpr "}" "(" t7=UtyExpr ")"|"der" "(" UtyExpr ")"|"reverse" "(" UtyExpr ")"|"{" UtyExpr "::" expr=UtyExpr "}"|"next" "(" UtyExpr ")"|"nat2bv" "(" UtyExpr ")"|"int2bv" "(" UtyExpr ")"|"arr2bv" "(" QName ")"|"tup2bv" "(" UtyExpr ")"|"bv2nat" "(" UtyExpr ")"| "bv2int" "(" UtyExpr ")"|"nat2real" "(" UtyExpr ")"|"int2real" "(" UtyExpr ")"|"sin" "(" UtyExpr ")"|"cos" "(" UtyExpr ")"|"exp" "(" UtyExpr "," expr=UtyExpr ")"|"log" "(" UtyExpr "," expr=UtyExpr ")"|"sizeOf" "(" UtyExpr ")"|"forall" Generic expr=UtyExpr|"exists" Generic expr=UtyExpr|"sum" Generic expr=UtyExpr|"X" UtyExpr|"G" UtyExpr|"F" UtyExpr| "PA" UtyExpr|"PF" UtyExpr|"PSX" UtyExpr|"PMX" UtyExpr|"E" UtyExpr|"A" UtyExpr|"[]" UtyExpr|"<>" UtyExpr|"[:]" UtyExpr|"<:>" UtyExpr|"mu" name=QName "." expr=UtyExpr|"nu" name=QName "." expr=UtyExpr|"fixpoints" FixpointEqList "in" expr2=UtyExpr|"forall" name=QName ":" type=QType "." expr=UtyExpr|"exists" name=QName ":" type=QType "." expr= UtyExpr|"(" UtyExpr ")"; // | UtyExpr EQU UtyExpr // | UtyExpr XOR UtyExpr // | UtyExpr IMP UtyExpr // | UtyExpr OR UtyExpr // | UtyExpr AND UtyExpr // | UtyExpr "<" UtyExpr // | UtyExpr "<=" UtyExpr // | UtyExpr ">" UtyExpr // | UtyExpr ">=" UtyExpr // | UtyExpr "==" UtyExpr // | UtyExpr "!=" UtyExpr // | UtyExpr "-" UtyExpr // | UtyExpr "+" UtyExpr // | UtyExpr "%" UtyExpr // | UtyExpr "/" UtyExpr // | UtyExpr "*" UtyExpr // | UtyExpr "{" UtyExpr "}" // | UtyExpr "@" UtyExpr // | UtyExpr "{" UtyExpr ":" UtyExpr "}" // | UtyExpr "{" UtyExpr ":" "}" // | UtyExpr "{" ":" UtyExpr "}" // | UtyExpr UtyExprSelectList // | UtyExpr "." UtyExpr // | "(" OptUtyExpr "," tl=OptUtyExprList ")" // | "(" UtyExpr "?" tm=UtyExpr ":" s=UtyExpr ")" //| QName "(" OptUtyExprList ")" / * | "[" UtyExpr "SU" expr=UtyExpr "]" | "[" UtyExpr "SB" expr=UtyExpr "]" | "[" UtyExpr "SW" expr=UtyExpr "]" | "[" UtyExpr "WU" expr=UtyExpr "]" | "[" UtyExpr "WB" expr=UtyExpr "]" | "[" UtyExpr "WW" expr=UtyExpr "]" | "[" UtyExpr "PSU" expr=UtyExpr "]" | "[" UtyExpr "PSB" expr=UtyExpr "]" | "[" UtyExpr "PSW" expr=UtyExpr "]" | "[" UtyExpr "PMU" expr=UtyExpr "]" | "[" UtyExpr "PMB" expr=UtyExpr "]" | "[" UtyExpr "PMW" 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.UtyExpr_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.UtyExpr_Alternatives

public QuartzParsetreeConstructor.UtyExpr_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