dmd.ctorflow

Manage flow analysis for constructors.

Authors

Walter Bright

License

Boost License 1.0

Source: ctorflow.d

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

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

  • FieldInit

    Declaration

    struct FieldInit;

    Individual field in the Ctor with information about its callees and location.

    • csx

      Declaration

      CSX csx;

      information about the field's callees

    • loc

      Declaration

      Loc loc;

      location of the field initialization

  • CtorFlow

    Declaration

    struct CtorFlow;

    Primitive flow analysis for constructors

    • callSuper

      Declaration

      CSX callSuper;

      state of calling other constructors

    • fieldinit

      Declaration

      FieldInit[] fieldinit;

      state of field initializations

    • clone

      Declaration

      CtorFlow clone();

      Create a deep copy of this

      Return Value

      a copy

    • orCSX

      Declaration

      pure nothrow void orCSX(CSX csx);

      Set CSX bits in flow analysis state

      Parameters

      CSX csx

      bits to set

    • OR

      Declaration

      pure nothrow void OR(ref const CtorFlow ctorflow);

      OR CSX bits to this

      Parameters

      CtorFlow ctorflow

      bits to OR in

  • mergeCallSuper

    Declaration

    pure nothrow bool mergeCallSuper(ref CSX a, const CSX b);

    Merge b flow analysis results into a.

    Parameters

    CSX a

    the path to merge b into

    CSX b

    the other path

    Return Value

    false means one of the paths skips construction

  • mergeFieldInit

    Declaration

    pure nothrow bool mergeFieldInit(ref CSX a, const CSX b);

    Merge b flow analysis results into a.

    Parameters

    CSX a

    the path to merge b into

    CSX b

    the other path

    Return Value

    false means either a or b skips initialization