Nested Class Summary |
protected class |
EsterelParsetreeConstructor.Abort_AbortKeyword_0
|
protected class |
EsterelParsetreeConstructor.Abort_BodyAssignment_3
|
protected class |
EsterelParsetreeConstructor.Abort_Group
begin Rule Abort ****************
// --> B.4.2 abort: Strong Preemption
Abort:
"abort" statement=Statement "when" body=AbortBody; |
protected class |
EsterelParsetreeConstructor.Abort_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.Abort_WhenKeyword_2
|
protected class |
EsterelParsetreeConstructor.AbortBody_AbortCaseParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.AbortBody_AbortInstanceParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.AbortBody_Alternatives
begin Rule AbortBody ****************
AbortBody:
AbortInstance | AbortCase; |
protected class |
EsterelParsetreeConstructor.AbortCase_CasesAssignment_0
|
protected class |
EsterelParsetreeConstructor.AbortCase_CasesAssignment_1
|
protected class |
EsterelParsetreeConstructor.AbortCase_EndKeyword_2
|
protected class |
EsterelParsetreeConstructor.AbortCase_Group
begin Rule AbortCase ****************
AbortCase:
cases+=AbortCaseSingle cases+=AbortCaseSingle* "end" "abort"?; |
protected class |
EsterelParsetreeConstructor.AbortCaseSingle_CaseKeyword_0
|
protected class |
EsterelParsetreeConstructor.AbortCaseSingle_DelayAssignment_1
|
protected class |
EsterelParsetreeConstructor.AbortCaseSingle_DoKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.AbortCaseSingle_Group
begin Rule AbortCaseSingle ****************
AbortCaseSingle:
"case" delay=DelayExpr ("do" statement=Statement)?; |
protected class |
EsterelParsetreeConstructor.AbortCaseSingle_Group_2
|
protected class |
EsterelParsetreeConstructor.AbortCaseSingle_StatementAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.AbortInstance_DelayAssignment_0
|
protected class |
EsterelParsetreeConstructor.AbortInstance_DoKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.AbortInstance_EndKeyword_1_2
|
protected class |
EsterelParsetreeConstructor.AbortInstance_Group
begin Rule AbortInstance ****************
AbortInstance:
delay=DelayExpr ("do" statement=Statement "end" "abort"?)?; |
protected class |
EsterelParsetreeConstructor.AbortInstance_Group_1
|
protected class |
EsterelParsetreeConstructor.AbortInstance_StatementAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.Assignment_ColonEqualsSignKeyword_1
|
protected class |
EsterelParsetreeConstructor.Assignment_ExprAssignment_2
|
protected class |
EsterelParsetreeConstructor.Assignment_Group
begin Rule Assignment ****************
Assignment:
variable=EsterelID ":=" expr=DataExpr; |
protected class |
EsterelParsetreeConstructor.Assignment_VariableAssignment_0
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_AbortParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_Alternatives
begin Rule AtomicStatement ****************
AtomicStatement returns Statement:
Abort | Assignment | Await | Block | ProcCall | Do | Emit | EveryDo | Exit | Halt | IfTest | LocalSignalDecl | Loop |
Nothing | Pause | Present | Repeat | Run | Suspend | Sustain | Trap | Variable | WeakAbort; |
protected class |
EsterelParsetreeConstructor.AtomicStatement_AssignmentParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_AwaitParserRuleCall_2
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_BlockParserRuleCall_3
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_DoParserRuleCall_5
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_EmitParserRuleCall_6
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_EveryDoParserRuleCall_7
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_ExitParserRuleCall_8
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_HaltParserRuleCall_9
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_IfTestParserRuleCall_10
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_LocalSignalDeclParserRuleCall_11
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_LoopParserRuleCall_12
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_NothingParserRuleCall_13
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_PauseParserRuleCall_14
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_PresentParserRuleCall_15
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_ProcCallParserRuleCall_4
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_RepeatParserRuleCall_16
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_RunParserRuleCall_17
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_SuspendParserRuleCall_18
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_SustainParserRuleCall_19
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_TrapParserRuleCall_20
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_VariableParserRuleCall_21
|
protected class |
EsterelParsetreeConstructor.AtomicStatement_WeakAbortParserRuleCall_22
|
protected class |
EsterelParsetreeConstructor.Await_AwaitKeyword_0
|
protected class |
EsterelParsetreeConstructor.Await_BodyAssignment_1
|
protected class |
EsterelParsetreeConstructor.Await_Group
begin Rule Await ****************
// --> B.4.3 await: Strong Preemption
Await:
"await" body=AwaitBody; |
protected class |
EsterelParsetreeConstructor.AwaitBody_Alternatives
begin Rule AwaitBody ****************
AwaitBody:
AwaitInstance | AwaitCase; |
protected class |
EsterelParsetreeConstructor.AwaitBody_AwaitCaseParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.AwaitBody_AwaitInstanceParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.AwaitCase_CasesAssignment_0
|
protected class |
EsterelParsetreeConstructor.AwaitCase_CasesAssignment_1
|
protected class |
EsterelParsetreeConstructor.AwaitCase_EndAssignment_2
|
protected class |
EsterelParsetreeConstructor.AwaitCase_Group
begin Rule AwaitCase ****************
AwaitCase:
cases+=AbortCaseSingle cases+=AbortCaseSingle* end=AwaitEnd; |
protected class |
EsterelParsetreeConstructor.AwaitInstance_DelayAssignment_0
|
protected class |
EsterelParsetreeConstructor.AwaitInstance_DoKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.AwaitInstance_EndAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.AwaitInstance_Group
begin Rule AwaitInstance ****************
AwaitInstance:
delay=DelayExpr ("do" statement=Statement end=AwaitEnd)?; |
protected class |
EsterelParsetreeConstructor.AwaitInstance_Group_1
|
protected class |
EsterelParsetreeConstructor.AwaitInstance_StatementAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.Block_Group
begin Rule Block ****************
Block:
"[" statement=Statement "]"; |
protected class |
EsterelParsetreeConstructor.Block_LeftSquareBracketKeyword_0
|
protected class |
EsterelParsetreeConstructor.Block_RightSquareBracketKeyword_2
|
protected class |
EsterelParsetreeConstructor.Block_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_Alternatives
begin Rule ChannelDescription ****************
// ==============================================
// === B.2 Namespaces and Predefined Objects ===
// ==============================================
// ==> Signals <==
ChannelDescription:
":" type=ChannelType | "(" type=ChannelType ")" | ":=" dataExpr=DataExpr ":" type=ChannelType; |
protected class |
EsterelParsetreeConstructor.ChannelDescription_ColonEqualsSignKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_ColonKeyword_0_0
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_ColonKeyword_2_2
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_DataExprAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_Group_0
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_Group_1
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_Group_2
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_LeftParenthesisKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_RightParenthesisKeyword_1_2
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_TypeAssignment_0_1
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_TypeAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.ChannelDescription_TypeAssignment_2_3
|
protected class |
EsterelParsetreeConstructor.ChannelType_Alternatives
begin Rule ChannelType ****************
ChannelType:
(type=EsterelID | type=BaseType) | "combine" (type=EsterelID | type=BaseType) "with" (func=[Function|EsterelID] |
op=DataOp); |
protected class |
EsterelParsetreeConstructor.ChannelType_Alternatives_0
|
protected class |
EsterelParsetreeConstructor.ChannelType_Alternatives_1_1
|
protected class |
EsterelParsetreeConstructor.ChannelType_Alternatives_1_3
|
protected class |
EsterelParsetreeConstructor.ChannelType_CombineKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.ChannelType_FuncAssignment_1_3_0
|
protected class |
EsterelParsetreeConstructor.ChannelType_Group_1
|
protected class |
EsterelParsetreeConstructor.ChannelType_OpAssignment_1_3_1
|
protected class |
EsterelParsetreeConstructor.ChannelType_TypeAssignment_0_0
|
protected class |
EsterelParsetreeConstructor.ChannelType_TypeAssignment_0_1
|
protected class |
EsterelParsetreeConstructor.ChannelType_TypeAssignment_1_1_0
|
protected class |
EsterelParsetreeConstructor.ChannelType_TypeAssignment_1_1_1
|
protected class |
EsterelParsetreeConstructor.ChannelType_WithKeyword_1_2
|
protected class |
EsterelParsetreeConstructor.Constant_EqualsSignKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.Constant_Group
begin Rule Constant ****************
Constant:
name=EsterelID ("=" value=ConstantValue)?; |
protected class |
EsterelParsetreeConstructor.Constant_Group_1
|
protected class |
EsterelParsetreeConstructor.Constant_NameAssignment_0
|
protected class |
EsterelParsetreeConstructor.Constant_ValueAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.ConstantDecl_CommaKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.ConstantDecl_ConstantAssignment_1
|
protected class |
EsterelParsetreeConstructor.ConstantDecl_ConstantAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.ConstantDecl_ConstantKeyword_0
|
protected class |
EsterelParsetreeConstructor.ConstantDecl_Group
begin Rule ConstantDecl ****************
// ==> Constants
ConstantDecl:
"constant" constant+=OneTypeConstantDecl ("," constant+=OneTypeConstantDecl)* ";"; |
protected class |
EsterelParsetreeConstructor.ConstantDecl_Group_2
|
protected class |
EsterelParsetreeConstructor.ConstantDecl_SemicolonKeyword_3
|
protected class |
EsterelParsetreeConstructor.ConstantRenaming_Group
begin Rule ConstantRenaming ****************
ConstantRenaming:
newName=[Constant|EsterelID] "/" oldName=[Constant|EsterelID]; |
protected class |
EsterelParsetreeConstructor.ConstantRenaming_NewNameAssignment_0
|
protected class |
EsterelParsetreeConstructor.ConstantRenaming_OldNameAssignment_2
|
protected class |
EsterelParsetreeConstructor.ConstantRenaming_SolidusKeyword_1
|
protected class |
EsterelParsetreeConstructor.DataBlock_DataExprAssignment_1
|
protected class |
EsterelParsetreeConstructor.DataBlock_Group
begin Rule DataBlock ****************
DataBlock:
"(" dataExpr=DataExpr ")"; |
protected class |
EsterelParsetreeConstructor.DataBlock_LeftParenthesisKeyword_0
|
protected class |
EsterelParsetreeConstructor.DataBlock_RightParenthesisKeyword_2
|
protected class |
EsterelParsetreeConstructor.DataCurrent_Alternatives_1
|
protected class |
EsterelParsetreeConstructor.DataCurrent_Group
begin Rule DataCurrent ****************
DataCurrent:
"?" (signal=[Signal|EsterelID] | tick=Tick); |
protected class |
EsterelParsetreeConstructor.DataCurrent_QuestionMarkKeyword_0
|
protected class |
EsterelParsetreeConstructor.DataCurrent_SignalAssignment_1_0
|
protected class |
EsterelParsetreeConstructor.DataCurrent_TickAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.DataEquation_Alternatives_1_0
|
protected class |
EsterelParsetreeConstructor.DataEquation_DataMinusParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.DataEquation_Group
begin Rule DataEquation ****************
DataEquation:
DataMinus ((op="<" | op=">" | op="<=" | op=">=" | op="<>" | op="=") right=DataMinus)?; |
protected class |
EsterelParsetreeConstructor.DataEquation_Group_1
|
protected class |
EsterelParsetreeConstructor.DataEquation_OpAssignment_1_0_0
|
protected class |
EsterelParsetreeConstructor.DataEquation_OpAssignment_1_0_1
|
protected class |
EsterelParsetreeConstructor.DataEquation_OpAssignment_1_0_2
|
protected class |
EsterelParsetreeConstructor.DataEquation_OpAssignment_1_0_3
|
protected class |
EsterelParsetreeConstructor.DataEquation_OpAssignment_1_0_4
|
protected class |
EsterelParsetreeConstructor.DataEquation_OpAssignment_1_0_5
|
protected class |
EsterelParsetreeConstructor.DataEquation_RightAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.DataExpr_Alternatives_1_1
|
protected class |
EsterelParsetreeConstructor.DataExpr_DataExprLeftAction_1_0
|
protected class |
EsterelParsetreeConstructor.DataExpr_DataMultParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.DataExpr_Group
begin Rule DataExpr ****************
// ==============================================
// === B.3 Expressions ===
// ==============================================
// --> B.3.1 Data Expressions
DataExpr:
DataMult ({DataExpr.left=current} (op="+" | op="-" | op="or") right=DataMult)*; |
protected class |
EsterelParsetreeConstructor.DataExpr_Group_1
|
protected class |
EsterelParsetreeConstructor.DataExpr_OpAssignment_1_1_0
|
protected class |
EsterelParsetreeConstructor.DataExpr_OpAssignment_1_1_1
|
protected class |
EsterelParsetreeConstructor.DataExpr_OpAssignment_1_1_2
|
protected class |
EsterelParsetreeConstructor.DataExpr_RightAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.DataFunction_CommaKeyword_3_0
|
protected class |
EsterelParsetreeConstructor.DataFunction_DataExprAssignment_2
|
protected class |
EsterelParsetreeConstructor.DataFunction_DataExprAssignment_3_1
|
protected class |
EsterelParsetreeConstructor.DataFunction_FunctionAssignment_0
|
protected class |
EsterelParsetreeConstructor.DataFunction_Group
begin Rule DataFunction ****************
DataFunction:
function=[Function|EsterelID] "(" dataExpr+=DataExpr ("," dataExpr+=DataExpr)* ")"; |
protected class |
EsterelParsetreeConstructor.DataFunction_Group_3
|
protected class |
EsterelParsetreeConstructor.DataFunction_LeftParenthesisKeyword_1
|
protected class |
EsterelParsetreeConstructor.DataFunction_RightParenthesisKeyword_4
|
protected class |
EsterelParsetreeConstructor.DataMinus_Alternatives_0
|
protected class |
EsterelParsetreeConstructor.DataMinus_ExprAssignment_1
|
protected class |
EsterelParsetreeConstructor.DataMinus_Group
begin Rule DataMinus ****************
DataMinus:
(pre="-" | pre="not")? expr=DataUnaryExpr; |
protected class |
EsterelParsetreeConstructor.DataMinus_PreAssignment_0_0
|
protected class |
EsterelParsetreeConstructor.DataMinus_PreAssignment_0_1
|
protected class |
EsterelParsetreeConstructor.DataMult_Alternatives_1_1
|
protected class |
EsterelParsetreeConstructor.DataMult_DataEquationParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.DataMult_DataMultLeftAction_1_0
|
protected class |
EsterelParsetreeConstructor.DataMult_Group
begin Rule DataMult ****************
//(DataUnaryExpr ( {DataExpr.left=current} op=DataOp right=DataExpr)?)
//| (op=DataOp expr=DataExpr);
DataMult:
DataEquation ({DataMult.left=current} (op="*" | op="/" | op="mod" | op="and") right=DataEquation)*; |
protected class |
EsterelParsetreeConstructor.DataMult_Group_1
|
protected class |
EsterelParsetreeConstructor.DataMult_OpAssignment_1_1_0
|
protected class |
EsterelParsetreeConstructor.DataMult_OpAssignment_1_1_1
|
protected class |
EsterelParsetreeConstructor.DataMult_OpAssignment_1_1_2
|
protected class |
EsterelParsetreeConstructor.DataMult_OpAssignment_1_1_3
|
protected class |
EsterelParsetreeConstructor.DataMult_RightAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.DataPre_Alternatives_3
|
protected class |
EsterelParsetreeConstructor.DataPre_Group
begin Rule DataPre ****************
DataPre:
"pre" "(" "?" (signal=[Signal|EsterelID] | tick=Tick) ")"; |
protected class |
EsterelParsetreeConstructor.DataPre_LeftParenthesisKeyword_1
|
protected class |
EsterelParsetreeConstructor.DataPre_PreKeyword_0
|
protected class |
EsterelParsetreeConstructor.DataPre_QuestionMarkKeyword_2
|
protected class |
EsterelParsetreeConstructor.DataPre_RightParenthesisKeyword_4
|
protected class |
EsterelParsetreeConstructor.DataPre_SignalAssignment_3_0
|
protected class |
EsterelParsetreeConstructor.DataPre_TickAssignment_3_1
|
protected class |
EsterelParsetreeConstructor.DataTrap_Group
begin Rule DataTrap ****************
DataTrap:
"??" trap=[TrapDecl|EsterelID]; |
protected class |
EsterelParsetreeConstructor.DataTrap_QuestionMarkQuestionMarkKeyword_0
|
protected class |
EsterelParsetreeConstructor.DataTrap_TrapAssignment_1
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_Alternatives
begin Rule DataUnaryExpr ****************
DataUnaryExpr:
{DataTick} Tick | DataValueFloat | DataValueBoolean | DataValueInt | DataValueString | DataValueID | DataBlock |
DataCurrent | DataPre | DataTrap | DataFunction; |
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataBlockParserRuleCall_6
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataCurrentParserRuleCall_7
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataFunctionParserRuleCall_10
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataPreParserRuleCall_8
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataTickAction_0_0
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataTrapParserRuleCall_9
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataValueBooleanParserRuleCall_2
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataValueFloatParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataValueIDParserRuleCall_5
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataValueIntParserRuleCall_3
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_DataValueStringParserRuleCall_4
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_Group_0
|
protected class |
EsterelParsetreeConstructor.DataUnaryExpr_TickParserRuleCall_0_1
|
protected class |
EsterelParsetreeConstructor.DataValueBoolean_ValueAssignment
begin Rule DataValueBoolean ****************
DataValueBoolean:
value=Boolean; |
protected class |
EsterelParsetreeConstructor.DataValueFloat_ValueAssignment
begin Rule DataValueFloat ****************
DataValueFloat:
value=Float; |
protected class |
EsterelParsetreeConstructor.DataValueID_ValueAssignment
begin Rule DataValueID ****************
DataValueID:
value=EsterelID; |
protected class |
EsterelParsetreeConstructor.DataValueInt_ValueAssignment
begin Rule DataValueInt ****************
DataValueInt:
value=INT; |
protected class |
EsterelParsetreeConstructor.DataValueString_ValueAssignment
begin Rule DataValueString ****************
DataValueString:
value=STRING; |
protected class |
EsterelParsetreeConstructor.DelayEvent_Alternatives
begin Rule DelayEvent ****************
DelayEvent:
(signal=[Signal|EsterelID] | tick=Tick) | "pre" "(" preSigExpr=SigExpr ")" | "[" blockSigExpr=SigExpr "]"; |
protected class |
EsterelParsetreeConstructor.DelayEvent_Alternatives_0
|
protected class |
EsterelParsetreeConstructor.DelayEvent_BlockSigExprAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.DelayEvent_Group_1
|
protected class |
EsterelParsetreeConstructor.DelayEvent_Group_2
|
protected class |
EsterelParsetreeConstructor.DelayEvent_LeftParenthesisKeyword_1_1
|
protected class |
EsterelParsetreeConstructor.DelayEvent_LeftSquareBracketKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.DelayEvent_PreKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.DelayEvent_PreSigExprAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.DelayEvent_RightParenthesisKeyword_1_3
|
protected class |
EsterelParsetreeConstructor.DelayEvent_RightSquareBracketKeyword_2_2
|
protected class |
EsterelParsetreeConstructor.DelayEvent_SignalAssignment_0_0
|
protected class |
EsterelParsetreeConstructor.DelayEvent_TickAssignment_0_1
|
protected class |
EsterelParsetreeConstructor.DelayExpr_Alternatives
begin Rule DelayExpr ****************
// --> B.3.4 Delay Expressions <--
DelayExpr:
event=DelayEvent | expr=DataExpr event=DelayEvent; |
protected class |
EsterelParsetreeConstructor.DelayExpr_EventAssignment_0
|
protected class |
EsterelParsetreeConstructor.DelayExpr_EventAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.DelayExpr_ExprAssignment_1_0
|
protected class |
EsterelParsetreeConstructor.DelayExpr_Group_1
|
protected class |
EsterelParsetreeConstructor.Do_Alternatives_2
|
protected class |
EsterelParsetreeConstructor.Do_DoKeyword_0
|
protected class |
EsterelParsetreeConstructor.Do_EndUpAssignment_2_0
|
protected class |
EsterelParsetreeConstructor.Do_EndWatchAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Do_Group
begin Rule Do ****************
// --> B.4.5 do-upto: Conditional Iteration (deprecated)
// --> B.4.6 do-watching: Strong Preemption (deprecated)
Do:
"do" statement=Statement (endUp=DoUpto | endWatch=DoWatching); |
protected class |
EsterelParsetreeConstructor.Do_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.DoUpto_ExprAssignment_1
|
protected class |
EsterelParsetreeConstructor.DoUpto_Group
begin Rule DoUpto ****************
DoUpto:
"upto" expr=DelayExpr; |
protected class |
EsterelParsetreeConstructor.DoUpto_UptoKeyword_0
|
protected class |
EsterelParsetreeConstructor.DoWatching_DelayAssignment_1
|
protected class |
EsterelParsetreeConstructor.DoWatching_EndAssignment_2
|
protected class |
EsterelParsetreeConstructor.DoWatching_Group
begin Rule DoWatching ****************
DoWatching:
"watching" delay=DelayExpr end=DoWatchingEnd?; |
protected class |
EsterelParsetreeConstructor.DoWatching_WatchingKeyword_0
|
protected class |
EsterelParsetreeConstructor.DoWatchingEnd_EndKeyword_2
|
protected class |
EsterelParsetreeConstructor.DoWatchingEnd_Group
begin Rule DoWatchingEnd ****************
DoWatchingEnd:
"timeout" statement=Statement "end" "timeout"?; |
protected class |
EsterelParsetreeConstructor.DoWatchingEnd_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.DoWatchingEnd_TimeoutKeyword_0
|
protected class |
EsterelParsetreeConstructor.ElsePart_ElseKeyword_0
|
protected class |
EsterelParsetreeConstructor.ElsePart_Group
begin Rule ElsePart ****************
ElsePart:
"else" statement=Statement; |
protected class |
EsterelParsetreeConstructor.ElsePart_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.ElsIf_ElsifKeyword_0
|
protected class |
EsterelParsetreeConstructor.ElsIf_ExprAssignment_1
|
protected class |
EsterelParsetreeConstructor.ElsIf_Group
begin Rule ElsIf ****************
ElsIf:
"elsif" expr=DataExpr thenPart=ThenPart?; |
protected class |
EsterelParsetreeConstructor.ElsIf_ThenPartAssignment_2
|
protected class |
EsterelParsetreeConstructor.ElsIfPart_ElsifAssignment_0
|
protected class |
EsterelParsetreeConstructor.ElsIfPart_ElsifAssignment_1
|
protected class |
EsterelParsetreeConstructor.ElsIfPart_Group
begin Rule ElsIfPart ****************
ElsIfPart:
elsif+=ElsIf elsif+=ElsIf*; |
protected class |
EsterelParsetreeConstructor.Emit_Alternatives_1
|
protected class |
EsterelParsetreeConstructor.Emit_EmitKeyword_0
|
protected class |
EsterelParsetreeConstructor.Emit_ExprAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Emit_Group
begin Rule Emit ****************
// --> B.4.7 emit: Signal Emission <--
Emit:
"emit" (signal=[Signal|EsterelID] | tick=Tick) ("(" expr=DataExpr ")")?; |
protected class |
EsterelParsetreeConstructor.Emit_Group_2
|
protected class |
EsterelParsetreeConstructor.Emit_LeftParenthesisKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.Emit_RightParenthesisKeyword_2_2
|
protected class |
EsterelParsetreeConstructor.Emit_SignalAssignment_1_0
|
protected class |
EsterelParsetreeConstructor.Emit_TickAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.EveryDo_DelayAssignment_1
|
protected class |
EsterelParsetreeConstructor.EveryDo_DoKeyword_2
|
protected class |
EsterelParsetreeConstructor.EveryDo_EndKeyword_4
|
protected class |
EsterelParsetreeConstructor.EveryDo_EveryKeyword_0
|
protected class |
EsterelParsetreeConstructor.EveryDo_Group
begin Rule EveryDo ****************
// --> B.4.8 every-do: Conditional Iteration
EveryDo:
"every" delay=DelayExpr "do" statement=Statement "end" "every"?; |
protected class |
EsterelParsetreeConstructor.EveryDo_StatementAssignment_3
|
protected class |
EsterelParsetreeConstructor.Exit_DataExprAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Exit_ExitKeyword_0
|
protected class |
EsterelParsetreeConstructor.Exit_Group
begin Rule Exit ****************
// --> B.4.10 exit: Trap Exit
Exit:
"exit" trap=[TrapDecl|EsterelID] ("(" dataExpr=DataExpr ")")?; |
protected class |
EsterelParsetreeConstructor.Exit_Group_2
|
protected class |
EsterelParsetreeConstructor.Exit_LeftParenthesisKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.Exit_RightParenthesisKeyword_2_2
|
protected class |
EsterelParsetreeConstructor.Exit_TrapAssignment_1
|
protected class |
EsterelParsetreeConstructor.Function_Alternatives_5
|
protected class |
EsterelParsetreeConstructor.Function_ColonKeyword_4
|
protected class |
EsterelParsetreeConstructor.Function_CommaKeyword_2_1_0
|
protected class |
EsterelParsetreeConstructor.Function_Group
begin Rule Function ****************
Function:
name=EsterelID "(" (idList+=(EsterelID | BaseType) ("," idList+=(EsterelID | BaseType))*)? ")" ":" (type=EsterelID |
type=BaseType); |
protected class |
EsterelParsetreeConstructor.Function_Group_2
|
protected class |
EsterelParsetreeConstructor.Function_Group_2_1
|
protected class |
EsterelParsetreeConstructor.Function_IdListAssignment_2_0
|
protected class |
EsterelParsetreeConstructor.Function_IdListAssignment_2_1_1
|
protected class |
EsterelParsetreeConstructor.Function_LeftParenthesisKeyword_1
|
protected class |
EsterelParsetreeConstructor.Function_NameAssignment_0
|
protected class |
EsterelParsetreeConstructor.Function_RightParenthesisKeyword_3
|
protected class |
EsterelParsetreeConstructor.Function_TypeAssignment_5_0
|
protected class |
EsterelParsetreeConstructor.Function_TypeAssignment_5_1
|
protected class |
EsterelParsetreeConstructor.FunctionDecl_CommaKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.FunctionDecl_FunctionAssignment_1
|
protected class |
EsterelParsetreeConstructor.FunctionDecl_FunctionAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.FunctionDecl_FunctionKeyword_0
|
protected class |
EsterelParsetreeConstructor.FunctionDecl_Group
begin Rule FunctionDecl ****************
// ==> Functions
FunctionDecl:
"function" function+=Function ("," function+=Function)* ";"; |
protected class |
EsterelParsetreeConstructor.FunctionDecl_Group_2
|
protected class |
EsterelParsetreeConstructor.FunctionDecl_SemicolonKeyword_3
|
protected class |
EsterelParsetreeConstructor.FunctionRenaming_Group
begin Rule FunctionRenaming ****************
FunctionRenaming:
newName=[Function|EsterelID] "/" oldName=[Function|EsterelID]; |
protected class |
EsterelParsetreeConstructor.FunctionRenaming_NewNameAssignment_0
|
protected class |
EsterelParsetreeConstructor.FunctionRenaming_OldNameAssignment_2
|
protected class |
EsterelParsetreeConstructor.FunctionRenaming_SolidusKeyword_1
|
protected class |
EsterelParsetreeConstructor.Halt_Group
begin Rule Halt ****************
// --> B.4.11 halt: Wait Forever
Halt:
"halt" {Halt}; |
protected class |
EsterelParsetreeConstructor.Halt_HaltAction_1
|
protected class |
EsterelParsetreeConstructor.Halt_HaltKeyword_0
|
protected class |
EsterelParsetreeConstructor.IfTest_ElseIfAssignment_3
|
protected class |
EsterelParsetreeConstructor.IfTest_ElsePartAssignment_4
|
protected class |
EsterelParsetreeConstructor.IfTest_EndKeyword_5
|
protected class |
EsterelParsetreeConstructor.IfTest_ExprAssignment_1
|
protected class |
EsterelParsetreeConstructor.IfTest_Group
begin Rule IfTest ****************
// --> B.4.12: if: Conditional for Data
IfTest:
"if" expr=DataExpr thenPart=ThenPart? elseIf=ElsIfPart? elsePart=ElsePart? "end" "if"?; |
protected class |
EsterelParsetreeConstructor.IfTest_IfKeyword_0
|
protected class |
EsterelParsetreeConstructor.IfTest_ThenPartAssignment_2
|
protected class |
EsterelParsetreeConstructor.LocalSignalDecl_EndKeyword_4
|
protected class |
EsterelParsetreeConstructor.LocalSignalDecl_Group
begin Rule LocalSignalDecl ****************
// --> B.4.20 signal: Local Signal Declaration <--
LocalSignalDecl:
"signal" signalList=LocalSignalList "in" statement=Statement "end" "signal"?; |
protected class |
EsterelParsetreeConstructor.LocalSignalDecl_InKeyword_2
|
protected class |
EsterelParsetreeConstructor.LocalSignalDecl_SignalKeyword_0
|
protected class |
EsterelParsetreeConstructor.LocalSignalDecl_SignalListAssignment_1
|
protected class |
EsterelParsetreeConstructor.LocalSignalDecl_StatementAssignment_3
|
protected class |
EsterelParsetreeConstructor.LocalSignalList_CommaKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.LocalSignalList_Group
begin Rule LocalSignalList ****************
LocalSignalList:
{LocalSignal} signal+=Signal ("," signal+=Signal)*; |
protected class |
EsterelParsetreeConstructor.LocalSignalList_Group_2
|
protected class |
EsterelParsetreeConstructor.LocalSignalList_LocalSignalAction_0
|
protected class |
EsterelParsetreeConstructor.LocalSignalList_SignalAssignment_1
|
protected class |
EsterelParsetreeConstructor.LocalSignalList_SignalAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Loop_Alternatives_2
|
protected class |
EsterelParsetreeConstructor.Loop_BodyAssignment_1
|
protected class |
EsterelParsetreeConstructor.Loop_EndAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Loop_EndLoopParserRuleCall_2_0
|
protected class |
EsterelParsetreeConstructor.Loop_Group
begin Rule Loop ****************
// --> B.4.13 loop: Infinite Loop
// --> B.4.14 loop-each: Condition Iteration
Loop:
"loop" body=LoopBody (EndLoop | end=LoopEach); |
protected class |
EsterelParsetreeConstructor.Loop_LoopKeyword_0
|
protected class |
EsterelParsetreeConstructor.LoopBody_StatementAssignment
begin Rule LoopBody ****************
LoopBody:
statement=Statement; |
protected class |
EsterelParsetreeConstructor.LoopDelay_DelayAssignment
begin Rule LoopDelay ****************
LoopDelay:
delay=DelayExpr; |
protected class |
EsterelParsetreeConstructor.LoopEach_EachKeyword_0
|
protected class |
EsterelParsetreeConstructor.LoopEach_Group
begin Rule LoopEach ****************
LoopEach:
"each" LoopDelay; |
protected class |
EsterelParsetreeConstructor.LoopEach_LoopDelayParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.Module_ColonKeyword_2
|
protected class |
EsterelParsetreeConstructor.Module_EndModuleParserRuleCall_5
|
protected class |
EsterelParsetreeConstructor.Module_Group
begin Rule Module ****************
Module:
"module" name=EsterelID ":" modInt=ModuleInterface? modBody=ModuleBody EndModule; |
protected class |
EsterelParsetreeConstructor.Module_ModBodyAssignment_4
|
protected class |
EsterelParsetreeConstructor.Module_ModIntAssignment_3
|
protected class |
EsterelParsetreeConstructor.Module_ModuleKeyword_0
|
protected class |
EsterelParsetreeConstructor.Module_NameAssignment_1
|
protected class |
EsterelParsetreeConstructor.ModuleBody_StatementAssignment
begin Rule ModuleBody ****************
// help function to clearly divide a Module into interface and body
ModuleBody:
statement+=Statement; |
protected class |
EsterelParsetreeConstructor.ModuleInterface_Alternatives
begin Rule ModuleInterface ****************
ModuleInterface:
(intSignalDecl+=SignalDecl | intTypeDecl+=TypeDecl | intSensorDecl+=SensorDecl | intConstantDecl+=ConstantDecl |
intRelationDecl+=RelationDecl | intFunctionDecl+=FunctionDecl | intProcedureDecl+=ProcedureDecl)+; |
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntConstantDeclAssignment_3
|
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntFunctionDeclAssignment_5
|
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntProcedureDeclAssignment_6
|
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntRelationDeclAssignment_4
|
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntSensorDeclAssignment_2
|
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntSignalDeclAssignment_0
|
protected class |
EsterelParsetreeConstructor.ModuleInterface_IntTypeDeclAssignment_1
|
protected class |
EsterelParsetreeConstructor.ModuleRenaming_Group
begin Rule ModuleRenaming ****************
ModuleRenaming:
module=[Module|EsterelID] (renamed?="/" newName=EsterelID)?; |
protected class |
EsterelParsetreeConstructor.ModuleRenaming_Group_1
|
protected class |
EsterelParsetreeConstructor.ModuleRenaming_ModuleAssignment_0
|
protected class |
EsterelParsetreeConstructor.ModuleRenaming_NewNameAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.ModuleRenaming_RenamedAssignment_1_0
|
protected class |
EsterelParsetreeConstructor.Nothing_Group
begin Rule Nothing ****************
// --> B.4.15 nothing: No Operation
Nothing:
"nothing" {Nothing}; |
protected class |
EsterelParsetreeConstructor.Nothing_NothingAction_1
|
protected class |
EsterelParsetreeConstructor.Nothing_NothingKeyword_0
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_Alternatives_3
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_ColonKeyword_2
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_CommaKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_ConstantAssignment_0
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_ConstantAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_Group
begin Rule OneTypeConstantDecl ****************
OneTypeConstantDecl:
constant+=Constant ("," constant+=Constant)* ":" (type=EsterelID | type=BaseType); |
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_Group_1
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_TypeAssignment_3_0
|
protected class |
EsterelParsetreeConstructor.OneTypeConstantDecl_TypeAssignment_3_1
|
protected class |
EsterelParsetreeConstructor.Pause_Group
begin Rule Pause ****************
// --> B.4.16 pause: Unit Delay
Pause:
"pause" {Pause}; |
protected class |
EsterelParsetreeConstructor.Pause_PauseAction_1
|
protected class |
EsterelParsetreeConstructor.Pause_PauseKeyword_0
|
protected class |
EsterelParsetreeConstructor.Present_BodyAssignment_1
|
protected class |
EsterelParsetreeConstructor.Present_ElsePartAssignment_2
|
protected class |
EsterelParsetreeConstructor.Present_EndKeyword_3
|
protected class |
EsterelParsetreeConstructor.Present_Group
begin Rule Present ****************
// --> B.4.17 present: Conditional for Signals
Present:
"present" body=PresentBody elsePart=ElsePart? "end" "present"?; |
protected class |
EsterelParsetreeConstructor.Present_PresentKeyword_0
|
protected class |
EsterelParsetreeConstructor.PresentBody_Alternatives
begin Rule PresentBody ****************
PresentBody:
PresentEventBody | PresentCaseList; |
protected class |
EsterelParsetreeConstructor.PresentBody_PresentCaseListParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.PresentBody_PresentEventBodyParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.PresentCase_CaseKeyword_0
|
protected class |
EsterelParsetreeConstructor.PresentCase_DoKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.PresentCase_EventAssignment_1
|
protected class |
EsterelParsetreeConstructor.PresentCase_Group
begin Rule PresentCase ****************
PresentCase:
"case" event=PresentEvent ("do" statement=Statement)?; |
protected class |
EsterelParsetreeConstructor.PresentCase_Group_2
|
protected class |
EsterelParsetreeConstructor.PresentCase_StatementAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.PresentCaseList_CaseAssignment_0
|
protected class |
EsterelParsetreeConstructor.PresentCaseList_CaseAssignment_1
|
protected class |
EsterelParsetreeConstructor.PresentCaseList_Group
begin Rule PresentCaseList ****************
PresentCaseList:
case+=PresentCase case+=PresentCase*; |
protected class |
EsterelParsetreeConstructor.PresentEvent_Alternatives
begin Rule PresentEvent ****************
PresentEvent:
expression=SigExpr | "[" expression=SigExpr "]"; |
protected class |
EsterelParsetreeConstructor.PresentEvent_ExpressionAssignment_0
|
protected class |
EsterelParsetreeConstructor.PresentEvent_ExpressionAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.PresentEvent_Group_1
|
protected class |
EsterelParsetreeConstructor.PresentEvent_LeftSquareBracketKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.PresentEvent_RightSquareBracketKeyword_1_2
|
protected class |
EsterelParsetreeConstructor.PresentEventBody_EventAssignment_0
|
protected class |
EsterelParsetreeConstructor.PresentEventBody_Group
begin Rule PresentEventBody ****************
PresentEventBody:
event=PresentEvent thenPart=ThenPart?; |
protected class |
EsterelParsetreeConstructor.PresentEventBody_ThenPartAssignment_1
|
protected class |
EsterelParsetreeConstructor.ProcCall_CallKeyword_0
|
protected class |
EsterelParsetreeConstructor.ProcCall_CommaKeyword_4_0
|
protected class |
EsterelParsetreeConstructor.ProcCall_CommaKeyword_8_0
|
protected class |
EsterelParsetreeConstructor.ProcCall_ExprAssignment_7
|
protected class |
EsterelParsetreeConstructor.ProcCall_ExprAssignment_8_1
|
protected class |
EsterelParsetreeConstructor.ProcCall_Group
begin Rule ProcCall ****************
// --> B.4.4 call: Procedure Call
ProcCall:
"call" proc=[Procedure|EsterelID] "(" varList+=[VariableSingle|EsterelID] ("," varList+=[VariableSingle|EsterelID])*
")" "(" expr+=DataExpr ("," expr+=DataExpr)* ")"; |
protected class |
EsterelParsetreeConstructor.ProcCall_Group_4
|
protected class |
EsterelParsetreeConstructor.ProcCall_Group_8
|
protected class |
EsterelParsetreeConstructor.ProcCall_LeftParenthesisKeyword_2
|
protected class |
EsterelParsetreeConstructor.ProcCall_LeftParenthesisKeyword_6
|
protected class |
EsterelParsetreeConstructor.ProcCall_ProcAssignment_1
|
protected class |
EsterelParsetreeConstructor.ProcCall_RightParenthesisKeyword_5
|
protected class |
EsterelParsetreeConstructor.ProcCall_RightParenthesisKeyword_9
|
protected class |
EsterelParsetreeConstructor.ProcCall_VarListAssignment_3
|
protected class |
EsterelParsetreeConstructor.ProcCall_VarListAssignment_4_1
|
protected class |
EsterelParsetreeConstructor.Procedure_CommaKeyword_2_1_0
|
protected class |
EsterelParsetreeConstructor.Procedure_CommaKeyword_5_1_0
|
protected class |
EsterelParsetreeConstructor.Procedure_Group
begin Rule Procedure ****************
Procedure:
name=EsterelID "(" (idList1+=(EsterelID | BaseType) ("," idList1+=(EsterelID | BaseType))*)? ")" "("
(idList2+=(EsterelID | BaseType) ("," idList2+=(EsterelID | BaseType))*)? ")"; |
protected class |
EsterelParsetreeConstructor.Procedure_Group_2
|
protected class |
EsterelParsetreeConstructor.Procedure_Group_2_1
|
protected class |
EsterelParsetreeConstructor.Procedure_Group_5
|
protected class |
EsterelParsetreeConstructor.Procedure_Group_5_1
|
protected class |
EsterelParsetreeConstructor.Procedure_IdList1Assignment_2_0
|
protected class |
EsterelParsetreeConstructor.Procedure_IdList1Assignment_2_1_1
|
protected class |
EsterelParsetreeConstructor.Procedure_IdList2Assignment_5_0
|
protected class |
EsterelParsetreeConstructor.Procedure_IdList2Assignment_5_1_1
|
protected class |
EsterelParsetreeConstructor.Procedure_LeftParenthesisKeyword_1
|
protected class |
EsterelParsetreeConstructor.Procedure_LeftParenthesisKeyword_4
|
protected class |
EsterelParsetreeConstructor.Procedure_NameAssignment_0
|
protected class |
EsterelParsetreeConstructor.Procedure_RightParenthesisKeyword_3
|
protected class |
EsterelParsetreeConstructor.Procedure_RightParenthesisKeyword_6
|
protected class |
EsterelParsetreeConstructor.ProcedureDecl_CommaKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.ProcedureDecl_Group
begin Rule ProcedureDecl ****************
// ==> Procedures
ProcedureDecl:
"procedure" procedure+=Procedure ("," procedure+=Procedure)* ";"; |
protected class |
EsterelParsetreeConstructor.ProcedureDecl_Group_2
|
protected class |
EsterelParsetreeConstructor.ProcedureDecl_ProcedureAssignment_1
|
protected class |
EsterelParsetreeConstructor.ProcedureDecl_ProcedureAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.ProcedureDecl_ProcedureKeyword_0
|
protected class |
EsterelParsetreeConstructor.ProcedureDecl_SemicolonKeyword_3
|
protected class |
EsterelParsetreeConstructor.ProcedureRenaming_Group
begin Rule ProcedureRenaming ****************
ProcedureRenaming:
newName=[Procedure|EsterelID] "/" oldName=[Procedure|EsterelID]; |
protected class |
EsterelParsetreeConstructor.ProcedureRenaming_NewNameAssignment_0
|
protected class |
EsterelParsetreeConstructor.ProcedureRenaming_OldNameAssignment_2
|
protected class |
EsterelParsetreeConstructor.ProcedureRenaming_SolidusKeyword_1
|
protected class |
EsterelParsetreeConstructor.Program_Group
begin Rule Program ****************
// ==============================================
// === B.5 Modules ===
// ==============================================
// help function to allow multiple modules in one document
Program hidden(Esterel_SL_Comment, Esterel_ML_Comment, WS):
module+=Module module+=Module*; |
protected class |
EsterelParsetreeConstructor.Program_ModuleAssignment_0
|
protected class |
EsterelParsetreeConstructor.Program_ModuleAssignment_1
|
protected class |
EsterelParsetreeConstructor.RelationDecl_CommaKeyword_3_0
|
protected class |
EsterelParsetreeConstructor.RelationDecl_Group
begin Rule RelationDecl ****************
// ==> Relations
RelationDecl:
{Relation} "relation" relation+=RelationType ("," relation+=RelationType)* ";"; |
protected class |
EsterelParsetreeConstructor.RelationDecl_Group_3
|
protected class |
EsterelParsetreeConstructor.RelationDecl_RelationAction_0
|
protected class |
EsterelParsetreeConstructor.RelationDecl_RelationAssignment_2
|
protected class |
EsterelParsetreeConstructor.RelationDecl_RelationAssignment_3_1
|
protected class |
EsterelParsetreeConstructor.RelationDecl_RelationKeyword_1
|
protected class |
EsterelParsetreeConstructor.RelationDecl_SemicolonKeyword_4
|
protected class |
EsterelParsetreeConstructor.RelationImplication_FirstAssignment_0
|
protected class |
EsterelParsetreeConstructor.RelationImplication_Group
begin Rule RelationImplication ****************
RelationImplication:
first=[Signal|EsterelID] type="=>" second=[Signal|EsterelID]; |
protected class |
EsterelParsetreeConstructor.RelationImplication_SecondAssignment_2
|
protected class |
EsterelParsetreeConstructor.RelationImplication_TypeAssignment_1
|
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_Group
begin Rule RelationIncompatibility ****************
RelationIncompatibility:
incomp+=[Signal|EsterelID] type="#" incomp+=[Signal|EsterelID] ("#" incomp+=[Signal|EsterelID])*; |
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_Group_3
|
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_IncompAssignment_0
|
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_IncompAssignment_2
|
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_IncompAssignment_3_1
|
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_NumberSignKeyword_3_0
|
protected class |
EsterelParsetreeConstructor.RelationIncompatibility_TypeAssignment_1
|
protected class |
EsterelParsetreeConstructor.RelationType_Alternatives
begin Rule RelationType ****************
RelationType:
RelationImplication | RelationIncompatibility; |
protected class |
EsterelParsetreeConstructor.RelationType_RelationImplicationParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.RelationType_RelationIncompatibilityParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.Renaming_Alternatives
begin Rule Renaming ****************
Renaming:
"type" renaming+=TypeRenaming ("," renaming+=TypeRenaming)* | "constant" renaming+=ConstantRenaming (","
renaming+=ConstantRenaming)* | "function" renaming+=FunctionRenaming ("," renaming+=FunctionRenaming)* | "signal"
renaming+=SignalRenaming ("," renaming+=SignalRenaming)*; |
protected class |
EsterelParsetreeConstructor.Renaming_CommaKeyword_0_2_0
|
protected class |
EsterelParsetreeConstructor.Renaming_CommaKeyword_1_2_0
|
protected class |
EsterelParsetreeConstructor.Renaming_CommaKeyword_2_2_0
|
protected class |
EsterelParsetreeConstructor.Renaming_CommaKeyword_3_2_0
|
protected class |
EsterelParsetreeConstructor.Renaming_ConstantKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.Renaming_FunctionKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_0
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_0_2
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_1
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_1_2
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_2
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_2_2
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_3
|
protected class |
EsterelParsetreeConstructor.Renaming_Group_3_2
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_0_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_0_2_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_1_2_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_2_2_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_3_1
|
protected class |
EsterelParsetreeConstructor.Renaming_RenamingAssignment_3_2_1
|
protected class |
EsterelParsetreeConstructor.Renaming_SignalKeyword_3_0
|
protected class |
EsterelParsetreeConstructor.Renaming_TypeKeyword_0_0
|
protected class |
EsterelParsetreeConstructor.RenamingList_Group
begin Rule RenamingList ****************
RenamingList:
list+=Renaming (";" list+=Renaming)*; |
protected class |
EsterelParsetreeConstructor.RenamingList_Group_1
|
protected class |
EsterelParsetreeConstructor.RenamingList_ListAssignment_0
|
protected class |
EsterelParsetreeConstructor.RenamingList_ListAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.RenamingList_SemicolonKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.Repeat_DataExprAssignment_2
|
protected class |
EsterelParsetreeConstructor.Repeat_EndKeyword_5
|
protected class |
EsterelParsetreeConstructor.Repeat_Group
begin Rule Repeat ****************
// --> B.4.18 repeat: Iterate a Fixed Number of Times
Repeat:
positive?="positive"? "repeat" dataExpr=DataExpr "times" statement=Statement "end" "repeat"?; |
protected class |
EsterelParsetreeConstructor.Repeat_PositiveAssignment_0
|
protected class |
EsterelParsetreeConstructor.Repeat_RepeatKeyword_1
|
protected class |
EsterelParsetreeConstructor.Repeat_StatementAssignment_4
|
protected class |
EsterelParsetreeConstructor.Repeat_TimesKeyword_3
|
protected class |
EsterelParsetreeConstructor.Run_Alternatives
begin Rule Run ****************
// --> B.4.19 run: Module Instantiation
//deprecated
Run:
"run" module=ModuleRenaming ("[" list=RenamingList "]")? | "copymodule" module=ModuleRenaming ("[" list=RenamingList
"]")?; |
protected class |
EsterelParsetreeConstructor.Run_CopymoduleKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.Run_Group_0
|
protected class |
EsterelParsetreeConstructor.Run_Group_0_2
|
protected class |
EsterelParsetreeConstructor.Run_Group_1
|
protected class |
EsterelParsetreeConstructor.Run_Group_1_2
|
protected class |
EsterelParsetreeConstructor.Run_LeftSquareBracketKeyword_0_2_0
|
protected class |
EsterelParsetreeConstructor.Run_LeftSquareBracketKeyword_1_2_0
|
protected class |
EsterelParsetreeConstructor.Run_ListAssignment_0_2_1
|
protected class |
EsterelParsetreeConstructor.Run_ListAssignment_1_2_1
|
protected class |
EsterelParsetreeConstructor.Run_ModuleAssignment_0_1
|
protected class |
EsterelParsetreeConstructor.Run_ModuleAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.Run_RightSquareBracketKeyword_0_2_2
|
protected class |
EsterelParsetreeConstructor.Run_RightSquareBracketKeyword_1_2_2
|
protected class |
EsterelParsetreeConstructor.Run_RunKeyword_0_0
|
protected class |
EsterelParsetreeConstructor.Sensor_Alternatives
begin Rule Sensor ****************
Sensor:
name=EsterelID ":" (type=EsterelID | type=BaseType) | name=EsterelID "(" (type=EsterelID | type=BaseType) ")"; |
protected class |
EsterelParsetreeConstructor.Sensor_Alternatives_0_2
|
protected class |
EsterelParsetreeConstructor.Sensor_Alternatives_1_2
|
protected class |
EsterelParsetreeConstructor.Sensor_ColonKeyword_0_1
|
protected class |
EsterelParsetreeConstructor.Sensor_Group_0
|
protected class |
EsterelParsetreeConstructor.Sensor_Group_1
|
protected class |
EsterelParsetreeConstructor.Sensor_LeftParenthesisKeyword_1_1
|
protected class |
EsterelParsetreeConstructor.Sensor_NameAssignment_0_0
|
protected class |
EsterelParsetreeConstructor.Sensor_NameAssignment_1_0
|
protected class |
EsterelParsetreeConstructor.Sensor_RightParenthesisKeyword_1_3
|
protected class |
EsterelParsetreeConstructor.Sensor_TypeAssignment_0_2_0
|
protected class |
EsterelParsetreeConstructor.Sensor_TypeAssignment_0_2_1
|
protected class |
EsterelParsetreeConstructor.Sensor_TypeAssignment_1_2_0
|
protected class |
EsterelParsetreeConstructor.Sensor_TypeAssignment_1_2_1
|
protected class |
EsterelParsetreeConstructor.SensorDecl_CommaKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.SensorDecl_Group
begin Rule SensorDecl ****************
//ChannelType:
// //make reference to declared types
//Problem: Need reference OR BaseType
SensorDecl:
"sensor" sensor+=Sensor ("," sensor+=Sensor)* ";"; |
protected class |
EsterelParsetreeConstructor.SensorDecl_Group_2
|
protected class |
EsterelParsetreeConstructor.SensorDecl_SemicolonKeyword_3
|
protected class |
EsterelParsetreeConstructor.SensorDecl_SensorAssignment_1
|
protected class |
EsterelParsetreeConstructor.SensorDecl_SensorAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.SensorDecl_SensorKeyword_0
|
protected class |
EsterelParsetreeConstructor.Sequence_AtomicStatementParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.Sequence_Group
begin Rule Sequence ****************
// --> B.4.1 Control Flow Operators <--
Sequence returns Statement:
AtomicStatement ({Sequence.list+=current} ";" list+=AtomicStatement)* ";"?; |
protected class |
EsterelParsetreeConstructor.Sequence_Group_1
|
protected class |
EsterelParsetreeConstructor.Sequence_ListAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.Sequence_SemicolonKeyword_1_1
|
protected class |
EsterelParsetreeConstructor.Sequence_SequenceListAction_1_0
|
protected class |
EsterelParsetreeConstructor.SigExpr_AndExprAssignment_0
|
protected class |
EsterelParsetreeConstructor.SigExpr_AndExprAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.SigExpr_Group
begin Rule SigExpr ****************
SigExpr:
andExpr+=SigExprAND ("or" andExpr+=SigExprAND)*; |
protected class |
EsterelParsetreeConstructor.SigExpr_Group_1
|
protected class |
EsterelParsetreeConstructor.SigExpr_OrKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.SigExprAND_AndKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.SigExprAND_Group
begin Rule SigExprAND ****************
SigExprAND:
unaExpr+=SigExprUnary ("and" unaExpr+=SigExprUnary)*; |
protected class |
EsterelParsetreeConstructor.SigExprAND_Group_1
|
protected class |
EsterelParsetreeConstructor.SigExprAND_UnaExprAssignment_0
|
protected class |
EsterelParsetreeConstructor.SigExprAND_UnaExprAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_Alternatives
begin Rule SigExprUnary ****************
SigExprUnary:
expr=EsterelID | "(" sigExpr=SigExpr ")" | "not" sigExpr=SigExprUnary; |
protected class |
EsterelParsetreeConstructor.SigExprUnary_ExprAssignment_0
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_Group_1
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_Group_2
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_LeftParenthesisKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_NotKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_RightParenthesisKeyword_1_2
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_SigExprAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.SigExprUnary_SigExprAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Signal_ChannelAssignment_1
|
protected class |
EsterelParsetreeConstructor.Signal_Group
begin Rule Signal ****************
Signal:
name=EsterelID channel=ChannelDescription?; |
protected class |
EsterelParsetreeConstructor.Signal_NameAssignment_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Alternatives
begin Rule SignalDecl ****************
// ----------------------------------------------
// Interface Declarations
// ----------------------------------------------
// ==> Signals and Sensors <==
SignalDecl:
{Input} "input" signal+=Signal ("," signal+=Signal)* ";" | {Output} "output" signal+=Signal ("," signal+=Signal)* ";"
| {InputOutput} "inputoutput" signal+=Signal ("," signal+=Signal)* ";" | {Return} "return" signal+=Signal (","
signal+=Signal)* ";"; |
protected class |
EsterelParsetreeConstructor.SignalDecl_CommaKeyword_0_3_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_CommaKeyword_1_3_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_CommaKeyword_2_3_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_CommaKeyword_3_3_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_0_3
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_1_3
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_2
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_2_3
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_3
|
protected class |
EsterelParsetreeConstructor.SignalDecl_Group_3_3
|
protected class |
EsterelParsetreeConstructor.SignalDecl_InputAction_0_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_InputKeyword_0_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_InputOutputAction_2_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_InputoutputKeyword_2_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_OutputAction_1_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_OutputKeyword_1_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_ReturnAction_3_0
|
protected class |
EsterelParsetreeConstructor.SignalDecl_ReturnKeyword_3_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SemicolonKeyword_0_4
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SemicolonKeyword_1_4
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SemicolonKeyword_2_4
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SemicolonKeyword_3_4
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_0_2
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_0_3_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_1_3_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_2_2
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_2_3_1
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_3_2
|
protected class |
EsterelParsetreeConstructor.SignalDecl_SignalAssignment_3_3_1
|
protected class |
EsterelParsetreeConstructor.SignalRenaming_Group
begin Rule SignalRenaming ****************
SignalRenaming:
newName=[Signal|EsterelID] "/" oldName=[Signal|EsterelID]; |
protected class |
EsterelParsetreeConstructor.SignalRenaming_NewNameAssignment_0
|
protected class |
EsterelParsetreeConstructor.SignalRenaming_OldNameAssignment_2
|
protected class |
EsterelParsetreeConstructor.SignalRenaming_SolidusKeyword_1
|
protected class |
EsterelParsetreeConstructor.Statement_Group
begin Rule Statement ****************
// ==============================================
// === B.4 Statements ===
// ==============================================
Statement:
Sequence ({Parallel.list+=current} "||" list+=Sequence)*; |
protected class |
EsterelParsetreeConstructor.Statement_Group_1
|
protected class |
EsterelParsetreeConstructor.Statement_ListAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.Statement_ParallelListAction_1_0
|
protected class |
EsterelParsetreeConstructor.Statement_SequenceParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.Statement_VerticalLineVerticalLineKeyword_1_1
|
protected class |
EsterelParsetreeConstructor.Suspend_DelayAssignment_3
|
protected class |
EsterelParsetreeConstructor.Suspend_Group
begin Rule Suspend ****************
// --> B.4.21 suspend: Preemption with State Freeze
Suspend:
"suspend" statement=Statement "when" delay=DelayExpr; |
protected class |
EsterelParsetreeConstructor.Suspend_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.Suspend_SuspendKeyword_0
|
protected class |
EsterelParsetreeConstructor.Suspend_WhenKeyword_2
|
protected class |
EsterelParsetreeConstructor.Sustain_Alternatives_1
|
protected class |
EsterelParsetreeConstructor.Sustain_DataExprAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.Sustain_Group
begin Rule Sustain ****************
// --> B.4.22 sustain: Emit a Signal Indefinitely
Sustain:
"sustain" (signal=[Signal|EsterelID] | tick=Tick) ("(" dataExpr=DataExpr ")")?; |
protected class |
EsterelParsetreeConstructor.Sustain_Group_2
|
protected class |
EsterelParsetreeConstructor.Sustain_LeftParenthesisKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.Sustain_RightParenthesisKeyword_2_2
|
protected class |
EsterelParsetreeConstructor.Sustain_SignalAssignment_1_0
|
protected class |
EsterelParsetreeConstructor.Sustain_SustainKeyword_0
|
protected class |
EsterelParsetreeConstructor.Sustain_TickAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.ThenPart_Group
begin Rule ThenPart ****************
ThenPart:
"then" statement=Statement; |
protected class |
EsterelParsetreeConstructor.ThenPart_StatementAssignment_1
|
protected class |
EsterelParsetreeConstructor.ThenPart_ThenKeyword_0
|
protected class |
EsterelParsetreeConstructor.ThisRootNode
|
protected class |
EsterelParsetreeConstructor.Trap_EndKeyword_5
|
protected class |
EsterelParsetreeConstructor.Trap_Group
begin Rule Trap ****************
// --> B.4.23 trap: TrapDeclaration and Handling
Trap:
"trap" trapDeclList=TrapDeclList "in" statement=Statement trapHandlerList=TrapHandlerList? "end" "trap"?; |
protected class |
EsterelParsetreeConstructor.Trap_InKeyword_2
|
protected class |
EsterelParsetreeConstructor.Trap_StatementAssignment_3
|
protected class |
EsterelParsetreeConstructor.Trap_TrapDeclListAssignment_1
|
protected class |
EsterelParsetreeConstructor.Trap_TrapHandlerListAssignment_4
|
protected class |
EsterelParsetreeConstructor.Trap_TrapKeyword_0
|
protected class |
EsterelParsetreeConstructor.TrapDecl_ChannelDescAssignment_1
|
protected class |
EsterelParsetreeConstructor.TrapDecl_Group
begin Rule TrapDecl ****************
TrapDecl:
name=EsterelID channelDesc=ChannelDescription?; |
protected class |
EsterelParsetreeConstructor.TrapDecl_NameAssignment_0
|
protected class |
EsterelParsetreeConstructor.TrapDeclList_CommaKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.TrapDeclList_Group
begin Rule TrapDeclList ****************
TrapDeclList:
trapDecl+=TrapDecl ("," trapDecl+=TrapDecl)*; |
protected class |
EsterelParsetreeConstructor.TrapDeclList_Group_1
|
protected class |
EsterelParsetreeConstructor.TrapDeclList_TrapDeclAssignment_0
|
protected class |
EsterelParsetreeConstructor.TrapDeclList_TrapDeclAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.TrapExpr_SigExprParserRuleCall
begin Rule TrapExpr ****************
// --> B.3.3 Signal Expressions <--
// --> B.3.5 Trap Expressions <--
TrapExpr:
SigExpr; |
protected class |
EsterelParsetreeConstructor.TrapHandler_DoKeyword_2
|
protected class |
EsterelParsetreeConstructor.TrapHandler_Group
begin Rule TrapHandler ****************
TrapHandler:
"handle" trapExpr=TrapExpr "do" statement=Statement; |
protected class |
EsterelParsetreeConstructor.TrapHandler_HandleKeyword_0
|
protected class |
EsterelParsetreeConstructor.TrapHandler_StatementAssignment_3
|
protected class |
EsterelParsetreeConstructor.TrapHandler_TrapExprAssignment_1
|
protected class |
EsterelParsetreeConstructor.TrapHandlerList_Group
begin Rule TrapHandlerList ****************
TrapHandlerList:
trapHandler+=TrapHandler trapHandler+=TrapHandler*; |
protected class |
EsterelParsetreeConstructor.TrapHandlerList_TrapHandlerAssignment_0
|
protected class |
EsterelParsetreeConstructor.TrapHandlerList_TrapHandlerAssignment_1
|
protected class |
EsterelParsetreeConstructor.Type_NameAssignment
begin Rule Type ****************
Type:
name=EsterelID; |
protected class |
EsterelParsetreeConstructor.TypeDecl_CommaKeyword_2_0
|
protected class |
EsterelParsetreeConstructor.TypeDecl_Group
begin Rule TypeDecl ****************
// ==> Types
TypeDecl:
"type" type+=Type ("," type+=Type)* ";"; |
protected class |
EsterelParsetreeConstructor.TypeDecl_Group_2
|
protected class |
EsterelParsetreeConstructor.TypeDecl_SemicolonKeyword_3
|
protected class |
EsterelParsetreeConstructor.TypeDecl_TypeAssignment_1
|
protected class |
EsterelParsetreeConstructor.TypeDecl_TypeAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.TypeDecl_TypeKeyword_0
|
protected class |
EsterelParsetreeConstructor.TypeRenaming_Group
begin Rule TypeRenaming ****************
TypeRenaming:
newName=[Type|EsterelID] "/" oldName=[Type|EsterelID]; |
protected class |
EsterelParsetreeConstructor.TypeRenaming_NewNameAssignment_0
|
protected class |
EsterelParsetreeConstructor.TypeRenaming_OldNameAssignment_2
|
protected class |
EsterelParsetreeConstructor.TypeRenaming_SolidusKeyword_1
|
protected class |
EsterelParsetreeConstructor.Variable_EndKeyword_4
|
protected class |
EsterelParsetreeConstructor.Variable_Group
begin Rule Variable ****************
// --> B.4.24 var: Local Variable Declaration
Variable:
"var" varDecl=VariableDecl "in" statement=Statement "end" "var"?; |
protected class |
EsterelParsetreeConstructor.Variable_InKeyword_2
|
protected class |
EsterelParsetreeConstructor.Variable_StatementAssignment_3
|
protected class |
EsterelParsetreeConstructor.Variable_VarDeclAssignment_1
|
protected class |
EsterelParsetreeConstructor.Variable_VarKeyword_0
|
protected class |
EsterelParsetreeConstructor.VariableDecl_Alternatives_2
|
protected class |
EsterelParsetreeConstructor.VariableDecl_Alternatives_3_4
|
protected class |
EsterelParsetreeConstructor.VariableDecl_ColonKeyword_1
|
protected class |
EsterelParsetreeConstructor.VariableDecl_ColonKeyword_3_3
|
protected class |
EsterelParsetreeConstructor.VariableDecl_CommaKeyword_3_1
|
protected class |
EsterelParsetreeConstructor.VariableDecl_Group
begin Rule VariableDecl ****************
VariableDecl:
varList=VariableList ":" (type=EsterelID | type=BaseType) ({VariableDecl.left=current} "," varList=VariableList ":"
(type=EsterelID | type=BaseType))*; |
protected class |
EsterelParsetreeConstructor.VariableDecl_Group_3
|
protected class |
EsterelParsetreeConstructor.VariableDecl_TypeAssignment_2_0
|
protected class |
EsterelParsetreeConstructor.VariableDecl_TypeAssignment_2_1
|
protected class |
EsterelParsetreeConstructor.VariableDecl_TypeAssignment_3_4_0
|
protected class |
EsterelParsetreeConstructor.VariableDecl_TypeAssignment_3_4_1
|
protected class |
EsterelParsetreeConstructor.VariableDecl_VariableDeclLeftAction_3_0
|
protected class |
EsterelParsetreeConstructor.VariableDecl_VarListAssignment_0
|
protected class |
EsterelParsetreeConstructor.VariableDecl_VarListAssignment_3_2
|
protected class |
EsterelParsetreeConstructor.VariableList_CommaKeyword_1_1
|
protected class |
EsterelParsetreeConstructor.VariableList_Group
begin Rule VariableList ****************
VariableList:
variable+=VariableSingle ({VariableList.left=current} "," variable+=VariableSingle)*; |
protected class |
EsterelParsetreeConstructor.VariableList_Group_1
|
protected class |
EsterelParsetreeConstructor.VariableList_VariableAssignment_0
|
protected class |
EsterelParsetreeConstructor.VariableList_VariableAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.VariableList_VariableListLeftAction_1_0
|
protected class |
EsterelParsetreeConstructor.VariableSingle_ColonEqualsSignKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.VariableSingle_ExpressionAssignment_1_1
|
protected class |
EsterelParsetreeConstructor.VariableSingle_Group
begin Rule VariableSingle ****************
VariableSingle:
name=EsterelID (":=" expression=DataExpr)?; |
protected class |
EsterelParsetreeConstructor.VariableSingle_Group_1
|
protected class |
EsterelParsetreeConstructor.VariableSingle_NameAssignment_0
|
protected class |
EsterelParsetreeConstructor.WeakAbort_AbortKeyword_1
|
protected class |
EsterelParsetreeConstructor.WeakAbort_Group
begin Rule WeakAbort ****************
// --> B.4.25 weak abort: Weak Preemption
WeakAbort:
"weak" "abort" statement=Statement "when" weakAbortBody=WeakAbortBody; |
protected class |
EsterelParsetreeConstructor.WeakAbort_StatementAssignment_2
|
protected class |
EsterelParsetreeConstructor.WeakAbort_WeakAbortBodyAssignment_4
|
protected class |
EsterelParsetreeConstructor.WeakAbort_WeakKeyword_0
|
protected class |
EsterelParsetreeConstructor.WeakAbort_WhenKeyword_3
|
protected class |
EsterelParsetreeConstructor.WeakAbortBody_Alternatives
begin Rule WeakAbortBody ****************
WeakAbortBody:
WeakAbortInstance | WeakAbortCase; |
protected class |
EsterelParsetreeConstructor.WeakAbortBody_WeakAbortCaseParserRuleCall_1
|
protected class |
EsterelParsetreeConstructor.WeakAbortBody_WeakAbortInstanceParserRuleCall_0
|
protected class |
EsterelParsetreeConstructor.WeakAbortCase_CasesAssignment_0
|
protected class |
EsterelParsetreeConstructor.WeakAbortCase_CasesAssignment_1
|
protected class |
EsterelParsetreeConstructor.WeakAbortCase_EndAssignment_2
|
protected class |
EsterelParsetreeConstructor.WeakAbortCase_Group
begin Rule WeakAbortCase ****************
WeakAbortCase:
cases+=AbortCaseSingle cases+=AbortCaseSingle* end=WeakAbortEnd; |
protected class |
EsterelParsetreeConstructor.WeakAbortInstance_DelayAssignment_0
|
protected class |
EsterelParsetreeConstructor.WeakAbortInstance_DoKeyword_1_0
|
protected class |
EsterelParsetreeConstructor.WeakAbortInstance_EndAssignment_1_2
|
protected class |
EsterelParsetreeConstructor.WeakAbortInstance_Group
begin Rule WeakAbortInstance ****************
WeakAbortInstance:
delay=DelayExpr ("do" statement=Statement end=WeakAbortEnd)?; |
protected class |
EsterelParsetreeConstructor.WeakAbortInstance_Group_1
|
protected class |
EsterelParsetreeConstructor.WeakAbortInstance_StatementAssignment_1_1
|