Interface Lattice<Value, Top, Bot, Lift>
interface Lattice<
Value,
Top = typeof Top,
Bot = typeof Bottom,
Lift extends Value | Top | Bot = Value | Top | Bot,
> {
bottom(): Lattice<Value, Top, Bot, Bot>;
equals(other: Lattice<Value, Top, Bot>): boolean;
isBottom(): this is Lattice<Value, Top, Bot, Bot>;
isTop(): this is Lattice<Value, Top, Bot, Top>;
isValue(): this is Lattice<Value, Top, Bot, Value>;
join(
...values: Lattice<Value, Top, Bot, Value | Top | Bot>[],
): Lattice<Value, Top, Bot>;
leq(other: Lattice<Value, Top, Bot>): boolean;
meet(
...values: Lattice<Value, Top, Bot, Value | Top | Bot>[],
): Lattice<Value, Top, Bot>;
top(): Lattice<Value, Top, Bot, Top>;
toString(): string;
get value(): Lift;
}
Value,
Top = typeof Top,
Bot = typeof Bottom,
Lift extends Value | Top | Bot = Value | Top | Bot,
> {
bottom(): Lattice<Value, Top, Bot, Bot>;
equals(other: Lattice<Value, Top, Bot>): boolean;
isBottom(): this is Lattice<Value, Top, Bot, Bot>;
isTop(): this is Lattice<Value, Top, Bot, Top>;
isValue(): this is Lattice<Value, Top, Bot, Value>;
join(
...values: Lattice<Value, Top, Bot, Value | Top | Bot>[],
): Lattice<Value, Top, Bot>;
leq(other: Lattice<Value, Top, Bot>): boolean;
meet(
...values: Lattice<Value, Top, Bot, Value | Top | Bot>[],
): Lattice<Value, Top, Bot>;
top(): Lattice<Value, Top, Bot, Top>;
toString(): string;
get value(): Lift;
}
Type Parameters
- Value
Type of a lattice element representing a value (may exclude
TopandBot) - Top = typeof Top
Type of the Top element (greatest element) of the complete lattice (defaults to Top)
- Bot = typeof Bottom
Type of the Bottom element (least element) of the complete lattice (defaults to Bottom)
- Lift extends Value | Top | Bot = Value | Top | Bot
Type of the lattice elements (defaults to
ValueorToporBot)
Hierarchy (View Summary)
- Lattice
Hierarchy-Diagram
Settings
Member Visibility
- src
- util
- abstract-interpretation
- data-frame
- mappers
- absint-info.ts
- absint-visitor.ts
- dataframe-domain.ts
- domain.ts
- <internal>
- addInterval
- ColNamesBottom
- ColNamesDomain
- ColNamesTop
- DataFrameBottom
- DataFrameDomain
- DataFrameStateDomain
- DataFrameTop
- equalColNames
- equalDataFrameDomain
- equalDataFrameState
- equalInterval
- extendIntervalToInfinity
- extendIntervalToZero
- IntervalBottom
- IntervalDomain
- IntervalTop
- joinColNames
- joinDataFrames
- joinDataFrameStates
- joinInterval
- leqColNames
- leqInterval
- maxInterval
- meetColNames
- meetDataFrames
- meetDataFrameStates
- meetInterval
- minInterval
- satisfiesColsNames
- satisfiesInterval
- satisfiesLeqInterval
- subtractColNames
- subtractInterval
- wideningColNames
- wideningDataFrames
- wideningDataFrameStates
- wideningInterval
- resolve-args.ts
- semantics.ts
- shape-inference.ts
- domains
- normalized-ast-fold.ts
- data-frame
- 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
- control-flow
- basic-cfg-guided-visitor.ts
- cfg-dead-code.ts
- cfg-properties.ts
- cfg-simplification.ts
- cfg-to-basic-blocks.ts
- control-flow-graph.ts
- <internal>
- CfgBasicBlockVertex
- CfgControlDependencyEdge
- CfgEdge
- CfgEdgeType
- CfgEndMarkerVertex
- CfgExpressionVertex
- CfgSimpleVertex
- CfgStatementVertex
- CfgVertexType
- CfgWithRoot
- ControlFlowGraph
- ControlFlowInformation
- edgeTypeToString
- emptyControlFlowInformation
- equalVertex
- getVertexRootId
- isMarkerVertex
- ReadOnlyControlFlowGraph
- dfg-cfg-guided-visitor.ts
- diff-cfg.ts
- extract-cfg.ts
- happens-before.ts
- semantic-cfg-guided-visitor.ts
- simple-visitor.ts
- syntax-cfg-guided-visitor.ts
- useless-loop.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
- append.ts
- built-in.ts
- BuiltIn
- BuiltInEvalHandler
- BuiltInEvalHandlerMapper
- builtInId
- BuiltInIdentifierConstant
- BuiltInIdentifierDefinition
- BuiltInIdentifierProcessor
- BuiltInIdentifierProcessorWithConfig
- BuiltInMappingName
- BuiltInMemory
- BuiltInProcessorMapper
- BuiltIns
- ConfigOfBuiltInMappingName
- DefaultBuiltInProcessorConfiguration
- isBuiltIn
- UseAsProcessors
- built-in-config.ts
- clone.ts
- default-builtin-config.ts
- define.ts
- diff.ts
- environment.ts
- identifier.ts
- overwrite.ts
- remove.ts
- resolve-by-name.ts
- scoping.ts
- eval
- resolve
- values
- intervals
- logical
- scalar
- sets
- string
- vectors
- general.ts
- r-value.ts
- graph
- dataflowgraph-builder.ts
- diff-dataflow-graph.ts
- edge.ts
- graph.ts
- invert-dfg.ts
- quads.ts
- resolve-graph.ts
- unknown-replacement.ts
- unknown-side-effect.ts
- vertex.ts
- <internal>
- ContainerIndex
- ContainerIndices
- ContainerIndicesCollection
- ContainerLeafIndex
- ContainerParentIndex
- DataflowGraphVertexArgument
- DataflowGraphVertexAstLink
- DataflowGraphVertexFunctionCall
- DataflowGraphVertexFunctionDefinition
- DataflowGraphVertexInfo
- DataflowGraphVertexUse
- DataflowGraphVertexValue
- DataflowGraphVertexVariableDefinition
- DataflowGraphVertices
- FunctionOriginInformation
- IndexIdentifier
- isAccessed
- isFunctionCallVertex
- isFunctionDefinitionVertex
- isNamedArgumentId
- isParentContainerIndex
- isSameIndex
- isUseVertex
- isValueVertex
- isVariableDefinitionVertex
- NamedArgumentId
- UnnamedArgumentId
- ValidVertexTypeReverse
- ValidVertexTypes
- VertexType
- internal
- process
- functions
- call
- argument
- built-in
- built-in-access.ts
- built-in-apply.ts
- built-in-assignment.ts
- built-in-eval.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-rm.ts
- built-in-source.ts
- built-in-special-bin-op.ts
- built-in-vector.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
- origin
- cluster.ts
- extractor.ts
- info.ts
- logger.ts
- processor.ts
- environments
- documentation
- data
- doc-util
- doc-auto-gen.ts
- doc-benchmarks.ts
- doc-cfg.ts
- doc-cli-option.ts
- doc-code.ts
- doc-dfg.ts
- doc-docker.ts
- doc-env.ts
- doc-escape.ts
- doc-files.ts
- doc-functions.ts
- doc-general.ts
- doc-issue.ts
- doc-normalized-ast.ts
- doc-print.ts
- doc-query.ts
- doc-repl.ts
- doc-search.ts
- doc-server-message.ts
- doc-structure.ts
- doc-types.ts
- <internal>
- dropGenericsFromTypeName
- followTypeReference
- getDocumentationForType
- getStartLineOfTypeScriptNode
- getTextualCommentsFromTypeScript
- getType
- getTypePathForTypeScript
- getTypePathLink
- GetTypesAsMermaidOption
- getTypeScriptSourceFiles
- getTypesFromFolder
- implSnippet
- mermaidHide
- printCodeOfElement
- printHierarchy
- PrintHierarchyArguments
- removeCommentSymbolsFromTypeScriptComment
- shortLink
- shortLinkFile
- TypeElementInSource
- TypeReport
- print-capabilities-markdown.ts
- print-cfg-wiki.ts
- print-core-wiki.ts
- print-dataflow-graph-wiki.ts
- print-engines-wiki.ts
- print-faq-wiki.ts
- print-interface-wiki.ts
- print-linter-issue.ts
- print-linter-wiki.ts
- print-linting-and-testing-wiki.ts
- print-normalized-ast-wiki.ts
- print-onboarding-wiki.ts
- print-query-wiki.ts
- print-readme.ts
- print-search-wiki.ts
- linter
- queries
- catalog
- call-context-query
- cluster-query
- config-query
- control-flow-query
- dataflow-lens-query
- dataflow-query
- dependencies-query
- df-shape-query
- happens-before-query
- id-map-query
- lineage-query
- linter-query
- location-map-query
- normalized-ast-query
- origin-query
- project-query
- resolve-value-query
- search-query
- static-slice-query
- virtual-query
- base-query-format.ts
- query.ts
- AnyQuerySchema
- CompoundQuerySchema
- executeQueries
- executeQueriesOfSameType
- Queries
- QueriesSchema
- Query
- QueryArgumentsWithType
- QueryExecutor
- QueryResult
- QueryResults
- QueryResultsWithoutMeta
- SupportedQueries
- SupportedQueriesSchema
- SupportedQuery
- SupportedQueryTypes
- SupportedSynchronousQueryTypes
- SynchronousQuery
- VirtualQuerySchema
- 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
- search-executor
- search-enrichers.ts
- CallTargetsContent
- CfgInformationArguments
- CfgInformationElementContent
- CfgInformationSearchContent
- enrichElement
- Enrichment
- enrichmentContent
- EnrichmentData
- EnrichmentElementArguments
- EnrichmentElementContent
- Enrichments
- EnrichmentSearchArguments
- EnrichmentSearchContent
- LastCallContent
- QueryDataElementContent
- QueryDataSearchContent
- search-generators.ts
- search-mappers.ts
- search-transformer.ts
- search-enrichers.ts
- search-optimizer
- flowr-search.ts
- flowr-search-builder.ts
- flowr-search-executor.ts
- flowr-search-filters.ts
- flowr-search-printer.ts
- flowr-search-traverse.ts
- search-executor
- 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
- _helper
- controlflow
- dataflow
- ast-builder.ts
- label.ts
- linter.ts
- log.ts
- net.ts
- network.ts
- pointer-analysis.ts
- provider.ts
- query.ts
- search.ts
- shell.ts
- <internal>
- assertAst
- assertContainerIndicesDefinition
- assertDataflow
- assertDecoratedAst
- assertOutput
- assertReconstructed
- assertSliced
- assertSlicedF
- defaultTestConfiguration
- retrieveNormalizedAst
- sameForSteps
- skipTestBecauseConfigNotMet
- TestCaseFailType
- TestConfiguration
- TestConfigurationWithOutput
- testWithShell
- withShell
- withTreeSitter
- _helper
- functionality
A complete lattice with a partially ordered set, join operator (LUB), meet operator (GLB), top element, and bottom element (e.g. for abstract domains).