Mercurial > projects > dil
view trunk/src/dil/semantic/Types.d @ 796:f7688996bf08
Added member symbol to class Type.
Fixed html_map.d to IE6.
author | Aziz K?ksal <aziz.koeksal@gmail.com> |
---|---|
date | Fri, 29 Feb 2008 19:25:21 +0100 |
parents | 8e252b7c1459 |
children | c24be8d4f6ab |
line wrap: on
line source
/++ Author: Aziz Köksal License: GPL3 +/ module dil.semantic.Types; import dil.semantic.Symbol; import dil.semantic.TypesEnum; import dil.lexer.Identifier; import dil.CompilerInfo; abstract class Type/* : Symbol*/ { Type next; /// The next type in the type structure. TYP tid; /// The ID of the type. Symbol symbol; /// Not null if this type has a symbol. this(){} this(Type next, TYP tid) { // this.sid = SYM.Type; this.next = next; this.tid = tid; } TypePointer ptrTo() { return new TypePointer(this); } /// Get byte size of this type. final size_t sizeOf() { return MITable.getSize(this); } /// Size is not in MITable. Find out via virtual method. size_t sizeOf_() { return sizeOf(); } bool hasSymbol() { return symbol !is null; } } class TypeBasic : Type { this(TYP typ) { super(null, typ); } } /// Dynamic array. class TypeDArray : Type { this(Type next) { super(next, TYP.DArray); } } /// Associative array. class TypeAArray : Type { Type keyType; this(Type next, Type keyType) { super(next, TYP.AArray); this.keyType = keyType; } } /// Static array. class TypeSArray : Type { size_t dimension; this(Type next, size_t dimension) { super(next, TYP.SArray); this.dimension = dimension; } } class TypePointer : Type { this(Type next) { super(next, TYP.Pointer); } } class TypeReference : Type { this(Type next) { super(next, TYP.Reference); } } class TypeEnum : Type { this(Symbol symbol, Type baseType) { super(baseType, TYP.Enum); this.symbol = symbol; } Type baseType() { return next; } } class TypeStruct : Type { this(Symbol symbol) { super(null, TYP.Struct); this.symbol = symbol; } } class TypeClass : Type { this(Symbol symbol) { super(null, TYP.Class); this.symbol = symbol; } } class TypeTypedef : Type { this(Type next) { super(next, TYP.Typedef); } } class TypeFunction : Type { this(Type next) { super(next, TYP.Function); } } class TypeDelegate : Type { this(Type next) { super(next, TYP.Delegate); } } class TypeIdentifier : Type { Identifier* ident; this(Identifier* ident) { super(null, TYP.Identifier); } } class TypeTemplInstance : Type { this() { super(null, TYP.TInstance); } } class TypeTuple : Type { this(Type next) { super(next, TYP.Tuple); } } class TypeConst : Type { this(Type next) { super(next, TYP.Const); } } class TypeInvariant : Type { this(Type next) { super(next, TYP.Const); } } /// Represents a value related to a type. union Value { void* pvoid; bool bool_; dchar dchar_; long long_; ulong ulong_; int int_; uint uint_; float float_; double double_; real real_; creal creal_; } struct TypeMetaInfo { char mangle; /// Mangle character of the type. ushort size; /// Byte size of the type. Value* defaultInit; /// Default initialization value. } struct MITable { static: const ushort SIZE_NOT_AVAILABLE = 0; /// Size not available. const Value VZERO = {int_:0}; /// Value 0. const Value VNULL = {pvoid:null}; /// Value null. const Value V0xFF = {dchar_:0xFF}; /// Value 0xFF. const Value V0xFFFF = {dchar_:0xFFFF}; /// Value 0xFFFF. const Value VFALSE = {bool_:false}; /// Value false. const Value VNAN = {float_:float.nan}; /// Value NAN. const Value VCNAN = {creal_:creal.nan}; /// Value complex NAN. private alias SIZE_NOT_AVAILABLE SNA; private alias PTR_SIZE PS; private const TypeMetaInfo metaInfoTable[] = [ {'?', SNA}, // Error {'a', 1, &V0xFF}, // Char {'u', 2, &V0xFFFF}, // Wchar {'w', 4, &V0xFFFF}, // Dchar {'b', 1, &VFALSE}, // Bool {'g', 1, &VZERO}, // Byte {'h', 1, &VZERO}, // Ubyte {'s', 2, &VZERO}, // Short {'t', 2, &VZERO}, // Ushort {'i', 4, &VZERO}, // Int {'k', 4, &VZERO}, // Uint {'l', 8, &VZERO}, // Long {'m', 8, &VZERO}, // Ulong {'?', 16, &VZERO}, // Cent {'?', 16, &VZERO}, // Ucent {'f', 4, &VNAN}, // Float {'d', 8, &VNAN}, // Double {'e', 12, &VNAN}, // Real {'o', 4, &VNAN}, // Ifloat {'p', 8, &VNAN}, // Idouble {'j', 12, &VNAN}, // Ireal {'q', 8, &VCNAN}, // Cfloat {'r', 16, &VCNAN}, // Cdouble {'c', 24, &VCNAN}, // Creal {'v', 1}, // void {'n', SNA}, // None {'A', PS*2, &VNULL}, // Dynamic array {'G', PS*2, &VNULL}, // Static array {'H', PS*2, &VNULL}, // Associative array {'E', SNA}, // Enum {'S', SNA}, // Struct {'C', PS, &VNULL}, // Class {'T', SNA}, // Typedef {'F', PS}, // Function {'D', PS*2, &VNULL}, // Delegate {'P', PS, &VNULL}, // Pointer {'R', PS, &VNULL}, // Reference {'I', SNA}, // Identifier {'?', SNA}, // Template instance {'B', SNA}, // Tuple {'x', SNA}, // Const, D2 {'y', SNA}, // Invariant, D2 ]; static assert(metaInfoTable.length == TYP.max+1); size_t getSize(Type type) { auto size = metaInfoTable[type.tid].size; if (size == SIZE_NOT_AVAILABLE) return type.sizeOf_(); return size; } } /// A set of pre-defined types. struct Types { static: TypeBasic Char, Wchar, Dchar, Bool, Byte, Ubyte, Short, Ushort, Int, Uint, Long, Ulong, Cent, Ucent, Float, Double, Real, Ifloat, Idouble, Ireal, Cfloat, Cdouble, Creal, Void; TypeBasic Size_t, Ptrdiff_t; TypePointer Void_ptr; TypeBasic Error, Undefined; /// Allocates an instance of TypeBasic and assigns it to typeName. template newTB(char[] typeName) { const newTB = mixin(typeName~" = new TypeBasic(TYP."~typeName~")"); } static this() { newTB!("Char"); newTB!("Wchar"); newTB!("Dchar"); newTB!("Bool"); newTB!("Byte"); newTB!("Ubyte"); newTB!("Short"); newTB!("Ushort"); newTB!("Int"); newTB!("Uint"); newTB!("Long"); newTB!("Ulong"); newTB!("Cent"); newTB!("Ucent"); newTB!("Float"); newTB!("Double"); newTB!("Real"); newTB!("Ifloat"); newTB!("Idouble"); newTB!("Ireal"); newTB!("Cfloat"); newTB!("Cdouble"); newTB!("Creal"); newTB!("Void"); version(X86_64) { Size_t = Ulong; Ptrdiff_t = Long; } else { Size_t = Uint; Ptrdiff_t = Int; } Void_ptr = Void.ptrTo; Error = new TypeBasic(TYP.Error); Undefined = new TypeBasic(TYP.Error); } }