tests/syntax/enumeration/enumerationvalue.txt
author Mario de Sousa <msousa@fe.up.pt>
Sat, 14 Apr 2012 15:19:17 +0100
changeset 504 f8d422b98315
parent 109 3af0b849b9c6
permissions -rwxr-xr-x
Fix bug by expanding permissible data input of search_var_instance_decl_c
(this will also prepare us for removing search_varfb_instance_type_c in the future)



TYPE
 enum_type00 : (enum_v1, XXXX, enum_v2) := XXXX;
END_TYPE

TYPE
 enum_type01 : (XXXX, enum_v2) := XXXX;
END_TYPE

TYPE
 enum_type02 : (enum_v1, XXXX) := XXXX;
END_TYPE

TYPE
 enum_type03 : (XXXX) := XXXX;
END_TYPE




function foo : int
 var_input
  a_1, b_1: int;
 end_var
 var
  c_1, d_1: enum_type00;
(*
  enum_v1 : enum_type00;
*)
 end_var
  c_1 := enum_type00#XXXX;
  c_1 := XXXX;
  c_1 := enum_v1;
(*
  enum_v1 := enum_v1;
*)
end_function