tests/syntax/identifier/identifier_in_sfc.test
author Mario de Sousa <msousa@fe.up.pt>
Thu, 04 Oct 2012 14:30:51 +0100
changeset 666 8ba9ec4bae50
parent 108 f9e001952488
permissions -rwxr-xr-x
Add new get_datatype_info_c (preparing to remove search_expression_type_c)
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