Nested Class Summary |
protected class |
KitsStateParsetreeConstructor.Action_ActionAction_0
|
protected class |
KitsStateParsetreeConstructor.Action_CommaKeyword_4_2_0
|
protected class |
KitsStateParsetreeConstructor.Action_DelayAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Action_EffectsAssignment_4_1
|
protected class |
KitsStateParsetreeConstructor.Action_EffectsAssignment_4_2_1
|
protected class |
KitsStateParsetreeConstructor.Action_Group
begin Rule Action ****************
// chsch: The action rule is used in Kits.xtext for entry-, inner-, exitActions, suspensionTrigger
Action returns synccharts::Action:
{synccharts::Action} isImmediate?="#"? delay=INT? trigger=BooleanExpression? ("/" effects+=Effect (","
effects+=Effect)*)?; |
protected class |
KitsStateParsetreeConstructor.Action_Group_4
|
protected class |
KitsStateParsetreeConstructor.Action_Group_4_2
|
protected class |
KitsStateParsetreeConstructor.Action_IsImmediateAssignment_1
|
protected class |
KitsStateParsetreeConstructor.Action_SolidusKeyword_4_0
|
protected class |
KitsStateParsetreeConstructor.Action_TriggerAssignment_3
|
protected class |
KitsStateParsetreeConstructor.AddExpression_Group
begin Rule AddExpression ****************
// Example: 1 + 2
AddExpression returns Expression:
SubExpression ({OperatorExpression.subExpressions+=current} operator=AddOperator subExpressions+=SubExpression)*; |
protected class |
KitsStateParsetreeConstructor.AddExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.AddExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.AddExpression_OperatorExpressionSubExpressionsAction_1_0
|
protected class |
KitsStateParsetreeConstructor.AddExpression_SubExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.AddExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.AndExpression_CompareOperationParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.AndExpression_Group
begin Rule AndExpression ****************
// Example: A and B, not C and 42 <= ?D
AndExpression returns Expression:
CompareOperation ({OperatorExpression.subExpressions+=current} operator=AndOperator
subExpressions+=CompareOperation)*; |
protected class |
KitsStateParsetreeConstructor.AndExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.AndExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.AndExpression_OperatorExpressionSubExpressionsAction_1_0
|
protected class |
KitsStateParsetreeConstructor.AndExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.Assignment_ColonEqualsSignKeyword_1
|
protected class |
KitsStateParsetreeConstructor.Assignment_ExpressionAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Assignment_Group
begin Rule Assignment ****************
Assignment returns synccharts::Assignment:
variable=[expressions::Variable] ":=" expression=Expression; |
protected class |
KitsStateParsetreeConstructor.Assignment_VariableAssignment_0
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_Alternatives
begin Rule AtomicExpression ****************
AtomicExpression returns Expression:
BooleanValue | ValuedObjectTestExpression | "(" BooleanExpression ")" | TextExpression; |
protected class |
KitsStateParsetreeConstructor.AtomicExpression_BooleanExpressionParserRuleCall_2_1
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_BooleanValueParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_Group_2
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_LeftParenthesisKeyword_2_0
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_RightParenthesisKeyword_2_2
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_TextExpressionParserRuleCall_3
|
protected class |
KitsStateParsetreeConstructor.AtomicExpression_ValuedObjectTestExpressionParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_Alternatives
begin Rule AtomicValuedExpression ****************
AtomicValuedExpression returns Expression:
IntValue | FloatValue | "(" DivExpression ")" | "(" ValuedExpression ")" | AtomicExpression; |
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_AtomicExpressionParserRuleCall_4
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_DivExpressionParserRuleCall_2_1
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_FloatValueParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_Group_2
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_Group_3
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_IntValueParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_LeftParenthesisKeyword_2_0
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_LeftParenthesisKeyword_3_0
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_RightParenthesisKeyword_2_2
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_RightParenthesisKeyword_3_2
|
protected class |
KitsStateParsetreeConstructor.AtomicValuedExpression_ValuedExpressionParserRuleCall_3_1
|
protected class |
KitsStateParsetreeConstructor.BooleanExpression_OrExpressionParserRuleCall
begin Rule BooleanExpression ****************
// Example: not D and C or ?E = 42 or not (A and (B or C))
BooleanExpression returns Expression:
OrExpression; |
protected class |
KitsStateParsetreeConstructor.BooleanValue_ValueAssignment
begin Rule BooleanValue ****************
BooleanValue:
value=Boolean; |
protected class |
KitsStateParsetreeConstructor.CommentAnnotation_ValueAssignment
begin Rule CommentAnnotation ****************
// e.g.: / ** semantic comment * /
CommentAnnotation returns StringAnnotation:
value=COMMENT_ANNOTATION; |
protected class |
KitsStateParsetreeConstructor.CompareOperation_Alternatives
begin Rule CompareOperation ****************
// Example: 42 <= ?A
CompareOperation returns Expression:
NotOrValuedExpression ({OperatorExpression.subExpressions+=current} operator=CompareOperator
subExpressions+=NotOrValuedExpression) | NotExpression; |
protected class |
KitsStateParsetreeConstructor.CompareOperation_Group_0
|
protected class |
KitsStateParsetreeConstructor.CompareOperation_Group_0_1
|
protected class |
KitsStateParsetreeConstructor.CompareOperation_NotExpressionParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.CompareOperation_NotOrValuedExpressionParserRuleCall_0_0
|
protected class |
KitsStateParsetreeConstructor.CompareOperation_OperatorAssignment_0_1_1
|
protected class |
KitsStateParsetreeConstructor.CompareOperation_OperatorExpressionSubExpressionsAction_0_1_0
|
protected class |
KitsStateParsetreeConstructor.CompareOperation_SubExpressionsAssignment_0_1_2
|
protected class |
KitsStateParsetreeConstructor.DivExpression_AtomicValuedExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.DivExpression_Group
begin Rule DivExpression ****************
// Example: (2 / 4)
// note: division always has to have parantheses because the '/' sign is also used for trigger/effect delimiter
DivExpression returns Expression:
AtomicValuedExpression {OperatorExpression.subExpressions+=current} operator=DivOperator
subExpressions+=AtomicValuedExpression; |
protected class |
KitsStateParsetreeConstructor.DivExpression_OperatorAssignment_2
|
protected class |
KitsStateParsetreeConstructor.DivExpression_OperatorExpressionSubExpressionsAction_1
|
protected class |
KitsStateParsetreeConstructor.DivExpression_SubExpressionsAssignment_3
|
protected class |
KitsStateParsetreeConstructor.Effect_Alternatives
begin Rule Effect ****************
Effect returns synccharts::Effect:
Emission | Assignment | TextEffect; |
protected class |
KitsStateParsetreeConstructor.Effect_AssignmentParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.Effect_EmissionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.Effect_TextEffectParserRuleCall_2
|
protected class |
KitsStateParsetreeConstructor.Emission_Group
begin Rule Emission ****************
Emission returns synccharts::Emission:
signal=[expressions::Signal] ("(" newValue=Expression ")")?; |
protected class |
KitsStateParsetreeConstructor.Emission_Group_1
|
protected class |
KitsStateParsetreeConstructor.Emission_LeftParenthesisKeyword_1_0
|
protected class |
KitsStateParsetreeConstructor.Emission_NewValueAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.Emission_RightParenthesisKeyword_1_2
|
protected class |
KitsStateParsetreeConstructor.Emission_SignalAssignment_0
|
protected class |
KitsStateParsetreeConstructor.Expression_Alternatives
begin Rule Expression ****************
// --------------------------
//
// EXPRESSIONS
//
// --------------------------
Expression:
BooleanExpression | ValuedExpression; |
protected class |
KitsStateParsetreeConstructor.Expression_BooleanExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.Expression_ValuedExpressionParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.FloatValue_ValueAssignment
begin Rule FloatValue ****************
FloatValue:
value=Float; |
protected class |
KitsStateParsetreeConstructor.ImportAnnotation_Group
begin Rule ImportAnnotation ****************
// needed for importing other resources
ImportAnnotation:
"import" importURI=STRING; |
protected class |
KitsStateParsetreeConstructor.ImportAnnotation_ImportKeyword_0
|
protected class |
KitsStateParsetreeConstructor.ImportAnnotation_ImportURIAssignment_1
|
protected class |
KitsStateParsetreeConstructor.IntValue_ValueAssignment
begin Rule IntValue ****************
IntValue:
value=INT; |
protected class |
KitsStateParsetreeConstructor.KeyValueAnnotation_CommercialAtKeyword_0
|
protected class |
KitsStateParsetreeConstructor.KeyValueAnnotation_Group
begin Rule KeyValueAnnotation ****************
// e.g.: @layouter dot; @layoutOptions "margin 5, dir top-down";
KeyValueAnnotation returns StringAnnotation:
"@" name=ID value=EString; |
protected class |
KitsStateParsetreeConstructor.KeyValueAnnotation_NameAssignment_1
|
protected class |
KitsStateParsetreeConstructor.KeyValueAnnotation_ValueAssignment_2
|
protected class |
KitsStateParsetreeConstructor.ModExpression_AtomicValuedExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.ModExpression_Group
begin Rule ModExpression ****************
// Example: varA mod ?B
ModExpression returns Expression:
AtomicValuedExpression ({OperatorExpression.subExpressions+=current} operator=ModOperator
subExpressions+=AtomicValuedExpression)?; |
protected class |
KitsStateParsetreeConstructor.ModExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.ModExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.ModExpression_OperatorExpressionSubExpressionsAction_1_0
|
protected class |
KitsStateParsetreeConstructor.ModExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.MultExpression_Group
begin Rule MultExpression ****************
// Example: 2 * 4
MultExpression returns Expression:
ModExpression ({OperatorExpression.subExpressions+=current} operator=MultOperator subExpressions+=ModExpression)*; |
protected class |
KitsStateParsetreeConstructor.MultExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.MultExpression_ModExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.MultExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.MultExpression_OperatorExpressionSubExpressionsAction_1_0
|
protected class |
KitsStateParsetreeConstructor.MultExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.NotExpression_Alternatives
begin Rule NotExpression ****************
// Example: not A, not false, not (A or B)
// at the latter we need the parans to indicate the right binding
NotExpression returns Expression:
{OperatorExpression} operator=NotOperator subExpressions+=NotExpression | AtomicExpression; |
protected class |
KitsStateParsetreeConstructor.NotExpression_AtomicExpressionParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.NotExpression_Group_0
|
protected class |
KitsStateParsetreeConstructor.NotExpression_OperatorAssignment_0_1
|
protected class |
KitsStateParsetreeConstructor.NotExpression_OperatorExpressionAction_0_0
|
protected class |
KitsStateParsetreeConstructor.NotExpression_SubExpressionsAssignment_0_2
|
protected class |
KitsStateParsetreeConstructor.NotOrValuedExpression_Alternatives
begin Rule NotOrValuedExpression ****************
// order IS IMPORTANT
NotOrValuedExpression returns Expression:
ValuedExpression | NotExpression; |
protected class |
KitsStateParsetreeConstructor.NotOrValuedExpression_NotExpressionParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.NotOrValuedExpression_ValuedExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.OrExpression_AndExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.OrExpression_Group
begin Rule OrExpression ****************
// Example: A or B, A and B and C, C and B or D and not E, A and B and C
OrExpression returns Expression:
AndExpression ({OperatorExpression.subExpressions+=current} operator=OrOperator subExpressions+=AndExpression)*; |
protected class |
KitsStateParsetreeConstructor.OrExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.OrExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.OrExpression_OperatorExpressionSubExpressionsAction_1_0
|
protected class |
KitsStateParsetreeConstructor.OrExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.Region_Alternatives_5
|
protected class |
KitsStateParsetreeConstructor.Region_AnnotationsAssignment_0
|
protected class |
KitsStateParsetreeConstructor.Region_BodyTextAssignment_6
|
protected class |
KitsStateParsetreeConstructor.Region_ColonKeyword_4
|
protected class |
KitsStateParsetreeConstructor.Region_Group
begin Rule Region ****************
Region returns synccharts::Region:
annotations+=StringAnnotation* "region" id=ID? label=STRING? ":" (variables+=Variable | signals+=Signal)*
bodyText+=TextualCode* states+=State+; |
protected class |
KitsStateParsetreeConstructor.Region_IdAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Region_LabelAssignment_3
|
protected class |
KitsStateParsetreeConstructor.Region_RegionKeyword_1
|
protected class |
KitsStateParsetreeConstructor.Region_SignalsAssignment_5_1
|
protected class |
KitsStateParsetreeConstructor.Region_StatesAssignment_7
|
protected class |
KitsStateParsetreeConstructor.Region_VariablesAssignment_5_0
|
protected class |
KitsStateParsetreeConstructor.RootRegion_Alternatives_1_5
|
protected class |
KitsStateParsetreeConstructor.RootRegion_AnnotationsAssignment_0
|
protected class |
KitsStateParsetreeConstructor.RootRegion_AnnotationsAssignment_1_0
|
protected class |
KitsStateParsetreeConstructor.RootRegion_BodyTextAssignment_1_6
|
protected class |
KitsStateParsetreeConstructor.RootRegion_ColonKeyword_1_4
|
protected class |
KitsStateParsetreeConstructor.RootRegion_Group
begin Rule RootRegion ****************
RootRegion returns synccharts::Region:
annotations+=ImportAnnotation* (annotations+=StringAnnotation* "region" id=ID? label=STRING? ":" (variables+=Variable
| signals+=Signal)* bodyText+=TextualCode*)? states+=State*; |
protected class |
KitsStateParsetreeConstructor.RootRegion_Group_1
|
protected class |
KitsStateParsetreeConstructor.RootRegion_IdAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.RootRegion_LabelAssignment_1_3
|
protected class |
KitsStateParsetreeConstructor.RootRegion_RegionKeyword_1_1
|
protected class |
KitsStateParsetreeConstructor.RootRegion_SignalsAssignment_1_5_1
|
protected class |
KitsStateParsetreeConstructor.RootRegion_StatesAssignment_2
|
protected class |
KitsStateParsetreeConstructor.RootRegion_VariablesAssignment_1_5_0
|
protected class |
KitsStateParsetreeConstructor.RootState_StateParserRuleCall
begin Rule RootState ****************
RootState returns synccharts::State:
State; |
protected class |
KitsStateParsetreeConstructor.Signal_Alternatives_6
|
protected class |
KitsStateParsetreeConstructor.Signal_Alternatives_6_0_1
|
protected class |
KitsStateParsetreeConstructor.Signal_Alternatives_6_1_2
|
protected class |
KitsStateParsetreeConstructor.Signal_Alternatives_6_1_4
|
protected class |
KitsStateParsetreeConstructor.Signal_AnnotationsAssignment_0
|
protected class |
KitsStateParsetreeConstructor.Signal_ColonEqualsSignKeyword_5_0
|
protected class |
KitsStateParsetreeConstructor.Signal_ColonKeyword_6_0_0
|
protected class |
KitsStateParsetreeConstructor.Signal_ColonKeyword_6_1_0
|
protected class |
KitsStateParsetreeConstructor.Signal_CombineKeyword_6_1_1
|
protected class |
KitsStateParsetreeConstructor.Signal_CombineOperatorAssignment_6_1_4_0
|
protected class |
KitsStateParsetreeConstructor.Signal_Group
begin Rule Signal ****************
// ---------------------------------------------------------------------------------------------------
Signal returns expressions::Signal:
annotations+=StringAnnotation* isInput?="input"? isOutput?="output"? "signal" name=ID (":=" initialValue=AnyType)?
(":" (type=ValueType | hostType=STRING) | ":" "combine" (type=ValueType | hostType=STRING) "with"
(combineOperator=CombineOperator | hostCombineOperator=STRING))?; |
protected class |
KitsStateParsetreeConstructor.Signal_Group_5
|
protected class |
KitsStateParsetreeConstructor.Signal_Group_6_0
|
protected class |
KitsStateParsetreeConstructor.Signal_Group_6_1
|
protected class |
KitsStateParsetreeConstructor.Signal_HostCombineOperatorAssignment_6_1_4_1
|
protected class |
KitsStateParsetreeConstructor.Signal_HostTypeAssignment_6_0_1_1
|
protected class |
KitsStateParsetreeConstructor.Signal_HostTypeAssignment_6_1_2_1
|
protected class |
KitsStateParsetreeConstructor.Signal_InitialValueAssignment_5_1
|
protected class |
KitsStateParsetreeConstructor.Signal_IsInputAssignment_1
|
protected class |
KitsStateParsetreeConstructor.Signal_IsOutputAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Signal_NameAssignment_4
|
protected class |
KitsStateParsetreeConstructor.Signal_SignalKeyword_3
|
protected class |
KitsStateParsetreeConstructor.Signal_TypeAssignment_6_0_1_0
|
protected class |
KitsStateParsetreeConstructor.Signal_TypeAssignment_6_1_2_0
|
protected class |
KitsStateParsetreeConstructor.Signal_WithKeyword_6_1_3
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_Alternatives_0_5
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_AnnotationsAssignment_0_0
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_BodyTextAssignment_0_6
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_ColonKeyword_0_4
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_Group
begin Rule SingleRegion ****************
// ---------------------------------------------------------------------------------------------------
SingleRegion returns synccharts::Region:
(annotations+=StringAnnotation* "region" id=ID? label=STRING? ":" (variables+=Variable | signals+=Signal)*
bodyText+=TextualCode*)? states+=State*; |
protected class |
KitsStateParsetreeConstructor.SingleRegion_Group_0
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_IdAssignment_0_2
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_LabelAssignment_0_3
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_RegionKeyword_0_1
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_SignalsAssignment_0_5_1
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_StatesAssignment_1
|
protected class |
KitsStateParsetreeConstructor.SingleRegion_VariablesAssignment_0_5_0
|
protected class |
KitsStateParsetreeConstructor.State_Alternatives_1
|
protected class |
KitsStateParsetreeConstructor.State_Alternatives_6
|
protected class |
KitsStateParsetreeConstructor.State_Alternatives_6_1_1_0
|
protected class |
KitsStateParsetreeConstructor.State_AnnotationsAssignment_0
|
protected class |
KitsStateParsetreeConstructor.State_BodyReferenceAssignment_6_0_1
|
protected class |
KitsStateParsetreeConstructor.State_BodyTextAssignment_6_1_1_1
|
protected class |
KitsStateParsetreeConstructor.State_CommaKeyword_6_0_2_2_0
|
protected class |
KitsStateParsetreeConstructor.State_CommercialAtKeyword_6_0_0
|
protected class |
KitsStateParsetreeConstructor.State_EntryActionsAssignment_6_1_1_0_2_1
|
protected class |
KitsStateParsetreeConstructor.State_ExitActionsAssignment_6_1_1_0_4_1
|
protected class |
KitsStateParsetreeConstructor.State_Group
begin Rule State ****************
// ---------------------------------------------------------------------------------------------------
State returns synccharts::State:
annotations+=StringAnnotation* (isInitial?="init" isFinal?="final"? | isFinal?="final" isInitial?="init"?)?
type=StateType? "state" id=ID label=STRING? ("@" bodyReference=[synccharts::State] ("[" renamings+=Substitution (","
renamings+=Substitution)* "]")? | "{" ((signals+=Signal | variables+=Variable | "onentry" entryActions+=Action |
"oninner" innerActions+=Action | "onexit" exitActions+=Action | "suspension" suspensionTrigger=Action)*
bodyText+=TextualCode* (regions+=SingleRegion regions+=Region*)?) "}")? outgoingTransitions+=Transition*; |
protected class |
KitsStateParsetreeConstructor.State_Group_1_0
|
protected class |
KitsStateParsetreeConstructor.State_Group_1_1
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_0
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_0_2
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_0_2_2
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1_1
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1_1_0_2
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1_1_0_3
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1_1_0_4
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1_1_0_5
|
protected class |
KitsStateParsetreeConstructor.State_Group_6_1_1_2
|
protected class |
KitsStateParsetreeConstructor.State_IdAssignment_4
|
protected class |
KitsStateParsetreeConstructor.State_InnerActionsAssignment_6_1_1_0_3_1
|
protected class |
KitsStateParsetreeConstructor.State_IsFinalAssignment_1_0_1
|
protected class |
KitsStateParsetreeConstructor.State_IsFinalAssignment_1_1_0
|
protected class |
KitsStateParsetreeConstructor.State_IsInitialAssignment_1_0_0
|
protected class |
KitsStateParsetreeConstructor.State_IsInitialAssignment_1_1_1
|
protected class |
KitsStateParsetreeConstructor.State_LabelAssignment_5
|
protected class |
KitsStateParsetreeConstructor.State_LeftCurlyBracketKeyword_6_1_0
|
protected class |
KitsStateParsetreeConstructor.State_LeftSquareBracketKeyword_6_0_2_0
|
protected class |
KitsStateParsetreeConstructor.State_OnentryKeyword_6_1_1_0_2_0
|
protected class |
KitsStateParsetreeConstructor.State_OnexitKeyword_6_1_1_0_4_0
|
protected class |
KitsStateParsetreeConstructor.State_OninnerKeyword_6_1_1_0_3_0
|
protected class |
KitsStateParsetreeConstructor.State_OutgoingTransitionsAssignment_7
|
protected class |
KitsStateParsetreeConstructor.State_RegionsAssignment_6_1_1_2_0
|
protected class |
KitsStateParsetreeConstructor.State_RegionsAssignment_6_1_1_2_1
|
protected class |
KitsStateParsetreeConstructor.State_RenamingsAssignment_6_0_2_1
|
protected class |
KitsStateParsetreeConstructor.State_RenamingsAssignment_6_0_2_2_1
|
protected class |
KitsStateParsetreeConstructor.State_RightCurlyBracketKeyword_6_1_2
|
protected class |
KitsStateParsetreeConstructor.State_RightSquareBracketKeyword_6_0_2_3
|
protected class |
KitsStateParsetreeConstructor.State_SignalsAssignment_6_1_1_0_0
|
protected class |
KitsStateParsetreeConstructor.State_StateKeyword_3
|
protected class |
KitsStateParsetreeConstructor.State_SuspensionKeyword_6_1_1_0_5_0
|
protected class |
KitsStateParsetreeConstructor.State_SuspensionTriggerAssignment_6_1_1_0_5_1
|
protected class |
KitsStateParsetreeConstructor.State_TypeAssignment_2
|
protected class |
KitsStateParsetreeConstructor.State_VariablesAssignment_6_1_1_0_1
|
protected class |
KitsStateParsetreeConstructor.StringAnnotation_Alternatives
begin Rule StringAnnotation ****************
// --------------------------
//
// EXPRESSIONS
//
// --------------------------
// introduction of parsing rules for annotations
StringAnnotation returns Annotation:
CommentAnnotation | KeyValueAnnotation; |
protected class |
KitsStateParsetreeConstructor.StringAnnotation_CommentAnnotationParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.StringAnnotation_KeyValueAnnotationParserRuleCall_1
|
protected class |
KitsStateParsetreeConstructor.SubExpression_Group
begin Rule SubExpression ****************
// Example: varA - ?B
SubExpression returns Expression:
MultExpression ({OperatorExpression.subExpressions+=current} operator=SubOperator subExpressions+=MultExpression)*; |
protected class |
KitsStateParsetreeConstructor.SubExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.SubExpression_MultExpressionParserRuleCall_0
|
protected class |
KitsStateParsetreeConstructor.SubExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.SubExpression_OperatorExpressionSubExpressionsAction_1_0
|
protected class |
KitsStateParsetreeConstructor.SubExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.Substitution_ActualAssignment_0
|
protected class |
KitsStateParsetreeConstructor.Substitution_FormalAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Substitution_Group
begin Rule Substitution ****************
// ---------------------------------------------------------------------------------------------------
Substitution returns synccharts::Substitution:
actual=ID "/" formal=ID; |
protected class |
KitsStateParsetreeConstructor.Substitution_SolidusKeyword_1
|
protected class |
KitsStateParsetreeConstructor.TextEffect_CodeAssignment_0
|
protected class |
KitsStateParsetreeConstructor.TextEffect_Group
begin Rule TextEffect ****************
TextEffect returns synccharts::TextEffect:
code=HOSTCODE ("(" type=ID ")")?; |
protected class |
KitsStateParsetreeConstructor.TextEffect_Group_1
|
protected class |
KitsStateParsetreeConstructor.TextEffect_LeftParenthesisKeyword_1_0
|
protected class |
KitsStateParsetreeConstructor.TextEffect_RightParenthesisKeyword_1_2
|
protected class |
KitsStateParsetreeConstructor.TextEffect_TypeAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.TextExpression_CodeAssignment_0
|
protected class |
KitsStateParsetreeConstructor.TextExpression_Group
begin Rule TextExpression ****************
// Example: 'printf(...)'(C)
TextExpression:
code=HOSTCODE ("(" type=ID ")")?; |
protected class |
KitsStateParsetreeConstructor.TextExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.TextExpression_LeftParenthesisKeyword_1_0
|
protected class |
KitsStateParsetreeConstructor.TextExpression_RightParenthesisKeyword_1_2
|
protected class |
KitsStateParsetreeConstructor.TextExpression_TypeAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.TextualCode_CodeAssignment_4
|
protected class |
KitsStateParsetreeConstructor.TextualCode_CodeKeyword_1
|
protected class |
KitsStateParsetreeConstructor.TextualCode_ColonKeyword_3
|
protected class |
KitsStateParsetreeConstructor.TextualCode_Group
begin Rule TextualCode ****************
// ---------------------------------------------------------------------------------------------------
TextualCode returns expressions::TextualCode:
"textual" "code" ("(" type=ID ")")? ":" code=STRING; |
protected class |
KitsStateParsetreeConstructor.TextualCode_Group_2
|
protected class |
KitsStateParsetreeConstructor.TextualCode_LeftParenthesisKeyword_2_0
|
protected class |
KitsStateParsetreeConstructor.TextualCode_RightParenthesisKeyword_2_2
|
protected class |
KitsStateParsetreeConstructor.TextualCode_TextualKeyword_0
|
protected class |
KitsStateParsetreeConstructor.TextualCode_TypeAssignment_2_1
|
protected class |
KitsStateParsetreeConstructor.ThisRootNode
|
protected class |
KitsStateParsetreeConstructor.Transition_Alternatives_4_1
|
protected class |
KitsStateParsetreeConstructor.Transition_AnnotationsAssignment_0
|
protected class |
KitsStateParsetreeConstructor.Transition_CommaKeyword_4_1_0_3_2_0
|
protected class |
KitsStateParsetreeConstructor.Transition_DelayAssignment_4_1_0_1
|
protected class |
KitsStateParsetreeConstructor.Transition_EffectsAssignment_4_1_0_3_1
|
protected class |
KitsStateParsetreeConstructor.Transition_EffectsAssignment_4_1_0_3_2_1
|
protected class |
KitsStateParsetreeConstructor.Transition_Group
begin Rule Transition ****************
// ---------------------------------------------------------------------------------------------------
Transition returns synccharts::Transition:
annotations+=StringAnnotation* type=TransitionType priority=INT? targetState=[synccharts::State] ("with"
(isImmediate?="#"? delay=INT? trigger=BooleanExpression? ("/" effects+=Effect ("," effects+=Effect)*)? |
label=STRING))? isHistory?="history"?; |
protected class |
KitsStateParsetreeConstructor.Transition_Group_4
|
protected class |
KitsStateParsetreeConstructor.Transition_Group_4_1_0
|
protected class |
KitsStateParsetreeConstructor.Transition_Group_4_1_0_3
|
protected class |
KitsStateParsetreeConstructor.Transition_Group_4_1_0_3_2
|
protected class |
KitsStateParsetreeConstructor.Transition_IsHistoryAssignment_5
|
protected class |
KitsStateParsetreeConstructor.Transition_IsImmediateAssignment_4_1_0_0
|
protected class |
KitsStateParsetreeConstructor.Transition_LabelAssignment_4_1_1
|
protected class |
KitsStateParsetreeConstructor.Transition_PriorityAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Transition_SolidusKeyword_4_1_0_3_0
|
protected class |
KitsStateParsetreeConstructor.Transition_TargetStateAssignment_3
|
protected class |
KitsStateParsetreeConstructor.Transition_TriggerAssignment_4_1_0_2
|
protected class |
KitsStateParsetreeConstructor.Transition_TypeAssignment_1
|
protected class |
KitsStateParsetreeConstructor.Transition_WithKeyword_4_0
|
protected class |
KitsStateParsetreeConstructor.ValuedExpression_AddExpressionParserRuleCall
begin Rule ValuedExpression ****************
// everything that evaluates to a primitive number value
ValuedExpression returns Expression:
AddExpression; |
protected class |
KitsStateParsetreeConstructor.ValuedObjectReference_ValuedObjectAssignment
begin Rule ValuedObjectReference ****************
// Example: A, varB
ValuedObjectReference:
valuedObject=[ValuedObject]; |
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_Alternatives
begin Rule ValuedObjectTestExpression ****************
// Example: pre(pre(?A)), pre(pre(A)), ?A, A varX
ValuedObjectTestExpression returns Expression:
{OperatorExpression} operator=PreOperator "(" subExpressions+=ValuedObjectTestExpression ")" | {OperatorExpression}
operator=ValueTestOperator subExpressions+=ValuedObjectReference | ValuedObjectReference; |
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_Group_0
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_Group_1
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_LeftParenthesisKeyword_0_2
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_OperatorAssignment_0_1
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_OperatorAssignment_1_1
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_OperatorExpressionAction_0_0
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_OperatorExpressionAction_1_0
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_RightParenthesisKeyword_0_4
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_SubExpressionsAssignment_0_3
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_SubExpressionsAssignment_1_2
|
protected class |
KitsStateParsetreeConstructor.ValuedObjectTestExpression_ValuedObjectReferenceParserRuleCall_2
|
protected class |
KitsStateParsetreeConstructor.Variable_Alternatives_5
|
protected class |
KitsStateParsetreeConstructor.Variable_AnnotationsAssignment_0
|
protected class |
KitsStateParsetreeConstructor.Variable_ColonEqualsSignKeyword_3_0
|
protected class |
KitsStateParsetreeConstructor.Variable_ColonKeyword_4
|
protected class |
KitsStateParsetreeConstructor.Variable_Group
begin Rule Variable ****************
// ---------------------------------------------------------------------------------------------------
Variable returns expressions::Variable:
annotations+=StringAnnotation* "var" name=ID (":=" initialValue=AnyType)? ":" (type=ValueType | hostType=STRING); |
protected class |
KitsStateParsetreeConstructor.Variable_Group_3
|
protected class |
KitsStateParsetreeConstructor.Variable_HostTypeAssignment_5_1
|
protected class |
KitsStateParsetreeConstructor.Variable_InitialValueAssignment_3_1
|
protected class |
KitsStateParsetreeConstructor.Variable_NameAssignment_2
|
protected class |
KitsStateParsetreeConstructor.Variable_TypeAssignment_5_0
|
protected class |
KitsStateParsetreeConstructor.Variable_VarKeyword_1
|