lint-fix: automatically fix the new issues introduced by the ts-eslin…

…t `indent` rule
flowr-analysis · Aug 18, 2023 · 645feae · 645feae
1 parent 61dcfe4
commit 645feae
Show file tree

Hide file tree

Showing 82 changed files with 892 additions and 892 deletions.
diff --git a/src/benchmark/slicer.ts b/src/benchmark/slicer.ts
@@ -42,11 +42,11 @@ import { MergeableRecord } from '../util/objects'
 export const benchmarkLogger = log.getSubLogger({ name: "benchmark" })
 
 export interface BenchmarkSlicerStats extends MergeableRecord {
-  stats:         SlicerStats
-  tokenMap:      Record<string, string>
-  normalizedAst: RExpressionList
-  decoratedAst:  DecoratedAst
-  dataflow:      DataflowInformation
+    stats:         SlicerStats
+    tokenMap:      Record<string, string>
+    normalizedAst: RExpressionList
+    decoratedAst:  DecoratedAst
+    dataflow:      DataflowInformation
 }
 
 /**

diff --git a/src/benchmark/stats/stats.ts b/src/benchmark/stats/stats.ts
@@ -11,36 +11,36 @@ export type PerSliceMeasurements = typeof PerSliceMeasurements[number]
 export type ElapsedTime = bigint
 
 export interface PerSliceStats {
-  measurements:                Map<PerSliceMeasurements, ElapsedTime>
-  slicingCriteria:             { criterion: SingleSlicingCriterion, id: NodeId }[]
-  reconstructedCode:           ReconstructionResult
-  numberOfDataflowNodesSliced: number
-  timesHitThreshold:           number
+    measurements:                Map<PerSliceMeasurements, ElapsedTime>
+    slicingCriteria:             { criterion: SingleSlicingCriterion, id: NodeId }[]
+    reconstructedCode:           ReconstructionResult
+    numberOfDataflowNodesSliced: number
+    timesHitThreshold:           number
 }
 
 export interface SlicerStatsInput<T = number> {
-  numberOfLines:                   T
-  numberOfCharacters:              T
-  numberOfNonWhitespaceCharacters: T
-  numberOfRTokens:                 T
-  numberOfNormalizedTokens:        T
+    numberOfLines:                   T
+    numberOfCharacters:              T
+    numberOfNonWhitespaceCharacters: T
+    numberOfRTokens:                 T
+    numberOfNormalizedTokens:        T
 }
 
 
 export interface SlicerStatsDataflow<T = number> {
-  numberOfNodes:               T
-  numberOfEdges:               T
-  numberOfCalls:               T
-  numberOfFunctionDefinitions: T
+    numberOfNodes:               T
+    numberOfEdges:               T
+    numberOfCalls:               T
+    numberOfFunctionDefinitions: T
 }
 
 /**
  * The statistics that are collected by the {@link BenchmarkSlicer} and used for benchmarking.
  */
 export interface SlicerStats {
-  commonMeasurements:   Map<CommonSlicerMeasurements, ElapsedTime>
-  perSliceMeasurements: Map<SlicingCriteria, PerSliceStats>
-  request:              RParseRequestFromFile | RParseRequestFromText
-  input:                SlicerStatsInput
-  dataflow:             SlicerStatsDataflow
+    commonMeasurements:   Map<CommonSlicerMeasurements, ElapsedTime>
+    perSliceMeasurements: Map<SlicingCriteria, PerSliceStats>
+    request:              RParseRequestFromFile | RParseRequestFromText
+    input:                SlicerStatsInput
+    dataflow:             SlicerStatsDataflow
 }
