qtil
advanced-security/qtil-ruby 0.0.2
Index
Search

Class SplitImpl

An interface for implementing an entity to split on.

Import path

import codeql.ruby.controlflow.internal.ControlFlowGraphImplShared

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    appliesSucc

    The succ relation restricted to predecessors pred that this split applies to.

    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.

    hasEntryScope

    Holds if this split is entered when control passes from scope to the entry point first.

    hasExit

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

    hasExitScope

    Holds if this split is left when control passes from last out of the enclosing scope scope 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 Split