@eagleoutice/flowr - v2.10.1
Preparing search index...
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
uniqueArray
uniqueArrayMerge
bimap.ts
BiMap
defaultmap.ts
DefaultMap
objectmap.ts
ObjectMap
set.ts
setEquals
setMinus
mermaid
ast.ts
normalizedAstToMermaid
normalizedAstToMermaidUrl
cfg.ts
cfgToMermaid
cfgToMermaidUrl
MermaidCfgGraphPrinterInfo
MermaidEntryPointDefaultMarkStyle
MermaidExitPointDefaultMarkStyle
dfg.ts
DataflowMermaid
diffGraphsToMermaid
diffGraphsToMermaidUrl
LabeledDiffGraph
MermaidGraph
MermaidGraphConfiguration
mermaidNodeBrackets
printIdentifier
info.ts
<internal>
MermaidDefaultMarkStyle
MermaidGraphPrinterInfo
MermaidMarkdownMark
MermaidMarkStyle
mermaid.ts
Mermaid
simple-df
dfg-ascii.ts
dfgToAscii
dfg-view.ts
reduceDfg
ReduceOptions
ReduceVertexOptions
text
ansi.ts
ansiFormatter
ansiInfo
bold
ColorEffect
ColorFormatOptions
Colors
escape
FontStyles
FormatOptions
formatter
italic
markdownFormatter
OutputFormatter
setFormatter
voidFormatter
WeightFormatOptions
args.ts
splitAtEscapeSensitive
splitOnNestingSensitive
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
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>
AutocompletablePaths
compactRecord
deepClonePreserveUnclonable
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-author.ts
AuthorRole
parseRAuthorString
parseTextualAuthorString
RAuthorInfo
rAuthorInfoToReadable
r-license.ts
NoLicenseInfo
parseRLicense
RLicenseCombinationInfo
RLicenseElementInfo
RLicenseExceptionInfo
RLicenseInfo
stringifyRLicense
r-regex.ts
parseRRegexPattern
RPunctuationChars
RStandardRegexp
r-value.ts
isRLogicalValue
isRNumberValue
isRStringValue
unliftRValue
unwrapRValue
unwrapRValueToString
unwrapRVector
r-version.ts
parseRRange
parseRVersion
random.ts
ALPHABET
ALPHABET_LOWERCASE
ALPHABET_UPPERCASE
randomString
range.ts
SourceLocation
SourceLocation
SourcePosition
SourcePosition
SourceRange
SourceRange
schema.ts
<internal>
describeObject
describeSchema
genericDescription
headerLine
slice-direction.ts
SliceDirection
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
parseRequestContent
function-mapper.ts
mapDataFrameFunctionCall
replacement-mapper.ts
mapDataFrameReplacementFunction
dataframe-domain.ts
AbstractDataFrameShape
DataFrameDomain
DataFrameShapeProperty
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
<internal>
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
ConcreteMap
MappedAbstractDomain
MutableMappedAbstractDomain
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>
MutableStateAbstractDomain
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
dataflowAsciiCommand
dataflowCommand
dataflowSilentCommand
dataflowSimpleStarCommand
dataflowSimplifiedCommand
dataflowStarCommand
repl-execute.ts
executeCommand
tryExecuteRShellCommand
repl-main.ts
<internal>
ReplBaseCommand
ReplCodeCommand
ReplCodeCommandInformation
ReplCommand
ReplCommandInformation
ReplOutput
standardReplOutput
repl-normalize.ts
normalizeCommand
normalizeHashCommand
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
CfgEdge
CfgEdge
CfgEdgeType
CfgExpressionVertex
CfgMarkerVertex
CfgStatementVertex
CfgVertex
CfgVertex
CfgVertexType
ControlFlowGraph
ControlFlowInformation
emptyControlFlowInformation
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
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
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
BuiltInEvalHandler
BuiltInEvalHandlerArgs
BuiltInEvalHandlerMapper
BuiltInIdentifierConstant
BuiltInIdentifierDefinition
BuiltInIdentifierProcessor
BuiltInIdentifierProcessorWithConfig
BuiltInMemory
BuiltInProcessorMapper
BuiltIns
ConfigOfBuiltInMappingName
DefaultBuiltInProcessorConfiguration
built-in-config.ts
BaseBuiltInDefinition
BuiltInConstantDefinition
BuiltInDefinition
BuiltInDefinitions
BuiltInFunctionDefinition
BuiltInReplacementDefinition
getBuiltInDefinitions
getDefaultBuiltInDefinitions
built-in-proc-name.ts
BuiltInProcName
clone.ts
cloneEnvironmentInformation
default-builtin-config.ts
DefaultBuiltinConfig
getDefaultProcessor
GgPlotAddons
GgPlotCreate
GgPlotImplicitAddons
GraphicsPlotAddons
GraphicsPlotCreate
PlotCreate
PlotFunctionsWithAddParam
TinyPlotAddons
TinyPlotCrate
define.ts
define
diff.ts
diffEnvironment
diffEnvironmentInformation
diffIdentifierReferences
environment.ts
<internal>
builtInEnvJsonReplacer
Environment
IEnvironment
isDefaultBuiltInEnvironment
REnvironmentInformation
identifier.ts
BrandedIdentifier
BrandedNamespace
Identifier
Identifier
IdentifierDefinition
IdentifierReference
InGraphIdentifierDefinition
InGraphReferenceType
isReferenceType
ReferenceType
ReferenceTypeReverseMapping
overwrite.ts
overwriteEnvironment
reference-to-maybe.ts
applyCdsToAllInGraphButConstants
applyCdToReferences
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-constants.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
ValueNull
ValueNumber
ValueSet
ValueString
ValueType
ValueTypes
ValueVector
fn
exceptions-of-function.ts
calculateExceptionsOfFunction
ExceptionPoint
higher-order-function.ts
isFunctionHigherOrder
recursive-function.ts
isFunctionRecursive
graph
call-graph.ts
CallGraph
CallGraph
State
dataflowgraph-builder.ts
<internal>
DataflowGraphBuilder
DataflowGraphEdgeTarget
emptyGraph
getBuiltInSideEffect
df-helper.ts
Dataflow
diff-dataflow-graph.ts
diffDataflowGraph
diffEdges
diffFunctionArguments
diffVertices
edge.ts
<internal>
DfEdge
DfEdge
EdgeType
EdgeTypeBits
EdgeTypeName
shouldTraverseEdge
TraverseEdge
graph.ts
DataflowFunctionFlowInformation
DataflowGraph
DataflowGraphJson
FunctionArgument
FunctionArgument
IEnvironmentJson
IngoingEdges
NamedFunctionArgument
OutgoingEdges
PositionalFunctionArgument
UnknownSideEffect
graph-helper.ts
GraphHelper
quads.ts
df2quads
unknown-replacement.ts
handleReplacementOperator
onReplacementOperator
ReplacementOperatorHandler
ReplacementOperatorHandlerArgs
unknown-side-effect.ts
handleUnknownSideEffect
onUnknownSideEffect
UnknownSideEffectHandler
vertex.ts
<internal>
DataflowGraphVertexArgument
DataflowGraphVertexAstLink
DataflowGraphVertexFunctionCall
DataflowGraphVertexFunctionDefinition
DataflowGraphVertexInfo
DataflowGraphVertexUse
DataflowGraphVertexValue
DataflowGraphVertexVariableDefinition
DataflowGraphVertices
FunctionOriginInformation
isFunctionCallVertex
isFunctionDefinitionVertex
isUseVertex
isValueVertex
isVariableDefinitionVertex
ValidVertexTypeReverse
ValidVertexTypes
VertexType
instrument
instrument-dataflow-count.ts
instrumentDataflowCount
internal
process
functions
call
argument
make-argument.ts
toUnnamedArgument
wrapArgumentsUnnamed
unpack-argument.ts
tryUnpackNoNameArg
unpackArg
unpackNonameArg
built-in
built-in-access.ts
processAccess
symbolArgumentsToStrings
built-in-apply.ts
BuiltInApplyConfiguration
processApply
built-in-assignment.ts
AssignmentConfiguration
AssignmentToSymbolParameters
ExtendedAssignmentConfiguration
markAsAssignment
processAssignment
processAssignmentLike
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
built-in-get.ts
processGet
built-in-if-then-else.ts
IfThenElseConfig
processIfThenElse
built-in-library.ts
processLibrary
built-in-list.ts
processList
built-in-local.ts
LocalFunctionConfiguration
processLocal
built-in-pipe.ts
processPipe
built-in-quote.ts
processQuote
built-in-recall.ts
processRecall
built-in-register-hook.ts
processRegisterHook
RegisterHookConfig
built-in-repeat-loop.ts
processRepeatLoop
built-in-replacement.ts
processReplacementFunction
built-in-rm.ts
processRm
built-in-s-seven-dispatch.ts
processS7Dispatch
S7DispatchSeparator
built-in-s-seven-new-generic.ts
<internal>
processS7NewGeneric
built-in-s-three-dispatch.ts
<internal>
processS3Dispatch
built-in-source.ts
findSource
inferWdFromScript
platformBasename
platformDirname
processSourceCall
sourceRequest
standaloneSourceFile
built-in-special-bin-op.ts
processSpecialBinOp
built-in-stop-if-not.ts
processStopIfNot
built-in-try-catch.ts
processTryCatch
built-in-vector.ts
processVector
built-in-while-loop.ts
processWhileLoop
common.ts
convertFnArgument
convertFnArguments
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
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
pMatch
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
hooks.ts
compactHookStates
getHookInformation
HookInformation
KnownHooks
info.ts
addNonDefaultExitPoints
alwaysExits
ControlDependency
DataflowCfgInformation
DataflowInformation
DataflowInformation
diffControlDependencies
diffControlDependency
doesExitPointPropagateCalls
ExitPoint
ExitPointType
filterOutLoopExitPoints
happensInEveryBranch
happensInEveryBranchSet
negateControlDependency
overwriteExitPoints
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
interface
doc-writing-code.ts
explainWritingCode
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
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
MermaidClassDiagramArguments
mermaidHide
printCodeOfElement
printHierarchy
PrintHierarchyArguments
removeCommentSymbolsFromTypeScriptComment
shortLink
shortLinkFile
TypeElementInSource
TypeElementKind
TypeReport
visualizeMermaidClassDiagram
wiki-mk
doc-context.ts
<internal>
ConstantWikiLinkInfo
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-absint.ts
WikiAbsint
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
MyMathFold
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
detectPotentialCasings
fixCasing
getMostUsedCasing
NAMING_CONVENTION
NamingConventionConfig
NamingConventionMetadata
NamingConventionResult
network-functions.ts
NETWORK_FUNCTIONS
NetworkFunctionsConfig
problematic-eval.ts
PROBLEMATIC_EVAL
ProblematicEvalConfig
ProblematicEvalMetadata
ProblematicEvalResult
seeded-randomness.ts
SEEDED_RANDOMNESS
SeededRandomnessConfig
SeededRandomnessMeta
SeededRandomnessResult
stop-with-call-arg.ts
STOP_WITH_CALL_ARG
StopWithCallConfig
StopWithCallMetadata
StopWithCallResult
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
LinterRuleInformation
LintingPrettyPrintContext
LintingResult
LintingResultCertainty
LintingResults
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-functions-context.ts
FlowrAnalyzerFunctionsContext
FunctionInfo
FunctionTypes
ReadOnlyFlowrAnalyzerFunctionsContext
flowr-analyzer-loading-order-context.ts
FlowrAnalyzerLoadingOrderContext
ReadOnlyFlowrAnalyzerLoadingOrderContext
flowr-analyzer-meta-context.ts
FlowrAnalyzerMetaContext
ReadOnlyFlowrAnalyzerMetaContext
flowr-file.ts
FilePath
FileRole
FlowrFile
FlowrFileProvider
FlowrInlineTextFile
FlowrTextFile
StringableContent
plugins
file-plugins
files
flowr-description-file.ts
DCF
FlowrDescriptionFile
parsePackagesWithVersions
parseRLicenseField
flowr-jupyter-file.ts
FlowrJupyterFile
flowr-namespace-file.ts
FlowrNamespaceFile
isExportedInInfo
isExportedInNamespaceFormat
NamespaceFormat
NamespaceInfo
flowr-news-file.ts
FlowrNewsFile
NewsChunk
flowr-rmarkdown-file.ts
CodeBlock
CodeBlockEx
FlowrRMarkdownFile
isRCodeBlock
parseCodeBlockOptions
parseRMarkdownFile
restoreBlocksWithoutMd
RmdInfo
flowr-sweave-file.ts
<internal>
FlowrSweaveFile
parseSweave
parseSweaveCodeblockStart
SweaveBlockOptions
SweaveCodeBlockContent
SweaveCodeBlockReuse
SweaveInfo
SweaveReuseOptions
notebooks
flowr-analyzer-jupyter-file-plugin.ts
FlowrAnalyzerJupyterFilePlugin
flowr-analyzer-qmd-file-plugin.ts
FlowrAnalyzerQmdFilePlugin
flowr-analyzer-rmd-file-plugin.ts
FlowrAnalyzerRmdFilePlugin
flowr-analyzer-sweave-file-plugin.ts
FlowrAnalyzerSweaveFilePlugin
flowr-analyzer-description-file-plugin.ts
descriptionFileLog
FlowrAnalyzerDescriptionFilePlugin
flowr-analyzer-file-plugin.ts
FlowrAnalyzerFilePlugin
flowr-analyzer-license-file-plugin.ts
FlowrAnalyzerLicenseFilePlugin
flowr-analyzer-namespace-files-plugin.ts
FlowrAnalyzerNamespaceFilesPlugin
flowr-analyzer-news-file-plugin.ts
FlowrAnalyzerNewsFilePlugin
flowr-analyzer-test-file-plugin.ts
FlowrAnalyzerMetaTestFilesPlugin
flowr-analyzer-vignette-file-plugin.ts
FlowrAnalyzerMetaVignetteFilesPlugin
loading-order-plugins
flowr-analyzer-loading-order-description-file-plugin.ts
FlowrAnalyzerLoadingOrderDescriptionFilePlugin
flowr-analyzer-loading-order-plugin.ts
FlowrAnalyzerLoadingOrderPlugin
package-version-plugins
flowr-analyzer-meta-description-file-plugin.ts
FlowrAnalyzerMetaDescriptionFilePlugin
flowr-analyzer-package-versions-description-file-plugin.ts
FlowrAnalyzerPackageVersionsDescriptionFilePlugin
flowr-analyzer-package-versions-namespace-file-plugin.ts
FlowrAnalyzerPackageVersionsNamespaceFilePlugin
namespaceFileLog
flowr-analyzer-package-versions-plugin.ts
FlowrAnalyzerPackageVersionsPlugin
package.ts
Package
PackageOptions
PackageType
project-discovery
flowr-analyzer-project-discovery-plugin.ts
FlowrAnalyzerProjectDiscoveryPlugin
ProjectDiscoveryConfig
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
PromotedCallTest
PromotedLinkTo
call-context-query-format.ts
CallContextQuery
CallContextQueryDefinition
CallContextQueryKindResult
CallContextQueryResult
CallContextQuerySubKindResult
CallNameTypes
DefaultCallContextQueryFormat
FileFilter
LinkTo
LinkToLastCall
LinkToNestedCall
SubCallContextQueryFormat
cascade-action.ts
CascadeAction
identify-link-to-last-call-relation.ts
CallTargets
getValueOfArgument
identifyLinkToLastCallRelation
identifyLinkToLastCallRelationSync
satisfiesCallTargets
identify-link-to-nested-call-relation.ts
identifyLinkToNestedRelation
identify-link-to-relation.ts
identifyLinkToRelation
call-graph-query
call-graph-query-executor.ts
executeCallGraphQuery
call-graph-query-format.ts
CallGraphQuery
CallGraphQueryDefinition
CallGraphQueryResult
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
test-functions.ts
TestFunctions
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
does-call-query
does-call-query-executor.ts
executeDoesCallQuery
does-call-query-format.ts
<internal>
CallsConstraint
DoesCallQuery
DoesCallQueryDefinition
DoesCallQueryResult
FindAllCallsResult
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
input-sources-query
input-sources-query-executor.ts
executeInputSourcesQuery
input-sources-query-format.ts
InputSourcesDefinition
InputSourcesQuery
InputSourcesQueryConfig
InputSourcesQueryResult
simple-input-classifier.ts
classifyInput
InputClassifierConfig
InputClassifierFunctionIdentifier
InputSource
InputSources
InputTraceType
InputType
inspect-exceptions-query
inspect-exception-query-executor.ts
executeExceptionQuery
getFunctionsToConsiderInCallGraph
inspect-exception-query-format.ts
InspectExceptionQuery
InspectExceptionQueryDefinition
InspectExceptionQueryResult
inspect-higher-order-query
inspect-higher-order-query-executor.ts
executeHigherOrderQuery
inspect-higher-order-query-format.ts
InspectHigherOrderQuery
InspectHigherOrderQueryDefinition
InspectHigherOrderQueryResult
inspect-recursion-query
inspect-recursion-query-executor.ts
executeRecursionQuery
inspect-recursion-query-format.ts
InspectRecursionQuery
InspectRecursionQueryDefinition
InspectRecursionQueryResult
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
provenance-query
provenance-query-executor.ts
executeProvenanceQuery
provenance-query-format.ts
fdefBoundaryParser
ProvenanceQuery
ProvenanceQueryDefinition
ProvenanceQueryResult
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
RDelimiter
r-access.ts
<internal>
RAccess
RAccess
RIndexAccess
RNamedAccess
r-argument.ts
RArgument
RArgument
RUnnamedArgument
r-binary-op.ts
RBinaryOp
RBinaryOp
r-break.ts
RBreak
RBreak
r-comment.ts
RComment
RComment
r-expression-list.ts
RExpressionList
RExpressionList
r-for-loop.ts
RForLoop
RForLoop
r-function-call.ts
EmptyArgument
RFunctionArgument
RFunctionCall
RFunctionCall
RNamedFunctionCall
RUnnamedFunctionCall
r-function-definition.ts
RFunctionDefinition
RFunctionDefinition
r-if-then-else.ts
RIfThenElse
RIfThenElse
r-line-directive.ts
RLineDirective
RLineDirective
r-logical.ts
RLogical
RLogical
RLogicalValue
r-next.ts
RNext
RNext
r-number.ts
RNumber
RNumber
r-parameter.ts
RParameter
RParameter
r-pipe.ts
RPipe
RPipe
r-project.ts
RProject
RProject
RProjectFile
r-repeat-loop.ts
RRepeatLoop
RRepeatLoop
r-string.ts
RString
RString
r-symbol.ts
RSymbol
RSymbol
r-unary-op.ts
RUnaryOp
RUnaryOp
r-while-loop.ts
RWhileLoop
RWhileLoop
processing
decorate.ts
AstIdMap
decorateAst
deterministicCountingIdGenerator
deterministicLocationIdGenerator
deterministicPrefixIdGenerator
IdGenerator
nestForElement
nodeToLocationId
NormalizedAst
NormalizedAstDecorationConfiguration
ParentContextInfo
ParentInformation
RNodeWithParent
sourcedDeterministicCountingIdGenerator
fold.ts
foldAst
FoldFunctions
node-id.ts
BuiltIn
NodeId
NodeId
recoverContent
recoverName
role.ts
RoleInParent
rolesOfParents
stateful-fold.ts
DownFold
foldAstStateful
StatefulFoldFunctions
visitor.ts
NodeVisitor
OnEnter
OnExit
model.ts
Leaf
Location
NamespaceIdentifier
NoInfo
OtherInfoNode
RAstNodeBase
RConstant
RConstant
RConstructs
RConstructs
RFunctions
RFunctions
RLoopConstructs
RLoopConstructs
RNode
RNode
ROther
ROther
RSingleNode
RSingleNode
Source
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
RFalse
RImaginaryMarker
RInf
RIntegerMarker
RNa
RNull
RNumberValue
RNumberValue
RNumHexFloatRegex
RStringValue
RStringValue
RTrue
ts2r
roxygen2
documentation-provider.ts
Documentation
DocumentationInfo
getDocumentationOf
roxygen-ast.ts
<internal>
isKnownRoxygenText
KnownRoxygenTags
RoxygenBlock
RoxygenCrossrefTag
RoxygenDatasetDocumentationTag
RoxygenDocType
RoxygenFormattingTag
RoxygenFunctionDocumentationTag
RoxygenNamespaceTag
RoxygenOtherTag
RoxygenReusingDocumentationTag
RoxygenTag
RoxygenTagAlias
RoxygenTagAuthor
RoxygenTagBackref
RoxygenTagBase
RoxygenTagConcept
RoxygenTagDescribeIn
RoxygenTagDescription
RoxygenTagDetails
RoxygenTagEval
RoxygenTagEvalNamespace
RoxygenTagEvalRd
RoxygenTagExample
RoxygenTagExamples
RoxygenTagExamplesIf
RoxygenTagExport
RoxygenTagExportClass
RoxygenTagExportMethod
RoxygenTagExportPattern
RoxygenTagExportS3Method
RoxygenTagFamily
RoxygenTagField
RoxygenTagFormat
RoxygenTagImport
RoxygenTagImportClassesFrom
RoxygenTagImportFrom
RoxygenTagImportMethodsFrom
RoxygenTagIncludeRmd
RoxygenTagInherit
RoxygenTagInheritDotParams
RoxygenTagInheritParams
RoxygenTagInheritSection
RoxygenTagKeywords
RoxygenTagMarkdown
RoxygenTagMethod
RoxygenTagName
RoxygenTagNoMarkdown
RoxygenTagNoRd
RoxygenTagOrder
RoxygenTagParam
RoxygenTagRawNamespace
RoxygenTagRawRd
RoxygenTagRdName
RoxygenTagReferences
RoxygenTagReturn
RoxygenTagSection
RoxygenTagSeeAlso
RoxygenTagSlot
RoxygenTagSource
RoxygenTagTemplate
RoxygenTagTemplateVar
RoxygenTagText
RoxygenTagTitle
RoxygenTagUsage
RoxygenTagUseDynLib
RoxygenUnknownTag
roxygen-parse.ts
<internal>
firstAndRest
parseRoxygenComment
parseRoxygenCommentsOfNode
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
CriteriaParseError
DecodedCriteria
DecodedCriterion
SlicingCriteria
SlicingCriteria
SlicingCriterion
SlicingCriterion
static
fingerprint.ts
envFingerprint
fingerprint
Fingerprint
slice-call.ts
getAllFunctionCallTargetsForSlice
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
DropPathsOption
EngineConfig
FlowrConfig
FlowrConfig
FlowrLaxSourcingOptions
InferWorkingDirectory
KnownEngines
RShellEngineConfig
TreeSitterEngineConfig
ValidFlowrConfigPaths
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
wrapExitPoint
wrapReference
ast-builder.ts
exprList
numVal
parameter
label.ts
<internal>
decorateLabelContext
dropTestLabel
label
modifyLabelName
printMissingLabelSummary
SerializedTestLabel
TestLabel
TestLabelContext
TheGlobalLabelMap
linter.ts
assertLinter
assertLinterWithIds
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
assertDataflow
assertDecoratedAst
assertOutput
assertReconstructed
assertSliced
assertSlicedF
defaultTestConfiguration
mapProblematicNodesToIds
retrieveNormalizedAst
sameForSteps
skipTestBecauseConfigNotMet
TestCaseFailType
TestConfiguration
TestConfigurationWithOutput
testWithShell
withShell
withTreeSitter
Represents the different types of set comparators for satisfiability checks for an abstract domain.