Class SummarizedCallable::Range
A callable with a flow summary, identified by a unique string.
Import path
import codeql.rust.dataflow.FlowSummaryDirect supertypes
Indirect supertypes
Known direct subtypes
Predicates
| propagatesFlow | Holds if data may flow from |
| propagatesFlow | Holds if data may flow from |
Inherited predicates
| fromSource | Holds if this element is from source code. | from Locatable |
| getACfgNode | Gets a control flow node for this AST node, if any. | from AstNode |
| getAParam | Gets any of the parameters of this callable. | from Callable |
| getAPrecedingComment | Gets a comment preceding this function. | from Function |
| getAPrimaryQlClass | Gets the name of a primary CodeQL class to which this element belongs. | from Function |
| getAbi | Gets the abi of this function, if it exists. | from Function |
| getAnAttr | Gets any of the attrs of this callable. | from Callable |
| getAttr | Gets the | from Callable |
| getAttributeMacroExpansion | Gets the attribute macro expansion of this item, if it exists. | from Item |
| getBody | Gets the body of this callable, if it exists. | from Function |
| getCanonicalPath | Gets the canonical path of this item, if any. | from Addressable |
| getCanonicalPath | Gets the canonical path of this item, if any. | from Addressable |
| getEnclosingBlock | Gets the block that encloses this node, if any. | from AstNode |
| getEnclosingCallable | Gets the immediately enclosing callable of this node, if any. | from AstNode |
| getEnclosingCfgScope | Gets the CFG scope that encloses this node, if any. | from AstNode |
| getFile | Gets the primary file where this element occurs. | from Locatable |
| getFunctionBody | Gets the function body of this function, if it exists. | from Function |
| getGenericParamList | Gets the generic parameter list of this function, if it exists. | from Function |
| getLocation | from Locatable | |
| getName | Gets the name of this function, if it exists. | from Function |
| getNumberOfAttrs | Gets the number of attrs of this callable. | from Callable |
| getNumberOfParams | Gets the number of parameters of this callable. | from Callable |
| getNumberOfParamsInclSelf | Gets the number of parameters of this callable, including | from Callable |
| getParam | Gets the | from Callable |
| getParamList | Gets the parameter list of this callable, if it exists. | from Callable |
| getParentNode | Gets the nearest enclosing parent of this node, which is also an | from AstNode |
| getPrecedingComment | Gets a comment preceding this function. | from Function |
| getPrimaryQlClasses | Gets a comma-separated list of the names of the primary CodeQL classes to which this element belongs. | from Element |
| getResolveStep | Gets the most immediate element that should substitute this element in the explicit AST, if any. Classes can override this to indicate this node should be in the “hidden” AST, mostly reserved for conversions and syntactic sugar nodes like parentheses. | from Element |
| getRetType | Gets the ret type of this function, if it exists. | from Function |
| getSelfParam | Gets the self parameter of this callable, if it exists. | from Callable |
| getVisibility | Gets the visibility of this function, if it exists. | from Function |
| getWhereClause | Gets the where clause of this function, if it exists. | from Function |
| hasAbi | Holds if | from Function |
| hasAttributeMacroExpansion | Holds if | from Item |
| hasBody | Holds if | from Callable |
| hasCanonicalPath | Holds if this item has a canonical path. | from Addressable |
| hasEnclosingCfgScope | Holds if this node is inside a CFG scope. | from AstNode |
| hasFunctionBody | Holds if | from Function |
| hasGenericParamList | Holds if | from Function |
| hasImplementation | Holds if this function has an implementation. | from Function |
| hasManualModel | Holds if there exists a manual summary that applies to this callable. | from SummarizedCallable |
| hasName | Holds if | from Function |
| hasParamList | Holds if | from Callable |
| hasRetType | Holds if | from Function |
| hasSelfParam | Holds if | from Callable |
| hasVisibility | Holds if | from Function |
| hasWhereClause | Holds if | from Function |
| implements | Holds if this item implements trait item | from AssocItem |
| isAsync | Holds if this function is async. | from Function |
| isConst | Holds if this function is const. | from Function |
| isDefault | Holds if this function is default. | from Function |
| isFromMacroExpansion | Holds if this node exists only as the result of a macro expansion. | from AstNode |
| isGen | Holds if this function is gen. | from Function |
| isInMacroExpansion | Holds if this node is inside a macro expansion. | from AstNode |
| isUnknown | from Element | |
| isUnsafe | Holds if this function is unsafe. | from Function |
| resolve | Gets the element that should substitute this element in the explicit AST, applying | from Element |
| toAbbreviatedString | INTERNAL: Do not use. | from Element |
| toString | Gets the string representation of this element. | from Element |
| toStringImpl | INTERNAL: Do not use. | from Function |