tests/syntax/identifier/identifier_in_sfc.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
(* Test whether the keyword XXXX may be used as an identifier for:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     2
 * STEP, ACTION and TRANSITION name/identifier
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     3
 *
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     4
 * The XXXX names in the following code are merely a placeholder.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     5
 * They will be replaced by several identifiers before actual testing
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     6
 * of the compiler.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
     7
 *)
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
(* The identifiers that will replace the XXXX
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    10
 * must be placed on a line starting with #
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    11
 * All identifiers preceded by # are ignored!
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    12
 * The identifier list must be placed inside an IEC 61131-3 comment.
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
#IL_operators ANDN CAL CALC CALCN CD CLK CU IN JMP JMPC JMPCN 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    16
#IL_operators LD LDN ORN PT PV R R1 RET RETC RETCN S S1 ST STN XORN
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    17
#SFC_qualifiers D DS L N P #R #S SD SL
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    18
     NOTE: R and S are identical to IL operators!!
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    19
#Task_initialisers PRIORITY SINGLE INTERVAL
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    20
*)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    21
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    22
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    23
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    24
(* Use of XXXX as a STEP identifier *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    25
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    26
PROGRAM bar01
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    27
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    28
    IX1 AT %IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    29
    IX2 AT %IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    30
    IX3 AT %IX3 : BOOL;
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    33
  INITIAL_STEP XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    34
  END_STEP
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
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    37
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    38
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    39
  STEP STEP2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    40
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    41
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    42
  TRANSITION FROM XXXX TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    43
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    44
  END_TRANSITION
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
  TRANSITION FROM STEP1 TO XXXX
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    47
    := IX1 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    48
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    49
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    50
  TRANSITION (PRIORITY := 4) FROM XXXX TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    51
    := IX2 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    52
  END_TRANSITION
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
  TRANSITION (PRIORITY := 4) FROM STEP2 TO XXXX
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    55
    := IX2 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    56
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    57
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    58
  TRANSITION transition_id1 FROM STEP2 TO XXXX
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    59
    := IX1 = FALSE AND IX3 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    60
  END_TRANSITION
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
  TRANSITION transition_id2 FROM XXXX TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    63
    := IX1 = FALSE AND IX3 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    64
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    65
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    66
  TRANSITION transition_id3 (PRIORITY := 3) FROM XXXX TO STEP2
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    67
    := IX3 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    68
  END_TRANSITION
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
  TRANSITION transition_id4 (PRIORITY := 5) FROM STEP2 TO XXXX
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    71
    := IX3 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    72
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    73
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    74
  TRANSITION FROM (XXXX, STEP2) TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    75
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    76
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    77
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    78
  TRANSITION FROM (STEP2, XXXX) TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    79
    := IX2 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    80
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    81
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    82
  TRANSITION FROM STEP1 TO (XXXX, STEP2)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    83
    := IX1 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    84
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    85
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    86
  TRANSITION FROM STEP1 TO (STEP2, XXXX)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    87
    := IX2 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    88
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    89
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    90
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    91
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    92
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    93
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    94
(* Use of XXXX as a TRANSITION identifier *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    95
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    96
PROGRAM bar02
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    97
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    98
    IX1 AT %IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
    99
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   100
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   101
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   102
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   103
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   104
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   105
  END_STEP
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
  TRANSITION XXXX FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   108
    := IX1 = FALSE AND IX3 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   109
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   110
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   111
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   112
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   113
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
PROGRAM bar03
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   116
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   117
    IX1 AT %IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   118
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   119
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   120
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   121
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   122
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   123
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   124
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   125
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   126
  TRANSITION XXXX (PRIORITY := 3) FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   127
    := IX3 = TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   128
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   129
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   130
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   134
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   135
(* Use of XXXX as an ACTION identifier *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   136
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   137
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   138
PROGRAM bar20
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   139
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   140
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   141
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   142
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   143
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   144
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   145
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   146
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   147
  END_VAR
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
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   150
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   151
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   152
    XXXX ();
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   153
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   154
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   155
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   156
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   157
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   158
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   159
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   160
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   161
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   162
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   163
END_PROGRAM
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   167
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   168
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   169
PROGRAM bar21
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   170
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   171
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   172
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   173
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   174
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   175
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   176
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   177
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   178
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   179
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   180
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   181
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   182
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   183
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   184
    XXXX(N);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   185
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   186
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   187
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   188
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   189
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   190
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   191
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   192
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   193
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   194
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   195
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   196
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   197
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   198
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   199
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   200
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
PROGRAM bar22
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   203
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   204
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   205
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   206
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   207
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   208
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   209
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   210
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   211
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   212
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   213
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   214
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   215
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   216
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   217
    XXXX(P);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   218
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   219
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   220
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   221
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   222
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   223
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   224
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   225
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   226
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   227
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   228
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   229
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   230
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   231
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   232
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   236
PROGRAM bar23
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   237
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   238
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   239
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   240
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   241
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   242
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   243
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   244
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   245
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   246
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   247
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   248
  END_STEP
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
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   251
    XXXX(R);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   252
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   253
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   254
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   255
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   256
  END_TRANSITION
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
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   259
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   260
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   261
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   262
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   263
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   264
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   268
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   269
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   270
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   271
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   272
PROGRAM bar24
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   273
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   274
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   275
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   276
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   277
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   278
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   279
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   280
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   281
  END_VAR
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
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   284
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   285
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   286
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   287
    XXXX(S);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   288
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   289
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   290
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   291
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   292
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   293
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   294
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   295
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   296
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   297
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   298
END_PROGRAM
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   302
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   303
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   304
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   305
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   306
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   307
PROGRAM bar25
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   308
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   309
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   310
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   311
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   312
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   313
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   314
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   315
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   316
  END_VAR
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
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   319
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   320
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   321
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   322
    XXXX(D, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   323
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   324
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   325
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   326
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   327
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   328
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   329
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   330
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   331
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   332
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   333
END_PROGRAM
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   336
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   337
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   338
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   339
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   340
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
PROGRAM bar26
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   343
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   344
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   345
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   346
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   347
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   348
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   349
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   350
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   351
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   352
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   353
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   354
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   355
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   356
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   357
    XXXX(L, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   358
  END_STEP
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
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   361
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   362
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   363
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   364
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   365
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   366
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   367
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   368
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   369
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   370
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   371
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   372
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   373
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
PROGRAM bar27
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   376
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   377
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   378
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   379
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   380
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   381
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   382
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   383
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   384
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   385
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   386
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   387
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   388
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   389
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   390
    XXXX(DS, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   391
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   392
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   393
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   394
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   395
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   396
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   397
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   398
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   399
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   400
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   401
END_PROGRAM
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
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
PROGRAM bar28
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   411
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   412
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   413
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   414
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   415
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   416
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   417
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   418
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   419
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   420
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   421
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   422
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   423
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   424
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   425
    XXXX(SD, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   426
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   427
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   428
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   429
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   430
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   431
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   432
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   433
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   434
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   435
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   436
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   437
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   438
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   439
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   440
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   441
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   442
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   443
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   444
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   445
PROGRAM bar29
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   446
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   447
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   448
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   449
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   450
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   451
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   452
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   453
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   454
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   455
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   456
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   457
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   458
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   459
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   460
    XXXX(SL, T#1s);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   461
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   462
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   463
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   464
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   465
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   466
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   467
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   468
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   469
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   470
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   471
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   472
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   473
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   474
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   475
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
PROGRAM bar30
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   481
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   482
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   483
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   484
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   485
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   486
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   487
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   488
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   489
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   490
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   491
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   492
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   493
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   494
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   495
    XXXX(L, delta_1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   496
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   497
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   498
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   499
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   500
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   501
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   502
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   503
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   504
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   505
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   506
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   507
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   508
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   511
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   512
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   515
PROGRAM bar31
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   516
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   517
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   518
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   519
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   520
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   521
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   522
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   523
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   524
  END_VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   525
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   526
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   527
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   528
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   529
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   530
    XXXX(L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   531
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   532
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   533
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   534
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   535
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   536
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   537
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   538
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   539
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   540
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   541
END_PROGRAM
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   544
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   545
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   548
PROGRAM bar32
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   549
  VAR
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   550
    QX1 : BOOL := 1;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   551
    QX2 : BOOL := 0;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   552
    QX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   553
    IX1 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   554
    IX2 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   555
    IX3 : BOOL;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   556
    delta_1 : TIME := T#1s;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   557
  END_VAR
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
  INITIAL_STEP GO:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   560
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   561
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   562
  STEP STEP1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   563
    INLINE1 (); 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   564
    XXXX(L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   565
    INLINE2 (); 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   566
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   567
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   568
  STEP STEP2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   569
    XXXX(L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   570
    INLINE1 (); 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   571
    INLINE2 (); 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   572
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   573
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   574
  STEP STEP3:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   575
    INLINE1 (); 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   576
    INLINE2 (); 
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   577
    XXXX(L, delta_1, IX1, QX1);
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   578
  END_STEP
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   579
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   580
  TRANSITION FROM GO TO STEP1
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   581
    := IX1 = FALSE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   582
  END_TRANSITION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   583
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   584
  ACTION XXXX:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   585
    QX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   586
    QX2 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   587
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   588
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   589
  ACTION INLINE1:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   590
    IX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   591
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   592
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   593
  ACTION INLINE2:
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   594
    IX1 := TRUE;
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   595
  END_ACTION
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   596
END_PROGRAM
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   597
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   600
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   601
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
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   604
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   605
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
(* Checking whether the use of XXXX will confuse any other
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   608
 * normal and correct IL or ST code.
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   609
 *)
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   610
{#include "basic_code.test" }
f9e001952488 Regression tests. Test correct parsing of identifiers.
mario
parents:
diff changeset
   611