Describes a function or statically declared variable.
Properties
functionOrStaticVariableDefinition produces a record that contains the following properties:
| Name | Type | Description |
|---|---|---|
allCode |
set<astnode> |
All the nodes within a function. For a variable, this is usually just its initialization. |
location |
sourceloc |
The location in the source code. This is used for defect reporting. |
paths |
executionPaths |
The execution paths used for path-sensitive analysis |