-
Notifications
You must be signed in to change notification settings - Fork 3
/
duplicate_key.odin
executable file
·54 lines (52 loc) · 1.18 KB
/
duplicate_key.odin
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
--
-- component: Eiffel Object Modelling Framework
-- description: Test file containing duplicate key
-- author: Thomas Beale
-- copyright: Copyright (c) 2014 Thomas Beale
-- license: Apache 2.0
--
primitive_types = <
["Any"] = <
name = <"Any">
is_abstract = <True>
>
["Ordered"] = <
name = <"Ordered">
is_abstract = <True>
ancestors = </primitive_types["Any"], ...>
>
["Numeric"] = <
name = <"Numeric">
is_abstract = <True>
ancestors = </primitive_types["Any"], ...>
>
["Ordered_Numeric"] = <
name = <"Ordered_Numeric">
is_abstract = <True>
ancestors = </primitive_types["Numeric"], /primitive_types["Ordered"]>
>
["Octet"] = <
name = <"Octet">
ancestors = </primitive_types["Any"], ...>
>
["Boolean"] = <
name = <"Boolean">
ancestors = </primitive_types["Any"], ...>
>
["Boolean"] = <
name = <"Integer">
ancestors = </primitive_types["Ordered_Numeric"], ...>
>
["Real"] = <
name = <"Real">
ancestors = </primitive_types["Ordered_Numeric"], ...>
>
["Double"] = <
name = <"Double">
ancestors = </primitive_types["Ordered_Numeric"], ...>
>
["Character"] = <
name = <"Character">
ancestors = </primitive_types["Any"], ...>
>
>