Interface BuiltInIdentifierConstant<T>
interface BuiltInIdentifierConstant<T> {
controlDependencies: undefined | ControlDependency[];
definedAt: "built-in";
name: undefined | Identifier;
nodeId: NodeId;
type: BuiltInConstant;
value: T;
}
controlDependencies: undefined | ControlDependency[];
definedAt: "built-in";
name: undefined | Identifier;
nodeId: NodeId;
type: BuiltInConstant;
value: T;
}
Type Parameters
Hierarchy (view full)
- IdentifierReference
- BuiltInIdentifierConstant
Hierarchy-Diagram
Properties
control
If the reference is only effective, if, for example, an if-then-else condition is true, this references the root of the if.
As a hacky intermediate solution (until we have pointer-analysis), an empty array may indicate a maybe which is due to pointer access (e.g., in a[x] <- 3).
defined
defined
Readonlyname
Name the reference is identified by (e.g., the name of the variable), undefined if the reference is "artificial" (e.g., anonymous)
Readonlynode
The id of the node which represents the reference in the NormalizedAst|normalized AST and the DataflowGraph|dataflow graph.
type
Type of the reference to be resolved
value
- src
- util
- abstract-interpretation
- benchmark
- stats
- summarizer
- first-phase
- second-phase
- data.ts
- summarizer.ts
- slicer.ts
- stopwatch.ts
- cli
- common
- repl
- commands
- server
- core.ts
- execute.ts
- print-version.ts
- prompt.ts
- script-core
- benchmark-app.ts
- benchmark-helper-app.ts
- export-quads-app.ts
- flowr.ts
- flowr-main-options.ts
- run-script.ts
- slicer-app.ts
- statistics-app.ts
- statistics-helper-app.ts
- summarizer-app.ts
- core
- steps
- all
- core
- static-slicing
- pipeline
- create-pipeline.ts
- default-pipelines.ts
- createDataflowPipeline
- createNormalizePipeline
- createParsePipeline
- createSlicePipeline
- DEFAULT_DATAFLOW_PIPELINE
- DEFAULT_NORMALIZE_PIPELINE
- DEFAULT_PARSE_PIPELINE
- DEFAULT_SLICE_AND_RECONSTRUCT_PIPELINE
- DEFAULT_SLICE_WITHOUT_RECONSTRUCT_PIPELINE
- DEFAULT_SLICING_PIPELINE
- TREE_SITTER_DATAFLOW_PIPELINE
- TREE_SITTER_NORMALIZE_PIPELINE
- TREE_SITTER_PARSE_PIPELINE
- TREE_SITTER_SLICE_AND_RECONSTRUCT_PIPELINE
- TREE_SITTER_SLICE_WITHOUT_RECONSTRUCT_PIPELINE
- TREE_SITTER_SLICING_PIPELINE
- invalid-pipeline-error.ts
- pipeline.ts
- pipeline-step.ts
- all
- pipeline-executor.ts
- dataflow
- environments
- graph
- dataflowgraph-builder.ts
- diff.ts
- edge.ts
- graph.ts
- quads.ts
- resolve-graph.ts
- vertex.ts
- <internal>
- ContainerIndex
- ContainerIndices
- ContainerIndicesCollection
- ContainerLeafIndex
- ContainerParentIndex
- DataflowGraphVertexArgument
- DataflowGraphVertexFunctionCall
- DataflowGraphVertexFunctionDefinition
- DataflowGraphVertexInfo
- DataflowGraphVertexUse
- DataflowGraphVertexValue
- DataflowGraphVertexVariableDefinition
- DataflowGraphVertices
- isFunctionCallVertex
- isFunctionDefinitionVertex
- isParentContainerIndex
- isUseVertex
- isValueVertex
- isVariableDefinitionVertex
- ValidVertexTypeReverse
- ValidVertexTypes
- VertexType
- internal
- process
- functions
- call
- argument
- built-in
- built-in-access.ts
- built-in-apply.ts
- built-in-assignment.ts
- built-in-expression-list.ts
- built-in-for-loop.ts
- built-in-function-definition.ts
- built-in-get.ts
- built-in-if-then-else.ts
- built-in-library.ts
- built-in-list.ts
- built-in-pipe.ts
- built-in-quote.ts
- built-in-repeat-loop.ts
- built-in-replacement.ts
- built-in-source.ts
- built-in-special-bin-op.ts
- built-in-while-loop.ts
- common.ts
- default-call-handling.ts
- known-call-handling.ts
- named-call-handling.ts
- unnamed-call-handling.ts
- process-argument.ts
- process-parameter.ts
- call
- process-named-call.ts
- process-symbol.ts
- process-uninteresting-leaf.ts
- process-value.ts
- functions
- linker.ts
- process
- cluster.ts
- extractor.ts
- info.ts
- logger.ts
- processor.ts
- documentation
- data
- doc-util
- print-capabilities-markdown.ts
- print-dataflow-graph-wiki.ts
- print-engines-wiki.ts
- print-interface-wiki.ts
- print-linting-and-testing-wiki.ts
- print-normalized-ast-wiki.ts
- print-query-wiki.ts
- print-search-wiki.ts
- queries
- catalog
- call-context-query
- cluster-query
- config-query
- dataflow-query
- dependencies-query
- happens-before-query
- id-map-query
- lineage-query
- location-map-query
- normalized-ast-query
- search-query
- static-slice-query
- virtual-query
- base-query-format.ts
- query.ts
- query-print.ts
- two-layer-collector.ts
- catalog
- r-bridge
- data
- lang-4.x
- ast
- model
- nodes
- processing
- collect.ts
- model.ts
- operators.ts
- type.ts
- versions.ts
- parser
- json
- main
- internal
- control
- expression
- functions
- loops
- operators
- other
- structure
- values
- normalize-access.ts
- normalize-meta.ts
- normalizer-data.ts
- internal
- model
- tree-sitter
- convert-values.ts
- ast
- init.ts
- parser.ts
- retriever.ts
- shell.ts
- shell-executor.ts
- reconstruct
- search
- slicing
- criterion
- static
- statistics
- features
- supported
- assignments
- comments
- control-flow
- data-access
- defined-functions
- expression-list
- loops
- used-functions
- used-packages
- values
- variables
- common-syntax-probability.ts
- feature.ts
- post-processing.ts
- supported
- output
- summarizer
- first-phase
- post-process
- second-phase
- auto-detect.ts
- summarizer.ts
- meta-statistics.ts
- statistics.ts
- features
- config.ts
- test
- functionality
An identifier reference points to a variable like
ainb <- a. Without any surrounding code,awill produce the identifier referencea. Similarly,bwill create a reference (although it will be an identifier definition which adds even more information).In general, references are merely pointers (with meta-information) to a vertex in the DataflowGraph|dataflow graph. In the context of the extractor, for example, they indicate the references that are currently (during the analysis at this given node) DataflowInformation#in|read (
in), DataflowInformation#out|written (out), or DataflowInformation#unknownReferences|unknown (unknownReferences).See
InGraphIdentifierDefinition