|
94
|
1 /++
|
|
|
2 Author: Aziz Köksal
|
|
|
3 License: GPL2
|
|
|
4 +/
|
|
|
5 module Types;
|
|
|
6 import Token;
|
|
|
7 import Expressions;
|
|
|
8
|
|
95
|
9 enum StorageClass
|
|
|
10 {
|
|
|
11 None = 0,
|
|
|
12 Abstract = 1,
|
|
|
13 Auto = 1<<2,
|
|
|
14 Const = 1<<3,
|
|
|
15 Deprecated = 1<<4,
|
|
|
16 Extern = 1<<5,
|
|
|
17 Final = 1<<6,
|
|
|
18 Invariant = 1<<7,
|
|
|
19 Override = 1<<8,
|
|
|
20 Scope = 1<<9,
|
|
|
21 Static = 1<<10,
|
|
|
22 Synchronized = 1<<11,
|
|
|
23 In = 1<<12,
|
|
|
24 Out = 1<<13,
|
|
|
25 Ref = 1<<14,
|
|
|
26 Lazy = 1<<15,
|
|
|
27 Variadic = 1<<16,
|
|
|
28 }
|
|
|
29
|
|
94
|
30 class Type
|
|
|
31 {
|
|
|
32 TOK type;
|
|
95
|
33 Type next;
|
|
|
34
|
|
94
|
35 this(TOK type)
|
|
95
|
36 { this(type, null); }
|
|
|
37
|
|
|
38 this(TOK type, Type next)
|
|
94
|
39 {
|
|
|
40 this.type = type;
|
|
95
|
41 this.next = next;
|
|
94
|
42 }
|
|
|
43 }
|
|
|
44
|
|
|
45 class IdentifierType : Type
|
|
|
46 {
|
|
|
47 string[] idents;
|
|
|
48
|
|
|
49 this(string[] idents)
|
|
|
50 {
|
|
95
|
51 super(TOK.Identifier, null);
|
|
94
|
52 this.idents = idents;
|
|
|
53 }
|
|
|
54
|
|
|
55 this(TOK type)
|
|
|
56 {
|
|
95
|
57 super(type, null);
|
|
94
|
58 }
|
|
|
59
|
|
|
60 void opCatAssign(string ident)
|
|
|
61 {
|
|
|
62 this.idents ~= ident;
|
|
|
63 }
|
|
|
64 }
|
|
|
65
|
|
|
66 class TypeofType : IdentifierType
|
|
|
67 {
|
|
|
68 Expression e;
|
|
|
69 this(Expression e)
|
|
|
70 {
|
|
|
71 super(TOK.Typeof);
|
|
|
72 this.e = e;
|
|
|
73 }
|
|
|
74 }
|
|
95
|
75
|
|
|
76 class PointerType : Type
|
|
|
77 {
|
|
|
78 this(Type t)
|
|
|
79 {
|
|
|
80 super(TOK.Mul, t);
|
|
|
81 }
|
|
|
82 }
|
|
|
83
|
|
|
84 class ArrayType : Type
|
|
|
85 {
|
|
106
|
86 Expression e, e2;
|
|
|
87 Type assocType;
|
|
|
88 this(Type t)
|
|
95
|
89 {
|
|
|
90 super(TOK.Invalid, t);
|
|
106
|
91 }
|
|
|
92 this(Type t, Expression e, Expression e2)
|
|
|
93 {
|
|
|
94 this(t);
|
|
95
|
95 this.e = e;
|
|
106
|
96 this.e2 = e2;
|
|
|
97 }
|
|
|
98 this(Type t, Type assocType)
|
|
|
99 {
|
|
|
100 this(t);
|
|
|
101 this.assocType = assocType;
|
|
95
|
102 }
|
|
|
103 }
|
|
100
|
104
|
|
|
105 class SpecializationType : Type
|
|
|
106 {
|
|
106
|
107 TOK specTok; // Colon|Equal
|
|
100
|
108 Type type;
|
|
106
|
109 TOK tokType; // Typedef|Struct|Union|Class|Interface|
|
|
|
110 // Enum|Function|Delegate|Super|Return
|
|
100
|
111
|
|
|
112 this(TOK specTok, TOK tokType)
|
|
|
113 {
|
|
|
114 super(TOK.Invalid, null);
|
|
|
115 this.specTok = specTok;
|
|
|
116 this.tokType = tokType;
|
|
|
117 }
|
|
|
118
|
|
|
119 this(TOK specTok, Type type)
|
|
|
120 {
|
|
|
121 super(TOK.Invalid, null);
|
|
|
122 this.specTok = specTok;
|
|
|
123 this.type = type;
|
|
|
124 }
|
|
|
125 }
|
