tests/syntax/enumeration/enumerationvalue.txt
author Mario de Sousa <msousa@fe.up.pt>
Fri, 19 Aug 2011 20:48:05 +0100
changeset 355 30db860bd3bd
parent 109 3af0b849b9c6
permissions -rwxr-xr-x
Merging with Laurent's repository.
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