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

Class LoopStmt

A loop, that is, either a for statement or a range statement.

Examples:

for a < b {
  a *= 2
}

for i := 0; i < 10; i++ {
  f(i)
}

for key, value := range mymap {
  fmt.Printf("mymap[%s] = %d\n", key, value)
}

Import path

import semmle.go.Stmt

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

getBody

Gets the body of this loop.

Inherited predicates

getAChild

Gets a child node of this node.

from AstNode
getAChildExpr

Gets an expression that is a child node of this node in the AST.

from ExprParent
getAChildStmt

Gets a statement that is a child node of this node in the AST.

from StmtParent
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
getChildExpr

Gets the ith child expression of this node.

from ExprParent
getChildStmt

Gets the ith child statement of this node.

from StmtParent
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
getFirstControlFlowNode

Gets the first control-flow node in this statement.

from Stmt
getKind

Gets the kind of this statement, which is an integer value representing the statement’s node type.

from Stmt
getLocation

Gets this element’s location.

from Locatable
getNumChild

Gets the number of child nodes of this node.

from AstNode
getNumChildExpr

Gets the number of child expressions of this node.

from ExprParent
getNumChildStmt

Gets the number of child statements of this node.

from StmtParent
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
getScope

Gets the scope induced by this node, if any.

from ScopeNode
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
mayHaveSideEffects

Holds if the execution of this statement may produce observable side effects.

from Stmt
toString

Gets a textual representation of this element.

from AstNode