Mercurial > projects > dil

annotate trunk/src/Types.d @ 134:a31aa0d6dd5e

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
- Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
author aziz
date Tue, 10 Jul 2007 21:20:05 +0000
parents 0467f01ed524
children 145e0d68ec95
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
1 /++
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
2 Author: Aziz Köksal
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
3 License: GPL2
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
4 +/
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
5 module Types;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
6 import Token;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
7 import Expressions;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
8
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
9 enum StorageClass
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
10 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
11 None = 0,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
12 Abstract = 1,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
13 Auto = 1<<2,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
14 Const = 1<<3,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
15 Deprecated = 1<<4,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
16 Extern = 1<<5,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
17 Final = 1<<6,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
18 Invariant = 1<<7,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
19 Override = 1<<8,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
20 Scope = 1<<9,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
21 Static = 1<<10,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
22 Synchronized = 1<<11,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
23 In = 1<<12,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
24 Out = 1<<13,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
25 Ref = 1<<14,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
26 Lazy = 1<<15,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
27 Variadic = 1<<16,
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
28 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
29
117
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
30 class Parameter
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
31 {
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
32 StorageClass stc;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
33 Type type;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
34 string ident;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
35 Expression assignExpr;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
36
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
37 this(StorageClass stc, Type type, string ident, Expression assignExpr)
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
38 {
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
39 this.stc = stc;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
40 this.type = type;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
41 this.ident = ident;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
42 this.assignExpr = assignExpr;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
43 }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
44
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
45 bool isVariadic()
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
46 {
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
47 return !!(stc & StorageClass.Variadic);
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
48 }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
49
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
50 bool isOnlyVariadic()
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
51 {
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
52 return stc == StorageClass.Variadic;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
53 }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
54 }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
55
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
56 struct Parameters
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
57 {
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
58 Parameter[] items;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
59
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
60 bool hasVariadic()
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
61 {
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
62 if (items.length != 0)
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
63 return items[$-1].isVariadic();
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
64 return false;
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
65 }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
66
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
67 void opCatAssign(Parameter param)
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
68 { items ~= param; }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
69
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
70 size_t length()
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
71 { return items.length; }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
72 }
79857de26e86 - Moved class Parameter to module Types. Added struct Parameters.
aziz
parents: 106
diff changeset
73
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
74 class Type
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
75 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
76 TOK type;
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
77 Type next;
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
78
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
79 this(TOK type)
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
80 { this(type, null); }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
81
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
82 this(TOK type, Type next)
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
83 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
84 this.type = type;
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
85 this.next = next;
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
86 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
87 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
88
134
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
89 class UndefinedType : Type
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
90 {
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
91 this()
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
92 {
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
93 super(TOK.Invalid, null);
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
94 }
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
95 }
a31aa0d6dd5e - Added class UndefinedType. Returning it in parseBasicType() when no token matched the basic type list.
aziz
parents: 130
diff changeset
96
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
97 class IdentifierType : Type
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
98 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
99 string[] idents;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
100
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
101 this(string[] idents)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
102 {
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
103 super(TOK.Identifier, null);
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
104 this.idents = idents;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
105 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
106
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
107 this(TOK type)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
108 {
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
109 super(type, null);
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
110 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
111
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
112 void opCatAssign(string ident)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
113 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
114 this.idents ~= ident;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
115 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
116 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
117
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
118 class TypeofType : IdentifierType
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
119 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
120 Expression e;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
121 this(Expression e)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
122 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
123 super(TOK.Typeof);
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
124 this.e = e;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
125 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
126 }
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
127
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
128 class PointerType : Type
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
129 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
130 this(Type t)
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
131 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
132 super(TOK.Mul, t);
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
133 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
134 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
135
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
136 class ArrayType : Type
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
137 {
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
138 Expression e, e2;
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
139 Type assocType;
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
140 this(Type t)
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
141 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
142 super(TOK.Invalid, t);
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
143 }
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
144 this(Type t, Expression e, Expression e2)
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
145 {
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
146 this(t);
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
147 this.e = e;
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
148 this.e2 = e2;
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
149 }
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
150 this(Type t, Type assocType)
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
151 {
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
152 this(t);
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
153 this.assocType = assocType;
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
154 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
155 }
100
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
156
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
157 class SpecializationType : Type
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
158 {
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
159 TOK specTok; // Colon|Equal
100
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
160 Type type;
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
161 TOK tokType; // Typedef|Struct|Union|Class|Interface|
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
162 // Enum|Function|Delegate|Super|Return
100
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
163
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
164 this(TOK specTok, TOK tokType)
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
165 {
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
166 super(TOK.Invalid, null);
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
167 this.specTok = specTok;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
168 this.tokType = tokType;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
169 }
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
170
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
171 this(TOK specTok, Type type)
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
172 {
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
173 super(TOK.Invalid, null);
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
174 this.specTok = specTok;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
175 this.type = type;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
176 }
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
177 }
130
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
178
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
179 class FunctionType : Type
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
180 {
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
181 Type returnType;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
182 Parameters parameters;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
183 this(Type returnType, Parameters parameters)
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
184 {
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
185 super(TOK.Invalid, null);
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
186 this.returnType = returnType;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
187 this.parameters = parameters;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
188 }
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
189 }