tests/syntax/enumeration/enumerationvalue.txt
author mjsousa
Wed, 07 Aug 2013 10:24:32 +0100
changeset 828 a5f08df62002
parent 109 3af0b849b9c6
permissions -rwxr-xr-x
Fix segfault when doing lvalue check of buggy IEC 61131-3 source code
109
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     1
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     2
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     3
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     4
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     5
 enum_type00 : (enum_v1, XXXX, enum_v2) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     6
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     7
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     8
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
     9
 enum_type01 : (XXXX, enum_v2) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    10
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    11
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    12
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    13
 enum_type02 : (enum_v1, XXXX) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    14
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    15
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    16
TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    17
 enum_type03 : (XXXX) := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    18
END_TYPE
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    19
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    20
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    21
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    22
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    23
function foo : int
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    24
 var_input
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    25
  a_1, b_1: int;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    26
 end_var
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    27
 var
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    28
  c_1, d_1: enum_type00;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    29
(*
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    30
  enum_v1 : enum_type00;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    31
*)
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    32
 end_var
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    33
  c_1 := enum_type00#XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    34
  c_1 := XXXX;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    35
  c_1 := enum_v1;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    36
(*
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    37
  enum_v1 := enum_v1;
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    38
*)
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    39
end_function
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    40
3af0b849b9c6 Regression tests. Not yet finished...
mario
parents:
diff changeset
    41