forked from crossminer/FOCUS
-
Notifications
You must be signed in to change notification settings - Fork 0
/
Copy pathAltarica.txt
62 lines (62 loc) · 1.3 KB
/
Altarica.txt
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
Node#isMain
Node#name
Node#ownedSpecifications
FlowDeclaration#ownedFlows
FlowDeclaration#domain
FlowDeclaration#kind
FlowDeclaration#attribute
StateDeclaration#ownedStates
StateDeclaration#domain
StateDeclaration#attribute
Transition#ownedExpresion
Transition#event
Transition#ownedAffectations
IfThenElse#condition
IfThenElse#then
IfThenElse#else
Addition#operand
Addition#leftOperand
Addition#rightOperand
Minus#operand
Minus#leftOperand
Minus#rightOperand
Multiplication#operand
Multiplication#leftOperand
Multiplication#rightOperand
Division#operand
Division#leftOperand
Division#rightOperand
And#operand
And#leftOperand
And#rightOperand
Or#operand
Or#leftOperand
Or#rightOperand
Equal#operand
Equal#leftOperand
Equal#rightOperand
NotEqual#operand
NotEqual#leftOperand
NotEqual#rightOperand
StrictLower#operand
StrictLower#leftOperand
StrictLower#rightOperand
Lower#operand
Lower#leftOperand
Lower#rightOperand
StrictUpper#operand
StrictUpper#leftOperand
StrictUpper#rightOperand
Upper#operand
Upper#leftOperand
Upper#rightOperand
Imply#operand
Imply#leftOperand
Imply#rightOperand
NestedQualifiedEventRef#variable
NestedQualifiedEventRef#target
NestedQualifiedEventRef#nestedVariable
NestedQualifiedVariableRef#operand
NestedQualifiedVariableRef#variable
NestedQualifiedVariableRef#target
NestedQualifiedVariableRef#nestedVariable