CodeQL library for Go
codeql/go-all 0.7.15-dev (changelog, source)
Search

Class CFG::ControlFlowTree

Import path

import semmle.go.controlflow.ControlFlowGraphImpl

Direct supertypes

Indirect supertypes

Known direct subtypes

    Predicates

    firstNode
    getChildTree
    getChildTreeRanked
    getFirstChildTree
    getLastChildTree
    lastNode
    succ

    Holds if succ is a successor of pred.

    succ0

    Holds if succ is a successor of pred, ignoring the execution of any deferred functions when a function ends.

    Inherited predicates

    getAChild

    Gets a child node of this node.

    from AstNode
    getAPrimaryQlClass

    Gets the name of a primary CodeQL class to which this node belongs.

    from AstNode
    getChild

    Gets the ith child node of this node.

    from AstNode
    getEnclosingFunction

    Gets the innermost function definition to which this AST node belongs, if any.

    from AstNode
    getFile

    Gets the file this program element comes from.

    from Locatable
    getLocation

    Gets this element’s location.

    from Locatable
    getNumChild

    Gets the number of child nodes of this node.

    from AstNode
    getNumLines

    Gets the number of lines covered by this element.

    from Locatable
    getParent

    Gets the parent node of this AST node, if any.

    from AstNode
    getPrimaryQlClasses

    Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs.

    from AstNode
    getUniquelyNumberedChild

    Get an AstNode child, ordered by child kind and then by index.

    from AstNode
    hasLocationInfo

    Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

    from Locatable
    toString

    Gets a textual representation of this element.

    from AstNode