Module signature AstSig
Import path
import codeql.controlflow.ControlFlowGraphPredicates
| callableGetBody | Gets the body of this callable, if any. |
| fallsThrough | Holds if this case can fall through to the next case if it is not otherwise prevented with a |
| getChild | Gets the child of this AST node at the specified index. |
| getEnclosingCallable | Gets the immediately enclosing callable that contains this node. |
| getTryElse | Gets the |
| getTryInit | Gets the initializer of this |
Types
| AstNode | An AST node. |
| BinaryExpr | A binary expression. |
| BlockStmt | A block statement, which is a sequence of statements that are executed in order. |
| BooleanLiteral | A boolean literal expression. |
| BreakStmt | A |
| Callable | A callable, for example a function, method, constructor, or top-level script. |
| Case | A case in a switch. |
| CatchClause | A catch clause in a try statement. |
| ConditionalExpr | A ternary conditional expression. |
| ContinueStmt | A |
| DefaultCase | |
| DoStmt | A |
| Expr | An expression. |
| ExprStmt | An expression statement. |
| ForStmt | A traditional C-style |
| ForeachStmt | A for-loop that iterates over the elements of a collection. |
| IfStmt | An |
| LogicalAndExpr | A short-circuiting logical AND expression. |
| LogicalNotExpr | A logical NOT expression. |
| LogicalOrExpr | A short-circuiting logical OR expression. |
| LoopStmt | A loop statement. Loop statements are further subclassed into specific types of loops. |
| NullCoalescingExpr | A short-circuiting null-coalescing expression. |
| ReturnStmt | A |
| Stmt | A statement. |
| Switch | A switch. |
| ThrowStmt | A |
| TryStmt | A |
| UnaryExpr | A unary expression. |
| WhileStmt | A |
Parameters
| Location | LocationSig |