tests/syntax/enumeration/enumerationvalue.txt
author Mario de Sousa <msousa@fe.up.pt>
Wed, 13 Feb 2013 18:56:25 +0000
changeset 810 d9c48ad646f1
parent 109 3af0b849b9c6
permissions -rwxr-xr-x
Add a new node to the abstract symtax tree, which will let us do datatype checking of FB variable declarations using the standard algorithm, and no special cases.
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