Preparing search index...
The search index is not available
@eagleoutice/flowr - v2.7.0
@eagleoutice/flowr
src/abstract-interpretation/domains/satisfiable-domain
SetComparator
Enumeration SetComparator
Represents the different types of set comparators for satisfiability checks for an abstract domain.
Index
Enumeration Members
Equal
Subset
Subset
Or
Equal
Enumeration Members
Equal
Equal
:
0
Subset
Subset
:
1
Subset
Or
Equal
SubsetOrEqual
:
2
Settings
Member Visibility
Protected
Inherited
External
Theme
OS
Light
Dark
On This Page
Enumeration Members
Equal
Subset
Subset
Or
Equal
src
util
collections
arrays.ts
allPermutations
array2bag
arrayEqual
arraysGroupBy
arraySum
cartesianProduct
equidistantSampling
getUniqueCombinationsOfSize
LastOfArray
partition
partitionArray
splitArrayOn
Tail2TypesOrUndefined
TailOfArray
TailTypesOrUndefined
uniqueArrayMerge
bimap.ts
BiMap
defaultmap.ts
DefaultMap
objectmap.ts
ObjectMap
set.ts
setEquals
setMinus
mermaid
ast.ts
normalizedAstToMermaid
normalizedAstToMermaidUrl
cfg.ts
cfgToMermaid
cfgToMermaidUrl
dfg.ts
<internal>
diffGraphsToMermaid
diffGraphsToMermaidUrl
formatRange
graphToMermaid
graphToMermaidUrl
LabeledDiffGraph
MermaidMarkdownMark
MermaidMarkStyle
printIdentifier
mermaid.ts
escapeId
escapeMarkdown
mermaidCodeToUrl
simple-df
dfg-view.ts
reduceDfg
ReduceOptions
ReduceVertexOptions
text
ansi.ts
ansiFormatter
bold
ColorEffect
ColorFormatOptions
Colors
escape
FontStyles
FormatOptions
formatter
italic
markdownFormatter
OutputFormatter
setFormatter
voidFormatter
WeightFormatOptions
args.ts
splitAtEscapeSensitive
strings.ts
dropRawStringSurround
isAbsolutePath
joinWithLast
longestCommonPrefix
startAndEndsWith
withoutWhitespace
text.ts
nth
time.ts
date2string
printAsMs
parallel.ts
<internal>
Arguments
LimitedThreadPool
assert.ts
assertUnreachable
getGuardIssueUrl
guard
GuardMessage
isNotNull
isNotUndefined
isUndefined
containers.ts
addSubIndicesToLeafIndices
constructNestedAccess
filterIndices
getAccessOperands
resolveIndicesByName
resolveSingleIndex
diff.ts
DifferenceReport
GenericDiffConfiguration
GenericDifferenceInformation
setDifference
WriteableDifferenceReport
diff-graph.ts
<internal>
GraphDiffContext
GraphDifferenceReport
initDiffContext
NamedGraph
ProblematicDiffInfo
files.ts
allRFiles
allRFilesFrom
getAllFiles
getAllFilesSync
getParentDirectory
isFilePath
readLineByLine
readLineByLineSync
Table
writeTableAsCsv
html-hover-over.ts
textWithTooltip
json.ts
jsonBigIntRetriever
jsonReplacer
superBigJsonStringify
log.ts
expensiveTrace
FlowrLogger
log
LogLevel
logic.ts
Ternary
numbers.ts
bigint2number
roundToDecimals
objects.ts
<internal>
compactRecord
deepMergeObject
deepMergeObjectInPlace
isObjectOrArray
Mergeable
MergeableArray
MergeableRecord
os.ts
getPlatform
Os
prefix.ts
findByPrefixIfUnique
quads.ts
<internal>
defaultQuadIdGenerator
defaultQuadIgnoreIf
DefaultQuadSerializationConfiguration
EdgeInformationForQuad
graph2quads
GraphInformationForQuad
QuadContextRetriever
QuadIdRetriever
QuadIgnoreIf
QuadSerializationConfiguration
serialize2quads
VertexInformationForQuad
r-regex.ts
RPunctuationChars
RStandardRegexp
r-value.ts
isRLogicalValue
isRNumberValue
isRStringValue
unliftRValue
unwrapRValue
unwrapRValueToString
unwrapRVector
random.ts
ALPHABET
ALPHABET_LOWERCASE
ALPHABET_UPPERCASE
randomString
range.ts
addRanges
combineRanges
getRangeEnd
getRangeStart
mergeRanges
rangeCompare
rangeFrom
rangeIsSubsetOf
rangesOverlap
rangeStartsCompletelyBefore
SourcePosition
SourceRange
schema.ts
<internal>
describeObject
describeSchema
genericDescription
headerLine
summarizer.ts
CommonSummarizerConfiguration
SummarizedMeasurement
summarizedMeasurement2Csv
summarizedMeasurement2CsvHeader
summarizeMeasurement
Summarizer
SummarizerType
version.ts
flowrVersion
printVersionInformation
retrieveVersionInformation
VersionInformation
abstract-interpretation
data-frame
mappers
access-mapper.ts
isStringBasedAccess
mapDataFrameAccess
arguments.ts
escapeRegExp
filterValidNames
FunctionParameterLocation
getArgumentValue
getEffectiveArgs
getFunctionArgument
getFunctionArguments
getUnresolvedSymbolsInExpression
hasCriticalArgument
isDataFrameArgument
isNamedArgument
isRNull
isValidColName
function-mapper.ts
mapDataFrameFunctionCall
replacement-mapper.ts
mapDataFrameReplacementFunction
dataframe-domain.ts
AbstractDataFrameShape
DataFrameDomain
DataFrameShapeProperty
DataFrameStateDomain
resolve-args.ts
resolveIdToArgName
resolveIdToArgStringVector
resolveIdToArgValue
resolveIdToArgValueSymbolName
resolveIdToArgVectorLength
unescapeQuotes
unescapeSpecialChars
unquoteArgument
semantics.ts
<internal>
applyDataFrameSemantics
ConstraintType
DataFrameOperationArgs
DataFrameOperationName
DataFrameOperationNames
DataFrameOperationOptions
getConstraintType
shape-inference.ts
<internal>
DataFrameOperation
DataFrameOperations
DataFrameOperationType
DataFrameShapeInferenceVisitor
domains
abstract-domain.ts
AbstractDomain
AbstractDomainBottom
AbstractDomainTop
AbstractDomainValue
AnyAbstractDomain
ConcreteDomain
DEFAULT_INFERENCE_LIMIT
domainElementToString
isAbstractDomain
bounded-set-domain.ts
<internal>
BoundedSetBottom
BoundedSetDomain
interval-domain.ts
<internal>
IntervalDomain
IntervalTop
lattice.ts
Bottom
BottomSymbol
Lattice
Top
TopSymbol
mapped-abstract-domain.ts
MappedAbstractDomain
positive-interval-domain.ts
<internal>
PosIntervalDomain
PosIntervalTop
product-domain.ts
AbstractProduct
ConcreteProduct
ProductDomain
satisfiable-domain.ts
NumericalComparator
SatisfiableDomain
SetComparator
set-range-domain.ts
<internal>
ArrayRangeValue
SetRangeDomain
SetRangeLimit
SetRangeTop
set-upper-bound-domain.ts
<internal>
SetUpperBoundDomain
singleton-domain.ts
<internal>
SingletonDomain
state-abstract-domain.ts
<internal>
StateAbstractDomain
ValueAbstractDomain
absint-visitor.ts
AbsintVisitorConfiguration
AbstractInterpretationVisitor
normalized-ast-fold.ts
<internal>
DefaultNormalizedAstFold
EntryExitVisitor
FittingNormalizedAstFold
FoldableRType
NormalizedAstFold
SingleOrArrayOrNothing
benchmark
stats
print.ts
formatNanoseconds
stats2string
ultimateStats2String
size-of.ts
getSizeOfDfGraph
safeSizeOf
stats.ts
BenchmarkMemoryMeasurement
CommonSlicerMeasurements
CommonSlicerMeasurements
ElapsedTime
OptionalSlicerMeasurements
PerNodeStatsDfShape
PerSliceMeasurements
PerSliceMeasurements
PerSliceStats
RequiredSlicerMeasurements
SlicerStats
SlicerStatsDataflow
SlicerStatsDfShape
SlicerStatsInput
summarizer
first-phase
input.ts
processRunMeasurement
processSummarizedRunMeasurement
process.ts
summarizeSlicerStats
summarizeSummarizedMeasurement
summarizeSummarizedReductions
summarizeSummarizedTimePerToken
summarizeTimePerToken
second-phase
graph.ts
writeGraphOutput
process.ts
processNextSummary
processNextUltimateSummary
summarizeAllSummarizedStats
summarizeAllUltimateStats
data.ts
Reduction
SliceSizeCollection
SummarizedDfShapeStats
SummarizedPerSliceStats
SummarizedSlicerStats
TimePerToken
UltimateSlicerStats
summarizer.ts
BenchmarkSummarizer
BenchmarkSummarizerConfiguration
slicer.ts
<internal>
benchmarkLogger
BenchmarkSingleSliceStats
BenchmarkSlicer
BenchmarkSlicerStats
SamplingStrategy
stopwatch.ts
<internal>
IStoppableStopwatch
Measurements
cli
common
features.ts
retrieveArchiveName
validateFeatures
options.ts
benchmarkHelperOptions
benchmarkOptions
CommonOptions
exportQuadsOptions
slicerOptions
statisticHelperOptions
statisticOptions
summarizerOptions
script.ts
HelpContent
helpForOptions
processCommandLineArgs
scripts-info.ts
<internal>
getValidOptionsForCompletion
HelperScriptInformation
MasterScriptInformation
ScriptInformation
scripts
repl
commands
repl-cfg.ts
controlflowBbCommand
controlflowBbStarCommand
controlflowCommand
controlflowStarCommand
repl-commands.ts
<internal>
asOptionName
getCommand
getCommandNames
getReplCommands
helpCommand
longestCommandName
padCmd
ReplCommandNames
repl-dataflow.ts
dataflowCommand
dataflowSimpleStarCommand
dataflowSimplifiedCommand
dataflowStarCommand
repl-execute.ts
executeCommand
tryExecuteRShellCommand
repl-main.ts
<internal>
ReplBaseCommand
ReplCodeCommand
ReplCodeCommandInformation
ReplCommand
ReplCommandInformation
ReplOutput
standardReplOutput
repl-normalize.ts
normalizeCommand
normalizeStarCommand
repl-parse.ts
parseCommand
repl-query.ts
queryCommand
queryStarCommand
repl-quit.ts
quitCommand
repl-version.ts
versionCommand
parser
slice-query-parser.ts
sliceCriteriaParser
sliceCriterionParser
sliceDirectionParser
server
messages
all-messages.ts
baseMessage
FlowrMessage
IdMessageBase
MessageDefinition
message-analysis.ts
analysisResponseMessage
FileAnalysisRequestMessage
FileAnalysisResponseMessageCompact
FileAnalysisResponseMessageJson
FileAnalysisResponseMessageNQuads
requestAnalysisMessage
message-error.ts
FlowrErrorMessage
message-hello.ts
FlowrHelloResponseMessage
helloMessageDefinition
message-query.ts
QueryRequestMessage
QueryResponseMessage
requestQueryMessage
responseQueryMessage
message-repl.ts
ExecuteEndMessage
ExecuteIntermediateResponseMessage
ExecuteRequestMessage
requestExecuteReplExpressionMessage
responseExecuteReplEndMessage
responseExecuteReplIntermediateMessage
message-slice.ts
requestSliceMessage
responseSliceMessage
SliceRequestMessage
SliceResponseMessage
compact.ts
compact
uncompact
connection.ts
FlowRServerConnection
sanitizeAnalysisResults
net.ts
NetServer
OnConnect
Server
Socket
WebSocketServerWrapper
WebSocketWrapper
send.ts
getUnnamedSocketName
sendMessage
server.ts
FlowRServer
serverLog
validate.ts
answerForValidationError
SuccessValidationResult
validateBaseMessageFormat
validateMessage
ValidationErrorResult
ValidationResult
core.ts
CommandCompletions
FlowrReplOptions
handleString
loadReplHistory
makeDefaultReplReadline
repl
replCompleter
replProcessAnswer
execute.ts
<internal>
stdioCaptureProcessor
StdioProcessor
waitOnScript
print-version.ts
printVersionRepl
versionReplString
prompt.ts
prompt
rawPrompt
script-core
statistics-core.ts
flowrScriptGetStats
statistics-helper-core.ts
getStatsForSingleFile
summarizer-core.ts
flowrScriptSummarizer
benchmark-app.ts
BenchmarkCliOptions
benchmark-helper-app.ts
SingleBenchmarkCliOptions
export-quads-app.ts
QuadsCliOptions
flowr.ts
FlowrCliOptions
optionHelp
toolName
flowr-main-options.ts
defaultConfigFile
flowrMainOptionDefinitions
getScriptsText
run-script.ts
runScript
slicer-app.ts
SlicerCliOptions
statistics-app.ts
StatsCliOptions
statistics-helper-app.ts
StatsHelperCliOptions
summarizer-app.ts
SummarizerCliOptions
wiki.ts
AllWikiDocuments
makeAllWikis
ValidWikiDocumentTargets
ValidWikiDocumentTargetsNoSuffix
control-flow
basic-cfg-guided-visitor.ts
BasicCfgGuidedVisitor
BasicCfgGuidedVisitorConfiguration
cfg-dead-code.ts
cfgAnalyzeDeadCode
cfg-properties.ts
<internal>
assertCfgSatisfiesProperties
CfgProperty
PropertyReport
cfg-simplification.ts
cfgFindAllReachable
CfgPassInfo
CfgSimplificationPass
CfgSimplificationPasses
CfgSimplificationPassName
DefaultCfgSimplificationOrder
simplifyControlFlowInformation
cfg-to-basic-blocks.ts
convertCfgToBasicBlocks
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
DataflowAwareCfgGuidedVisitor
DataflowCfgGuidedVisitorConfiguration
diff-cfg.ts
diffOfControlFlowGraphs
extract-cfg.ts
cfg2quads
extractCfg
extractCfgQuick
getCallsInCfg
ResolvedCallSuffix
happens-before.ts
happensBefore
semantic-cfg-guided-visitor.ts
SemanticCfgGuidedVisitor
SemanticCfgGuidedVisitorConfiguration
simple-visitor.ts
canReach
SimpleCfgVisitor
visitCfgInOrder
visitCfgInReverseOrder
syntax-cfg-guided-visitor.ts
SyntaxAwareCfgGuidedVisitor
SyntaxCfgGuidedVisitorConfiguration
useless-loop.ts
loopyFunctions
onlyLoopsOnce
core
print
dataflow-printer.ts
dataflowGraphToJson
dataflowGraphToMermaid
dataflowGraphToMermaidUrl
dataflowGraphToQuads
normalize-printer.ts
normalizedAstToJson
normalizedAstToQuads
printNormalizedAstToMermaid
printNormalizedAstToMermaidUrl
parse-printer.ts
parseToQuads
print.ts
internalPrinter
InternalStepPrinter
IPipelineStepPrinter
printStepResult
StepOutputFormat
slice-diff-ansi.ts
sliceDiffAnsi
steps
all
core
00-parse.ts
PARSE_WITH_R_SHELL_STEP
01-parse-tree-sitter.ts
PARSE_WITH_TREE_SITTER_STEP
10-normalize.ts
NORMALIZE
NormalizeRequiredInput
11-normalize-tree-sitter.ts
NORMALIZE_TREE_SITTER
20-dataflow.ts
STATIC_DATAFLOW
static-slicing
00-slice.ts
SliceDirection
SliceRequiredInput
STATIC_SLICE
10-reconstruct.ts
NAIVE_RECONSTRUCT
ReconstructRequiredInput
pipeline
create-pipeline.ts
verifyAndBuildPipeline
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
InvalidPipelineError
pipeline.ts
createPipeline
Pipeline
PipelineInput
PipelineOutput
PipelinePerRequestInput
PipelinePerStepMetaInformation
PipelineStep
PipelineStepNames
PipelineStepOutputWithName
PipelineStepPrintersWithName
PipelineStepProcessorWithName
PipelineStepWithName
pipeline-step.ts
IPipelineStep
IPipelineStepOrder
PipelineStepName
PipelineStepStage
StepProcessingFunction
pipeline-executor.ts
PipelineExecutor
dataflow
environments
append.ts
appendEnvironment
uniqueMergeValuesInDefinitions
built-in.ts
BuiltIn
BuiltInEvalHandler
BuiltInEvalHandlerMapper
builtInId
BuiltInIdentifierConstant
BuiltInIdentifierDefinition
BuiltInIdentifierProcessor
BuiltInIdentifierProcessorWithConfig
BuiltInMappingName
BuiltInMemory
BuiltInProcessorMapper
BuiltIns
ConfigOfBuiltInMappingName
DefaultBuiltInProcessorConfiguration
isBuiltIn
UseAsProcessors
built-in-config.ts
BaseBuiltInDefinition
BuiltInConstantDefinition
BuiltInDefinition
BuiltInDefinitions
BuiltInFunctionDefinition
BuiltInReplacementDefinition
getBuiltInDefinitions
getDefaultBuiltInDefinitions
clone.ts
cloneEnvironmentInformation
default-builtin-config.ts
DefaultBuiltinConfig
getDefaultProcessor
GgPlotAddons
GgPlotCreate
GgPlotImplicitAddons
GraphicsPlotAddons
GraphicsPlotCreate
PlotCreate
PlotFunctionsWithAddParam
TinyPlotAddons
TinyPlotCrate
define.ts
define
mergeDefinitionsForPointer
diff.ts
diffEnvironment
diffEnvironmentInformation
diffIdentifierReferences
environment.ts
<internal>
builtInEnvJsonReplacer
Environment
IEnvironment
isDefaultBuiltInEnvironment
REnvironmentInformation
identifier.ts
Identifier
IdentifierDefinition
IdentifierReference
InGraphIdentifierDefinition
InGraphReferenceType
isReferenceType
ReferenceType
ReferenceTypeReverseMapping
overwrite.ts
overwriteEnvironment
reference-to-maybe.ts
makeAllMaybe
makeReferenceMaybe
resolve-by-name.ts
resolveByName
resolveByNameAnyType
resolvesToBuiltInConstant
scoping.ts
popLocalEnvironment
pushLocalEnvironment
eval
resolve
alias-tracking.ts
getAliases
resolveIdToValue
ResolveInfo
ResolveResult
resolveToConstants
trackAliasesInGraph
trackAliasInEnvironments
resolve.ts
resolveAsMinus
resolveAsPlus
resolveAsSeq
resolveAsVector
resolveNode
resolve-argument.ts
getArgumentStringValue
values
intervals
interval-constants.ts
intervalFrom
intervalFromValues
logical
logical-constants.ts
liftLogical
ValueLogicalBot
ValueLogicalFalse
ValueLogicalMaybe
ValueLogicalTop
ValueLogicalTrue
scalar
scalar-consatnts.ts
getScalarFromInteger
liftScalar
ValueIntegerBottom
ValueIntegerNegativeInfinity
ValueIntegerNegativeOne
ValueIntegerOne
ValueIntegerPositiveInfinity
ValueIntegerTop
ValueIntegerZero
ValueNumberComplexOne
ValueNumberEpsilon
ValueNumberOneHalf
ValueNumberPositiveInfinity
sets
set-constants.ts
isSet
setFrom
ValueEmptySet
ValueSetBottom
ValueSetTop
string
string-constants.ts
collectStrings
liftString
stringFrom
ValueEmptyString
ValueStringBot
ValueStringTop
vectors
vector-constants.ts
flattenVectorElements
vectorFrom
general.ts
bottomTopGuard
valueFromRNodeConstant
valueFromTsValue
valueSetGuard
r-value.ts
asValue
Bottom
isBottom
isTop
isValue
Lift
stringifyValue
TernaryLogical
Top
typeOfValue
Unlift
Value
ValueFunctionDefinition
ValueInterval
ValueLogical
ValueMissing
ValueNumber
ValueSet
ValueString
ValueType
ValueTypes
ValueVector
fn
higher-order-function.ts
isHigherOrder
graph
dataflowgraph-builder.ts
<internal>
DataflowGraphBuilder
DataflowGraphEdgeTarget
emptyGraph
getBuiltInSideEffect
diff-dataflow-graph.ts
diffEdges
diffFunctionArguments
diffOfDataflowGraphs
diffVertices
equalFunctionArguments
edge.ts
DataflowGraphEdge
edgeDoesNotIncludeType
edgeIncludesType
EdgeType
EdgeTypeBits
EdgeTypeName
edgeTypesToNames
edgeTypeToName
shouldTraverseEdge
splitEdgeTypes
TraverseEdge
graph.ts
<internal>
DataflowFunctionFlowInformation
DataflowGraph
DataflowGraphJson
FunctionArgument
getReferenceOfArgument
IEnvironmentJson
IngoingEdges
isNamedArgument
isPositionalArgument
NamedFunctionArgument
OutgoingEdges
PositionalFunctionArgument
UnknownSideEffect
invert-dfg.ts
invertDfg
quads.ts
df2quads
resolve-graph.ts
resolveDataflowGraph
unknown-replacement.ts
handleReplacementOperator
onReplacementOperator
ReplacementOperatorHandler
ReplacementOperatorHandlerArgs
unknown-side-effect.ts
handleUnknownSideEffect
onUnknownSideEffect
UnknownSideEffectHandler
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
make-argument.ts
toUnnamedArgument
wrapArgumentsUnnamed
unpack-argument.ts
unpackArg
unpackNonameArg
built-in
built-in-access.ts
processAccess
symbolArgumentsToStrings
built-in-apply.ts
BuiltInApplyConfiguration
processApply
built-in-assignment.ts
AssignmentConfiguration
AssignmentToSymbolParameters
markAsAssignment
processAssignment
built-in-eval.ts
processEvalCall
built-in-expression-list.ts
processExpressionList
built-in-for-loop.ts
processForLoop
built-in-function-definition.ts
processFunctionDefinition
retrieveActiveEnvironment
updateNestedFunctionCalls
updateNestedFunctionClosures
built-in-get.ts
processGet
built-in-if-then-else.ts
processIfThenElse
built-in-library.ts
processLibrary
built-in-list.ts
processList
built-in-pipe.ts
processPipe
built-in-quote.ts
processQuote
built-in-repeat-loop.ts
processRepeatLoop
built-in-replacement.ts
processReplacementFunction
built-in-rm.ts
processRm
built-in-source.ts
findSource
inferWdFromScript
platformBasename
platformDirname
processSourceCall
sourceRequest
standaloneSourceFile
built-in-special-bin-op.ts
processSpecialBinOp
built-in-vector.ts
processVector
built-in-while-loop.ts
processWhileLoop
common.ts
ForceArguments
patchFunctionCall
PatchFunctionCallInput
ProcessAllArgumentInput
ProcessAllArgumentResult
processAllArguments
default-call-handling.ts
processFunctionCall
known-call-handling.ts
markNonStandardEvaluationEdges
processKnownFunctionCall
ProcessKnownFunctionCallInput
ProcessKnownFunctionCallResult
named-call-handling.ts
markAsOnlyBuiltIn
processNamedCall
unnamed-call-handling.ts
processUnnamedFunctionCall
UnnamedFunctionCallOrigin
UnnamedFunctionCallPrefix
process-argument.ts
linkReadsForArgument
processFunctionArgument
process-parameter.ts
processFunctionParameter
process-named-call.ts
processAsNamedCall
process-symbol.ts
processSymbol
process-uninteresting-leaf.ts
processUninterestingLeaf
process-value.ts
processValue
linker.ts
findNonLocalReads
getAllFunctionCallTargets
getAllLinkedFunctionDefinitions
linkArgumentsOnCall
linkCircularRedefinitionsWithinALoop
linkFunctionCalls
linkFunctionCallWithSingleTarget
linkInputs
NameIdMap
produceNameSharedIdMap
reapplyLoopExitPoints
origin
dfg-get-origin.ts
<internal>
BuiltInFunctionOrigin
FunctionCallOrigin
getOriginInDfg
Origin
OriginType
SimpleOrigin
dfg-get-symbol-refs.ts
getAllRefsToSymbol
cluster.ts
DataflowGraphCluster
DataflowGraphClusters
findAllClusters
extractor.ts
processors
produceDataFlowGraph
info.ts
addNonDefaultExitPoints
alwaysExits
ControlDependency
DataflowCfgInformation
DataflowInformation
diffControlDependencies
diffControlDependency
ExitPoint
ExitPointType
filterOutLoopExitPoints
happensInEveryBranch
happensInEveryBranchSet
initializeCleanDataflowInformation
logger.ts
dataflowLogger
processor.ts
<internal>
DataflowProcessor
DataflowProcessorInformation
DataflowProcessors
processDataflowFor
documentation
data
dfg
doc-data-dfg-util.ts
ExplanationParameters
getAllEdges
getAllVertices
SubExplanationParameters
faq
faqs.ts
registerFaqs
recommended-configs.ts
recommendedVsCodeTask
recommendedZedConfig
wiki-faq-store.ts
FaqStore
query
example-query-code.ts
exampleQueryCode
server
doc-data-server-messages.ts
documentAllServerMessages
doc-util
doc-auto-gen.ts
autoGenHeader
AutoGenHeaderArguments
fileNameForGenHeader
doc-benchmarks.ts
<internal>
getLastBenchmarkUpdate
getLatestBenchmark
getLatestDfAnalysisTime
loadBenchmarkData
doc-cfg.ts
<internal>
getCfg
printCfg
printCfgCode
PrintCfgOptions
doc-cli-option.ts
getCliLongOptionOf
getReplCommand
multipleCliOptions
ScriptOptions
doc-code.ts
codeBlock
codeInline
jsonWithLimit
doc-dfg.ts
formatSideEffect
PrintDataflowGraphOptions
printDfGraph
printDfGraphForCode
verifyExpectedSubgraph
doc-docker.ts
DockerName
doc-env.ts
printEnvironmentToMarkdown
doc-escape.ts
escapeHTML
escapeNewline
doc-files.ts
FlowrCodecovRef
FlowrDockerRef
FlowrGithubBaseRef
FlowrGithubGroupName
FlowrGithubRef
FlowrNpmRef
FlowrPositron
FlowrRAdapter
FlowrRStudioAddin
FlowrSiteBaseRef
FlowrVsCode
FlowrWikiBaseRef
getFileContentFromRoot
getFilePathMd
linkFlowRSourceFile
RemoteFlowrFilePathBaseRef
doc-functions.ts
FunctionElementInSource
FunctionsReport
getFunctionsFromFolder
GetFunctionsOption
doc-general.ts
lastJoin
prefixLines
doc-issue.ts
NewIssueUrl
doc-normalized-ast.ts
printNormalizedAst
printNormalizedAstForCode
PrintNormalizedAstOptions
verifyExpectedSubgraph
doc-query.ts
explainQueries
linkToQueryOfName
QueryDocumentation
RegisteredQueries
registerQueryDocumentation
showQuery
ShowQueryOptions
sliceQueryShorthand
tocForQueryType
doc-repl.ts
DocumentReplCommand
documentReplSession
DocumentReplSessionOptions
printReplHelpAsMarkdownTable
doc-search.ts
showSearch
ShowSearchOptions
doc-server-message.ts
<internal>
documentServerMessage
documentServerMessageResponse
inServerContext
MessagePingPongDocumentationArguments
printServerMessages
ServerMessageDescription
doc-structure.ts
block
BlockOptions
collapsibleToc
details
DetailsOptions
section
doc-types.ts
dropGenericsFromTypeName
FnElementInfo
getDocumentationForType
GetDocumentationForTypeFilters
getStartLineOfTypeScriptNode
getTypePathLink
GetTypesAsMermaidOption
getTypeScriptSourceFiles
getTypesFromFolder
mermaidHide
printCodeOfElement
printHierarchy
PrintHierarchyArguments
removeCommentSymbolsFromTypeScriptComment
shortLink
shortLinkFile
TypeElementInSource
TypeElementKind
TypeReport
visualizeMermaidClassDiagram
wiki-mk
doc-context.ts
<internal>
ElementFilter
ElementId
ElementIdOrRef
GeneralDocContext
LinkFormat
makeDocContextForTypes
doc-maker.ts
DocMaker
DocMakerArgs
DocMakerLike
DocMakerOutputArgs
WikiChangeType
doc-capabilities.ts
DocCapabilities
doc-readme.ts
DocReadme
issue-linting-rule.ts
IssueLintingRule
wiki-analyzer.ts
WikiAnalyzer
wiki-cfg.ts
WikiCfg
wiki-core.ts
inspectContextExample
WikiCore
wiki-dataflow-graph.ts
WikiDataflowGraph
wiki-engine.ts
WikiEngine
wiki-faq.ts
WikiFaq
wiki-interface.ts
WikiInterface
wiki-linter.ts
WikiLinter
wiki-linting-and-testing.ts
WikiLintingAndTesting
wiki-normalized-ast.ts
WikiNormalizedAst
wiki-onboarding.ts
WikiOnboarding
wiki-overview.ts
WikiOverview
wiki-query.ts
WikiQuery
wiki-search.ts
WikiSearch
wiki-setup.ts
WikiSetup
linter
rules
absolute-path.ts
ABSOLUTE_PATH
AbsoluteFilePathConfig
AbsoluteFilePathMetadata
AbsoluteFilePathResult
dataframe-access-validation.ts
DATA_FRAME_ACCESS_VALIDATION
DataFrameAccessValidationConfig
DataFrameAccessValidationMetadata
DataFrameAccessValidationResult
dead-code.ts
DEAD_CODE
DeadCodeConfig
DeadCodeMetadata
DeadCodeResult
deprecated-functions.ts
DEPRECATED_FUNCTIONS
file-path-validity.ts
FILE_PATH_VALIDITY
FilePathValidityConfig
FilePathValidityMetadata
FilePathValidityResult
function-finder-util.ts
functionFinderUtil
FunctionsMetadata
FunctionsResult
FunctionsToDetectConfig
naming-convention.ts
CasingConvention
createNamingConventionQuickFixes
detectCasing
fixCasing
getMostUsedCasing
NAMING_CONVENTION
NamingConventionConfig
NamingConventionMetadata
NamingConventionResult
network-functions.ts
NETWORK_FUNCTIONS
NetworkFunctionsConfig
seeded-randomness.ts
SEEDED_RANDOMNESS
SeededRandomnessConfig
SeededRandomnessMeta
SeededRandomnessResult
unused-definition.ts
UNUSED_DEFINITION
UnusedDefinitionConfig
UnusedDefinitionMetadata
UnusedDefinitionResult
useless-loop.ts
USELESS_LOOP
UselessLoopConfig
UselessLoopMetadata
UselessLoopResult
linter-executor.ts
executeLintingRule
linter-format.ts
<internal>
ConfiguredLintingRule
isLintingResultsError
isLintingResultsSuccess
LinterRuleInformation
LintingPrettyPrintContext
LintingResult
LintingResultCertainty
LintingResults
LintingResultsError
LintingResultsSuccess
LintingRule
LintingRuleCertainty
LintQuickFix
LintQuickFixRemove
LintQuickFixReplacement
linter-rules.ts
LintingRuleConfig
LintingRuleMetadata
LintingRuleNames
LintingRuleResult
LintingRules
linter-tags.ts
LintingRuleTag
project
cache
flowr-analyzer-cache.ts
<internal>
AnalyzerCacheType
FlowrAnalyzerCache
flowr-analyzer-controlflow-cache.ts
<internal>
FlowrAnalyzerControlFlowCache
flowr-cache.ts
CacheInvalidationEvent
CacheInvalidationEventReceiver
CacheInvalidationEventType
FlowrCache
context
abstract-flowr-analyzer-context.ts
AbstractFlowrAnalyzerContext
flowr-analyzer-context.ts
contextFromInput
contextFromSources
FlowrAnalyzerContext
ReadOnlyFlowrAnalyzerContext
flowr-analyzer-dependencies-context.ts
FlowrAnalyzerDependenciesContext
ReadOnlyFlowrAnalyzerDependenciesContext
flowr-analyzer-environment-context.ts
FlowrAnalyzerEnvironmentContext
ReadOnlyFlowrAnalyzerEnvironmentContext
flowr-analyzer-files-context.ts
FlowrAnalyzerFilesContext
RAnalysisRequest
ReadOnlyFlowrAnalyzerFilesContext
RoleBasedFiles
RProjectAnalysisRequest
flowr-analyzer-loading-order-context.ts
FlowrAnalyzerLoadingOrderContext
ReadOnlyFlowrAnalyzerLoadingOrderContext
flowr-file.ts
FilePath
FileRole
FlowrFile
FlowrFileProvider
FlowrInlineTextFile
FlowrTextFile
StringableContent
plugins
file-plugins
files
flowr-description-file.ts
DCF
FlowrDescriptionFile
flowr-jupyter-file.ts
FlowrJupyterFile
flowr-news-file.ts
FlowrNewsFile
NewsChunk
flowr-rmarkdown-file.ts
CodeBlock
CodeBlockEx
FlowrRMarkdownFile
isRCodeBlock
parseCodeBlockOptions
parseRMarkdownFile
restoreBlocksWithoutMd
RmdInfo
notebooks
flowr-analyzer-jupyter-file-plugin.ts
FlowrAnalyzerJupyterFilePlugin
flowr-analyzer-qmd-file-plugin.ts
FlowrAnalyzerQmdFilePlugin
flowr-analyzer-rmd-file-plugin.ts
FlowrAnalyzerRmdFilePlugin
flowr-analyzer-description-file-plugin.ts
descriptionFileLog
FlowrAnalyzerDescriptionFilePlugin
flowr-analyzer-file-plugin.ts
FlowrAnalyzerFilePlugin
flowr-analyzer-news-file-plugin.ts
FlowrAnalyzerNewsFilePlugin
loading-order-plugins
flowr-analyzer-loading-order-description-file-plugin.ts
FlowrAnalyzerLoadingOrderDescriptionFilePlugin
flowr-analyzer-loading-order-plugin.ts
FlowrAnalyzerLoadingOrderPlugin
package-version-plugins
flowr-analyzer-package-versions-description-file-plugin.ts
FlowrAnalyzerPackageVersionsDescriptionFilePlugin
flowr-analyzer-package-versions-plugin.ts
FlowrAnalyzerPackageVersionsPlugin
package.ts
Package
PackageType
project-discovery
flowr-analyzer-project-discovery-plugin.ts
FlowrAnalyzerProjectDiscoveryPlugin
flowr-analyzer-plugin.ts
FlowrAnalyzerPlugin
FlowrAnalyzerPluginInterface
PluginType
flowr-analyzer-plugin-defaults.ts
FlowrAnalyzerPluginDefaults
plugin-registry.ts
<internal>
BuiltInFlowrPluginArgs
BuiltInFlowrPluginName
BuiltInPlugins
getPlugin
makePlugin
PluginToRegister
registerPluginMaker
cfg-kind.ts
CfgKind
flowr-analyzer.ts
FlowrAnalysisProvider
FlowrAnalyzer
ReadonlyFlowrAnalysisProvider
flowr-analyzer-builder.ts
FlowrAnalyzerBuilder
queries
catalog
call-context-query
call-context-query-executor.ts
executeCallContextQueries
promoteCallName
PromotedLinkTo
call-context-query-format.ts
CallContextQuery
CallContextQueryDefinition
CallContextQueryKindResult
CallContextQueryResult
CallContextQuerySubKindResult
CallNameTypes
DefaultCallContextQueryFormat
FileFilter
LinkTo
LinkToLastCall
SubCallContextQueryFormat
cascade-action.ts
CascadeAction
identify-link-to-last-call-relation.ts
CallTargets
getValueOfArgument
identifyLinkToLastCallRelation
satisfiesCallTargets
cluster-query
cluster-query-executor.ts
executeDataflowClusterQuery
cluster-query-format.ts
ClusterQueryDefinition
DataflowClusterQuery
DataflowClusterQueryResult
config-query
config-query-executor.ts
executeConfigQuery
config-query-format.ts
ConfigQuery
ConfigQueryDefinition
ConfigQueryResult
control-flow-query
control-flow-query-executor.ts
executeControlFlowQuery
control-flow-query-format.ts
ControlFlowQuery
ControlFlowQueryDefinition
ControlFlowQueryResult
dataflow-lens-query
dataflow-lens-query-executor.ts
executeDataflowLensQuery
dataflow-lens-query-format.ts
DataflowLensQuery
DataflowLensQueryDefinition
DataflowLensQueryResult
dataflow-query
dataflow-query-executor.ts
executeDataflowQuery
dataflow-query-format.ts
DataflowQuery
DataflowQueryDefinition
DataflowQueryResult
dependencies-query
function-info
function-info.ts
DependencyInfoLink
DependencyInfoLinkAttachedInfo
DependencyInfoLinkConstraint
FunctionArgInfo
FunctionInfo
library-functions.ts
LibraryFunctions
read-functions.ts
ReadFunctions
source-functions.ts
SourceFunctions
visualize-functions.ts
VisualizeFunctions
write-functions.ts
WriteFunctions
dependencies-query-executor.ts
executeDependenciesQuery
dependencies-query-format.ts
DefaultDependencyCategories
DefaultDependencyCategoryName
DependenciesQuery
DependenciesQueryDefinition
DependenciesQueryResult
DependencyCategoryName
DependencyCategorySettings
DependencyInfo
getAllCategories
Unknown
df-shape-query
df-shape-query-executor.ts
executeDfShapeQuery
df-shape-query-format.ts
DfShapeQuery
DfShapeQueryDefinition
DfShapeQueryResult
files-query
files-query-executor.ts
executeFileQuery
files-query-format.ts
FileQueryInfo
FilesQuery
FilesQueryDefinition
FilesQueryResult
happens-before-query
happens-before-query-executor.ts
executeHappensBefore
happens-before-query-format.ts
HappensBeforeQuery
HappensBeforeQueryDefinition
HappensBeforeQueryResult
id-map-query
id-map-query-executor.ts
executeIdMapQuery
id-map-query-format.ts
IdMapQuery
IdMapQueryDefinition
IdMapQueryResult
inspect-higher-order-query
inspect-higher-order-query-executor.ts
executeHigherOrderQuery
inspect-higher-order-query-format.ts
InspectHigherOrderQuery
InspectHigherOrderQueryDefinition
InspectHigherOrderQueryResult
linter-query
linter-query-executor.ts
executeLinterQuery
linter-query-format.ts
LinterQuery
LinterQueryDefinition
LinterQueryResult
location-map-query
location-map-query-executor.ts
executeLocationMapQuery
location-map-query-format.ts
FileId
FilePath
LocationMapQuery
LocationMapQueryDefinition
LocationMapQueryResult
normalized-ast-query
normalized-ast-query-executor.ts
executeNormalizedAstQuery
normalized-ast-query-format.ts
NormalizedAstQuery
NormalizedAstQueryDefinition
NormalizedAstQueryResult
origin-query
origin-query-executor.ts
executeResolveValueQuery
fingerPrintOfQuery
origin-query-format.ts
OriginQuery
OriginQueryDefinition
OriginQueryResult
project-query
project-query-executor.ts
executeProjectQuery
project-query-format.ts
ProjectQuery
ProjectQueryDefinition
ProjectQueryResult
resolve-value-query
resolve-value-query-executor.ts
executeResolveValueQuery
fingerPrintOfQuery
resolve-value-query-format.ts
ResolveValueQuery
ResolveValueQueryDefinition
ResolveValueQueryResult
search-query
search-query-executor.ts
executeSearch
search-query-format.ts
SearchQuery
SearchQueryDefinition
SearchQueryResult
static-slice-query
static-slice-query-executor.ts
executeStaticSliceQuery
fingerPrintOfQuery
static-slice-query-format.ts
StaticSliceQuery
StaticSliceQueryDefinition
StaticSliceQueryResult
virtual-query
compound-query.ts
CompoundQueryFormat
executeCompoundQueries
VirtualCompoundConstraint
virtual-queries.ts
SupportedVirtualQueries
SupportedVirtualQueryTypes
VirtualQueryArgumentsWithType
VirtualQueryExecutor
base-query-format.ts
BaseQueryFormat
BaseQueryMeta
BaseQueryResult
BasicQueryData
query.ts
AnyQuerySchema
CompoundQuerySchema
executeQueries
executeQueriesOfSameType
genericWrapReplFailIfNoRequest
ParsedQueryLine
Queries
QueriesSchema
Query
QueryArgumentsWithType
QueryExecutor
QueryResult
QueryResults
QueryResultsWithoutMeta
SupportedQueries
SupportedQueriesSchema
SupportedQuery
SupportedQueryTypes
VirtualQuerySchema
query-print.ts
asciiCallContext
asciiSummaryOfQueryResult
summarizeIdsIfTooLong
two-layer-collector.ts
TwoLayerCollector
r-bridge
data
data.ts
flowrCapabilities
get.ts
<internal>
FlowrCapabilityId
FlowrCapabilityWithPath
getAllCapabilities
getCapabilityById
SupportedFlowrCapabilityId
types.ts
<internal>
FlowrCapabilities
FlowrCapability
lang-4.x
ast
model
nodes
info
r-delimiter.ts
RDelimiter
r-access.ts
<internal>
RAccess
RIndexAccess
RNamedAccess
r-argument.ts
RArgument
RUnnamedArgument
r-binary-op.ts
RBinaryOp
r-break.ts
RBreak
r-comment.ts
RComment
r-expression-list.ts
RExpressionList
r-for-loop.ts
RForLoop
r-function-call.ts
EmptyArgument
RFunctionArgument
RFunctionCall
RNamedFunctionCall
RUnnamedFunctionCall
r-function-definition.ts
RFunctionDefinition
r-if-then-else.ts
RIfThenElse
r-line-directive.ts
RLineDirective
r-logical.ts
RLogical
RLogicalValue
r-next.ts
RNext
r-number.ts
isRNumber
RNumber
r-parameter.ts
RParameter
r-pipe.ts
RPipe
r-project.ts
mergeProjects
RProject
RProjectFile
r-repeat-loop.ts
RRepeatLoop
r-string.ts
isRString
RString
r-symbol.ts
isSpecialSymbol
RSymbol
r-unary-op.ts
RUnaryOp
r-while-loop.ts
RWhileLoop
processing
decorate.ts
AstIdMap
decorateAst
deterministicCountingIdGenerator
deterministicLocationIdGenerator
deterministicPrefixIdGenerator
IdGenerator
nodeToLocationId
NormalizedAst
NormalizedAstDecorationConfiguration
ParentContextInfo
ParentInformation
RNodeWithParent
sourcedDeterministicCountingIdGenerator
fold.ts
foldAst
FoldFunctions
node-id.ts
NodeId
normalizeIdToNumberIfPossible
recoverContent
recoverName
role.ts
RoleInParent
rolesOfParents
stateful-fold.ts
DownFold
foldAstStateful
StatefulFoldFunctions
visitor.ts
OnEnter
OnExit
visitAst
collect.ts
collectAllIds
model.ts
Base
Leaf
Location
Namespace
NamespaceIdentifier
NoInfo
OtherInfoNode
RConstant
RConstructs
RFunctions
RLoopConstructs
RNode
ROther
RSingleNode
WithChildren
operators.ts
<internal>
OperatorArity
OperatorDatabase
OperatorInformationValue
Operators
OperatorsInRAst
OperatorUsedAs
OperatorWrittenAs
UnaryOperatorsInRAst
type.ts
isSymbol
RawRType
RType
ValidRTypes
ValidRTypesReverse
versions.ts
MIN_VERSION_LAMBDA
MIN_VERSION_PIPE
MIN_VERSION_RAW_STABLE
parser
json
format.ts
<internal>
convertPreparedParsedData
CsvEntry
JsonEntry
NamedJsonEntry
prepareParsedData
RootId
parser.ts
normalize
normalizeButNotDecorated
normalizeTreeSitter
parseLog
main
internal
control
normalize-if-then.ts
tryNormalizeIfThen
normalize-if-then-else.ts
tryNormalizeIfThenElse
expression
normalize-expression.ts
normalizeExpression
functions
normalize-argument.ts
tryToNormalizeArgument
normalize-call.ts
tryNormalizeFunctionCall
normalize-definition.ts
tryNormalizeFunctionDefinition
normalize-parameter.ts
tryNormalizeParameter
loops
normalize-break.ts
normalizeBreak
normalize-for.ts
tryNormalizeFor
normalize-next.ts
normalizeNext
normalize-repeat.ts
tryNormalizeRepeat
normalize-while.ts
tryNormalizeWhile
operators
normalize-binary.ts
tryNormalizeBinary
normalize-unary.ts
tryNormalizeUnary
other
normalize-comment.ts
normalizeComment
normalize-line-directive.ts
normalizeLineDirective
structure
normalize-delimiter.ts
normalizeDelimiter
normalize-expressions.ts
normalizeExpressions
parseNodesWithUnknownType
splitComments
normalize-root.ts
normalizeRootObjToAst
normalize-single-node.ts
normalizeSingleNode
values
normalize-number.ts
normalizeNumber
normalize-string.ts
normalizeString
normalize-symbol.ts
tryNormalizeSymbol
normalize-access.ts
tryNormalizeAccess
normalize-meta.ts
assureTokenType
ensureChildrenAreLhsAndRhsOrdered
ensureExpressionList
extractLocation
getTokenType
getWithTokenType
retrieveMetaStructure
retrieveOpName
normalizer-data.ts
NormalizerData
ParseError
tree-sitter
tree-sitter-executor.ts
DEFAULT_TREE_SITTER_R_WASM_PATH
DEFAULT_TREE_SITTER_WASM_PATH
TreeSitterExecutor
tree-sitter-normalize.ts
makeTreeSitterLax
makeTreeSitterStrict
normalizeTreeSitterTreeToAst
TreeSitterInfo
tree-sitter-types.ts
TreeSitterType
convert-values.ts
boolean2ts
isBoolean
isNA
number2ts
RFalse
RImaginaryMarker
RInf
RIntegerMarker
RNa
RNull
RNumberValue
RNumHexFloatRegex
RStringValue
RTrue
string2ts
ts2r
init.ts
ErrorMarker
initCommand
parser.ts
<internal>
AsyncParser
BaseParserInformation
BaseRShellInformation
KnownParser
KnownParserInformation
KnownParserName
KnownParserType
Parser
parseRequests
ParseRequiredInput
ParseStepOutput
ParseStepOutputSingleFile
RShellInformation
SyncParser
TreeSitterInformation
retriever.ts
fileProtocol
isEmptyRequest
isParseRequest
removeRQuotes
requestFromInput
requestProviderFromFile
requestProviderFromText
retrieveNormalizedAstFromRCode
retrieveNumberOfRTokensOfLastParse
retrieveParseDataFromRCode
RParseRequest
RParseRequestFromFile
RParseRequestFromText
RParseRequestProvider
RParseRequests
shell.ts
<internal>
CollectorTimeout
DEFAULT_OUTPUT_COLLECTOR_CONFIGURATION
DEFAULT_R_PATH
getDefaultRShellOptions
OutputCollectorConfiguration
OutputStreamSelector
RShell
RShellExecutionOptions
RShellOptions
RShellReviveOptions
RShellSessionOptions
shell-executor.ts
RShellExecutor
reconstruct
auto-select
auto-select-defaults.ts
AutoSelectPredicate
doNotAutoSelect
magic-comments.ts
makeMagicCommentHandler
reconstruct.ts
<internal>
ReconstructionResult
reconstructLogger
reconstructToCode
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
FlowrSearchGeneratorNode
GeneratorNames
generators
getGenerator
GetGenerator
searchLogger
search-mappers.ts
<internal>
map
Mapper
MapperArguments
MapperData
search-transformer.ts
<internal>
FlowrSearchTransformerNode
GetOutputOfTransformer
getTransformer
GetTransformer
TransformerNames
transformers
search-optimizer
search-optimizer.ts
optimize
flowr-search.ts
FlowrSearchElement
FlowrSearchElements
FlowrSearchGeneratorNodeBase
FlowrSearchGetFilter
FlowrSearchNodeBase
FlowrSearchTransformerNodeBase
flowr-search-builder.ts
<internal>
FlowrSearch
FlowrSearchBuilder
FlowrSearchBuilderType
FlowrSearchGenerator
FlowrSearchLike
getFlowrSearch
Q
SearchOutput
flowr-search-executor.ts
GetSearchElements
runSearch
flowr-search-filters.ts
<internal>
binaryTreeToString
evalFilter
FlowrFilter
FlowrFilterArgs
FlowrFilterCombinator
FlowrFilterExpression
FlowrFilterFunction
FlowrFilterName
FlowrFilters
isBinaryTree
MatchesEnrichmentArgs
OriginKindArgs
testFunctionsIgnoringPackage
ValidFlowrFilters
ValidFlowrFiltersReverse
flowr-search-printer.ts
FlowrSearchMermaidBuilderOptions
flowrSearchToAscii
flowrSearchToCode
flowrSearchToMermaid
flowr-search-traverse.ts
traverseFlowrSearchBuilderType
slicing
criterion
filters
all-variables.ts
DefaultAllVariablesFilter
collect-all.ts
collectAllSlicingCriteria
SlicingCriteriaFilter
parse.ts
convertAllSlicingCriteriaToIds
CriteriaParseError
DecodedCriteria
DecodedCriterion
SingleSlicingCriterion
SlicingCriteria
slicingCriterionToId
tryResolveSliceCriterionToId
static
fingerprint.ts
envFingerprint
fingerprint
Fingerprint
slice-call.ts
getAllFunctionCallTargets
handleReturns
sliceForCall
slicer-types.ts
NodeToSlice
SliceResult
static-slicer.ts
slicerLogger
staticSlice
updatePotentialAddition
visiting-queue.ts
VisitingQueue
statistics
features
supported
assignments
assignments.ts
<internal>
AssignmentInfo
AssignmentOperators
assignments
post-process.ts
postProcess
comments
comments.ts
CommentInfo
comments
initialCommentInfo
post-process.ts
postProcess
control-flow
control-flow.ts
<internal>
controlflow
ControlflowInfo
post-process.ts
postProcess
data-access
data-access.ts
<internal>
dataAccess
DataAccessInfo
post-process.ts
postProcess
defined-functions
defined-functions.ts
<internal>
AllDefinitionsFileBase
definedFunctions
FunctionDefinitionInfo
SingleFunctionDefinitionInformation
post-process.ts
postProcess
expression-list
post-process.ts
postProcess
statistics-expression-list.ts
<internal>
expressionList
ExpressionListInfo
loops
loops.ts
<internal>
LoopInfo
loops
post-process.ts
postProcess
used-functions
post-process.ts
postProcess
used-functions.ts
<internal>
AllCallsFileBase
FunctionCallInformation
FunctionUsageInfo
usedFunctions
used-packages
post-process.ts
postProcess
used-packages.ts
initialUsedPackageInfos
UsedPackageInfo
usedPackages
values
post-process.ts
postProcess
values.ts
<internal>
ValueInfo
values
variables
post-process.ts
<internal>
postProcess
writeVariableInfoToCsv
variables.ts
<internal>
DefinedVariableInformation
VariableInfo
variables
common-syntax-probability.ts
appendCommonSyntaxTypeCounter
CommonSyntaxTypeCounts
emptyCommonSyntaxTypeCounts
summarizeCommonSyntaxTypeCounter
updateCommonSyntaxTypeCounts
feature.ts
ALL_FEATURES
allFeatureNames
Feature
FeatureInfo
FeatureKey
FeatureProcessor
FeatureProcessorInput
FeatureSelection
FeatureStatistics
FeatureStatisticsWithMeta
FeatureValue
Query
post-processing.ts
emptySummarizedWithProject
recordFilePath
ReplaceKeysForSummary
SummarizedWithProject
output
file-provider.ts
AppendFnType
defaultStatisticsFileSuffix
DummyAppendMemoryMap
DummyAppendProvider
StatisticAppendProvider
StatisticFileProvider
print-stats.ts
<internal>
minMaxAvgAndMedian
printFeatureStatistics
printFeatureStatisticsEntry
statsString
statistics-file.ts
appendStatisticsFile
extractNodeContent
initDummyFileProvider
initFileProvider
statisticsFileProvider
StatisticsOutputFormat
summarizer
first-phase
process.ts
FileMigrator
post-process
clusterer.ts
ClusterContextIdMap
ClusterReport
clusterStatisticsOutput
ClusterValueInfoMap
ContextsWithCount
file-based-count.ts
fileBasedCount
FileBasedTable
writeFileBasedCountToFile
histogram.ts
Histogram
histogramFromNumbers
histograms2table
histogramsFromClusters
post-process-output.ts
postProcessFeatureFolder
printClusterReport
second-phase
process.ts
postProcessFeatureFolder
postProcessFeatures
auto-detect.ts
detectSummarizationType
summarizer.ts
statisticsFileNameRegex
StatisticsSummarizer
StatisticsSummarizerConfiguration
meta-statistics.ts
initialMetaStatistics
MetaStatistics
statistics.ts
<internal>
extractUsageStatistics
staticRequests
config.ts
amendConfig
cloneConfig
defaultConfigOptions
DropPathsOption
EngineConfig
flowrConfigFileSchema
FlowrConfigOptions
FlowrLaxSourcingOptions
getConfig
getEngineConfig
InferWorkingDirectory
isOverPointerAnalysisThreshold
KnownEngines
parseConfig
RShellEngineConfig
TreeSitterEngineConfig
VariableResolve
engines.ts
retrieveEngineInstances
test
functionality
_helper
controlflow
assert-control-flow-graph.ts
assertCfg
AssertCfgOptions
happens-before.ts
assertHappensBefore
dataflow
dataflow-builder-printer.ts
printAsBuilder
environment-builder.ts
argumentInCall
asFunction
defaultEnv
EnvironmentBuilder
variable
environment-builder-printer.ts
EnvironmentBuilderPrinter
printer.ts
wrap
wrapControlDependencies
wrapReference
ast-builder.ts
exprList
numVal
parameter
label.ts
<internal>
decorateLabelContext
dropTestLabel
label
modifyLabelName
printMissingLabelSummary
SerializedTestLabel
TestLabel
TestLabelContext
TheGlobalLabelMap
linter.ts
assertLinter
log.ts
setMinLevelOfAllLogs
net.ts
fakeSend
FakeServer
FakeSocket
withSocket
network.ts
checkNetworkConnection
pointer-analysis.ts
<internal>
AccessType
ContainerType
setupContainerFunctions
provider.ts
AssignmentOperators
BinaryNonAssignmentOperators
BinaryOperatorPool
RNumberPool
RStringPool
RSymbolPool
UnaryOperatorPool
query.ts
<internal>
assertQuery
repl.ts
assertReplCompletions
assertReplParser
ReplCompletionTestCase
ReplParserTestCase
search.ts
assertSearch
assertSearchEnrichment
shell.ts
<internal>
assertAst
assertContainerIndicesDefinition
assertDataflow
assertDecoratedAst
assertOutput
assertReconstructed
assertSliced
assertSlicedF
defaultTestConfiguration
retrieveNormalizedAst
sameForSteps
skipTestBecauseConfigNotMet
TestCaseFailType
TestConfiguration
TestConfigurationWithOutput
testWithShell
withShell
withTreeSitter
Represents the different types of set comparators for satisfiability checks for an abstract domain.