Class Splitting::SplitInternal

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    appliesTo

    Holds if this split applies to control flow element cfe.

    getKind

    Gets the kind of this split.

    hasEntry

    Holds if this split is entered when control passes from pred to succ with completion c.

    hasEntry

    Holds if this split is entered when control passes from c to the entry point succ.

    hasExit

    Holds if this split is left when control passes from pred to succ with completion c.

    hasExit

    Holds if this split is left when control passes from pred out of the enclosing callable result with completion c.

    hasSuccessor

    Holds if this split is maintained when control passes from pred to succ with completion c.

    Inherited predicates

    toString

    Gets a textual representation of this split.

    from SplitImpl