@eagleoutice/flowr 1.3.11
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/LICENSE +674 -0
- package/README.md +27 -0
- package/benchmark/benchmark-slicer.js +223 -0
- package/benchmark/index.d.ts +3 -0
- package/benchmark/index.js +20 -0
- package/benchmark/slicer.d.ts +100 -0
- package/benchmark/slicer.js +223 -0
- package/benchmark/stats/index.d.ts +10 -0
- package/benchmark/stats/index.js +27 -0
- package/benchmark/stats/print.d.ts +7 -0
- package/benchmark/stats/print.js +157 -0
- package/benchmark/stats/stats.d.ts +41 -0
- package/benchmark/stats/stats.js +6 -0
- package/benchmark/stopwatch.d.ts +35 -0
- package/benchmark/stopwatch.js +79 -0
- package/cli/benchmark-app.d.ts +9 -0
- package/cli/benchmark-app.js +52 -0
- package/cli/benchmark-helper-app.d.ts +7 -0
- package/cli/benchmark-helper-app.js +60 -0
- package/cli/common/features.d.ts +3 -0
- package/cli/common/features.js +30 -0
- package/cli/common/index.d.ts +2 -0
- package/cli/common/index.js +19 -0
- package/cli/common/options.d.ts +20 -0
- package/cli/common/options.js +82 -0
- package/cli/common/script.d.ts +21 -0
- package/cli/common/script.js +61 -0
- package/cli/common/scripts-info.d.ts +24 -0
- package/cli/common/scripts-info.js +69 -0
- package/cli/export-quads-app.d.ts +7 -0
- package/cli/export-quads-app.js +46 -0
- package/cli/repl/commands/cfg.d.ts +3 -0
- package/cli/repl/commands/cfg.js +37 -0
- package/cli/repl/commands/commands.d.ts +11 -0
- package/cli/repl/commands/commands.js +103 -0
- package/cli/repl/commands/dataflow.d.ts +3 -0
- package/cli/repl/commands/dataflow.js +34 -0
- package/cli/repl/commands/execute.d.ts +4 -0
- package/cli/repl/commands/execute.js +27 -0
- package/cli/repl/commands/index.d.ts +2 -0
- package/cli/repl/commands/index.js +19 -0
- package/cli/repl/commands/main.d.ts +39 -0
- package/cli/repl/commands/main.js +14 -0
- package/cli/repl/commands/normalize.d.ts +3 -0
- package/cli/repl/commands/normalize.js +34 -0
- package/cli/repl/commands/parse.d.ts +2 -0
- package/cli/repl/commands/parse.js +109 -0
- package/cli/repl/commands/quit.d.ts +2 -0
- package/cli/repl/commands/quit.js +12 -0
- package/cli/repl/commands/version.d.ts +16 -0
- package/cli/repl/commands/version.js +33 -0
- package/cli/repl/core.d.ts +41 -0
- package/cli/repl/core.js +89 -0
- package/cli/repl/execute.d.ts +28 -0
- package/cli/repl/execute.js +79 -0
- package/cli/repl/index.d.ts +5 -0
- package/cli/repl/index.js +22 -0
- package/cli/repl/prompt.d.ts +2 -0
- package/cli/repl/prompt.js +9 -0
- package/cli/repl/server/connection.d.ts +21 -0
- package/cli/repl/server/connection.js +217 -0
- package/cli/repl/server/messages/analysis.d.ts +71 -0
- package/cli/repl/server/messages/analysis.js +21 -0
- package/cli/repl/server/messages/error.d.ts +11 -0
- package/cli/repl/server/messages/error.js +3 -0
- package/cli/repl/server/messages/hello.d.ts +20 -0
- package/cli/repl/server/messages/hello.js +3 -0
- package/cli/repl/server/messages/index.d.ts +1 -0
- package/cli/repl/server/messages/index.js +3 -0
- package/cli/repl/server/messages/messages.d.ts +35 -0
- package/cli/repl/server/messages/messages.js +20 -0
- package/cli/repl/server/messages/repl.d.ts +33 -0
- package/cli/repl/server/messages/repl.js +17 -0
- package/cli/repl/server/messages/slice.d.ts +25 -0
- package/cli/repl/server/messages/slice.js +17 -0
- package/cli/repl/server/net.d.ts +33 -0
- package/cli/repl/server/net.js +24 -0
- package/cli/repl/server/send.d.ts +4 -0
- package/cli/repl/server/send.js +18 -0
- package/cli/repl/server/server.d.ts +20 -0
- package/cli/repl/server/server.js +66 -0
- package/cli/repl/server/validate.d.ts +15 -0
- package/cli/repl/server/validate.js +34 -0
- package/cli/slicer-app.d.ts +11 -0
- package/cli/slicer-app.js +81 -0
- package/cli/statistics-app.d.ts +11 -0
- package/cli/statistics-app.js +98 -0
- package/cli/statistics-helper-app.d.ts +11 -0
- package/cli/statistics-helper-app.js +83 -0
- package/cli/summarizer-app.d.ts +18 -0
- package/cli/summarizer-app.js +67 -0
- package/core/index.d.ts +4 -0
- package/core/index.js +23 -0
- package/core/input.d.ts +42 -0
- package/core/input.js +3 -0
- package/core/output.d.ts +15 -0
- package/core/output.js +3 -0
- package/core/pipeline-executor.js +221 -0
- package/core/print/dataflow-printer.d.ts +8 -0
- package/core/print/dataflow-printer.js +62 -0
- package/core/print/normalize-printer.d.ts +7 -0
- package/core/print/normalize-printer.js +31 -0
- package/core/print/parse-printer.d.ts +3 -0
- package/core/print/parse-printer.js +29 -0
- package/core/print/print.d.ts +47 -0
- package/core/print/print.js +13 -0
- package/core/print/slice-diff-ansi.d.ts +2 -0
- package/core/print/slice-diff-ansi.js +49 -0
- package/core/slicer.d.ts +123 -0
- package/core/slicer.js +227 -0
- package/core/stepping-slicer.js +160 -0
- package/core/steps/all/00-parse.js +19 -0
- package/core/steps/all/10-normalize.js +21 -0
- package/core/steps/all/20-dataflow.js +21 -0
- package/core/steps/all/30-slice.js +16 -0
- package/core/steps/all/40-reconstruct.js +16 -0
- package/core/steps/all/core/00-parse.js +24 -0
- package/core/steps/all/core/10-normalize.js +46 -0
- package/core/steps/all/core/20-dataflow.js +39 -0
- package/core/steps/all/static-slicing/00-slice.js +21 -0
- package/core/steps/all/static-slicing/10-reconstruct.js +21 -0
- package/core/steps/index.js +21 -0
- package/core/steps/input.js +3 -0
- package/core/steps/output.js +3 -0
- package/core/steps/pipeline/create.js +130 -0
- package/core/steps/pipeline/default.js +15 -0
- package/core/steps/pipeline/dependency-checker.js +76 -0
- package/core/steps/pipeline/index.js +20 -0
- package/core/steps/pipeline/invalid-pipeline-error.js +14 -0
- package/core/steps/pipeline/pipeline.js +28 -0
- package/core/steps/step.js +8 -0
- package/core/steps/steps-provider.js +3 -0
- package/core/steps/steps.js +35 -0
- package/core/steps.d.ts +166 -0
- package/core/steps.js +99 -0
- package/dataflow/common/environments/append.js +48 -0
- package/dataflow/common/environments/environment.js +165 -0
- package/dataflow/common/environments/index.js +23 -0
- package/dataflow/common/environments/overwrite.js +82 -0
- package/dataflow/common/environments/register.js +49 -0
- package/dataflow/common/environments/resolve-by-name.js +35 -0
- package/dataflow/common/environments/scopes.js +6 -0
- package/dataflow/common/environments/scoping.js +27 -0
- package/dataflow/environments/append.d.ts +8 -0
- package/dataflow/environments/append.js +48 -0
- package/dataflow/environments/environment.d.ts +78 -0
- package/dataflow/environments/environment.js +161 -0
- package/dataflow/environments/index.d.ts +7 -0
- package/dataflow/environments/index.js +23 -0
- package/dataflow/environments/overwrite.d.ts +6 -0
- package/dataflow/environments/overwrite.js +82 -0
- package/dataflow/environments/register.d.ts +7 -0
- package/dataflow/environments/register.js +39 -0
- package/dataflow/environments/resolve-by-name.d.ts +12 -0
- package/dataflow/environments/resolve-by-name.js +35 -0
- package/dataflow/environments/scopes.d.ts +6 -0
- package/dataflow/environments/scopes.js +6 -0
- package/dataflow/environments/scoping.d.ts +4 -0
- package/dataflow/environments/scoping.js +27 -0
- package/dataflow/extractor.d.ts +6 -0
- package/dataflow/extractor.js +60 -0
- package/dataflow/graph/diff.d.ts +18 -0
- package/dataflow/graph/diff.js +206 -0
- package/dataflow/graph/edge.d.ts +37 -0
- package/dataflow/graph/edge.js +32 -0
- package/dataflow/graph/equal.js +127 -0
- package/dataflow/graph/graph.d.ts +120 -0
- package/dataflow/graph/graph.js +298 -0
- package/dataflow/graph/index.d.ts +4 -0
- package/dataflow/graph/index.js +21 -0
- package/dataflow/graph/quads.d.ts +8 -0
- package/dataflow/graph/quads.js +27 -0
- package/dataflow/graph/vertex.d.ts +86 -0
- package/dataflow/graph/vertex.js +3 -0
- package/dataflow/index.d.ts +5 -0
- package/dataflow/index.js +24 -0
- package/dataflow/internal/info.d.ts +21 -0
- package/dataflow/internal/info.js +16 -0
- package/dataflow/internal/linker.d.ts +41 -0
- package/dataflow/internal/linker.js +255 -0
- package/dataflow/internal/process/access.d.ts +4 -0
- package/dataflow/internal/process/access.js +53 -0
- package/dataflow/internal/process/expression-list.d.ts +8 -0
- package/dataflow/internal/process/expression-list.js +148 -0
- package/dataflow/internal/process/functions/argument.d.ts +8 -0
- package/dataflow/internal/process/functions/argument.js +46 -0
- package/dataflow/internal/process/functions/exit-points.d.ts +2 -0
- package/dataflow/internal/process/functions/exit-points.js +121 -0
- package/dataflow/internal/process/functions/function-call.d.ts +5 -0
- package/dataflow/internal/process/functions/function-call.js +99 -0
- package/dataflow/internal/process/functions/function-definition.d.ts +4 -0
- package/dataflow/internal/process/functions/function-definition.js +176 -0
- package/dataflow/internal/process/functions/parameter.d.ts +4 -0
- package/dataflow/internal/process/functions/parameter.js +47 -0
- package/dataflow/internal/process/if-then-else.d.ts +4 -0
- package/dataflow/internal/process/if-then-else.js +56 -0
- package/dataflow/internal/process/loops/for-loop.d.ts +4 -0
- package/dataflow/internal/process/loops/for-loop.js +54 -0
- package/dataflow/internal/process/loops/repeat-loop.d.ts +4 -0
- package/dataflow/internal/process/loops/repeat-loop.js +21 -0
- package/dataflow/internal/process/loops/while-loop.d.ts +4 -0
- package/dataflow/internal/process/loops/while-loop.js +31 -0
- package/dataflow/internal/process/operators/assignment.d.ts +4 -0
- package/dataflow/internal/process/operators/assignment.js +129 -0
- package/dataflow/internal/process/operators/non-assignment-binary-op.d.ts +4 -0
- package/dataflow/internal/process/operators/non-assignment-binary-op.js +25 -0
- package/dataflow/internal/process/operators/pipe.d.ts +4 -0
- package/dataflow/internal/process/operators/pipe.js +46 -0
- package/dataflow/internal/process/operators/unary-op.d.ts +4 -0
- package/dataflow/internal/process/operators/unary-op.js +10 -0
- package/dataflow/internal/process/symbol.d.ts +4 -0
- package/dataflow/internal/process/symbol.js +21 -0
- package/dataflow/internal/process/uninteresting-leaf.d.ts +3 -0
- package/dataflow/internal/process/uninteresting-leaf.js +9 -0
- package/dataflow/processor.d.ts +47 -0
- package/dataflow/processor.js +20 -0
- package/dataflow/v1/extractor.js +60 -0
- package/dataflow/v1/graph/diff.js +206 -0
- package/dataflow/v1/graph/edge.js +32 -0
- package/dataflow/v1/graph/graph.js +298 -0
- package/dataflow/v1/graph/index.js +21 -0
- package/dataflow/v1/graph/quads.js +27 -0
- package/dataflow/v1/graph/vertex.js +3 -0
- package/dataflow/v1/index.js +24 -0
- package/dataflow/v1/internal/info.js +16 -0
- package/dataflow/v1/internal/linker.js +255 -0
- package/dataflow/v1/internal/process/access.js +54 -0
- package/dataflow/v1/internal/process/expression-list.js +154 -0
- package/dataflow/v1/internal/process/functions/argument.js +46 -0
- package/dataflow/v1/internal/process/functions/exit-points.js +125 -0
- package/dataflow/v1/internal/process/functions/function-call.js +99 -0
- package/dataflow/v1/internal/process/functions/function-definition.js +176 -0
- package/dataflow/v1/internal/process/functions/parameter.js +47 -0
- package/dataflow/v1/internal/process/if-then-else.js +57 -0
- package/dataflow/v1/internal/process/loops/for-loop.js +54 -0
- package/dataflow/v1/internal/process/loops/repeat-loop.js +21 -0
- package/dataflow/v1/internal/process/loops/while-loop.js +31 -0
- package/dataflow/v1/internal/process/operators/assignment.js +129 -0
- package/dataflow/v1/internal/process/operators/non-assignment-binary-op.js +25 -0
- package/dataflow/v1/internal/process/operators/pipe.js +46 -0
- package/dataflow/v1/internal/process/operators/unary-op.js +10 -0
- package/dataflow/v1/internal/process/symbol.js +21 -0
- package/dataflow/v1/internal/process/uninteresting-leaf.js +9 -0
- package/dataflow/v1/processor.js +20 -0
- package/dataflow/v2/entry.js +11 -0
- package/flowr-1.3.7.tgz +0 -0
- package/flowr.d.ts +26 -0
- package/flowr.js +135 -0
- package/index.d.ts +6 -0
- package/index.js +23 -0
- package/package.json +384 -0
- package/r-bridge/index.d.ts +11 -0
- package/r-bridge/index.js +28 -0
- package/r-bridge/lang-4.x/ast/index.d.ts +2 -0
- package/r-bridge/lang-4.x/ast/index.js +19 -0
- package/r-bridge/lang-4.x/ast/model/collect.d.ts +9 -0
- package/r-bridge/lang-4.x/ast/model/collect.js +23 -0
- package/r-bridge/lang-4.x/ast/model/index.d.ts +6 -0
- package/r-bridge/lang-4.x/ast/model/index.js +23 -0
- package/r-bridge/lang-4.x/ast/model/model.d.ts +127 -0
- package/r-bridge/lang-4.x/ast/model/model.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/index.d.ts +21 -0
- package/r-bridge/lang-4.x/ast/model/nodes/index.js +38 -0
- package/r-bridge/lang-4.x/ast/model/nodes/info/index.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/model/nodes/info/index.js +27 -0
- package/r-bridge/lang-4.x/ast/model/nodes/info/r-delimiter.d.ts +12 -0
- package/r-bridge/lang-4.x/ast/model/nodes/info/r-delimiter.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-access.d.ts +24 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-access.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-argument.d.ts +11 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-argument.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-binary-op.d.ts +25 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-binary-op.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-break.d.ts +5 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-break.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-comment.d.ts +6 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-comment.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-expression-list.d.ts +6 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-expression-list.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-for-loop.d.ts +18 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-for-loop.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-function-call.d.ts +31 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-function-call.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-function-definition.d.ts +10 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-function-definition.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-if-then-else.d.ts +9 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-if-then-else.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-line-directive.d.ts +7 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-line-directive.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-logical.d.ts +7 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-logical.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-next.d.ts +5 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-next.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-number.d.ts +8 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-number.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-parameter.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-parameter.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-pipe.d.ts +7 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-pipe.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-repeat-loop.d.ts +12 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-repeat-loop.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-string.d.ts +7 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-string.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-symbol.d.ts +7 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-symbol.js +9 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-unary-op.d.ts +18 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-unary-op.js +3 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-while-loop.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/model/nodes/r-while-loop.js +3 -0
- package/r-bridge/lang-4.x/ast/model/operators.d.ts +46 -0
- package/r-bridge/lang-4.x/ast/model/operators.js +67 -0
- package/r-bridge/lang-4.x/ast/model/processing/decorate.d.ts +81 -0
- package/r-bridge/lang-4.x/ast/model/processing/decorate.js +342 -0
- package/r-bridge/lang-4.x/ast/model/processing/fold.d.ts +10 -0
- package/r-bridge/lang-4.x/ast/model/processing/fold.js +20 -0
- package/r-bridge/lang-4.x/ast/model/processing/index.d.ts +5 -0
- package/r-bridge/lang-4.x/ast/model/processing/index.js +22 -0
- package/r-bridge/lang-4.x/ast/model/processing/role.d.ts +41 -0
- package/r-bridge/lang-4.x/ast/model/processing/role.js +17 -0
- package/r-bridge/lang-4.x/ast/model/processing/stateful-fold.d.ts +61 -0
- package/r-bridge/lang-4.x/ast/model/processing/stateful-fold.js +87 -0
- package/r-bridge/lang-4.x/ast/model/processing/visitor.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/model/processing/visitor.js +109 -0
- package/r-bridge/lang-4.x/ast/model/type.d.ts +206 -0
- package/r-bridge/lang-4.x/ast/model/type.js +18 -0
- package/r-bridge/lang-4.x/ast/model/versions.d.ts +9 -0
- package/r-bridge/lang-4.x/ast/model/versions.js +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/common/config.js +16 -0
- package/r-bridge/lang-4.x/ast/parser/xml/common/input-format.js +42 -0
- package/r-bridge/lang-4.x/ast/parser/xml/common/meta.js +118 -0
- package/r-bridge/lang-4.x/ast/parser/xml/common/xml-to-json.js +58 -0
- package/r-bridge/lang-4.x/ast/parser/xml/config.d.ts +25 -0
- package/r-bridge/lang-4.x/ast/parser/xml/config.js +16 -0
- package/r-bridge/lang-4.x/ast/parser/xml/data.d.ts +22 -0
- package/r-bridge/lang-4.x/ast/parser/xml/data.js +3 -0
- package/r-bridge/lang-4.x/ast/parser/xml/hooks.d.ts +292 -0
- package/r-bridge/lang-4.x/ast/parser/xml/hooks.js +136 -0
- package/r-bridge/lang-4.x/ast/parser/xml/index.d.ts +5 -0
- package/r-bridge/lang-4.x/ast/parser/xml/index.js +22 -0
- package/r-bridge/lang-4.x/ast/parser/xml/input-format.d.ts +32 -0
- package/r-bridge/lang-4.x/ast/parser/xml/input-format.js +33 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/access.d.ts +12 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/access.js +107 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/control/if-then-else.d.ts +15 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/control/if-then-else.js +32 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/control/if-then.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/control/if-then.js +46 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/control/index.d.ts +2 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/control/index.js +19 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/expression/expression.d.ts +10 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/expression/expression.js +65 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/expression/index.d.ts +1 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/expression/index.js +18 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/argument.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/argument.js +74 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/call.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/call.js +149 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/definition.d.ts +12 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/definition.js +60 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/index.d.ts +2 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/parameter.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/functions/parameter.js +64 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/index.d.ts +10 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/index.js +27 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/break.d.ts +4 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/break.js +24 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/for.d.ts +4 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/for.js +72 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/index.d.ts +5 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/index.js +22 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/next.d.ts +4 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/next.js +24 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/repeat.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/repeat.js +42 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/while.d.ts +4 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/loops/while.js +45 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/meta.d.ts +50 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/meta.js +118 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/binary.d.ts +8 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/binary.js +162 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/index.d.ts +3 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/special.d.ts +6 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/special.js +24 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/unary.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/operators/unary.js +59 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/other/comment.d.ts +11 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/other/comment.js +34 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/other/index.d.ts +1 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/other/index.js +18 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/other/line-directive.d.ts +12 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/other/line-directive.js +55 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/elements.d.ts +10 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/elements.js +159 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/index.d.ts +3 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/root.d.ts +4 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/root.js +34 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/single-element.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/structure/single-element.js +64 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/index.d.ts +3 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/number.d.ts +13 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/number.js +56 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/string.d.ts +11 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/string.js +41 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/symbol.d.ts +14 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/values/symbol.js +56 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/xml-to-json.d.ts +9 -0
- package/r-bridge/lang-4.x/ast/parser/xml/internal/xml-to-json.js +51 -0
- package/r-bridge/lang-4.x/ast/parser/xml/parser.d.ts +17 -0
- package/r-bridge/lang-4.x/ast/parser/xml/parser.js +30 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/data.js +3 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/hooks.js +136 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/index.js +22 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/access.js +107 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/control/if-then-else.js +32 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/control/if-then.js +46 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/control/index.js +19 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/expression/expression.js +65 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/expression/index.js +18 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/functions/argument.js +74 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/functions/call.js +149 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/functions/definition.js +60 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/functions/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/functions/parameter.js +64 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/index.js +27 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/loops/break.js +24 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/loops/for.js +72 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/loops/index.js +22 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/loops/next.js +24 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/loops/repeat.js +42 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/loops/while.js +45 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/operators/binary.js +162 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/operators/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/operators/special.js +24 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/operators/unary.js +59 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/other/comment.js +34 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/other/index.js +18 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/other/line-directive.js +55 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/structure/elements.js +159 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/structure/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/structure/root.js +34 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/structure/single-element.js +64 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/values/index.js +20 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/values/number.js +56 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/values/string.js +41 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/internal/values/symbol.js +56 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v1/normalize.js +30 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/data.js +3 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/access.js +95 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/expression.js +99 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/functions/argument.js +71 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/operators/binary.js +30 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/operators/index.js +19 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/operators/unary.js +35 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/other/comment.js +25 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/other/index.js +18 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/other/line-directive.js +38 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/root.js +26 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/single-element.js +63 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/values/index.js +18 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/values/number.js +46 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/values/string.js +33 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/internal/values/symbol.js +63 -0
- package/r-bridge/lang-4.x/ast/parser/xml/v2/normalize.js +25 -0
- package/r-bridge/lang-4.x/index.d.ts +2 -0
- package/r-bridge/lang-4.x/index.js +19 -0
- package/r-bridge/lang-4.x/values.d.ts +39 -0
- package/r-bridge/lang-4.x/values.js +149 -0
- package/r-bridge/retriever.d.ts +48 -0
- package/r-bridge/retriever.js +71 -0
- package/r-bridge/shell.d.ts +147 -0
- package/r-bridge/shell.js +423 -0
- package/reconstruct/reconstruct.d.ts +28 -0
- package/reconstruct/reconstruct.js +448 -0
- package/slicing/criterion/collect-all.d.ts +36 -0
- package/slicing/criterion/collect-all.js +23 -0
- package/slicing/criterion/filters/all-variables.d.ts +2 -0
- package/slicing/criterion/filters/all-variables.js +63 -0
- package/slicing/criterion/filters/index.d.ts +1 -0
- package/slicing/criterion/filters/index.js +18 -0
- package/slicing/criterion/index.d.ts +3 -0
- package/slicing/criterion/index.js +20 -0
- package/slicing/criterion/parse.d.ts +20 -0
- package/slicing/criterion/parse.js +79 -0
- package/slicing/index.d.ts +3 -0
- package/slicing/index.js +20 -0
- package/slicing/static/index.d.ts +1 -0
- package/slicing/static/index.js +18 -0
- package/slicing/static/static-slicer.d.ts +29 -0
- package/slicing/static/static-slicer.js +186 -0
- package/statistics/features/common-syntax-probability.d.ts +30 -0
- package/statistics/features/common-syntax-probability.js +159 -0
- package/statistics/features/feature.d.ts +175 -0
- package/statistics/features/feature.js +30 -0
- package/statistics/features/index.d.ts +1 -0
- package/statistics/features/index.js +18 -0
- package/statistics/features/post-processing.d.ts +12 -0
- package/statistics/features/post-processing.js +21 -0
- package/statistics/features/supported/assignments/assignments.d.ts +11 -0
- package/statistics/features/supported/assignments/assignments.js +53 -0
- package/statistics/features/supported/assignments/index.d.ts +1 -0
- package/statistics/features/supported/assignments/index.js +6 -0
- package/statistics/features/supported/assignments/post-process.d.ts +3 -0
- package/statistics/features/supported/assignments/post-process.js +125 -0
- package/statistics/features/supported/comments/comments.d.ts +18 -0
- package/statistics/features/supported/comments/comments.js +133 -0
- package/statistics/features/supported/comments/index.d.ts +1 -0
- package/statistics/features/supported/comments/index.js +6 -0
- package/statistics/features/supported/comments/post-process.d.ts +3 -0
- package/statistics/features/supported/comments/post-process.js +50 -0
- package/statistics/features/supported/control-flow/control-flow.d.ts +17 -0
- package/statistics/features/supported/control-flow/control-flow.js +67 -0
- package/statistics/features/supported/control-flow/index.d.ts +1 -0
- package/statistics/features/supported/control-flow/index.js +6 -0
- package/statistics/features/supported/control-flow/post-process.d.ts +3 -0
- package/statistics/features/supported/control-flow/post-process.js +65 -0
- package/statistics/features/supported/data-access/data-access.d.ts +15 -0
- package/statistics/features/supported/data-access/data-access.js +118 -0
- package/statistics/features/supported/data-access/index.d.ts +1 -0
- package/statistics/features/supported/data-access/index.js +6 -0
- package/statistics/features/supported/data-access/post-process.d.ts +3 -0
- package/statistics/features/supported/data-access/post-process.js +107 -0
- package/statistics/features/supported/defined-functions/defined-functions.d.ts +35 -0
- package/statistics/features/supported/defined-functions/defined-functions.js +139 -0
- package/statistics/features/supported/defined-functions/index.d.ts +1 -0
- package/statistics/features/supported/defined-functions/index.js +6 -0
- package/statistics/features/supported/defined-functions/post-process.d.ts +6 -0
- package/statistics/features/supported/defined-functions/post-process.js +177 -0
- package/statistics/features/supported/expression-list/expression-list.d.ts +9 -0
- package/statistics/features/supported/expression-list/expression-list.js +36 -0
- package/statistics/features/supported/expression-list/index.d.ts +1 -0
- package/statistics/features/supported/expression-list/index.js +6 -0
- package/statistics/features/supported/expression-list/post-process.d.ts +3 -0
- package/statistics/features/supported/expression-list/post-process.js +44 -0
- package/statistics/features/supported/index.d.ts +10 -0
- package/statistics/features/supported/index.js +27 -0
- package/statistics/features/supported/loops/index.d.ts +1 -0
- package/statistics/features/supported/loops/index.js +6 -0
- package/statistics/features/supported/loops/loops.d.ts +20 -0
- package/statistics/features/supported/loops/loops.js +79 -0
- package/statistics/features/supported/loops/post-process.d.ts +3 -0
- package/statistics/features/supported/loops/post-process.js +72 -0
- package/statistics/features/supported/used-functions/index.d.ts +1 -0
- package/statistics/features/supported/used-functions/index.js +6 -0
- package/statistics/features/supported/used-functions/post-process.d.ts +6 -0
- package/statistics/features/supported/used-functions/post-process.js +179 -0
- package/statistics/features/supported/used-functions/used-functions.d.ts +24 -0
- package/statistics/features/supported/used-functions/used-functions.js +95 -0
- package/statistics/features/supported/used-packages/index.d.ts +1 -0
- package/statistics/features/supported/used-packages/index.js +6 -0
- package/statistics/features/supported/used-packages/post-process.d.ts +3 -0
- package/statistics/features/supported/used-packages/post-process.js +121 -0
- package/statistics/features/supported/used-packages/used-packages.d.ts +16 -0
- package/statistics/features/supported/used-packages/used-packages.js +130 -0
- package/statistics/features/supported/values/index.d.ts +1 -0
- package/statistics/features/supported/values/index.js +6 -0
- package/statistics/features/supported/values/post-process.d.ts +3 -0
- package/statistics/features/supported/values/post-process.js +72 -0
- package/statistics/features/supported/values/values.d.ts +14 -0
- package/statistics/features/supported/values/values.js +101 -0
- package/statistics/features/supported/variables/index.d.ts +1 -0
- package/statistics/features/supported/variables/index.js +6 -0
- package/statistics/features/supported/variables/post-process.d.ts +9 -0
- package/statistics/features/supported/variables/post-process.js +122 -0
- package/statistics/features/supported/variables/variables.d.ts +15 -0
- package/statistics/features/supported/variables/variables.js +70 -0
- package/statistics/index.d.ts +6 -0
- package/statistics/index.js +24 -0
- package/statistics/meta-statistics.d.ts +33 -0
- package/statistics/meta-statistics.js +17 -0
- package/statistics/output/ansi.d.ts +50 -0
- package/statistics/output/ansi.js +58 -0
- package/statistics/output/file-provider.d.ts +37 -0
- package/statistics/output/file-provider.js +97 -0
- package/statistics/output/index.d.ts +4 -0
- package/statistics/output/index.js +21 -0
- package/statistics/output/print-stats.d.ts +17 -0
- package/statistics/output/print-stats.js +69 -0
- package/statistics/output/statistics-file.d.ts +37 -0
- package/statistics/output/statistics-file.js +69 -0
- package/statistics/statistics.d.ts +24 -0
- package/statistics/statistics.js +109 -0
- package/util/args.d.ts +14 -0
- package/util/args.js +67 -0
- package/util/arrays.d.ts +44 -0
- package/util/arrays.js +145 -0
- package/util/assert.d.ts +11 -0
- package/util/assert.js +35 -0
- package/util/bimap.d.ts +24 -0
- package/util/bimap.js +71 -0
- package/util/cfg.d.ts +55 -0
- package/util/cfg.js +498 -0
- package/util/defaultmap.d.ts +34 -0
- package/util/defaultmap.js +65 -0
- package/util/diff.d.ts +43 -0
- package/util/diff.js +28 -0
- package/util/files.d.ts +54 -0
- package/util/files.js +144 -0
- package/util/json.d.ts +2 -0
- package/util/json.js +28 -0
- package/util/log.d.ts +22 -0
- package/util/log.js +48 -0
- package/util/mermaid/ast.d.ts +6 -0
- package/util/mermaid/ast.js +28 -0
- package/util/mermaid/cfg.d.ts +7 -0
- package/util/mermaid/cfg.js +44 -0
- package/util/mermaid/dfg.d.ts +21 -0
- package/util/mermaid/dfg.js +165 -0
- package/util/mermaid/index.d.ts +3 -0
- package/util/mermaid/index.js +20 -0
- package/util/mermaid/mermaid.d.ts +7 -0
- package/util/mermaid/mermaid.js +24 -0
- package/util/numbers.d.ts +1 -0
- package/util/numbers.js +9 -0
- package/util/objects.d.ts +17 -0
- package/util/objects.js +60 -0
- package/util/os.d.ts +2 -0
- package/util/os.js +25 -0
- package/util/parallel.d.ts +30 -0
- package/util/parallel.js +103 -0
- package/util/quads.d.ts +92 -0
- package/util/quads.js +189 -0
- package/util/random.d.ts +4 -0
- package/util/random.js +22 -0
- package/util/range.d.ts +32 -0
- package/util/range.js +61 -0
- package/util/set.d.ts +8 -0
- package/util/set.js +32 -0
- package/util/strings.d.ts +12 -0
- package/util/strings.js +41 -0
- package/util/summarizer/auto-detect.d.ts +2 -0
- package/util/summarizer/auto-detect.js +32 -0
- package/util/summarizer/benchmark/benchmark-summarizer.js +208 -0
- package/util/summarizer/benchmark/data.d.ts +66 -0
- package/util/summarizer/benchmark/data.js +13 -0
- package/util/summarizer/benchmark/first-phase/input.d.ts +2 -0
- package/util/summarizer/benchmark/first-phase/input.js +59 -0
- package/util/summarizer/benchmark/first-phase/process.d.ts +10 -0
- package/util/summarizer/benchmark/first-phase/process.js +208 -0
- package/util/summarizer/benchmark/second-phase/graph.d.ts +2 -0
- package/util/summarizer/benchmark/second-phase/graph.js +54 -0
- package/util/summarizer/benchmark/second-phase/process.d.ts +4 -0
- package/util/summarizer/benchmark/second-phase/process.js +89 -0
- package/util/summarizer/benchmark/summarizer.d.ts +34 -0
- package/util/summarizer/benchmark/summarizer.js +53 -0
- package/util/summarizer/statistics/first-phase/process.d.ts +6 -0
- package/util/summarizer/statistics/first-phase/process.js +81 -0
- package/util/summarizer/statistics/post-process/clusterer.d.ts +26 -0
- package/util/summarizer/statistics/post-process/clusterer.js +43 -0
- package/util/summarizer/statistics/post-process/file-based-count.d.ts +17 -0
- package/util/summarizer/statistics/post-process/file-based-count.js +49 -0
- package/util/summarizer/statistics/post-process/histogram.d.ts +59 -0
- package/util/summarizer/statistics/post-process/histogram.js +128 -0
- package/util/summarizer/statistics/post-process/index.d.ts +4 -0
- package/util/summarizer/statistics/post-process/index.js +21 -0
- package/util/summarizer/statistics/post-process/post-process-output.d.ts +16 -0
- package/util/summarizer/statistics/post-process/post-process-output.js +104 -0
- package/util/summarizer/statistics/second-phase/process.d.ts +11 -0
- package/util/summarizer/statistics/second-phase/process.js +117 -0
- package/util/summarizer/statistics/summarizer.d.ts +34 -0
- package/util/summarizer/statistics/summarizer.js +135 -0
- package/util/summarizer/summarizer.d.ts +25 -0
- package/util/summarizer/summarizer.js +13 -0
- package/util/time.d.ts +6 -0
- package/util/time.js +13 -0
|
@@ -0,0 +1,79 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.convertAllSlicingCriteriaToIds = exports.slicingCriterionToId = exports.CriteriaParseError = void 0;
|
|
4
|
+
const static_1 = require("../static");
|
|
5
|
+
/**
|
|
6
|
+
* Thrown if the given slicing criteria can not be found
|
|
7
|
+
*/
|
|
8
|
+
class CriteriaParseError extends Error {
|
|
9
|
+
constructor(message) {
|
|
10
|
+
super(message);
|
|
11
|
+
this.name = 'CriteriaParseError';
|
|
12
|
+
}
|
|
13
|
+
}
|
|
14
|
+
exports.CriteriaParseError = CriteriaParseError;
|
|
15
|
+
/**
|
|
16
|
+
* Takes a criterion in the form of `line:column` or `line@variable-name` and returns the corresponding node id
|
|
17
|
+
*/
|
|
18
|
+
function slicingCriterionToId(criterion, decorated) {
|
|
19
|
+
let resolved;
|
|
20
|
+
if (criterion.includes(':')) {
|
|
21
|
+
const [line, column] = criterion.split(':').map(c => parseInt(c));
|
|
22
|
+
resolved = locationToId({ line, column }, decorated.idMap);
|
|
23
|
+
}
|
|
24
|
+
else if (criterion.includes('@')) {
|
|
25
|
+
const [line, name] = criterion.split(/@(.*)/s); // only split at first occurrence
|
|
26
|
+
resolved = conventionalCriteriaToId(parseInt(line), name, decorated.idMap);
|
|
27
|
+
}
|
|
28
|
+
else if (criterion.startsWith('$')) {
|
|
29
|
+
resolved = criterion.substring(1);
|
|
30
|
+
}
|
|
31
|
+
if (resolved === undefined) {
|
|
32
|
+
throw new CriteriaParseError(`invalid slicing criterion ${criterion}`);
|
|
33
|
+
}
|
|
34
|
+
return resolved;
|
|
35
|
+
}
|
|
36
|
+
exports.slicingCriterionToId = slicingCriterionToId;
|
|
37
|
+
function locationToId(location, dataflowIdMap) {
|
|
38
|
+
let candidate;
|
|
39
|
+
for (const [id, nodeInfo] of dataflowIdMap.entries()) {
|
|
40
|
+
if (nodeInfo.location === undefined || nodeInfo.location.start.line !== location.line || nodeInfo.location.start.column !== location.column) {
|
|
41
|
+
continue; // only consider those with position information
|
|
42
|
+
}
|
|
43
|
+
static_1.slicerLogger.trace(`can resolve id ${id} (${JSON.stringify(nodeInfo.location)}) for location ${JSON.stringify(location)}`);
|
|
44
|
+
// function calls have the same location as the symbol they refer to, so we need to prefer the function call
|
|
45
|
+
if (candidate !== undefined && nodeInfo.type !== "RFunctionCall" /* RType.FunctionCall */ && nodeInfo.type !== "RArgument" /* RType.Argument */ || nodeInfo.type === "RExpressionList" /* RType.ExpressionList */) {
|
|
46
|
+
continue;
|
|
47
|
+
}
|
|
48
|
+
candidate = nodeInfo;
|
|
49
|
+
}
|
|
50
|
+
const id = candidate?.info.id;
|
|
51
|
+
if (id) {
|
|
52
|
+
static_1.slicerLogger.trace(`resolve id ${id} (${JSON.stringify(candidate?.info)}) for location ${JSON.stringify(location)}`);
|
|
53
|
+
}
|
|
54
|
+
return id;
|
|
55
|
+
}
|
|
56
|
+
function conventionalCriteriaToId(line, name, dataflowIdMap) {
|
|
57
|
+
let candidate;
|
|
58
|
+
for (const [id, nodeInfo] of dataflowIdMap.entries()) {
|
|
59
|
+
if (nodeInfo.location === undefined || nodeInfo.location.start.line !== line || nodeInfo.lexeme !== name) {
|
|
60
|
+
continue;
|
|
61
|
+
}
|
|
62
|
+
static_1.slicerLogger.trace(`can resolve id ${id} (${JSON.stringify(nodeInfo)}) for line ${line} and name ${name}`);
|
|
63
|
+
// function calls have the same location as the symbol they refer to, so we need to prefer the function call
|
|
64
|
+
if (candidate !== undefined && nodeInfo.type !== "RFunctionCall" /* RType.FunctionCall */ && nodeInfo.type !== "RArgument" /* RType.Argument */ || nodeInfo.type === "RExpressionList" /* RType.ExpressionList */) {
|
|
65
|
+
continue;
|
|
66
|
+
}
|
|
67
|
+
candidate = nodeInfo;
|
|
68
|
+
}
|
|
69
|
+
const id = candidate?.info.id;
|
|
70
|
+
if (id) {
|
|
71
|
+
static_1.slicerLogger.trace(`resolve id ${id} (${JSON.stringify(candidate?.info)}) for line ${line} and name ${name}`);
|
|
72
|
+
}
|
|
73
|
+
return id;
|
|
74
|
+
}
|
|
75
|
+
function convertAllSlicingCriteriaToIds(criteria, decorated) {
|
|
76
|
+
return criteria.map(l => ({ criterion: l, id: slicingCriterionToId(l, decorated) }));
|
|
77
|
+
}
|
|
78
|
+
exports.convertAllSlicingCriteriaToIds = convertAllSlicingCriteriaToIds;
|
|
79
|
+
//# sourceMappingURL=parse.js.map
|
package/slicing/index.js
ADDED
|
@@ -0,0 +1,20 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
14
|
+
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
15
|
+
};
|
|
16
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
17
|
+
__exportStar(require("./static"), exports);
|
|
18
|
+
__exportStar(require("./criterion"), exports);
|
|
19
|
+
__exportStar(require("../reconstruct/reconstruct"), exports);
|
|
20
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
export * from './static-slicer';
|
|
@@ -0,0 +1,18 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __createBinding = (this && this.__createBinding) || (Object.create ? (function(o, m, k, k2) {
|
|
3
|
+
if (k2 === undefined) k2 = k;
|
|
4
|
+
var desc = Object.getOwnPropertyDescriptor(m, k);
|
|
5
|
+
if (!desc || ("get" in desc ? !m.__esModule : desc.writable || desc.configurable)) {
|
|
6
|
+
desc = { enumerable: true, get: function() { return m[k]; } };
|
|
7
|
+
}
|
|
8
|
+
Object.defineProperty(o, k2, desc);
|
|
9
|
+
}) : (function(o, m, k, k2) {
|
|
10
|
+
if (k2 === undefined) k2 = k;
|
|
11
|
+
o[k2] = m[k];
|
|
12
|
+
}));
|
|
13
|
+
var __exportStar = (this && this.__exportStar) || function(m, exports) {
|
|
14
|
+
for (var p in m) if (p !== "default" && !Object.prototype.hasOwnProperty.call(exports, p)) __createBinding(exports, m, p);
|
|
15
|
+
};
|
|
16
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
17
|
+
__exportStar(require("./static-slicer"), exports);
|
|
18
|
+
//# sourceMappingURL=index.js.map
|
|
@@ -0,0 +1,29 @@
|
|
|
1
|
+
import { DataflowGraph } from '../../dataflow';
|
|
2
|
+
import { NodeId, NormalizedAst } from '../../r-bridge';
|
|
3
|
+
import { DecodedCriteria, SlicingCriteria } from '../criterion';
|
|
4
|
+
export declare const slicerLogger: import("tslog").Logger<import("tslog").ILogObj>;
|
|
5
|
+
/**
|
|
6
|
+
* The result of the slice step
|
|
7
|
+
*/
|
|
8
|
+
export interface SliceResult {
|
|
9
|
+
/**
|
|
10
|
+
* Number of times the set threshold was hit (i.e., the same node was visited too often).
|
|
11
|
+
* While any number above 0 might indicate a wrong slice, it does not have to as usually even revisiting the same node does not
|
|
12
|
+
* often cause more ids to be included in the slice.
|
|
13
|
+
*/
|
|
14
|
+
timesHitThreshold: number;
|
|
15
|
+
/**
|
|
16
|
+
* The ids of the nodes in the normalized ast that are part of the slice.
|
|
17
|
+
*/
|
|
18
|
+
result: Set<NodeId>;
|
|
19
|
+
/**
|
|
20
|
+
* The mapping produced to decode the entered criteria
|
|
21
|
+
*/
|
|
22
|
+
decodedCriteria: DecodedCriteria;
|
|
23
|
+
}
|
|
24
|
+
/**
|
|
25
|
+
* This returns the ids to include in the slice, when slicing with the given seed id's (must be at least one).
|
|
26
|
+
* <p>
|
|
27
|
+
* The returned ids can be used to {@link reconstructToCode | reconstruct the slice to R code}.
|
|
28
|
+
*/
|
|
29
|
+
export declare function staticSlicing(dataflowGraph: DataflowGraph, ast: NormalizedAst, criteria: SlicingCriteria, threshold?: number): Readonly<SliceResult>;
|
|
@@ -0,0 +1,186 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
var __importDefault = (this && this.__importDefault) || function (mod) {
|
|
3
|
+
return (mod && mod.__esModule) ? mod : { "default": mod };
|
|
4
|
+
};
|
|
5
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
6
|
+
exports.staticSlicing = exports.slicerLogger = void 0;
|
|
7
|
+
const dataflow_1 = require("../../dataflow");
|
|
8
|
+
const assert_1 = require("../../util/assert");
|
|
9
|
+
const r_bridge_1 = require("../../r-bridge");
|
|
10
|
+
const log_1 = require("../../util/log");
|
|
11
|
+
const linker_1 = require("../../dataflow/internal/linker");
|
|
12
|
+
const environments_1 = require("../../dataflow/environments");
|
|
13
|
+
const object_hash_1 = __importDefault(require("object-hash"));
|
|
14
|
+
const defaultmap_1 = require("../../util/defaultmap");
|
|
15
|
+
const scopes_1 = require("../../dataflow/environments/scopes");
|
|
16
|
+
const criterion_1 = require("../criterion");
|
|
17
|
+
exports.slicerLogger = log_1.log.getSubLogger({ name: 'slicer' });
|
|
18
|
+
function envFingerprint(env) {
|
|
19
|
+
return (0, object_hash_1.default)(env, { excludeKeys: key => key === 'id' });
|
|
20
|
+
}
|
|
21
|
+
function fingerprint(id, envFingerprint, onlyForSideEffects) {
|
|
22
|
+
return `${id}-${envFingerprint}-${onlyForSideEffects ? '0' : '1'}`;
|
|
23
|
+
}
|
|
24
|
+
class VisitingQueue {
|
|
25
|
+
threshold;
|
|
26
|
+
timesHitThreshold = 0;
|
|
27
|
+
seen = new Map();
|
|
28
|
+
idThreshold = new defaultmap_1.DefaultMap(() => 0);
|
|
29
|
+
queue = [];
|
|
30
|
+
constructor(threshold) {
|
|
31
|
+
this.threshold = threshold;
|
|
32
|
+
}
|
|
33
|
+
add(target, env, envFingerprint, onlyForSideEffects) {
|
|
34
|
+
const idCounter = this.idThreshold.get(target);
|
|
35
|
+
if (idCounter > this.threshold) {
|
|
36
|
+
exports.slicerLogger.warn(`id: ${target} has been visited ${idCounter} times, skipping`);
|
|
37
|
+
this.timesHitThreshold++;
|
|
38
|
+
return;
|
|
39
|
+
}
|
|
40
|
+
else {
|
|
41
|
+
this.idThreshold.set(target, idCounter + 1);
|
|
42
|
+
}
|
|
43
|
+
const print = fingerprint(target, envFingerprint, onlyForSideEffects);
|
|
44
|
+
if (!this.seen.has(print)) {
|
|
45
|
+
this.seen.set(print, target);
|
|
46
|
+
this.queue.push({ id: target, baseEnvironment: env, onlyForSideEffects: onlyForSideEffects });
|
|
47
|
+
}
|
|
48
|
+
}
|
|
49
|
+
next() {
|
|
50
|
+
return this.queue.pop();
|
|
51
|
+
}
|
|
52
|
+
has() {
|
|
53
|
+
return this.queue.length > 0;
|
|
54
|
+
}
|
|
55
|
+
status() {
|
|
56
|
+
return {
|
|
57
|
+
timesHitThreshold: this.timesHitThreshold,
|
|
58
|
+
result: new Set(this.seen.values())
|
|
59
|
+
};
|
|
60
|
+
}
|
|
61
|
+
}
|
|
62
|
+
/**
|
|
63
|
+
* This returns the ids to include in the slice, when slicing with the given seed id's (must be at least one).
|
|
64
|
+
* <p>
|
|
65
|
+
* The returned ids can be used to {@link reconstructToCode | reconstruct the slice to R code}.
|
|
66
|
+
*/
|
|
67
|
+
function staticSlicing(dataflowGraph, ast, criteria, threshold = 75) {
|
|
68
|
+
(0, assert_1.guard)(criteria.length > 0, 'must have at least one seed id to calculate slice');
|
|
69
|
+
const decodedCriteria = (0, criterion_1.convertAllSlicingCriteriaToIds)(criteria, ast);
|
|
70
|
+
const idMap = ast.idMap;
|
|
71
|
+
if (exports.slicerLogger.settings.minLevel <= 1 /* LogLevel.Trace */) {
|
|
72
|
+
exports.slicerLogger.trace(`calculating slice for ${decodedCriteria.length} seed criteria: ${decodedCriteria.map(s => JSON.stringify(s)).join(', ')}`);
|
|
73
|
+
}
|
|
74
|
+
const queue = new VisitingQueue(threshold);
|
|
75
|
+
// every node ships the call environment which registers the calling environment
|
|
76
|
+
{
|
|
77
|
+
const basePrint = envFingerprint((0, dataflow_1.initializeCleanEnvironments)());
|
|
78
|
+
for (const startId of decodedCriteria) {
|
|
79
|
+
queue.add(startId.id, (0, dataflow_1.initializeCleanEnvironments)(), basePrint, false);
|
|
80
|
+
}
|
|
81
|
+
}
|
|
82
|
+
while (queue.has()) {
|
|
83
|
+
const current = queue.next();
|
|
84
|
+
if (current === undefined) {
|
|
85
|
+
continue;
|
|
86
|
+
}
|
|
87
|
+
const baseEnvFingerprint = envFingerprint(current.baseEnvironment);
|
|
88
|
+
const currentInfo = dataflowGraph.get(current.id, true);
|
|
89
|
+
// slicerLogger.trace(`visiting id: ${current.id} with name: ${currentInfo?.[0].name ?? '<unknown>'}`)
|
|
90
|
+
if (currentInfo === undefined) {
|
|
91
|
+
exports.slicerLogger.warn(`id: ${current.id} must be in graph but can not be found, keep in slice to be sure`);
|
|
92
|
+
continue;
|
|
93
|
+
}
|
|
94
|
+
if (currentInfo[0].tag === 'function-call' && !current.onlyForSideEffects) {
|
|
95
|
+
exports.slicerLogger.trace(`${current.id} is a function call`);
|
|
96
|
+
sliceForCall(current, idMap, currentInfo[0], dataflowGraph, queue);
|
|
97
|
+
}
|
|
98
|
+
const currentNode = idMap.get(current.id);
|
|
99
|
+
(0, assert_1.guard)(currentNode !== undefined, () => `id: ${current.id} must be in dataflowIdMap is not in ${(0, dataflow_1.graphToMermaidUrl)(dataflowGraph, idMap)}`);
|
|
100
|
+
for (const [target, edge] of currentInfo[1]) {
|
|
101
|
+
if (edge.types.has(dataflow_1.EdgeType.SideEffectOnCall)) {
|
|
102
|
+
queue.add(target, current.baseEnvironment, baseEnvFingerprint, true);
|
|
103
|
+
}
|
|
104
|
+
if (edge.types.has(dataflow_1.EdgeType.Reads) || edge.types.has(dataflow_1.EdgeType.DefinedBy) || edge.types.has(dataflow_1.EdgeType.Argument) || edge.types.has(dataflow_1.EdgeType.Calls) || edge.types.has(dataflow_1.EdgeType.Relates) || edge.types.has(dataflow_1.EdgeType.DefinesOnCall)) {
|
|
105
|
+
queue.add(target, current.baseEnvironment, baseEnvFingerprint, false);
|
|
106
|
+
}
|
|
107
|
+
}
|
|
108
|
+
for (const controlFlowDependency of addControlDependencies(currentInfo[0].id, idMap)) {
|
|
109
|
+
queue.add(controlFlowDependency, current.baseEnvironment, baseEnvFingerprint, false);
|
|
110
|
+
}
|
|
111
|
+
}
|
|
112
|
+
// slicerLogger.trace(`static slicing produced: ${JSON.stringify([...seen])}`)
|
|
113
|
+
return { ...queue.status(), decodedCriteria };
|
|
114
|
+
}
|
|
115
|
+
exports.staticSlicing = staticSlicing;
|
|
116
|
+
function addAllFrom(current, collected) {
|
|
117
|
+
for (const id of (0, r_bridge_1.collectAllIds)(current)) {
|
|
118
|
+
collected.add(id);
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
function addControlDependencies(source, ast) {
|
|
122
|
+
const start = ast.get(source);
|
|
123
|
+
const collected = new Set();
|
|
124
|
+
let current = start;
|
|
125
|
+
while (current !== undefined) {
|
|
126
|
+
if (current.type === "RIfThenElse" /* RType.IfThenElse */) {
|
|
127
|
+
addAllFrom(current.condition, collected);
|
|
128
|
+
}
|
|
129
|
+
else if (current.type === "RWhileLoop" /* RType.WhileLoop */) {
|
|
130
|
+
addAllFrom(current.condition, collected);
|
|
131
|
+
}
|
|
132
|
+
else if (current.type === "RForLoop" /* RType.ForLoop */) {
|
|
133
|
+
addAllFrom(current.variable, collected);
|
|
134
|
+
// vector not needed, if required, it is linked by defined-by
|
|
135
|
+
}
|
|
136
|
+
// nothing to do for repeat and rest!
|
|
137
|
+
current = current.info.parent ? ast.get(current.info.parent) : undefined;
|
|
138
|
+
}
|
|
139
|
+
return collected;
|
|
140
|
+
}
|
|
141
|
+
function retrieveActiveEnvironment(callerInfo, baseEnvironment) {
|
|
142
|
+
let callerEnvironment = callerInfo.environment;
|
|
143
|
+
if (baseEnvironment.level !== callerEnvironment.level) {
|
|
144
|
+
while (baseEnvironment.level < callerEnvironment.level) {
|
|
145
|
+
baseEnvironment = (0, environments_1.pushLocalEnvironment)(baseEnvironment);
|
|
146
|
+
}
|
|
147
|
+
while (baseEnvironment.level > callerEnvironment.level) {
|
|
148
|
+
callerEnvironment = (0, environments_1.pushLocalEnvironment)(callerEnvironment);
|
|
149
|
+
}
|
|
150
|
+
}
|
|
151
|
+
return (0, environments_1.overwriteEnvironments)(baseEnvironment, callerEnvironment);
|
|
152
|
+
}
|
|
153
|
+
//// returns the new threshold hit count
|
|
154
|
+
function sliceForCall(current, idMap, callerInfo, dataflowGraph, queue) {
|
|
155
|
+
// bind with call-local environments during slicing
|
|
156
|
+
const outgoingEdges = dataflowGraph.get(callerInfo.id, true);
|
|
157
|
+
(0, assert_1.guard)(outgoingEdges !== undefined, () => `outgoing edges of id: ${callerInfo.id} must be in graph but can not be found, keep in slice to be sure`);
|
|
158
|
+
// lift baseEnv on the same level
|
|
159
|
+
const baseEnvironment = current.baseEnvironment;
|
|
160
|
+
const baseEnvPrint = envFingerprint(baseEnvironment);
|
|
161
|
+
const activeEnvironment = retrieveActiveEnvironment(callerInfo, baseEnvironment);
|
|
162
|
+
const activeEnvironmentFingerprint = envFingerprint(activeEnvironment);
|
|
163
|
+
const functionCallDefs = (0, environments_1.resolveByName)(callerInfo.name, scopes_1.LocalScope, activeEnvironment)?.map(d => d.nodeId) ?? [];
|
|
164
|
+
for (const [target, outgoingEdge] of outgoingEdges[1].entries()) {
|
|
165
|
+
if (outgoingEdge.types.has(dataflow_1.EdgeType.Calls)) {
|
|
166
|
+
functionCallDefs.push(target);
|
|
167
|
+
}
|
|
168
|
+
}
|
|
169
|
+
const functionCallTargets = (0, linker_1.getAllLinkedFunctionDefinitions)(new Set(functionCallDefs), dataflowGraph);
|
|
170
|
+
for (const [_, functionCallTarget] of functionCallTargets) {
|
|
171
|
+
// all those linked within the scopes of other functions are already linked when exiting a function definition
|
|
172
|
+
for (const openIn of functionCallTarget.subflow.in) {
|
|
173
|
+
const defs = (0, environments_1.resolveByName)(openIn.name, scopes_1.LocalScope, activeEnvironment);
|
|
174
|
+
if (defs === undefined) {
|
|
175
|
+
continue;
|
|
176
|
+
}
|
|
177
|
+
for (const def of defs) {
|
|
178
|
+
queue.add(def.nodeId, baseEnvironment, baseEnvPrint, current.onlyForSideEffects);
|
|
179
|
+
}
|
|
180
|
+
}
|
|
181
|
+
for (const exitPoint of functionCallTarget.exitPoints) {
|
|
182
|
+
queue.add(exitPoint, activeEnvironment, activeEnvironmentFingerprint, current.onlyForSideEffects);
|
|
183
|
+
}
|
|
184
|
+
}
|
|
185
|
+
}
|
|
186
|
+
//# sourceMappingURL=static-slicer.js.map
|
|
@@ -0,0 +1,30 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Defines the type of syntax constructs that we track (e.g., true, false, 0, 1, T, F, conditions...)
|
|
3
|
+
*/
|
|
4
|
+
import { RFalse, RNodeWithParent, RTrue } from '../../r-bridge';
|
|
5
|
+
import { SummarizedMeasurement } from '../../util/summarizer/benchmark/data';
|
|
6
|
+
export interface CommonSyntaxTypeCounts<Measurement = bigint> {
|
|
7
|
+
total: Measurement;
|
|
8
|
+
multiple: Measurement;
|
|
9
|
+
empty: Measurement;
|
|
10
|
+
withArgument: Measurement;
|
|
11
|
+
noValue: Measurement;
|
|
12
|
+
singleVar: Record<string, Measurement>;
|
|
13
|
+
number: Record<number, Measurement>;
|
|
14
|
+
integer: Record<number, Measurement>;
|
|
15
|
+
complex: Record<number, Measurement>;
|
|
16
|
+
string: Record<string, Measurement>;
|
|
17
|
+
logical: Record<typeof RTrue | typeof RFalse, Measurement>;
|
|
18
|
+
call: Record<string, Measurement>;
|
|
19
|
+
unnamedCall: Measurement;
|
|
20
|
+
binOp: Record<string, Measurement>;
|
|
21
|
+
unaryOp: Record<string, Measurement>;
|
|
22
|
+
other: Record<string, Measurement>;
|
|
23
|
+
}
|
|
24
|
+
export declare function emptyCommonSyntaxTypeCounts<T = bigint>(init?: () => T): CommonSyntaxTypeCounts<T>;
|
|
25
|
+
/**
|
|
26
|
+
* Updates the given counts based on the type of the given node.
|
|
27
|
+
*/
|
|
28
|
+
export declare function updateCommonSyntaxTypeCounts(current: CommonSyntaxTypeCounts, ...nodes: RNodeWithParent[]): CommonSyntaxTypeCounts;
|
|
29
|
+
export declare function appendCommonSyntaxTypeCounter(a: CommonSyntaxTypeCounts<number[][]>, b: CommonSyntaxTypeCounts): void;
|
|
30
|
+
export declare function summarizeCommonSyntaxTypeCounter(a: CommonSyntaxTypeCounts<number[][]>): CommonSyntaxTypeCounts<SummarizedMeasurement>;
|
|
@@ -0,0 +1,159 @@
|
|
|
1
|
+
"use strict";
|
|
2
|
+
Object.defineProperty(exports, "__esModule", { value: true });
|
|
3
|
+
exports.summarizeCommonSyntaxTypeCounter = exports.appendCommonSyntaxTypeCounter = exports.updateCommonSyntaxTypeCounts = exports.emptyCommonSyntaxTypeCounts = void 0;
|
|
4
|
+
/**
|
|
5
|
+
* Defines the type of syntax constructs that we track (e.g., true, false, 0, 1, T, F, conditions...)
|
|
6
|
+
*/
|
|
7
|
+
const r_bridge_1 = require("../../r-bridge");
|
|
8
|
+
const process_1 = require("../../util/summarizer/benchmark/first-phase/process");
|
|
9
|
+
const numbers_1 = require("../../util/numbers");
|
|
10
|
+
function emptyCommonSyntaxTypeCounts(init = () => 0n) {
|
|
11
|
+
return {
|
|
12
|
+
total: init(),
|
|
13
|
+
multiple: init(),
|
|
14
|
+
empty: init(),
|
|
15
|
+
withArgument: init(),
|
|
16
|
+
noValue: init(),
|
|
17
|
+
singleVar: {},
|
|
18
|
+
number: {},
|
|
19
|
+
integer: {},
|
|
20
|
+
complex: {},
|
|
21
|
+
string: {},
|
|
22
|
+
logical: {},
|
|
23
|
+
call: {},
|
|
24
|
+
unnamedCall: init(),
|
|
25
|
+
binOp: {},
|
|
26
|
+
unaryOp: {},
|
|
27
|
+
other: {}
|
|
28
|
+
};
|
|
29
|
+
}
|
|
30
|
+
exports.emptyCommonSyntaxTypeCounts = emptyCommonSyntaxTypeCounts;
|
|
31
|
+
function incrementEntry(map, key) {
|
|
32
|
+
map[key] = (map[key] ?? 0n) + 1n;
|
|
33
|
+
}
|
|
34
|
+
/**
|
|
35
|
+
* Updates the given counts based on the type of the given node.
|
|
36
|
+
*/
|
|
37
|
+
function updateCommonSyntaxTypeCounts(current, ...nodes) {
|
|
38
|
+
current.total++;
|
|
39
|
+
if (nodes.length === 0) {
|
|
40
|
+
current.empty++;
|
|
41
|
+
return current;
|
|
42
|
+
}
|
|
43
|
+
else if (nodes.length > 1) {
|
|
44
|
+
current.multiple++;
|
|
45
|
+
return current;
|
|
46
|
+
}
|
|
47
|
+
let node = nodes[0];
|
|
48
|
+
if (node.type === "RArgument" /* RType.Argument */) {
|
|
49
|
+
if (node.name !== undefined) {
|
|
50
|
+
current.withArgument++;
|
|
51
|
+
}
|
|
52
|
+
if (node.value !== undefined) {
|
|
53
|
+
node = node.value;
|
|
54
|
+
}
|
|
55
|
+
else {
|
|
56
|
+
current.noValue++;
|
|
57
|
+
return current;
|
|
58
|
+
}
|
|
59
|
+
}
|
|
60
|
+
switch (node.type) {
|
|
61
|
+
case "RString" /* RType.String */:
|
|
62
|
+
incrementEntry(current.string, node.content.str);
|
|
63
|
+
break;
|
|
64
|
+
case "RSymbol" /* RType.Symbol */:
|
|
65
|
+
incrementEntry(current.singleVar, node.content);
|
|
66
|
+
break;
|
|
67
|
+
case "RLogical" /* RType.Logical */:
|
|
68
|
+
incrementEntry(current.logical, node.content ? r_bridge_1.RTrue : r_bridge_1.RFalse);
|
|
69
|
+
break;
|
|
70
|
+
case "RNumber" /* RType.Number */:
|
|
71
|
+
if (node.content.complexNumber) {
|
|
72
|
+
incrementEntry(current.complex, node.content.num);
|
|
73
|
+
}
|
|
74
|
+
else if (node.content.markedAsInt) {
|
|
75
|
+
incrementEntry(current.integer, node.content.num);
|
|
76
|
+
}
|
|
77
|
+
else {
|
|
78
|
+
incrementEntry(current.number, node.content.num);
|
|
79
|
+
}
|
|
80
|
+
break;
|
|
81
|
+
case "RFunctionCall" /* RType.FunctionCall */:
|
|
82
|
+
if (node.flavor === 'unnamed') {
|
|
83
|
+
current.unnamedCall++;
|
|
84
|
+
}
|
|
85
|
+
else {
|
|
86
|
+
incrementEntry(current.call, node.functionName.content);
|
|
87
|
+
}
|
|
88
|
+
break;
|
|
89
|
+
case "RBinaryOp" /* RType.BinaryOp */:
|
|
90
|
+
incrementEntry(current.binOp, node.operator);
|
|
91
|
+
break;
|
|
92
|
+
case "RUnaryOp" /* RType.UnaryOp */:
|
|
93
|
+
incrementEntry(current.unaryOp, node.operator);
|
|
94
|
+
break;
|
|
95
|
+
default:
|
|
96
|
+
// for space reasons we do not record the full lexeme!
|
|
97
|
+
if (node.lexeme) {
|
|
98
|
+
incrementEntry(current.other, node.lexeme);
|
|
99
|
+
}
|
|
100
|
+
break;
|
|
101
|
+
}
|
|
102
|
+
return current;
|
|
103
|
+
}
|
|
104
|
+
exports.updateCommonSyntaxTypeCounts = updateCommonSyntaxTypeCounts;
|
|
105
|
+
function appendRecord(a, b) {
|
|
106
|
+
for (const [key, val] of Object.entries(b)) {
|
|
107
|
+
const get = a[key];
|
|
108
|
+
// we guard with array to guard against methods like `toString` which are given in js
|
|
109
|
+
if (!get || !Array.isArray(get)) {
|
|
110
|
+
a[key] = [[(0, numbers_1.bigint2number)(val)]];
|
|
111
|
+
continue;
|
|
112
|
+
}
|
|
113
|
+
get.push([(0, numbers_1.bigint2number)(val)]);
|
|
114
|
+
}
|
|
115
|
+
}
|
|
116
|
+
function appendCommonSyntaxTypeCounter(a, b) {
|
|
117
|
+
a.total.push([(0, numbers_1.bigint2number)(b.total)]);
|
|
118
|
+
a.empty.push([(0, numbers_1.bigint2number)(b.empty)]);
|
|
119
|
+
a.multiple.push([(0, numbers_1.bigint2number)(b.multiple)]);
|
|
120
|
+
a.withArgument.push([(0, numbers_1.bigint2number)(b.withArgument)]);
|
|
121
|
+
a.noValue.push([(0, numbers_1.bigint2number)(b.noValue)]);
|
|
122
|
+
a.unnamedCall.push([(0, numbers_1.bigint2number)(b.unnamedCall)]);
|
|
123
|
+
appendRecord(a.singleVar, b.singleVar);
|
|
124
|
+
appendRecord(a.number, b.number);
|
|
125
|
+
appendRecord(a.integer, b.integer);
|
|
126
|
+
appendRecord(a.complex, b.complex);
|
|
127
|
+
appendRecord(a.string, b.string);
|
|
128
|
+
appendRecord(a.logical, b.logical);
|
|
129
|
+
appendRecord(a.call, b.call);
|
|
130
|
+
appendRecord(a.binOp, b.binOp);
|
|
131
|
+
appendRecord(a.unaryOp, b.unaryOp);
|
|
132
|
+
appendRecord(a.other, b.other);
|
|
133
|
+
}
|
|
134
|
+
exports.appendCommonSyntaxTypeCounter = appendCommonSyntaxTypeCounter;
|
|
135
|
+
function summarizeRecord(a) {
|
|
136
|
+
return Object.fromEntries(Object.entries(a).map(([key, val]) => [key, (0, process_1.summarizeMeasurement)(val.flat(), val.length)]));
|
|
137
|
+
}
|
|
138
|
+
function summarizeCommonSyntaxTypeCounter(a) {
|
|
139
|
+
return {
|
|
140
|
+
total: (0, process_1.summarizeMeasurement)(a.total.flat(), a.total.length),
|
|
141
|
+
empty: (0, process_1.summarizeMeasurement)(a.empty.flat(), a.empty.length),
|
|
142
|
+
multiple: (0, process_1.summarizeMeasurement)(a.multiple.flat(), a.multiple.length),
|
|
143
|
+
withArgument: (0, process_1.summarizeMeasurement)(a.withArgument.flat(), a.withArgument.length),
|
|
144
|
+
noValue: (0, process_1.summarizeMeasurement)(a.noValue.flat(), a.noValue.length),
|
|
145
|
+
unnamedCall: (0, process_1.summarizeMeasurement)(a.unnamedCall.flat(), a.unnamedCall.length),
|
|
146
|
+
singleVar: summarizeRecord(a.singleVar),
|
|
147
|
+
number: summarizeRecord(a.number),
|
|
148
|
+
integer: summarizeRecord(a.integer),
|
|
149
|
+
complex: summarizeRecord(a.complex),
|
|
150
|
+
string: summarizeRecord(a.string),
|
|
151
|
+
logical: summarizeRecord(a.logical),
|
|
152
|
+
call: summarizeRecord(a.call),
|
|
153
|
+
binOp: summarizeRecord(a.binOp),
|
|
154
|
+
unaryOp: summarizeRecord(a.unaryOp),
|
|
155
|
+
other: summarizeRecord(a.other)
|
|
156
|
+
};
|
|
157
|
+
}
|
|
158
|
+
exports.summarizeCommonSyntaxTypeCounter = summarizeCommonSyntaxTypeCounter;
|
|
159
|
+
//# sourceMappingURL=common-syntax-probability.js.map
|