tests/syntax/identifier/basic_code.test
author Manuele Conti <conti.ma@alice.it>
Mon, 30 Jul 2012 22:59:00 +0200
changeset 622 eaa49b276e17
parent 108 f9e001952488
permissions -rwxr-xr-x
Add check bison version in configure.ac file.
To build correctly matiec we need bison greater or equals than 2.4 version.
Now the "configure" script is able to check if system has correctly requirements.
108
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     1
(* This file includes normal standard ST and IL code.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     2
 * This code is then included into other tests, once
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     3
 * possibly strange things have been defined.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     4
 *
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     5
 * Including this normal code will test whether the strange
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     6
 * things somehow breack the correct parsing and compiling
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     7
 * of normal code.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     8
 *
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     9
 * Code in this file must not use the XXXX identfier!
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    10
 *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    11
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    12
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    13
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    14
(***************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    15
(* Test if generic IL code is not affected by any previous declarations... *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    16
(***************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    17
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    18
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    19
(* Test each IL operator *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    20
(* Since our compiler needs to distinguish
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    21
 * between IL and ST code, we place each IL
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    22
 * operator in a distinct function, to test whether
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    23
 * the use of that IL operator as the first IL
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    24
 * instruction does not confuse the logic
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    25
 * use to determine whether ST or IL is being parsed.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    26
 *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    27
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    28
function bar0005 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    29
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    30
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    31
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    32
 & 10
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    33
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    34
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    35
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    36
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    37
function bar0006 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    38
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    39
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    40
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    41
 &N 10
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    42
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    43
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    44
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    45
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    46
function bar0007 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    47
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    48
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    49
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    50
 ADD 10
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    51
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    52
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    53
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    54
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    55
function bar0008 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    56
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    57
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    58
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    59
 AND TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    60
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    61
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    62
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    63
function bar0009 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    64
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    65
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    66
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    67
 ANDN TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    68
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    69
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    70
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    71
function_block bar0010
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    72
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    73
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    74
  tt : TP;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    75
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    76
 CAL tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    77
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    78
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    79
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    80
function_block bar0011
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    81
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    82
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    83
  tt : TP;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    84
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    85
 CALC tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    86
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    87
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    88
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    89
function_block bar0012
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    90
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    91
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    92
  tt : TP;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    93
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    94
 CALCN tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    95
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    96
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    97
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    98
function_block bar0013
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    99
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   100
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   101
  tt : CTUD;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   102
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   103
 CU tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   104
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   105
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   106
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   107
function_block bar0014
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   108
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   109
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   110
  tt : CTUD;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   111
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   112
 CD tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   113
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   114
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   115
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   116
function_block bar0015
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   117
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   118
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   119
  tt : R_TRIG;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   120
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   121
 CLK tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   122
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   123
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   124
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   125
function bar0016 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   126
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   127
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   128
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   129
 DIV e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   130
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   131
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   132
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   133
function bar0017 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   134
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   135
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   136
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   137
 EQ e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   138
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   139
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   140
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   141
function bar0018 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   142
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   143
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   144
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   145
 GE e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   146
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   147
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   148
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   149
function bar0019 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   150
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   151
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   152
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   153
 GT e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   154
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   155
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   156
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   157
function_block bar0020
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   158
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   159
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   160
  tt : TP;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   161
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   162
 IN tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   163
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   164
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   165
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   166
function bar0021 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   167
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   168
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   169
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   170
 JMP ll
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   171
 ll: LD FALSE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   172
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   173
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   174
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   175
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   176
function bar0022 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   177
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   178
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   179
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   180
 JMPC ll
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   181
 ll: LD FALSE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   182
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   183
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   184
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   185
function bar0023 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   186
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   187
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   188
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   189
 JMPCN ll
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   190
 ll: LD FALSE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   191
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   192
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   193
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   194
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   195
function bar0024 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   196
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   197
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   198
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   199
 LD TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   200
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   201
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   202
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   203
function bar0025 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   204
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   205
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   206
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   207
 LDN TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   208
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   209
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   210
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   211
function bar0026 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   212
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   213
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   214
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   215
 LE e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   216
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   217
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   218
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   219
function bar0027 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   220
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   221
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   222
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   223
 LT e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   224
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   225
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   226
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   227
function bar0028 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   228
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   229
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   230
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   231
 MOD e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   232
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   233
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   234
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   235
function bar0029 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   236
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   237
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   238
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   239
 MUL e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   240
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   241
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   242
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   243
function bar0030 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   244
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   245
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   246
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   247
 NE e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   248
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   249
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   250
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   251
function bar0031 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   252
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   253
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   254
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   255
 NOT TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   256
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   257
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   258
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   259
function bar0032 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   260
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   261
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   262
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   263
 OR TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   264
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   265
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   266
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   267
function bar0033 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   268
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   269
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   270
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   271
 ORN TRUE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   272
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   273
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   274
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   275
function_block bar0034
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   276
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   277
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   278
  tt : TP;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   279
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   280
 PT tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   281
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   282
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   283
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   284
function_block bar0035
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   285
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   286
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   287
  tt : CTUD;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   288
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   289
 PV tt
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   290
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   291
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   292
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   293
function bar0036 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   294
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   295
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   296
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   297
 R e_1     (* IL operand *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   298
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   299
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   300
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   301
function_block bar0037
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   302
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   303
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   304
  tt : SR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   305
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   306
 R tt     (* FB call *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   307
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   308
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   309
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   310
function_block bar0038
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   311
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   312
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   313
  tt : SR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   314
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   315
 R1 tt     (* FB call *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   316
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   317
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   318
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   319
function bar0039 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   320
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   321
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   322
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   323
 RET
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   324
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   325
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   326
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   327
function bar0040 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   328
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   329
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   330
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   331
 RETC
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   332
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   333
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   334
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   335
function bar0041 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   336
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   337
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   338
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   339
 RETCN
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   340
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   341
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   342
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   343
function bar0042 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   344
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   345
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   346
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   347
 S e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   348
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   349
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   350
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   351
function_block bar0043
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   352
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   353
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   354
  tt : SR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   355
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   356
 S1 tt     (* FB call *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   357
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   358
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   359
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   360
function bar0044 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   361
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   362
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   363
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   364
 ST e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   365
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   366
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   367
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   368
function bar0045 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   369
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   370
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   371
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   372
 STN e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   373
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   374
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   375
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   376
function bar0046 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   377
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   378
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   379
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   380
 SUB e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   381
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   382
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   383
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   384
function bar0047 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   385
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   386
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   387
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   388
 XOR e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   389
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   390
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   391
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   392
function bar0048 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   393
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   394
  e_1, f_1 : bool;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   395
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   396
 XORN e_1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   397
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   398
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   399
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   400
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   401
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   402
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   403
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   404
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   405
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   406
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   407
(***************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   408
(* Test if generic ST code is not affected by any previous declarations... *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   409
(***************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   410
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   411
(* A helper FUNCTION BLOCK declaration *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   412
function_block bar1000
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   413
 var_input
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   414
  a_1, b_1: int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   415
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   416
 var_output
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   417
  c_1, d_1: int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   418
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   419
  c_1 := 10 + b_1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   420
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   421
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   422
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   423
(* A FUNCTION declaration *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   424
function bar1001 : int
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   425
 var_input
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   426
  a_1, b_1: int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   427
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   428
 var_output
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   429
  c_1, d_1: int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   430
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   431
  c_1 := 10 + b_1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   432
end_function
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   433
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   434
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   435
(* Generic ST code *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   436
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   437
function_block bar1002
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   438
 var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   439
  e_1, f_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   440
  g_1 : int;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   441
  fb : bar1000;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   442
 end_var
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   443
  fb(g_1, 20);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   444
  fb (10, g_1, e_1, f_1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   445
  fb (a_1 := g_1, b_1:=g_1, c_1=>g_1, d_1=>f_1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   446
  fb(a_1 := 10, b_1:=20, c_1=>e_1, d_1=>g_1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   447
  fb (c_1=>g_1, a_1:=20, d_1=>f_1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   448
  g_1 := fb.c_1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   449
  fb.a_1 := g_1 + g_1 * 2 * (g_1) / bar1001(g_1, 10, g_1, e_1) MOD g_1 MOD g_1 ** g_1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   450
  IF (g_1 >= 10) THEN g_1 := 10; END_IF;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   451
  CASE (g_1 + 10) OF
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   452
    10: g_1 := 10; 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   453
    10..20:g_1 := 20;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   454
    ELSE g_1 := 20;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   455
  END_CASE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   456
  FOR g_1 := 10 TO 20 BY 2 DO
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   457
    g_1 := g_1 + 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   458
  END_FOR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   459
  FOR e_1 := g_1 TO 20 DO
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   460
    g_1 := g_1 + 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   461
  END_FOR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   462
  FOR e_1 := 10 TO g_1 BY 2 DO
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   463
    g_1 := g_1 + 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   464
  END_FOR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   465
  FOR e_1 := 10 TO g_1 DO
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   466
    g_1 := g_1 + 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   467
  END_FOR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   468
  FOR e_1 := 10 TO 20 BY g_1 DO
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   469
    g_1 := g_1 + 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   470
  END_FOR;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   471
  WHILE (g_1 >= 10) DO 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   472
    g_1 := 10; 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   473
  END_WHILE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   474
  REPEAT g_1 := 10; UNTIL (g_1 >= 10) END_REPEAT;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   475
end_function_block
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   476
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   477
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   478
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   479
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   480
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   481
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   482
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   483
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   484
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   485
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   486
(****************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   487
(* Test if generic SFC code is not affected by any previous declarations... *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   488
(****************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   489
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   490
PROGRAM bar2001
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   491
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   492
    QX1 AT %QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   493
    QX2 AT %QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   494
    QX3 AT %QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   495
    IX1 AT %IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   496
    IX2 AT %IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   497
    IX3 AT %IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   498
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   499
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   500
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   501
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   502
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   503
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   504
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   505
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   506
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   507
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   508
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   509
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   510
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   511
    ONSTEP1();
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   512
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   513
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   514
  ACTION ONSTEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   515
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   516
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   517
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   518
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   519
  TRANSITION (PRIORITY := 4) FROM STEP1 TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   520
    := IX2 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   521
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   522
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   523
  STEP STEP2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   524
    INLINE1(D, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   525
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   526
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   527
  ACTION INLINE1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   528
    QX1 := QX2 XOR QX1; QX2 := NOT QX2;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   529
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   530
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   531
  TRANSITION transition_id1 FROM STEP2 TO A1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   532
    := QX1 = FALSE AND QX2 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   533
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   534
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   535
  STEP A1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   536
    INLINE2(DS, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   537
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   538
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   539
  ACTION INLINE2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   540
    IX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   541
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   542
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   543
  TRANSITION transition_id2 (PRIORITY := 3) FROM A1 TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   544
    := IX1 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   545
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   546
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   547
  TRANSITION FROM STEP2 TO (D1, D2, D3)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   548
    := QX1 = TRUE AND QX2 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   549
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   550
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   551
  STEP D1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   552
    INLINE5(L, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   553
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   554
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   555
  ACTION INLINE5:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   556
    QX1 := FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   557
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   558
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   559
  TRANSITION FROM D1 TO E1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   560
    := NOT ( QX1 OR QX2 OR QX3 );
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   561
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   562
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   563
  STEP E1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   564
    INLINE8(N);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   565
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   566
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   567
  ACTION INLINE8:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   568
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   569
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   570
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   571
  TRANSITION FROM (E1, E2, E3) TO GO
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   572
    := QX1 AND QX2 AND QX3;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   573
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   574
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   575
  STEP D2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   576
    INLINE6(P);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   577
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   578
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   579
  ACTION INLINE6:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   580
    QX2 := FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   581
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   582
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   583
  TRANSITION FROM D2 TO E2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   584
    := NOT ( QX1 OR QX2 OR QX3 );
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   585
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   586
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   587
  STEP E2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   588
    INLINE9(R);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   589
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   590
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   591
  ACTION INLINE9:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   592
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   593
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   594
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   595
  STEP D3:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   596
    INLINE7(S);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   597
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   598
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   599
  ACTION INLINE7:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   600
    QX2 := FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   601
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   602
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   603
  TRANSITION FROM D3 TO E3
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   604
    := NOT ( QX1 OR QX2 OR QX3 );
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   605
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   606
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   607
  STEP E3:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   608
    INLINE10(SD, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   609
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   610
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   611
  ACTION INLINE10:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   612
    QX3 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   613
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   614
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   615
  TRANSITION FROM STEP2 TO A3
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   616
    := QX1 = TRUE AND QX2 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   617
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   618
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   619
  STEP A3:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   620
    INLINE4(SL, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   621
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   622
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   623
  ACTION INLINE4:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   624
    IX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   625
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   626
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   627
  TRANSITION FROM A3 TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   628
    := IX1 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   629
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   630
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   631
  TRANSITION FROM STEP2 TO A2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   632
    := QX1 = FALSE AND QX2 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   633
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   634
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   635
  STEP A2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   636
    INLINE3(L, delta_1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   637
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   638
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   639
  ACTION INLINE3:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   640
    IX1 := FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   641
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   642
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   643
  TRANSITION FROM A2 TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   644
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   645
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   646
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   647
  STEP A01:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   648
    INLINE01(L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   649
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   650
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   651
  ACTION INLINE01:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   652
    IX1 := FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   653
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   654
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   655
  TRANSITION FROM STEP2 TO A01
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   656
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   657
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   658
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   659
  STEP A02:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   660
    INLINE01(L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   661
    INLINE1 (L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   662
    INLINE2 (S);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   663
    INLINE3 ();
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   664
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   665
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   666
  TRANSITION FROM STEP2 TO A02
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   667
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   668
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   669
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   670
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   671
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   672
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   673
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   674
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   675
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   676
(*********************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   677
(* Test if generic CONFIGURATION is not affected by any previous declarations... *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   678
(*********************************************************************************)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   679
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   680
CONFIGURATION CONF0001
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   681
  RESOURCE STD_RESSOURCE ON BEREMIZ
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   682
    TASK STD_TASK(INTERVAL := t#100ms,PRIORITY := 0);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   683
    PROGRAM MAIN_INSTANCE : bar2001;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   684
  END_RESOURCE
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   685
END_CONFIGURATION