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(const ref Loc loc, Type torig, Scope* sc);

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

    Parameters

    Loc loc

    the location for reporting line numbers in errors

    Type torig

    the type to generate the TypeInfo object for

    Scope* sc

    the scope

  • getTypeInfoType

    Declaration

    Type getTypeInfoType(const ref Loc loc, Type t, Scope* sc);

    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

    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.