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

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