projects/dil: trunk/src/dil/semantic/Types.d annotate

annotate trunk/src/dil/semantic/Types.d @ 589:de365ddcfbd4

Moved dil.Symbol to dil.semantic.Symbol.

author	Aziz K?ksal <aziz.koeksal@gmail.com>
date	Sat, 05 Jan 2008 23:40:54 +0100
parents	556bfb18dff8
children	f6e5bff58b10

rev	line source
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	1 /++
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	2 Author: Aziz Köksal
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	3 License: GPL3
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	4 +/
584 556bfb18dff8 Moved dil.TypeSystem to dil.semantic.Types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 560 diff changeset	5 module dil.semantic.Type;
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	6
589 de365ddcfbd4 Moved dil.Symbol to dil.semantic.Symbol. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 584 diff changeset	7 import dil.semantic.Symbol;
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	8 import dil.TypesEnum;
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	9 import dil.CompilerInfo;
526 ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	10 import dil.Identifier;
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	11
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	12 abstract class Type : Symbol
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	13 {
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	14 Type next;
536 0781ac288537 Added some semantic() methods. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 527 diff changeset	15 TYP tid; /// The ID of the type.
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	16
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	17 this(){}
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	18
536 0781ac288537 Added some semantic() methods. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 527 diff changeset	19 this(Type next, TYP tid)
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	20 {
560 709e223a8eb9 Added code related to symbols. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 548 diff changeset	21 this.sid = SYM.Type;
709e223a8eb9 Added code related to symbols. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 548 diff changeset	22
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	23 this.next = next;
536 0781ac288537 Added some semantic() methods. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 527 diff changeset	24 this.tid = tid;
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	25 }
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	26
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	27 TypePointer ptrTo()
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	28 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	29 return new TypePointer(this);
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	30 }
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	31
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	32 /// Get byte size of this type.
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	33 final size_t sizeOf()
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	34 {
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	35 return MITable.getSize(this);
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	36 }
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	37
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	38 /// Size is not in MITable. Find out via virtual method.
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	39 size_t sizeOf_()
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	40 {
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	41 return sizeOf();
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	42 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	43 }
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	44
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	45 class TypeBasic : Type
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	46 {
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	47 this(TYP typ)
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	48 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	49 super(null, typ);
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	50 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	51 }
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	52
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	53 class TypeDArray : Type
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	54 {
526 ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	55 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	56 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	57 super(next, TYP.DArray);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	58 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	59 }
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	60
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	61 class TypeAArray : Type
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	62 {
526 ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	63 Type keyType;
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	64 this(Type next, Type keyType)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	65 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	66 super(next, TYP.AArray);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	67 this.keyType = keyType;
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	68 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	69 }
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	70
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	71 class TypeSArray : Type
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	72 {
526 ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	73 size_t dimension;
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	74 this(Type next, size_t dimension)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	75 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	76 super(next, TYP.SArray);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	77 this.dimension = dimension;
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	78 }
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	79 }
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	80
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	81 class TypePointer : Type
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	82 {
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	83 this(Type next)
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	84 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	85 super(next, TYP.Pointer);
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	86 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	87 }
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	88
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	89 class TypeReference : Type
112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	90 {
526 ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	91 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	92 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	93 super(next, TYP.Reference);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	94 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	95 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	96
526 ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	97 class EnumType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	98 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	99 this(Type baseType)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	100 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	101 super(baseType, TYP.Enum);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	102 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	103
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	104 Type baseType()
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	105 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	106 return next;
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	107 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	108 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	109
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	110 class StructType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	111 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	112 this()
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	113 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	114 super(null, TYP.Struct);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	115 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	116 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	117
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	118 class ClassType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	119 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	120 this()
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	121 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	122 super(null, TYP.Class);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	123 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	124 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	125
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	126 class TypedefType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	127 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	128 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	129 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	130 super(next, TYP.Typedef);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	131 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	132 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	133
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	134 class FunctionType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	135 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	136 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	137 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	138 super(next, TYP.Function);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	139 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	140 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	141
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	142 class DelegateType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	143 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	144 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	145 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	146 super(next, TYP.Delegate);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	147 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	148 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	149
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	150 class IdentifierType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	151 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	152 Identifier* ident;
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	153 this(Identifier* ident)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	154 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	155 super(null, TYP.Identifier);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	156 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	157 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	158
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	159 class TInstanceType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	160 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	161 this()
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	162 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	163 super(null, TYP.TInstance);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	164 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	165 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	166
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	167 class TupleType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	168 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	169 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	170 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	171 super(next, TYP.Tuple);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	172 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	173 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	174
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	175 class ConstType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	176 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	177 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	178 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	179 super(next, TYP.Const);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	180 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	181 }
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	182
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	183 class InvariantType : Type
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	184 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	185 this(Type next)
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	186 {
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	187 super(next, TYP.Const);
ee22dc0ba82c Added more Type classes to dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 525 diff changeset	188 }
512 112c17300069 Added module dil.TypeSystem. Aziz K?ksal <aziz.koeksal@gmail.com> parents: diff changeset	189 }
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	190
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	191 /// Represents a value related to a type.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	192 union Value
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	193 {
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	194 void* pvoid;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	195 bool bool_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	196 dchar dchar_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	197 long long_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	198 ulong ulong_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	199 int int_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	200 uint uint_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	201 float float_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	202 double double_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	203 real real_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	204 creal creal_;
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	205 }
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	206
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	207 struct TypeMetaInfo
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	208 {
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	209 char mangle; /// Mangle character of the type.
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	210 ushort size; /// Byte size of the type.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	211 Value* defaultInit; /// Default initialization value.
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	212 }
812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	213
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	214 struct MITable
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	215 {
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	216 static:
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	217 const ushort SIZE_NOT_AVAILABLE = 0; /// Size not available.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	218 const Value VZERO = {int_:0}; /// Value 0.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	219 const Value VNULL = {pvoid:null}; /// Value null.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	220 const Value V0xFF = {dchar_:0xFF}; /// Value 0xFF.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	221 const Value V0xFFFF = {dchar_:0xFFFF}; /// Value 0xFFFF.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	222 const Value VFALSE = {bool_:false}; /// Value false.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	223 const Value VNAN = {float_:float.nan}; /// Value NAN.
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	224 const Value VCNAN = {creal_:creal.nan}; /// Value complex NAN.
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	225 private alias SIZE_NOT_AVAILABLE SNA;
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	226 private alias PTR_SIZE PS;
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	227 private const TypeMetaInfo metaInfoTable[] = [
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	228 {'?', SNA}, // Error
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	229
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	230 {'a', 1, &V0xFF}, // Char
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	231 {'u', 2, &V0xFFFF}, // Wchar
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	232 {'w', 4, &V0xFFFF}, // Dchar
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	233 {'b', 1, &VFALSE}, // Bool
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	234 {'g', 1, &VZERO}, // Byte
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	235 {'h', 1, &VZERO}, // Ubyte
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	236 {'s', 2, &VZERO}, // Short
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	237 {'t', 2, &VZERO}, // Ushort
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	238 {'i', 4, &VZERO}, // Int
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	239 {'k', 4, &VZERO}, // Uint
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	240 {'l', 8, &VZERO}, // Long
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	241 {'m', 8, &VZERO}, // Ulong
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	242 {'?', 16, &VZERO}, // Cent
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	243 {'?', 16, &VZERO}, // Ucent
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	244 {'f', 4, &VNAN}, // Float
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	245 {'d', 8, &VNAN}, // Double
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	246 {'e', 12, &VNAN}, // Real
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	247 {'o', 4, &VNAN}, // Ifloat
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	248 {'p', 8, &VNAN}, // Idouble
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	249 {'j', 12, &VNAN}, // Ireal
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	250 {'q', 8, &VCNAN}, // Cfloat
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	251 {'r', 16, &VCNAN}, // Cdouble
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	252 {'c', 24, &VCNAN}, // Creal
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	253 {'v', 1}, // void
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	254
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	255 {'n', SNA}, // None
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	256
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	257 {'A', PS*2, &VNULL}, // Dynamic array
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	258 {'G', PS*2, &VNULL}, // Static array
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	259 {'H', PS*2, &VNULL}, // Associative array
522 812f497b20dc Added module dil.TypesEnum. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 512 diff changeset	260
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	261 {'E', SNA}, // Enum
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	262 {'S', SNA}, // Struct
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	263 {'C', PS, &VNULL}, // Class
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	264 {'T', SNA}, // Typedef
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	265 {'F', PS}, // Function
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	266 {'D', PS*2, &VNULL}, // Delegate
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	267 {'P', PS, &VNULL}, // Pointer
faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	268 {'R', PS, &VNULL}, // Reference
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	269 {'I', SNA}, // Identifier
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	270 {'?', SNA}, // Template instance
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	271 {'B', SNA}, // Tuple
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	272 {'x', SNA}, // Const, D2
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	273 {'y', SNA}, // Invariant, D2
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	274 ];
548 faf16f4e7fc8 Added union Value and updated metaInfoTable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 536 diff changeset	275 static assert(metaInfoTable.length == TYP.max+1);
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	276
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	277 size_t getSize(Type type)
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	278 {
536 0781ac288537 Added some semantic() methods. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 527 diff changeset	279 auto size = metaInfoTable[type.tid].size;
527 c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	280 if (size == SIZE_NOT_AVAILABLE)
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	281 return type.sizeOf_();
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	282 return size;
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	283 }
c8c3aec130f7 Added struct MITable. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 526 diff changeset	284 }
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	285
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	286 /// A set of pre-defined types.
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	287 struct Types
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	288 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	289 static:
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	290 TypeBasic Char, Wchar, Dchar, Bool,
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	291 Byte, Ubyte, Short, Ushort,
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	292 Int, Uint, Long, Ulong,
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	293 Cent, Ucent,
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	294 Float, Double, Real,
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	295 Ifloat, Idouble, Ireal,
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	296 Cfloat, Cdouble, Creal, Void;
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	297
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	298 TypeBasic Size_t, Ptrdiff_t;
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	299 TypePointer Void_ptr;
560 709e223a8eb9 Added code related to symbols. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 548 diff changeset	300 TypeBasic Error, Undefined;
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	301
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	302 /// Allocates an instance of TypeBasic and assigns it to typeName.
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	303 template newTB(char[] typeName)
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	304 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	305 const TypeBasic newTB = mixin(typeName~" = new TypeBasic(TYP."~typeName~")");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	306 }
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	307
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	308 static this()
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	309 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	310 newTB!("Char");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	311 newTB!("Wchar");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	312 newTB!("Dchar");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	313 newTB!("Bool");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	314 newTB!("Byte");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	315 newTB!("Ubyte");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	316 newTB!("Short");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	317 newTB!("Ushort");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	318 newTB!("Int");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	319 newTB!("Uint");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	320 newTB!("Long");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	321 newTB!("Ulong");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	322 newTB!("Cent");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	323 newTB!("Ucent");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	324 newTB!("Float");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	325 newTB!("Double");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	326 newTB!("Real");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	327 newTB!("Ifloat");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	328 newTB!("Idouble");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	329 newTB!("Ireal");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	330 newTB!("Cfloat");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	331 newTB!("Cdouble");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	332 newTB!("Creal");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	333 newTB!("Void");
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	334 version(X86_64)
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	335 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	336 Size_t = Ulong;
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	337 Ptrdiff_t = Long;
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	338 }
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	339 else
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	340 {
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	341 Size_t = Uint;
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	342 Ptrdiff_t = Int;
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	343 }
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	344 Void_ptr = Void.ptrTo;
560 709e223a8eb9 Added code related to symbols. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 548 diff changeset	345 Error = new TypeBasic(TYP.Error);
536 0781ac288537 Added some semantic() methods. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 527 diff changeset	346 Undefined = new TypeBasic(TYP.Error);
525 a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	347 }
a3f66502ea64 Added struct Types with pre-defined types. Aziz K?ksal <aziz.koeksal@gmail.com> parents: 522 diff changeset	348 }

Mercurial > projects > dil

annotate trunk/src/dil/semantic/Types.d @ 589:de365ddcfbd4