Mercurial > projects > dil

annotate trunk/src/Types.d @ 130:0467f01ed524

Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
- Fix: parameters can have optional identifier. - Added code for parsing delegates of type ( ArgumentList ) FunctionBody. - Added class FunctionType. - Added class FunctionLiteralExpression.
author aziz
date Tue, 10 Jul 2007 16:49:01 +0000
parents 79857de26e86
children a31aa0d6dd5e
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
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
89 class IdentifierType : Type
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
90 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
91 string[] idents;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
92
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
93 this(string[] idents)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
94 {
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
95 super(TOK.Identifier, null);
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
96 this.idents = idents;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
97 }
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 this(TOK type)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
100 {
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
101 super(type, null);
94
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
102 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
103
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
104 void opCatAssign(string ident)
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 this.idents ~= ident;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
107 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
108 }
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
109
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
110 class TypeofType : IdentifierType
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 Expression e;
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
113 this(Expression e)
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
114 {
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
115 super(TOK.Typeof);
0fe650a7a8d1 - Renamed Type enum to InfoType in module Information.
aziz
parents:
diff changeset
116 this.e = e;
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 }
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
119
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
120 class PointerType : Type
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
121 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
122 this(Type t)
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
123 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
124 super(TOK.Mul, t);
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
125 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
126 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
127
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
128 class ArrayType : Type
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
129 {
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
130 Expression e, e2;
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
131 Type assocType;
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
132 this(Type t)
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
133 {
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
134 super(TOK.Invalid, t);
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
135 }
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
136 this(Type t, Expression e, Expression e2)
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
137 {
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
138 this(t);
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
139 this.e = e;
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
140 this.e2 = e2;
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
141 }
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
142 this(Type t, Type assocType)
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
143 {
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
144 this(t);
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
145 this.assocType = assocType;
95
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
146 }
0eb4c8a5b32b - Added TOK.Invalid.
aziz
parents: 94
diff changeset
147 }
100
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
148
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
149 class SpecializationType : Type
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
150 {
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
151 TOK specTok; // Colon|Equal
100
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
152 Type type;
106
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
153 TOK tokType; // Typedef|Struct|Union|Class|Interface|
441962b0f526 - Added parseArrayType() method.
aziz
parents: 100
diff changeset
154 // Enum|Function|Delegate|Super|Return
100
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
155
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
156 this(TOK specTok, TOK tokType)
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
157 {
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
158 super(TOK.Invalid, null);
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
159 this.specTok = specTok;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
160 this.tokType = tokType;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
161 }
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
162
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
163 this(TOK specTok, Type type)
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
164 {
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
165 super(TOK.Invalid, null);
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
166 this.specTok = specTok;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
167 this.type = type;
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
168 }
538e8b546669 - Added code for parsing IsExpressions.
aziz
parents: 95
diff changeset
169 }
130
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
170
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
171 class FunctionType : Type
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
172 {
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
173 Type returnType;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
174 Parameters parameters;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
175 this(Type returnType, Parameters parameters)
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
176 {
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
177 super(TOK.Invalid, null);
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
178 this.returnType = returnType;
0467f01ed524 - Fix: parameters can have optional identifier.
aziz
parents: 117
diff changeset
179 this.parameters = parameters;
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 }