CodeQL library for Python

codeql/python-all 4.0.7-dev (changelog, source)

Class Expr

An expression

Import path

import python

Direct supertypes

Indirect supertypes

Known direct subtypes

Predicates

defines	Whether this expression defines variable `v` If doing dataflow, then consider using SsaVariable.getDefinition() for more precision.
getAChildNode	Gets a child node of this node in the AST. This predicate exists to aid exploration of the AST and other experiments. The child-parent relation may not be meaningful. For a more meaningful relation in terms of dependency use Expr.getASubExpression(), Stmt.getASubStatement(), Stmt.getASubExpression() or Scope.getAStmt().
getASubExpression	Gets an immediate (non-nested) sub-expression of this expression
getEnclosingModule	Gets the module in which this expression occurs
getLocation
getScope	Gets the scope of this expression
hasSideEffects	Whether this expression may have a side effect (as determined purely from its syntax)
isConstant	Whether this expression is a constant
isParenthesized	Whether the parenthesized property of this expression is true.
pointsTo	Gets a value that this expression might “point-to”.
pointsTo	Holds if this expression might “point-to” to `value`.
pointsTo	Holds if this expression might “point-to” to `value` which is from `origin`.
pointsTo	Holds if this expression might “point-to” to `value` which is from `origin` in the given `context`.
refersTo	NOTE: `refersTo` will be deprecated in 2019. Use `pointsTo` instead. Equivalent to `this.refersTo(value, _)`
refersTo	NOTE: `refersTo` will be deprecated in 2019. Use `pointsTo` instead. Holds if this expression might “refer-to” to `value` which is from `origin` Unlike `this.refersTo(value, _, origin)`, this predicate includes results where the class cannot be inferred.
refersTo	NOTE: `refersTo` will be deprecated in 2019. Use `pointsTo` instead. Gets what this expression might “refer-to”. Performs a combination of localized (intra-procedural) points-to analysis and global module-level analysis. This points-to analysis favours precision over recall. It is highly precise, but may not provide information for a significant number of flow-nodes. If the class is unimportant then use `refersTo(value)` or `refersTo(value, origin)` instead. NOTE: For complex dataflow, involving multiple stages of points-to analysis, it may be more precise to use `ControlFlowNode.refersTo(...)` instead.
refersTo	NOTE: `refersTo` will be deprecated in 2019. Use `pointsTo` instead. Gets what this expression might “refer-to” in the given `context`.
toString	Gets a textual representation of this element.

Inherited predicates

contains	Whether this contains `inner` syntactically	from AstNode
containsInScope	Whether this contains `inner` syntactically and `inner` has the same scope as `this`	from AstNode
getAFlowNode	Gets a flow node corresponding directly to this node. NOTE: For some statements and other purely syntactic elements, there may not be a `ControlFlowNode`	from AstNode
getParent	Gets a parent of this expression	from Expr_
getParentNode	Gets the parent node of this node in the AST. This predicate exists to aid exploration of the AST and other experiments. The child-parent relation may not be meaningful. For a more meaningful relation in terms of dependency use Expr.getASubExpression(), Stmt.getASubStatement(), Stmt.getASubExpression() or Scope.getAStmt() applied to the parent.	from AstNode
isArtificial	Whether this syntactic element is artificial, that is it is generated by the compiler and is not present in the source	from AstNode
isParenthesised	Whether the parenthesised property of this expression is true.	from Expr_