diff --git a/src/benchmark/stats/summarizer.ts b/src/benchmark/stats/summarizer.ts
@@ -27,56 +27,56 @@ import { log } from '../../util/log'
 const tempfile = tmp.fileSync({ postfix: '.R' })
 
 export interface SummarizedMeasurement {
-  min:    number
-  max:    number
-  median: number
-  /** average */
-  mean:   number
-  /** standard deviation */
-  std:    number
+    min:    number
+    max:    number
+    median: number
+    /** average */
+    mean:   number
+    /** standard deviation */
+    std:    number
 }
 
 interface SliceSizeCollection {
-  lines:                   number[]
-  characters:              number[]
-  nonWhitespaceCharacters: number[]
-  /** like library statements during reconstruction */
-  autoSelected:            number[]
-  dataflowNodes:           number[]
-  tokens:                  number[]
-  normalizedTokens:        number[]
+    lines:                   number[]
+    characters:              number[]
+    nonWhitespaceCharacters: number[]
+    /** like library statements during reconstruction */
+    autoSelected:            number[]
+    dataflowNodes:           number[]
+    tokens:                  number[]
+    normalizedTokens:        number[]
 }
 
 /**
  * @see SlicerStats
  * @see summarizeSlicerStats
  */
 export type SummarizedSlicerStats = {
-  perSliceMeasurements: SummarizedPerSliceStats
+    perSliceMeasurements: SummarizedPerSliceStats
 } & Omit<SlicerStats, 'perSliceMeasurements'>
 
 export interface Reduction<T = number> {
-  numberOfLines:                   T
-  numberOfLinesNoAutoSelection:    T
-  numberOfCharacters:              T
-  numberOfNonWhitespaceCharacters: T
-  numberOfRTokens:                 T
-  numberOfNormalizedTokens:        T
-  numberOfDataflowNodes:           T
+    numberOfLines:                   T
+    numberOfLinesNoAutoSelection:    T
+    numberOfCharacters:              T
+    numberOfNonWhitespaceCharacters: T
+    numberOfRTokens:                 T
+    numberOfNormalizedTokens:        T
+    numberOfDataflowNodes:           T
 }
 
 export interface SummarizedPerSliceStats {
-  /** number of total slicing calls */
-  numberOfSlices:     number
-  /** statistics on the used slicing criteria (number of ids within criteria etc.) */
-  sliceCriteriaSizes: SummarizedMeasurement
-  measurements:       Map<PerSliceMeasurements, SummarizedMeasurement>
-  reduction:          Reduction<SummarizedMeasurement>
-  failedToRepParse:   number
-  timesHitThreshold:  number
-  sliceSize:          {
-    [K in keyof SliceSizeCollection]: SummarizedMeasurement
-  }
+    /** number of total slicing calls */
+    numberOfSlices:     number
+    /** statistics on the used slicing criteria (number of ids within criteria etc.) */
+    sliceCriteriaSizes: SummarizedMeasurement
+    measurements:       Map<PerSliceMeasurements, SummarizedMeasurement>
+    reduction:          Reduction<SummarizedMeasurement>
+    failedToRepParse:   number
+    timesHitThreshold:  number
+    sliceSize:          {
+        [K in keyof SliceSizeCollection]: SummarizedMeasurement
+    }
 }
 
 function safeDivPercentage(a: number, b: number): number | undefined{
@@ -96,7 +96,7 @@ function safeDivPercentage(a: number, b: number): number | undefined{
 }
 
 function calculateReductionForSlice(input: SlicerStatsInput, dataflow: SlicerStatsDataflow, perSlice: {
-  [k in keyof SliceSizeCollection]: number
+    [k in keyof SliceSizeCollection]: number
 }): Reduction<number | undefined> {
 	return {
 		numberOfLines:                   safeDivPercentage(perSlice.lines, input.numberOfLines),
@@ -259,17 +259,17 @@ export function summarizeSummarizedMeasurement(data: SummarizedMeasurement[]): S
 
 
 export interface UltimateSlicerStats {
-  totalRequests:        number
-  totalSlices:          number
-  commonMeasurements:   Map<CommonSlicerMeasurements, SummarizedMeasurement>
-  perSliceMeasurements: Map<PerSliceMeasurements, SummarizedMeasurement>
-  /** sum */
-  failedToRepParse:     number
-  /** sum */
-  timesHitThreshold:    number
-  reduction:            Reduction<SummarizedMeasurement>
-  input:                SlicerStatsInput<SummarizedMeasurement>
-  dataflow:             SlicerStatsDataflow<SummarizedMeasurement>
+    totalRequests:        number
+    totalSlices:          number
+    commonMeasurements:   Map<CommonSlicerMeasurements, SummarizedMeasurement>
+    perSliceMeasurements: Map<PerSliceMeasurements, SummarizedMeasurement>
+    /** sum */
+    failedToRepParse:     number
+    /** sum */
+    timesHitThreshold:    number
+    reduction:            Reduction<SummarizedMeasurement>
+    input:                SlicerStatsInput<SummarizedMeasurement>
+    dataflow:             SlicerStatsDataflow<SummarizedMeasurement>
 }
 
 export function summarizeAllSummarizedStats(stats: SummarizedSlicerStats[]): UltimateSlicerStats {

diff --git a/src/benchmark/stopwatch.ts b/src/benchmark/stopwatch.ts
@@ -1,8 +1,8 @@
 import { guard } from '../util/assert'
 
 export interface IStoppableStopwatch {
-  /** Stop the given stopwatch. */
-  stop(): void
+    /** Stop the given stopwatch. */
+    stop(): void
 }
 
 /** unguarded start-stop wrapper */

diff --git a/src/cli/benchmark-app.ts b/src/cli/benchmark-app.ts
@@ -28,13 +28,13 @@ export const optionDefinitions: OptionDefinition[] = [
 ]
 
 export interface BenchmarkCliOptions {
-  verbose:  boolean
-  help:     boolean
-  input:    string[]
-  output:   string
-  slice:    string
-  parallel: number
-  limit?:   number
+    verbose:  boolean
+    help:     boolean
+    input:    string[]
+    output:   string
+    slice:    string
+    parallel: number
+    limit?:   number
 }
 
 export const optionHelp = [

diff --git a/src/cli/benchmark-helper-app.ts b/src/cli/benchmark-helper-app.ts
@@ -19,11 +19,11 @@ export const optionDefinitions: OptionDefinition[] = [
 ]
 
 export interface SingleBenchmarkCliOptions {
-  verbose: boolean
-  help:    boolean
-  input?:  string
-  slice:   string
-  output?: string
+    verbose: boolean
+    help:    boolean
+    input?:  string
+    slice:   string
+    output?: string
 }
 
 export const optionHelp = [

diff --git a/src/cli/export-quads-app.ts b/src/cli/export-quads-app.ts
@@ -18,11 +18,11 @@ export const optionDefinitions: OptionDefinition[] = [
 ]
 
 export interface QuadsCliOptions {
-  verbose: boolean
-  help:    boolean
-  input:   string[]
-  limit:   number
-  output:  string | undefined
+    verbose: boolean
+    help:    boolean
+    input:   string[]
+    limit:   number
+    output:  string | undefined
 }
 
 export const optionHelp = [

diff --git a/src/cli/slicer-app.ts b/src/cli/slicer-app.ts
@@ -21,13 +21,13 @@ export const optionDefinitions: OptionDefinition[] = [
 ]
 
 export interface SlicerCliOptions {
-  verbose:   boolean
-  help:      boolean
-  input:     string | undefined
-  criterion: string | undefined
-  output:    string | undefined
-  stats:     boolean
-  // dataflow:  boolean
+    verbose:   boolean
+    help:      boolean
+    input:     string | undefined
+    criterion: string | undefined
+    output:    string | undefined
+    stats:     boolean
+    // dataflow:  boolean
 }
 
 export const optionHelp = [

diff --git a/src/cli/summarizer-app.ts b/src/cli/summarizer-app.ts
@@ -26,11 +26,11 @@ export const optionDefinitions: OptionDefinition[] = [
 ]
 
 export interface BenchmarkCliOptions {
-  verbose:         boolean
-  help:            boolean
-  'ultimate-only': boolean
-  input?:          string
-  output?:         string
+    verbose:         boolean
+    help:            boolean
+    'ultimate-only': boolean
+    input?:          string
+    output?:         string
 }
 
 export const optionHelp = [
@@ -53,8 +53,8 @@ export const optionHelp = [
 
 
 interface BenchmarkData {
-  filename: string,
-  stats:    SlicerStats
+    filename: string,
+    stats:    SlicerStats
 }
 
 const options = commandLineArgs(optionDefinitions) as BenchmarkCliOptions