/[eiffelstudio]/trunk/eweasel/tests/rdtp003/test1.e
ViewVC logotype

Contents of /trunk/eweasel/tests/rdtp003/test1.e

Parent Directory Parent Directory | Revision Log Revision Log


Revision 86987 - (show annotations)
Thu Aug 11 21:49:58 2011 UTC (8 years, 4 months ago) by manus
File size: 2234 byte(s)
New test similar to rdtp001 except that it ensures that the implementation of `is_equivalent' from AST_EIFFEL is correct by comparing the result of two parsings of the same class and verifying they are indeed equivalent.

1
2 class TEST1 [G -> {STRING, STRING, STRING, STRING} create make end]
3
4 inherit
5 LIST [STRING]
6
7 inherit {NONE}
8 STRING
9
10 feature
11 try
12 require
13 assign: True
14 detached: True
15 attribute: True
16 attached: True
17 do
18 create x.make (47)
19 from
20 variant
21 True
22 until
23 False
24 loop
25 end
26 from
27 until
28 False
29 loop
30 variant
31 True
32 end
33 end
34
35 x: G
36
37 f (t: Tuple [Any])
38 do
39 end
40
41 dynamic_boolean_type: INTEGER once Result := dynamic_type_from_string ((False).generating_type) end
42 dynamic_character_8_type: INTEGER once Result := dynamic_type_from_string (({CHARACTER_8} '%U').generating_type) end
43 dynamic_character_32_type: INTEGER once Result := dynamic_type_from_string (({CHARACTER_32} '%U').generating_type) end
44 dynamic_integer_8_type: INTEGER once Result := dynamic_type_from_string (({INTEGER_8} 0).generating_type) end
45 dynamic_integer_16_type: INTEGER once Result := dynamic_type_from_string (({INTEGER_16} 0).generating_type) end
46 dynamic_integer_32_type: INTEGER once Result := dynamic_type_from_string (({INTEGER_32} 0).generating_type) end
47 dynamic_integer_64_type: INTEGER once Result := dynamic_type_from_string (({INTEGER_64} 0).generating_type) end
48 dynamic_natural_8_type: INTEGER once Result := dynamic_type_from_string (({NATURAL_8} 0).generating_type) end
49 dynamic_natural_16_type: INTEGER once Result := dynamic_type_from_string (({NATURAL_16} 0).generating_type) end
50 dynamic_natural_32_type: INTEGER once Result := dynamic_type_from_string (({NATURAL_32} 0).generating_type) end
51 dynamic_natural_64_type: INTEGER once Result := dynamic_type_from_string (({NATURAL_64} 0).generating_type) end
52 dynamic_real_32_type: INTEGER once Result := dynamic_type_from_string (({REAL_32} 0.0).generating_type) end
53 dynamic_real_64_type: INTEGER once Result := dynamic_type_from_string (({REAL_64} 0.0).generating_type) end
54 dynamic_pointer_type: INTEGER once Result := dynamic_type_from_string ((default_pointer).generating_type) end
55 dynamic_string_8_type: INTEGER once Result := dynamic_type_from_string ((create {STRING_8}.make_empty).generating_type) end
56 dynamic_string_32_type: INTEGER once Result := dynamic_type_from_string ((create {STRING_32}.make_empty).generating_type) end
57
58 end

Properties

Name Value
svn:eol-style native
svn:keywords Author Date Id Revision

  ViewVC Help
Powered by ViewVC 1.1.23