dmd.typinf

Generate TypeInfo objects, which are needed for run-time introspection of types.

Authors

Walter Bright

License

Boost License 1.0

Source: typeinf.d

Documentation: https://dlang.org/phobos/dmd_typinf.html

Coverage: https://codecov.io/gh/dlang/dmd/src/master/src/dmd/typinf.d

  • genTypeInfo

    Declaration

    void genTypeInfo(Expression e, const ref Loc loc, Type torig, Scope* sc, bool genObjCode = true);

    Generates the TypeInfo object associated with torig if it hasn't already been generated

    Parameters

    Expression e

    if not null, then expression for pretty-printing errors

    Loc loc

    the location for reporting line numbers in errors

    Type torig

    the type to generate the TypeInfo object for

    Scope* sc

    the scope

    bool genObjCode

    if true, object code will be generated for the obtained TypeInfo

  • getTypeInfoType

    Declaration

    Type getTypeInfoType(const ref Loc loc, Type t, Scope* sc, bool genObjCode = true);

    Gets the type of the TypeInfo object associated with t

    Parameters

    Loc loc

    the location for reporting line nunbers in errors

    Type t

    the type to get the type of the TypeInfo object for

    Scope* sc

    the scope

    bool genObjCode

    if true, object code will be generated for the obtained TypeInfo

    Return Value

    The type of the TypeInfo object associated with t

  • isSpeculativeType

    Declaration

    bool isSpeculativeType(Type t);

    Return Value

    true if any part of type t is speculative. if t is null, returns false.