dmd.mtype

Defines a D type.

Authors

Walter Bright

Source: mtype.d

  • Declaration

    pure nothrow @nogc @safe bool MODimplicitConv(MOD modfrom, MOD modto);

    Return !=0 if modfrom can be implicitly converted to modto

  • Declaration

    pure nothrow @nogc @safe MATCH MODmethodConv(MOD modfrom, MOD modto);

    Return MATCH.exact or MATCH.constant if a method of type '() modfrom' can call a method of type '() modto'.

  • Declaration

    pure nothrow @nogc @safe MOD MODmerge(MOD mod1, MOD mod2);

    Merge mod bits to form common mod.

  • Declaration

    nothrow void MODtoBuffer(OutBuffer* buf, MOD mod);

    Store modifier name into buf.

  • Declaration

    pure nothrow const(char)* MODtoChars(MOD mod);
    pure nothrow string MODtoString(MOD mod);

    Return Value

    a human readable representation of mod, which is the token mod corresponds to

  • Declaration

    pure nothrow @nogc @safe string trustToString(TRUST trust);

    Pick off one of the trust flags from trust, and return a string representation of it.

  • Declaration

    pure nothrow @nogc @safe StorageClass ModToStc(uint mod);

    Convert MODxxxx to STCxxx

  • Declaration

    pure nothrow @nogc @safe bool isSomeChar(TY ty);

    Returns true if ty is char, wchar, or dchar

  • Declaration

    int mutabilityOfType(bool isref, Type t);

    Determine mutability of indirections in (ref) t.

    Return Value

    When the type has any mutable indirections, returns 0. When all indirections are immutable, returns 2. Otherwise, when the type has const/inout indirections, returns 1.

    Parameters

    bool isref

    if true, check ref t; otherwise, check just t

    Type t

    the type that is being checked

  • Declaration

    enum DotExpFlag: int;

    dotExp() bit flags

  • Declaration

    enum Covariant: int;

    Result of a check whether two types are covariant

    • Declaration

      distinct

      types are distinct

    • yes

      Declaration

      yes

      types are covariant

    • no

      Declaration

      no

      arguments match as far as overloading goes, but types are not covariant

    • Declaration

      fwdref

      cannot determine covariance because of forward references

  • Declaration

    abstract class Type: dmd.ast_node.ASTNode;

    • Declaration

      final const size_t getUniqueID();

      Returns a non-zero unique ID for this Type, or returns 0 if the Type does not (yet) have a unique ID. If semantic() has not been run, 0 is returned.

    • Declaration

      final Covariant covariant(Type t, StorageClass* pstc = null, bool cppCovariant = false);

      Covariant means that 'this' can substitute for 't', i.e. a pure function is a match for an impure type.

      Parameters

      Type t

      type 'this' is covariant with

      StorageClass* pstc

      if not null, store STCxxxx which would make it covariant

      bool cppCovariant

      true if extern(C++) function types should follow C++ covariant rules

      Return Value

      An enum value of either Covariant.yes or a reason it's not covariant.

    • Declaration

      final const const(char)* toChars();
      final char* toPrettyChars(bool QualifyTypes = false);

      For pretty-printing a type.

    • Declaration

      static void deinitialize();

      Deinitializes the global state of the compiler.

      Discussion

      This can be used to restore the state set by _init to its original state.

    • Declaration

      final Type merge2();

      This version does a merge even if the deco is already computed. Necessary for types that have a deco, but are not merged.

    • Declaration

      final const nothrow void modToBuffer(OutBuffer* buf);

      Store this type's modifier name into buf.

    • Declaration

      final const nothrow char* modToChars();

      Return this type's modifier name.

    • Declaration

      bool isAssignable();

      When T is mutable,

      Given: T a, b; Can we bitwise assign: a = b; ?

    • Declaration

      bool isBoolean();

      Returns true if T can be converted to boolean value.

    • Declaration

      void checkDeprecated(const ref Loc loc, Scope* sc);

      Check type to see if it is based on a deprecated symbol.

    • Declaration

      final const nothrow Type nullAttributes();

      Return a copy of this type with all attributes null-initialized. Useful for creating a type with different modifiers.

    • Declaration

      final Type constOf();

      Convert to 'const'.

    • Declaration

      final Type immutableOf();

      Convert to 'immutable'.

    • Declaration

      final Type mutableOf();

      Make type mutable.

    • Declaration

      final Type unSharedOf();

      Make type unshared. 0 => 0 const => const immutable => immutable shared => 0 shared const => const wild => wild wild const => wild const shared wild => wild shared wild const => wild const

    • Declaration

      final Type wildOf();

      Convert to 'wild'.

    • Declaration

      final void fixTo(Type t);

      For our new type 'this', which is type-constructed from t, fill in the cto, ito, sto, scto, wto shortcuts.

    • Declaration

      final void check();

      Look for bugs in constructing types.

    • Declaration

      final Type addSTC(StorageClass stc);

      Apply STCxxxx bits to existing type. Use before semantic analysis is run.

    • Declaration

      final Type castMod(MOD mod);

      Apply MODxxxx bits to existing type.

    • Declaration

      final Type addMod(MOD mod);

      Add MODxxxx bits to existing type. We're adding, not replacing, so adding const to a shared type => "shared const"

    • Declaration

      Type addStorageClass(StorageClass stc);

      Add storage class modifiers to type.

    • Declaration

      final Type toBasetype();

      If this is a shell around another type, get that other type.

    • Declaration

      MATCH implicitConvTo(Type to);

      Determine if 'this' can be implicitly converted to type 'to'.

      Return Value

      MATCH.nomatch, MATCH.convert, MATCH.constant, MATCH.exact

    • Declaration

      MATCH constConv(Type to);

      Determine if converting 'this' to 'to' is an identity operation, a conversion to const operation, or the types aren't the same.

      Return Value

      MATCH.exact 'this' == 'to' MATCH.constant 'to' is const MATCH.nomatch conversion to mutable or invariant

    • Declaration

      MOD deduceWild(Type t, bool isRef);

      Compute MOD bits matching this argument type to wild parameter type.

      Parameters

      Type t

      corresponding parameter type

      bool isRef

      parameter is ref or out

      Return Value

      MOD bits

    • Declaration

      inout inout(Type) toHeadMutable();

      Return type with the top level of it being mutable.

    • Declaration

      structalign_t alignment();

      Return alignment to use for this type.

    • Declaration

      Expression defaultInitLiteral(const ref Loc loc);

      Use when we prefer the default initializer to be a literal, rather than a global immutable variable.

    • Declaration

      const int hasWild();

      Return !=0 if the type or any of its subtypes is wild.

    • Declaration

      bool hasPointers();

      Return !=0 if type has pointers that need to be scanned by the GC during a collection cycle.

    • Declaration

      bool hasVoidInitPointers();

      Detect if type has pointer fields that are initialized to void. Local stack variables with such void fields can remain uninitialized, leading to pointer bugs.

      Return Value

      true if so

    • Declaration

      bool hasInvariant();

      Return Value

      true if type has any invariants

    • Declaration

      Type nextOf();

      If this is a type of something, return that something.

    • Declaration

      final Type baseElemOf();

      If this is a type of static array, return its base element type.

    • Declaration

      final uint numberOfElems(const ref Loc loc);

      Compute number of elements for a (possibly multidimensional) static array, or 1 for other types.

      Parameters

      Loc loc

      for error message

      Return Value

      number of elements, uint.max on overflow

    • Declaration

      final uinteger_t sizemask();

      Return the mask that an integral type will fit into.

    • Declaration

      bool needsDestruction();

      true if when type goes out of scope, it needs a destructor applied. Only applies to value types, not ref types.

    • Declaration

      bool needsCopyOrPostblit();

      true if when type is copied, it needs a copy constructor or postblit applied. Only applies to value types, not ref types.

    • Declaration

      bool needsNested();

    • Declaration

      final bool checkComplexTransition(const ref Loc loc, Scope* sc);

      https://issues.dlang.org/show_bug.cgi?id=14488 Check if the inner most base type is complex or imaginary. Should only give alerts when set to emit transitional messages.

      Parameters

      Loc loc

      The source location.

      Scope* sc

      scope of the type

    • Declaration

      final inout pure nothrow @nogc inout(TypeFunction) isPtrToFunction();

      Is this type a pointer to a function?

      Return Value

      the function type if it is

    • Declaration

      final inout pure nothrow @nogc inout(TypeFunction) isFunction_Delegate_PtrToFunction();

      Is this type a function, delegate, or pointer to a function?

      Return Value

      the function type if it is

  • Declaration

    class TypeError: dmd.mtype.Type;

  • Declaration

    abstract class TypeNext: dmd.mtype.Type;

    • Declaration

      final Type nextOf();

      For TypeFunction, nextOf() can return NULL if the function return type is meant to be inferred, and semantic() hasn't yet ben run on the function. After semantic(), it must no longer be NULL.

  • Declaration

    class TypeBasic: dmd.mtype.Type;

  • Declaration

    class TypeVector: dmd.mtype.Type;

    The basetype must be one of: byte[16],ubyte[16],short[8],ushort[8],int[4],uint[4],long[2],ulong[2],float[4],double[2] For AVX: byte[32],ubyte[32],short[16],ushort[16],int[8],uint[8],long[4],ulong[4],float[8],double[4]

  • Declaration

    abstract class TypeArray: dmd.mtype.TypeNext;

  • Declaration

    class TypeSArray: dmd.mtype.TypeArray;

    Static array, one with a fixed dimension

    • Declaration

      bool isIncomplete();

      C11 6.7.6.2-4 incomplete array type

      Return Value

      true if incomplete type

    • Declaration

      bool needsNested();

  • Declaration

    class TypeDArray: dmd.mtype.TypeArray;

    Dynamic array, no dimension

  • Declaration

    class TypeAArray: dmd.mtype.TypeArray;

  • Declaration

    class TypePointer: dmd.mtype.TypeNext;

  • Declaration

    class TypeReference: dmd.mtype.TypeNext;

  • Declaration

    class TypeFunction: dmd.mtype.TypeNext;

    • Declaration

      void purityLevel();

      Set 'purity' field of 'this'. Do this lazily, as the parameter types might be forward referenced.

    • Declaration

      bool hasLazyParameters();

      Return true if there are lazy parameters.

    • Declaration

      const pure nothrow bool isDstyleVariadic();

      Check for extern (D) U func(T t, ...) variadic function type, which has _arguments[] added as the first argument.

      Return Value

      true if D-style variadic

    • Declaration

      StorageClass parameterStorageClass(Type tthis, Parameter p);

      Take the specified storage class for p, and use the function signature to infer whether STC.scope_ and STC.return_ should be OR'd in. (This will not affect the name mangling.)

      Parameters

      Type tthis

      type of this parameter, null if none

      Parameter p

      parameter to this function

      Return Value

      storage class with STC.scope_ or STC.return_ OR'd in

    • Declaration

      MATCH callMatch(Type tthis, Expression[] args, int flag = 0, const(char)** pMessage = null, Scope* sc = null);

      'args' are being matched to function 'this' Determine match level.

      Parameters

      Type tthis

      type of this pointer, null if not member function

      Expression[] args

      array of function arguments

      int flag

      1: performing a partial ordering match

      const(char)** pMessage

      address to store error message, or null

      Scope* sc

      context

      Return Value

      MATCHxxxx

    • Declaration

      MATCH constConv(Type to);

      Extends TypeNext.constConv by also checking for matching attributes

    • Declaration

      const pure nothrow @nogc @safe bool iswild();

      Return Value

      true the function is isInOutQual or isInOutParam ,false otherwise.

    • Declaration

      const pure nothrow @nogc @safe bool attributesEqual(scope const TypeFunction other);

      Return Value

      whether this function type has the same attributes (@safe,...) as other

  • Declaration

    class TypeDelegate: dmd.mtype.TypeNext;

  • Declaration

    class TypeTraits: dmd.mtype.Type;

    This is a shell containing a TraitsExp that can be either resolved to a type or to a symbol.

    Discussion

    The point is to allow AliasDeclarationY to use __traits(), see issue 7804.

    • exp

      Declaration

      TraitsExp exp;

      The expression to resolve as type or symbol.

    • obj

      Declaration

      RootObject obj;

      Cached type/symbol after semantic analysis.

  • Declaration

    class TypeMixin: dmd.mtype.Type;

    Implements mixin types.

    Discussion

    Semantic analysis will convert it to a real type.

  • Declaration

    abstract class TypeQualified: dmd.mtype.Type;

  • Declaration

    class TypeIdentifier: dmd.mtype.TypeQualified;

    • Declaration

      Dsymbol toDsymbol(Scope* sc);

      See if type resolves to a symbol, if so, return that symbol.

  • Declaration

    class TypeInstance: dmd.mtype.TypeQualified;

    Similar to TypeIdentifier, but with a TemplateInstance as the root

  • Declaration

    class TypeTypeof: dmd.mtype.TypeQualified;

  • Declaration

    class TypeReturn: dmd.mtype.TypeQualified;

  • Declaration

    class TypeStruct: dmd.mtype.Type;

    • Declaration

      Expression defaultInitLiteral(const ref Loc loc);

      Use when we prefer the default initializer to be a literal, rather than a global immutable variable.

  • Declaration

    class TypeEnum: dmd.mtype.Type;

  • Declaration

    class TypeClass: dmd.mtype.Type;

  • Declaration

    class TypeTuple: dmd.mtype.Type;

    • Declaration

      this(Expressions* exps);

      Form TypeTuple from the types of the expressions. Assume exps[] is already tuple expanded.

    • Declaration

      this();

      Type tuple with 0, 1 or 2 types in it.

  • Declaration

    class TypeSlice: dmd.mtype.TypeNext;

    This is so we can slice a TypeTuple

  • Declaration

    class TypeNull: dmd.mtype.Type;

  • Declaration

    class TypeNoreturn: dmd.mtype.Type;

  • Declaration

    class TypeTag: dmd.mtype.Type;

    Unlike D, C can declare/define struct/union/enum tag names inside Declarators, instead of separately as in D. The order these appear in the symbol table must be in lexical order. There isn't enough info at the parsing stage to determine if it's a declaration or a reference to an existing name, so this Type collects the necessary info and defers it to semantic().

    • loc

      Declaration

      Loc loc;

      location of declaration

    • tok

      Declaration

      TOK tok;

      TOK.struct_, TOK.union_, TOK.enum_

    • id

      Declaration

      Identifier id;

      tag name identifier

    • Declaration

      Type base;

      base type for enums otherwise null

    • Declaration

      Dsymbols* members;

      members of struct, null if none

    • Declaration

      Type resolved;

      type after semantic() in case there are more others

    • mod

      Declaration

      MOD mod;

      pointing to this instance, which can happen with struct S { int a; } s1, *s2;

      Discussion

      modifiers to apply after type is resolved (only MODFlags.const_ at the moment)

  • Declaration

    struct ParameterList;

    Represents a function's formal parameters + variadics info. Length, indexing and iteration are based on a depth-first tuple expansion. https://dlang.org/spec/function.html#ParameterList

    • Declaration

      Parameters* parameters;

      The raw (unexpanded) formal parameters, possibly containing tuples.

    • Declaration

      size_t length();

      Returns the number of expanded parameters. Complexity: O(N).

    • Declaration

      Parameter opIndex(size_t i);

      Returns the expanded parameter at the given index, or null if out of bounds. Complexity: O(i).

    • Declaration

      int opApply(scope Parameter.ForeachDg dg);

      Iterates over the expanded parameters. Complexity: O(N). Prefer this to avoid the O(N + N^2/2) complexity of calculating length and calling N times opIndex.

    • Declaration

      int opApply(scope Parameter.SemanticForeachDg dg);

      Iterates over the expanded parameters, matching them with the unexpanded ones, for semantic processing

    • Declaration

      const bool opEquals(ref scope ParameterList other);

      Compares this to another ParameterList (and expands tuples if necessary)

  • Declaration

    class Parameter: dmd.ast_node.ASTNode;

    • Declaration

      Type isLazyArray();

      Determine if parameter is a lazy array of delegates. If so, return the return type of those delegates. If not, return NULL.

      Discussion

      Returns T if the type is one of the following forms: T delegate()[] T delegate()dim

    • Declaration

      const pure nothrow @nogc @safe bool isLazy();

      Return Value

      Whether the function parameter is lazy

    • Declaration

      const pure nothrow @nogc @safe bool isReference();

      Return Value

      Whether the function parameter is a reference (out / ref)

    • dim

      Declaration

      static size_t dim(Parameters* parameters);

      Determine number of arguments, folding in tuples.

    • Declaration

      static Parameter getNth(Parameters* parameters, size_t nth);

      Get nth Parameter, folding in tuples.

      Discussion

      Since parameters can include tuples, which would increase its length, this function allows to get the nth parameter as if all tuples transitively contained in parameters were flattened.

      Parameters

      Parameters* parameters

      Array of Parameter to iterate over

      size_t nth

      Index of the desired parameter.

      Return Value

      The parameter at index nth (taking tuples into account), or null if out of bound.

    • Declaration

      alias ForeachDg = int delegate(ulong paramidx, Parameter param);

      Type of delegate when iterating solely on the parameters

    • Declaration

      alias SemanticForeachDg = int delegate(ulong oidx, Parameter oparam, ulong eidx, Parameter eparam);

      Type of delegate when iterating on both the original set of parameters, and the type tuple. Useful for semantic analysis. 'o' stands for 'original' and 'e' stands for 'expanded'.

    • Declaration

      static int _foreach(Parameters* parameters, scope ForeachDg dg);
      static int _foreach(Parameters* parameters, scope SemanticForeachDg dg);

      Expands tuples in args in depth first order. Calls dg(void *ctx, size_t argidx, Parameter *arg) for each Parameter. If dg returns !=0, stops and returns that value else returns 0. Use this function to avoid the O(N + N^2/2) complexity of calculating dim and calling N times getNth.

    • Declaration

      const pure nothrow @nogc @safe bool isCovariant(bool returnByRef, const Parameter p, bool previewIn = global.params.previewIn);

      Compute covariance of parameters this and p as determined by the storage classes of both.

      Parameters

      bool returnByRef

      true if the function returns by ref

      Parameter p

      Parameter to compare with

      bool previewIn

      Whether -preview=in is being used, and thus if in means scope [ref].

      Return Value

      true = this can be used in place of p false = nope

  • Declaration

    const(char*)[2] toAutoQualChars(Type t1, Type t2);

    For printing two types with qualification when necessary.

    Parameters

    Type t1

    The first type to receive the type name for

    Type t2

    The second type to receive the type name for

    Return Value

    The fully-qualified names of both types if the two type names are not the same, or the unqualified names of both types if the two type names are the same.

  • Declaration

    void modifiersApply(const TypeFunction tf, void delegate(string) dg);

    For each active modifier (MODFlags.const_, MODFlags.immutable_, etc) call fp with a void* for the work param and a string representation of the attribute.

  • Declaration

    void attributesApply(const TypeFunction tf, void delegate(string) dg, TRUSTformat trustFormat = TRUSTformatDefault);

    For each active attribute (ref/const/nogc/etc) call fp with a void* for the work param and a string representation of the attribute.

  • Declaration

    AggregateDeclaration isAggregate(Type t);

    If the type is a class or struct, returns the symbol for it, else null.

  • Declaration

    bool isIndexableNonAggregate(Type t);

    Determine if type t can be indexed or sliced given that it is not an aggregate with operator overloads.

    Parameters

    Type t

    type to check

    Return Value

    true if an expression of type t can be e1 in an array expression

  • Declaration

    bool isCopyable(Type t);

    Determine if type t is copyable.

    Parameters

    Type t

    type to check

    Return Value

    true if we can copy it

  • Declaration

    pure nothrow @nogc @safe ScopeRef buildScopeRef(StorageClass stc);

    Computes how a parameter may be returned. Shrinking the representation is necessary because StorageClass is so wide

    Parameters

    StorageClass stc

    storage class of parameter

    Return Value

    value from enum ScopeRef

  • Declaration

    enum ScopeRef: int;

    Classification of 'scope-return-ref' possibilities

  • Declaration

    pure nothrow @nogc @safe const(char)* toChars(ScopeRef sr);

    Give us a nice string for debugging purposes.

    Parameters

    ScopeRef sr

    value

    Return Value

    corresponding string