Skip to content

ExprStat-sig.stx

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
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
module 

imports
  signatures/Common-sig

signature

  sorts
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    
    

  constructors
    Statement-Plhdr : Statement
    SingleStatement-Plhdr : SingleStatement
    AndStatement-Plhdr : AndStatement
    OrStatement-Plhdr : OrStatement
    ProcessMethodCall-Plhdr : ProcessMethodCall
    CaseStatementList-Plhdr : CaseStatementList
    CaseStatement-Plhdr : CaseStatement
    OptDefaultStatement-Plhdr : OptDefaultStatement
    Expression-Plhdr : Expression
    SingleExpression-Plhdr : SingleExpression
    OnSuperClass-Plhdr : OnSuperClass
    OptExpressionList-Plhdr : OptExpressionList
    OptVariableList-Plhdr : OptVariableList
    ExpressionList-Plhdr : ExpressionList
    CaseExpressionList-Plhdr : CaseExpressionList
    CaseExpression-Plhdr : CaseExpression
    OptDefaultExpression-Plhdr : OptDefaultExpression
    ExpressionConstant-Plhdr : ExpressionConstant
    UnaryOperator-Plhdr : UnaryOperator
    BinaryOperatorLevel2-Plhdr : BinaryOperatorLevel2
    BinaryOperatorLevel3-Plhdr : BinaryOperatorLevel3
    BinaryOperatorLevel4-Plhdr : BinaryOperatorLevel4
    VariableList-Plhdr : VariableList
    OptPostExpression-Plhdr : OptPostExpression
    OptReceptionCondition-Plhdr : OptReceptionCondition

signature

  constructors
    StatementSequence : list(SingleStatement) -> Statement
    AbortStatement : Statement * SingleStatement -> SingleStatement
    DelayStatement : SingleExpression -> SingleStatement
    GuardedStatement : Expression * SingleStatement -> SingleStatement
    InterruptStatement : Statement * SingleStatement -> SingleStatement
    ParStatement : Statement * list(AndStatement) -> SingleStatement
    ProcessMethodCallStatement : ProcessMethodCall -> SingleStatement
    SelStatement : Statement * list(OrStatement) -> SingleStatement
    SkipStatement : SingleStatement
    SendStatement : ID * ID * OptExpressionList * OptPostExpression -> SingleStatement
    ReceiveStatement : ID * ID * OptVariableList * OptReceptionCondition * OptPostExpression -> SingleStatement
    IfThenStatement : Expression * Statement -> SingleStatement
    IfThenElseStatement : Expression * Statement * Statement -> SingleStatement
    RoundBracketStatement : Statement -> SingleStatement
    WhileStatement : Expression * Statement -> SingleStatement
    SwitchStatement : Expression * CaseStatementList * OptDefaultStatement -> SingleStatement
    ExpressionStatement : SingleExpression -> SingleStatement
    CurlyExpressionStatement : Expression -> SingleStatement
    ProcessMethodCall : ID * ExpressionList * VariableList -> ProcessMethodCall
    AndStatement : Statement -> AndStatement
    OrStatement : Statement -> OrStatement
    CaseStatementList : list(CaseStatement) -> CaseStatementList
    CaseStatement : Expression * Statement -> CaseStatement
     : Statement -> OptDefaultStatement
    NoDefaultStatement : OptDefaultStatement
    PostExpression : Expression -> OptPostExpression
    NoPostExpression : OptPostExpression
    ReceptionCondition : Expression -> OptReceptionCondition
    NoReceptionCondition : OptReceptionCondition
    Variables : list(ID) -> OptVariableList
    NoVariables : OptVariableList
    VariableList : list(ID) -> VariableList
    ExpressionSequence : list(SingleExpression) -> Expression
    AssignmentExpression : ID * SingleExpression -> SingleExpression
    ReturnExpression : SingleExpression -> SingleExpression
    BinaryOperatorExpression2 : SingleExpression * BinaryOperatorLevel2 * SingleExpression -> SingleExpression
    BinaryOperatorExpression3 : SingleExpression * BinaryOperatorLevel3 * SingleExpression -> SingleExpression
    BinaryOperatorExpression4 : SingleExpression * BinaryOperatorLevel4 * SingleExpression -> SingleExpression
    DataMethodCallExpression : SingleExpression * OnSuperClass * ID * OptExpressionList -> SingleExpression
    UnaryOperatorExpression : UnaryOperator * SingleExpression -> SingleExpression
    IfThenExpression : Expression * Expression -> SingleExpression
    IfThenElseExpression : Expression * Expression * Expression -> SingleExpression
    WhileExpression : Expression * Expression -> SingleExpression
    SwitchExpression : Expression * CaseExpressionList * OptDefaultExpression -> SingleExpression
    CurrentTimeExpression : SingleExpression
    SelfExpression : SingleExpression
    ConstantExpression : ExpressionConstant -> SingleExpression
    NewExpression : ID -> SingleExpression
    VariableExpression : ID -> SingleExpression
    RoundBracketExpression : Expression -> SingleExpression
    BooleanConstant : BOOL -> ExpressionConstant
    CharacterConstant : CHARACTER -> ExpressionConstant
    FloatConstant : FLOAT -> ExpressionConstant
    IntegerConstant : INT -> ExpressionConstant
    NilConstant : ExpressionConstant
    RealConstant : REAL -> ExpressionConstant
    StringConstant : STRING -> ExpressionConstant
    EnvironmentConstant : ENV -> ExpressionConstant
     : OnSuperClass
    NotOnSuperClass : OnSuperClass
    Expressions : list(Expression) -> OptExpressionList
    NoExpressions : OptExpressionList
    ExpressionList : list(Expression) -> ExpressionList
    CaseExpressionList : list(CaseExpression) -> CaseExpressionList
    CaseExpression : Expression * Expression -> CaseExpression
     : Expression -> OptDefaultExpression
    NoDefaultExpression : OptDefaultExpression
    Minus : UnaryOperator
    Not : UnaryOperator
    Equal : BinaryOperatorLevel2
    Unequal : BinaryOperatorLevel2
    Identical : BinaryOperatorLevel2
    NotIdentical : BinaryOperatorLevel2
    LessThan : BinaryOperatorLevel2
    AtMost : BinaryOperatorLevel2
    GreaterThan : BinaryOperatorLevel2
    AtLeast : BinaryOperatorLevel2
    Add : BinaryOperatorLevel3
    Subtract : BinaryOperatorLevel3
    And : BinaryOperatorLevel3
    Or : BinaryOperatorLevel3
    Multiply : BinaryOperatorLevel4
    Divide : BinaryOperatorLevel4