annotate sema/Symbol.d @ 135:9869194de9b7

Removed some output We have 15 tests that fail in release mode and 17 in debug - both from things that are only handled by an assert. One is a comments lexing test, that fails on an invalid location in debug The other is returning a struct - it's cought in codegen by an assert, but should be checked explicitly before that
author Anders Halager <halager@gmail.com>
date Wed, 09 Jul 2008 13:38:11 +0200
parents 3635fc5428b1
children 2be29b296081
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
1 module sema.Symbol;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
2
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
3 import tango.text.convert.Integer : format;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
4 import tango.io.Stdout;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
5
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
6 import sema.DType;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
7
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
8 ///
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
9 class Symbol
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
10 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
11 /// Create a root symbol - representing a module
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
12 this() { actual = this; }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
13
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
14 /// Get a simple human readable name (bar)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
15 char[] getName() { return name; }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
16
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
17 /// Get a human readable name (foo.bar)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
18 char[] getFQN()
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
19 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
20 char[] prefix;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
21 if (parent !is null && parent.name !is null)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
22 prefix ~= parent.getFQN() ~ ".";
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
23 return prefix ~ name;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
24 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
25
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
26 /// Get a machine readable name (_D3foo3barFZi)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
27 char[] getMangledFQN()
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
28 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
29 char[] n = `_D`;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
30 Symbol p = parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
31 while (p !is null) {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
32 n ~= p.internalFQN();
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
33 p = p.parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
34 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
35 n ~= internalFQN();
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
36 n ~= type.mangle();
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
37 return n;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
38 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
39
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
40 /**
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
41 Try to find a contained symbol with the given name - returns null if not
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
42 found
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
43 **/
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
44 Symbol findMember(char[] member)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
45 {
131
3635fc5428b1 Try and make aliases work
Anders Halager <halager@gmail.com>
parents: 129
diff changeset
46 foreach (possible; actual.contained)
129
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
47 if (possible.name == member)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
48 return possible;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
49 return null;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
50 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
51
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
52 void dump()
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
53 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
54 Stdout("Symbol: ");
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
55 Symbol p = parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
56 while (p !is null) {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
57 Stdout.format("{}.", p.name);
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
58 p = p.parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
59 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
60 Stdout.formatln("{}", name);
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
61 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
62
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
63 /// Create a member with the given name and type
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
64 Symbol createMember(char[] member, DType type)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
65 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
66 auto res = new Symbol(member, type, this);
131
3635fc5428b1 Try and make aliases work
Anders Halager <halager@gmail.com>
parents: 129
diff changeset
67 actual.contained ~= res;
129
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
68 return res;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
69 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
70
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
71 /**
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
72 Create an alias of another symbol with the given name.
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
73
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
74 The target symbol can be a member of another symbol
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
75 **/
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
76 Symbol createAlias(char[] aliasedName, Symbol target)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
77 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
78 auto res = new Symbol(aliasedName, target, this);
131
3635fc5428b1 Try and make aliases work
Anders Halager <halager@gmail.com>
parents: 129
diff changeset
79 actual.contained ~= res;
129
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
80 return res;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
81 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
82
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
83 // The type of this symbol
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
84 DType type;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
85
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
86 private:
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
87 // Helper for getMangledFQN - gets the FQN without _D and the type
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
88 char[] internalFQN()
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
89 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
90 if (actual.name !is null && actual.name.length > 0)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
91 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
92 char[32] len;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
93 return format(len, actual.name.length) ~ actual.name;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
94 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
95 return "";
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
96 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
97
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
98 this(char[] name, Symbol actual, Symbol parent)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
99 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
100 this.name = name;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
101 this.actual = actual;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
102 this.parent = parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
103 this.type = actual.type;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
104 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
105
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
106 this(char[] name, DType type, Symbol parent)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
107 {
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
108 this.name = name;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
109 this.actual = this;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
110 this.parent = parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
111 this.type = type;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
112 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
113
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
114 private:
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
115 char[] name;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
116
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
117 // If the symbol is an alias, this will point to the actual symbol
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
118 Symbol actual;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
119 // If this symbol is contained within a struct or similar this will point
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
120 // to that symbol
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
121 Symbol parent;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
122 // All the symbols contained within this symbol
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
123 Symbol[] contained;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
124
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
125 // The module that contains this symbol (root of the parent-chain)
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
126 // DModule mod;
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
127 }
ed815b31479b Added a Symbol
Anders Halager <halager@gmail.com>
parents:
diff changeset
128