Variable AbsintQueryDefinitionConst

Type Declaration

• ReadonlyasciiSummarizer: (
      formatter: OutputFormatter,
      _analyzer: ReadonlyFlowrAnalysisProvider<KnownParser>,
      queryResults: BaseQueryResult,
      result: string[],
  ) => true

• Readonlycompleter: (
      line: readonly string[],
      startingNewArg: boolean,
      _config: FlowrConfig,
  ) => CommandCompletions

• Readonlyexecutor: <AbsintType extends "df-shape">(
      __namedParameters: BasicQueryData,
      queries: readonly AbsintQuery<AbsintType>[],
  ) => Promise<AbsintQueryResult<AbsintType>>

• ReadonlyflattenInvolvedNodes: (queryResults: BaseQueryResult) => NodeId[]

• ReadonlyfromLine: (
      output: ReplOutput,
      line: readonly string[],
      _config: FlowrConfig,
  ) => ParsedQueryLine<"absint">

• ReadonlyjsonFormatter: (queryResults: BaseQueryResult) => object

• Readonlyschema: ObjectSchema<any>

• Readonlysyntax: "@absint <inference> [(<crit>;...)] <code | file://path>"

• Readonlytitle: "Abstract Interpretation Query"