Mercurial > projects > dil
annotate src/dil/semantic/Symbol.d @ 831:c60bd5cd61da
Fixed code that got broken by changes in dmd.1.033.
author | Aziz K?ksal <aziz.koeksal@gmail.com> |
---|---|
date | Sun, 20 Jul 2008 01:23:43 +0200 |
parents | 615c1386b18d |
children |
rev | line source |
---|---|
407
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
1 /++ |
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
2 Author: Aziz Köksal |
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
3 License: GPL3 |
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
4 +/ |
589
de365ddcfbd4
Moved dil.Symbol to dil.semantic.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
580
diff
changeset
|
5 module dil.semantic.Symbol; |
560
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
6 |
580
fa6d3c52757d
Moved SyntaxTree.d to new package 'ast'.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
568
diff
changeset
|
7 import dil.ast.Node; |
615
a05457530ac2
Added member ident to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
614
diff
changeset
|
8 import dil.lexer.Identifier; |
407
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
9 import common; |
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
10 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
11 /// Enumeration of Symbol IDs. |
560
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
12 enum SYM |
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
13 { |
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
14 Module, |
815
615c1386b18d
Added code to class Package.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
806
diff
changeset
|
15 Package, |
560
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
16 Class, |
561
302e50e71ec2
Added Interface symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
560
diff
changeset
|
17 Interface, |
560
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
18 Struct, |
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
19 Union, |
614 | 20 Enum, |
707
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
21 EnumMember, |
623
e2cd28cfc6ae
Added dil.semantic.Template.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
615
diff
changeset
|
22 Template, |
560
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
23 Variable, |
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
24 Function, |
683
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
25 Alias, |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
26 OverloadSet, |
615
a05457530ac2
Added member ident to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
614
diff
changeset
|
27 // Type, |
560
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
28 } |
709e223a8eb9
Added code related to symbols.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
407
diff
changeset
|
29 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
30 /// A symbol represents an object with semantic code information. |
407
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
31 class Symbol |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
32 { /// Enumeration of symbol statuses. |
711
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
33 enum Status : ushort |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
34 { |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
35 Declared, /// The symbol has been declared. |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
36 Completing, /// The symbol is being processed. |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
37 Complete /// The symbol is complete. |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
38 } |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
39 |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
40 SYM sid; /// The ID of this symbol. |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
41 Status status; /// The semantic status of this symbol. |
568
c8861b452eb3
Added members 'node' and 'parent' to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
567
diff
changeset
|
42 Symbol parent; /// The parent this symbol belongs to. |
683
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
43 Identifier* name; /// The name of this symbol. |
711
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
44 /// The syntax tree node that produced this symbol. |
568
c8861b452eb3
Added members 'node' and 'parent' to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
567
diff
changeset
|
45 /// Useful for source code location info and retrieval of doc comments. |
c8861b452eb3
Added members 'node' and 'parent' to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
567
diff
changeset
|
46 Node node; |
567
ab9f5020cd02
Added 'is-methods' to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
563
diff
changeset
|
47 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
48 /// Constructs a Symbol object. |
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
49 /// Params: |
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
50 /// sid = the symbol's ID. |
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
51 /// name = the symbol's name. |
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
52 /// node = the symbol's node. |
683
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
53 this(SYM sid, Identifier* name, Node node) |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
54 { |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
55 this.sid = sid; |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
56 this.name = name; |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
57 this.node = node; |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
58 } |
1ae72234db26
Implemented some methods in SemanticPass1.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
623
diff
changeset
|
59 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
60 /// Change the status to Status.Completing. |
711
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
61 void setCompleting() |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
62 { status = Status.Completing; } |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
63 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
64 /// Change the status to Status.Complete. |
711
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
65 void setComplete() |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
66 { status = Status.Complete; } |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
67 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
68 /// Returns true if the symbol is being completed. |
711
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
69 bool isCompleting() |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
70 { return status == Status.Completing; } |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
71 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
72 /// Returns true if the symbols is complete. |
711
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
73 bool isComplete() |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
74 { return status == Status.Complete; } |
4f971f6382c7
Added enum Status to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
707
diff
changeset
|
75 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
76 /// A template macro for building isXYZ() methods. |
707
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
77 private template isX(char[] kind) |
567
ab9f5020cd02
Added 'is-methods' to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
563
diff
changeset
|
78 { |
707
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
79 const char[] isX = `bool is`~kind~`(){ return sid == SYM.`~kind~`; }`; |
567
ab9f5020cd02
Added 'is-methods' to class Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
563
diff
changeset
|
80 } |
707
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
81 mixin(isX!("Module")); |
815
615c1386b18d
Added code to class Package.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
806
diff
changeset
|
82 mixin(isX!("Package")); |
707
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
83 mixin(isX!("Class")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
84 mixin(isX!("Interface")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
85 mixin(isX!("Struct")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
86 mixin(isX!("Union")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
87 mixin(isX!("Enum")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
88 mixin(isX!("EnumMember")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
89 mixin(isX!("Template")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
90 mixin(isX!("Variable")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
91 mixin(isX!("Function")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
92 mixin(isX!("Alias")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
93 mixin(isX!("OverloadSet")); |
efa5fcb9aa14
Added semantic code related to enums.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
683
diff
changeset
|
94 // mixin(isX!("Type")); |
751
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
95 |
798
c24be8d4f6ab
Added documentation comments.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
758
diff
changeset
|
96 /// Casts the symbol to Class. |
758
f4b9680c0e16
Revised module dil.SettingsLoader.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
751
diff
changeset
|
97 Class to(Class)() |
f4b9680c0e16
Revised module dil.SettingsLoader.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
751
diff
changeset
|
98 { |
831
c60bd5cd61da
Fixed code that got broken by changes in dmd.1.033.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
815
diff
changeset
|
99 assert(mixin(`this.sid == mixin("SYM." ~ Class.stringof)`)); |
758
f4b9680c0e16
Revised module dil.SettingsLoader.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
751
diff
changeset
|
100 return cast(Class)cast(void*)this; |
f4b9680c0e16
Revised module dil.SettingsLoader.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
751
diff
changeset
|
101 } |
f4b9680c0e16
Revised module dil.SettingsLoader.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
751
diff
changeset
|
102 |
751
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
103 /// Returns: the fully qualified name of this symbol. |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
104 /// E.g.: dil.semantic.Symbol.Symbol.getFQN |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
105 char[] getFQN() |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
106 { |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
107 if (!name) |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
108 return parent ? parent.getFQN() : ""; |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
109 if (parent) |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
110 return parent.getFQN() ~ '.' ~ name.str; |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
111 return name.str; |
8caf18892c1b
Improved DDocEmitter and fixed bugs.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
711
diff
changeset
|
112 } |
407
5431c0faf3b5
Added modules dil.Scope and dil.Symbol.
Aziz K?ksal <aziz.koeksal@gmail.com>
parents:
diff
changeset
|
113 } |