@eagleoutice/flowr 2.6.3 → 2.7.2

package/abstract-interpretation/data-frame/absint-visitor.d.ts

@@ -1,57 +0,0 @@
-import { type CfgBasicBlockVertex, type CfgSimpleVertex, type ControlFlowInformation } from '../../control-flow/control-flow-graph';
-import { type SemanticCfgGuidedVisitorConfiguration, SemanticCfgGuidedVisitor } from '../../control-flow/semantic-cfg-guided-visitor';
-import type { DataflowGraph } from '../../dataflow/graph/graph';
-import type { DataflowGraphVertexFunctionCall, DataflowGraphVertexVariableDefinition } from '../../dataflow/graph/vertex';
-import type { NoInfo } from '../../r-bridge/lang-4.x/ast/model/model';
-import type { NormalizedAst } from '../../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
-import { type AbstractInterpretationInfo } from './absint-info';
-export type DataFrameShapeInferenceVisitorConfiguration<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo & AbstractInterpretationInfo> = NormalizedAst<OtherInfo & AbstractInterpretationInfo>, Dfg extends DataflowGraph = DataflowGraph> = Omit<SemanticCfgGuidedVisitorConfiguration<OtherInfo & AbstractInterpretationInfo, ControlFlow, Ast, Dfg>, 'defaultVisitingOrder' | 'defaultVisitingType'>;
-/**
- * The control flow graph visitor to infer the shape of data frames using abstract interpretation
- */
-export declare class DataFrameShapeInferenceVisitor<OtherInfo = NoInfo, ControlFlow extends ControlFlowInformation = ControlFlowInformation, Ast extends NormalizedAst<OtherInfo & AbstractInterpretationInfo> = NormalizedAst<OtherInfo & AbstractInterpretationInfo>, Dfg extends DataflowGraph = DataflowGraph, Config extends DataFrameShapeInferenceVisitorConfiguration<OtherInfo, ControlFlow, Ast, Dfg> = DataFrameShapeInferenceVisitorConfiguration<OtherInfo, ControlFlow, Ast, Dfg>> extends SemanticCfgGuidedVisitor<OtherInfo & AbstractInterpretationInfo, ControlFlow, Ast, Dfg, Config & {
-    defaultVisitingOrder: 'forward';
-    defaultVisitingType: 'exit';
-}> {
-    /**
-     * The old domain of an AST node before processing the node retrieved from the attached {@link AbstractInterpretationInfo}.
-     * This is used to check whether the state has changed and successors should be visited again, and is also required for widening.
-     */
-    private oldDomain;
-    /**
-     * The new domain of an AST node during and after processing the node.
-     * This information is stored in the {@link AbstractInterpretationInfo} afterward.
-     */
-    private newDomain;
-    constructor(config: Config);
-    protected visitNode(nodeId: NodeId): boolean;
-    protected visitDataflowNode(vertex: Exclude<CfgSimpleVertex, CfgBasicBlockVertex>): void;
-    protected onVariableDefinition({ vertex }: {
-        vertex: DataflowGraphVertexVariableDefinition;
-    }): void;
-    protected onAssignmentCall({ call, target, source }: {
-        call: DataflowGraphVertexFunctionCall;
-        target?: NodeId;
-        source?: NodeId;
-    }): void;
-    protected onAccessCall({ call }: {
-        call: DataflowGraphVertexFunctionCall;
-    }): void;
-    protected onDefaultFunctionCall({ call }: {
-        call: DataflowGraphVertexFunctionCall;
-    }): void;
-    protected onReplacementCall({ call, source, target }: {
-        call: DataflowGraphVertexFunctionCall;
-        source: NodeId | undefined;
-        target: NodeId | undefined;
-    }): void;
-    private applyDataFrameAssignment;
-    private applyDataFrameExpression;
-    /** We only process vertices of leaf nodes and exit vertices (no entry nodes of complex nodes) */
-    private shouldSkipVertex;
-    /** Get all AST nodes for the predecessor vertices that are leaf nodes and exit vertices */
-    private getPredecessorNodes;
-    private shouldWiden;
-    private clearUnassignedInfo;
-}

package/abstract-interpretation/data-frame/absint-visitor.js

@@ -1,176 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.DataFrameShapeInferenceVisitor = void 0;
-const control_flow_graph_1 = require("../../control-flow/control-flow-graph");
-const semantic_cfg_guided_visitor_1 = require("../../control-flow/semantic-cfg-guided-visitor");
-const assert_1 = require("../../util/assert");
-const absint_info_1 = require("./absint-info");
-const dataframe_domain_1 = require("./dataframe-domain");
-const access_mapper_1 = require("./mappers/access-mapper");
-const assignment_mapper_1 = require("./mappers/assignment-mapper");
-const function_mapper_1 = require("./mappers/function-mapper");
-const replacement_mapper_1 = require("./mappers/replacement-mapper");
-const semantics_1 = require("./semantics");
-const shape_inference_1 = require("./shape-inference");
-/**
- * The control flow graph visitor to infer the shape of data frames using abstract interpretation
- */
-class DataFrameShapeInferenceVisitor extends semantic_cfg_guided_visitor_1.SemanticCfgGuidedVisitor {
-    /**
-     * The old domain of an AST node before processing the node retrieved from the attached {@link AbstractInterpretationInfo}.
-     * This is used to check whether the state has changed and successors should be visited again, and is also required for widening.
-     */
-    oldDomain = dataframe_domain_1.DataFrameStateDomain.bottom();
-    /**
-     * The new domain of an AST node during and after processing the node.
-     * This information is stored in the {@link AbstractInterpretationInfo} afterward.
-     */
-    newDomain = dataframe_domain_1.DataFrameStateDomain.bottom();
-    constructor(config) {
-        super({ ...config, defaultVisitingOrder: 'forward', defaultVisitingType: 'exit' });
-    }
-    visitNode(nodeId) {
-        const vertex = this.getCfgVertex(nodeId);
-        // skip vertices representing entries of complex nodes
-        if (vertex === undefined || this.shouldSkipVertex(vertex)) {
-            return true;
-        }
-        const predecessors = this.getPredecessorNodes(vertex.id);
-        const predecessorDomains = predecessors.map(node => node.info.dataFrame?.domain).filter(assert_1.isNotUndefined);
-        this.newDomain = dataframe_domain_1.DataFrameStateDomain.bottom().joinAll(predecessorDomains);
-        this.onVisitNode(nodeId);
-        const visitedCount = this.visited.get(vertex.id) ?? 0;
-        this.visited.set(vertex.id, visitedCount + 1);
-        // only continue visiting if the node has not been visited before or the data frame value of the node changed
-        return visitedCount === 0 || !this.oldDomain.equals(this.newDomain);
-    }
-    visitDataflowNode(vertex) {
-        const node = this.getNormalizedAst((0, control_flow_graph_1.getVertexRootId)(vertex));
-        if (node === undefined) {
-            return;
-        }
-        this.oldDomain = node.info.dataFrame?.domain ?? dataframe_domain_1.DataFrameStateDomain.bottom();
-        super.visitDataflowNode(vertex);
-        if (this.config.dfg.unknownSideEffects.has((0, control_flow_graph_1.getVertexRootId)(vertex))) {
-            this.newDomain = this.newDomain.bottom();
-        }
-        if (this.shouldWiden(vertex)) {
-            this.newDomain = this.oldDomain.widen(this.newDomain);
-        }
-        node.info.dataFrame ??= {};
-        node.info.dataFrame.domain = this.newDomain;
-    }
-    onVariableDefinition({ vertex }) {
-        const node = this.getNormalizedAst(vertex.id);
-        if (node !== undefined) {
-            // mark variable definitions as "unassigned", as the evaluation of the assigned expression is delayed until processing the assignment
-            node.info.dataFrame ??= { marker: absint_info_1.DataFrameInfoMarker.Unassigned };
-        }
-    }
-    onAssignmentCall({ call, target, source }) {
-        const node = this.getNormalizedAst(call.id);
-        const targetNode = this.getNormalizedAst(target);
-        const sourceNode = this.getNormalizedAst(source);
-        if (node !== undefined && (0, assignment_mapper_1.isAssignmentTarget)(targetNode) && sourceNode !== undefined) {
-            node.info.dataFrame = (0, assignment_mapper_1.mapDataFrameVariableAssignment)(targetNode, sourceNode, this.config.dfg);
-            this.applyDataFrameAssignment(node);
-            this.clearUnassignedInfo(targetNode);
-        }
-    }
-    onAccessCall({ call }) {
-        const node = this.getNormalizedAst(call.id);
-        if (node !== undefined) {
-            node.info.dataFrame = (0, access_mapper_1.mapDataFrameAccess)(node, this.config.dfg);
-            this.applyDataFrameExpression(node);
-        }
-    }
-    onDefaultFunctionCall({ call }) {
-        const node = this.getNormalizedAst(call.id);
-        if (node !== undefined) {
-            node.info.dataFrame = (0, function_mapper_1.mapDataFrameFunctionCall)(node, this.config.dfg, this.config.ctx);
-            this.applyDataFrameExpression(node);
-        }
-    }
-    onReplacementCall({ call, source, target }) {
-        const node = this.getNormalizedAst(call.id);
-        const targetNode = this.getNormalizedAst(target);
-        const sourceNode = this.getNormalizedAst(source);
-        if (node !== undefined && targetNode !== undefined && sourceNode !== undefined) {
-            node.info.dataFrame = (0, replacement_mapper_1.mapDataFrameReplacementFunction)(node, sourceNode, this.config.dfg);
-            this.applyDataFrameExpression(node);
-            this.clearUnassignedInfo(targetNode);
-        }
-    }
-    applyDataFrameAssignment(node) {
-        if (!(0, absint_info_1.hasDataFrameAssignmentInfo)(node)) {
-            return;
-        }
-        const value = (0, shape_inference_1.resolveIdToDataFrameShape)(node.info.dataFrame.expression, this.config.dfg, this.newDomain);
-        if (value !== undefined) {
-            this.newDomain.set(node.info.dataFrame.identifier, value);
-            const identifier = this.getNormalizedAst(node.info.dataFrame.identifier);
-            if (identifier !== undefined) {
-                identifier.info.dataFrame ??= {};
-                identifier.info.dataFrame.domain = this.newDomain.create(this.newDomain.value);
-            }
-        }
-    }
-    applyDataFrameExpression(node) {
-        if (!(0, absint_info_1.hasDataFrameExpressionInfo)(node)) {
-            return;
-        }
-        const maxColNames = this.config.ctx.config.abstractInterpretation.dataFrame.maxColNames;
-        let value = dataframe_domain_1.DataFrameDomain.top(maxColNames);
-        for (const { operation, operand, type, options, ...args } of node.info.dataFrame.operations) {
-            const operandValue = operand !== undefined ? (0, shape_inference_1.resolveIdToDataFrameShape)(operand, this.config.dfg, this.newDomain) : value;
-            value = (0, semantics_1.applyDataFrameSemantics)(operation, operandValue ?? dataframe_domain_1.DataFrameDomain.top(maxColNames), args, options);
-            const constraintType = type ?? (0, semantics_1.getConstraintType)(operation);
-            if (operand !== undefined && constraintType === semantics_1.ConstraintType.OperandModification) {
-                this.newDomain.set(operand, value);
-                for (const origin of (0, shape_inference_1.getVariableOrigins)(operand, this.config.dfg)) {
-                    this.newDomain.set(origin.info.id, value);
-                }
-            }
-            else if (constraintType === semantics_1.ConstraintType.ResultPostcondition) {
-                this.newDomain.set(node.info.id, value);
-            }
-        }
-    }
-    /** We only process vertices of leaf nodes and exit vertices (no entry nodes of complex nodes) */
-    shouldSkipVertex(vertex) {
-        return (0, control_flow_graph_1.isMarkerVertex)(vertex) ? vertex.type !== control_flow_graph_1.CfgVertexType.EndMarker : vertex.end !== undefined;
-    }
-    /** Get all AST nodes for the predecessor vertices that are leaf nodes and exit vertices */
-    getPredecessorNodes(vertexId) {
-        return this.config.controlFlow.graph.outgoingEdges(vertexId)?.keys() // outgoing dependency edges are incoming CFG edges
-            .map(id => this.getCfgVertex(id))
-            .flatMap(vertex => {
-            if (vertex === undefined) {
-                return [];
-            }
-            else if (this.shouldSkipVertex(vertex)) {
-                return this.getPredecessorNodes(vertex.id);
-            }
-            else {
-                return [this.getNormalizedAst((0, control_flow_graph_1.getVertexRootId)(vertex))];
-            }
-        })
-            .filter(assert_1.isNotUndefined)
-            .toArray() ?? [];
-    }
-    shouldWiden(vertex) {
-        return (this.visited.get(vertex.id) ?? 0) >= this.config.ctx.config.abstractInterpretation.dataFrame.wideningThreshold;
-    }
-    clearUnassignedInfo(node) {
-        if ((0, absint_info_1.hasDataFrameInfoMarker)(node, absint_info_1.DataFrameInfoMarker.Unassigned)) {
-            if (node.info.dataFrame?.domain !== undefined) {
-                node.info.dataFrame = { domain: node.info.dataFrame.domain };
-            }
-            else {
-                delete node.info.dataFrame;
-            }
-        }
-    }
-}
-exports.DataFrameShapeInferenceVisitor = DataFrameShapeInferenceVisitor;
-//# sourceMappingURL=absint-visitor.js.map

package/abstract-interpretation/data-frame/mappers/assignment-mapper.d.ts

@@ -1,19 +0,0 @@
-import type { DataflowGraph } from '../../../dataflow/graph/graph';
-import type { RNode } from '../../../r-bridge/lang-4.x/ast/model/model';
-import type { RString } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-string';
-import type { RSymbol } from '../../../r-bridge/lang-4.x/ast/model/nodes/r-symbol';
-import type { ParentInformation } from '../../../r-bridge/lang-4.x/ast/model/processing/decorate';
-import type { DataFrameAssignmentInfo } from '../absint-info';
-/**
- * Maps a concrete data frame assignment to data frame assignment info containing the ids of the identifier and assigned expression.
- * We currently do not support function assignments dealing with data frames.
- * @param identifier - The R node of the variable identifier
- * @param expression - The R node of the assigned expression
- * @param dfg  - The data flow graph for resolving the arguments
- * @returns Data frame assignment info containing the IDs of the identifier and expression, or `undefined` if the node does not represent a data frame assignment
- */
-export declare function mapDataFrameVariableAssignment(identifier: RSymbol<ParentInformation> | RString<ParentInformation>, expression: RNode<ParentInformation>, dfg: DataflowGraph): DataFrameAssignmentInfo | undefined;
-/**
- * Checks whether a R node represents an assignment target, i.e. is a `RSymbol` or `RString`.
- */
-export declare function isAssignmentTarget(node: RNode<ParentInformation> | undefined): node is RSymbol<ParentInformation> | RString<ParentInformation>;

package/abstract-interpretation/data-frame/mappers/assignment-mapper.js

@@ -1,33 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.mapDataFrameVariableAssignment = mapDataFrameVariableAssignment;
-exports.isAssignmentTarget = isAssignmentTarget;
-const config_1 = require("../../../config");
-const type_1 = require("../../../r-bridge/lang-4.x/ast/model/type");
-const arguments_1 = require("./arguments");
-/**
- * Maps a concrete data frame assignment to data frame assignment info containing the ids of the identifier and assigned expression.
- * We currently do not support function assignments dealing with data frames.
- * @param identifier - The R node of the variable identifier
- * @param expression - The R node of the assigned expression
- * @param dfg  - The data flow graph for resolving the arguments
- * @returns Data frame assignment info containing the IDs of the identifier and expression, or `undefined` if the node does not represent a data frame assignment
- */
-function mapDataFrameVariableAssignment(identifier, expression, dfg) {
-    const resolveInfo = { graph: dfg, idMap: dfg.idMap, full: true, resolve: config_1.VariableResolve.Alias };
-    if (!(0, arguments_1.isDataFrameArgument)(expression, resolveInfo)) {
-        return;
-    }
-    return {
-        type: 'assignment',
-        identifier: identifier.info.id,
-        expression: expression.info.id
-    };
-}
-/**
- * Checks whether a R node represents an assignment target, i.e. is a `RSymbol` or `RString`.
- */
-function isAssignmentTarget(node) {
-    return node?.type === type_1.RType.Symbol || node?.type === type_1.RType.String;
-}
-//# sourceMappingURL=assignment-mapper.js.map

package/dataflow/environments/remove.d.ts

@@ -1,12 +0,0 @@
-import type { IEnvironment, REnvironmentInformation } from './environment';
-import type { Identifier } from './identifier';
-import type { NodeId } from '../../r-bridge/lang-4.x/ast/model/processing/node-id';
-/**
- * Removes all definitions of a given name from the environment.
- */
-export declare function remove(name: Identifier, environment: REnvironmentInformation, defaultEnvironment: IEnvironment): REnvironmentInformation;
-/** Creates a copy of the original environment but without the definitions of the given ids */
-export declare function removeAll(definitions: readonly {
-    nodeId: NodeId;
-    name: Identifier | undefined;
-}[], environment: REnvironmentInformation): REnvironmentInformation;

package/dataflow/environments/remove.js

@@ -1,52 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.remove = remove;
-exports.removeAll = removeAll;
-const info_1 = require("../info");
-const clone_1 = require("./clone");
-/**
- * Removes all definitions of a given name from the environment.
- */
-function remove(name, environment, defaultEnvironment) {
-    let current = environment.current;
-    do {
-        const definition = current.memory.get(name);
-        if (definition !== undefined) {
-            current.memory.delete(name);
-            if (definition.every(d => (0, info_1.happensInEveryBranch)(d.controlDependencies))) {
-                break;
-            }
-        }
-        current = current.parent;
-    } while (current.id !== defaultEnvironment.id);
-    // we never remove built ins
-    return environment;
-}
-/** Creates a copy of the original environment but without the definitions of the given ids */
-function removeAll(definitions, environment) {
-    environment = (0, clone_1.cloneEnvironmentInformation)(environment, true);
-    let current = environment.current;
-    do {
-        for (const { nodeId, name } of definitions) {
-            if (name) {
-                current.memory.delete(name);
-            }
-            else {
-                // remove all definitions for the node id
-                for (const [key, values] of current.memory) {
-                    const res = values.filter(v => v.nodeId === nodeId);
-                    if (res.length > 0) {
-                        current.memory.set(key, values);
-                    }
-                    else {
-                        current.memory.delete(key);
-                    }
-                }
-            }
-        }
-        current = current.parent;
-    } while (!current.builtInEnv);
-    // we never remove built ins so we can stop one early
-    return environment;
-}
-//# sourceMappingURL=remove.js.map

package/documentation/doc-util/doc-print.d.ts

@@ -1,5 +0,0 @@
-/**
- * Writes the wiki documentation to the specified output path.
- * Returns true if the file was updated, false if it was unchanged.
- */
-export declare function writeWikiTo(text: string, output_path: string, check_change?: boolean): boolean;

package/documentation/doc-util/doc-print.js

@@ -1,36 +0,0 @@
-"use strict";
-var __importDefault = (this && this.__importDefault) || function (mod) {
-    return (mod && mod.__esModule) ? mod : { "default": mod };
-};
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.writeWikiTo = writeWikiTo;
-const fs_1 = __importDefault(require("fs"));
-const path_1 = __importDefault(require("path"));
-/* eslint-disable */
-const IgnoreRegex = /[0-9]+(\.[0-9]+)? ?ms|"timing":\s*[0-9]+(\.0-9)?,?|tmp-[A-Za-z0-9-]+/g;
-/* eslint-enable */
-/**
- * Checks whether the file contains a different content, but ignores timing and some other non-semantic changes.
- */
-function didFileChange(filePath, content) {
-    if (!fs_1.default.existsSync(filePath)) {
-        return true; // If the file does not exist, it is considered changed.
-    }
-    const currentContent = fs_1.default.readFileSync(filePath, 'utf-8');
-    const cleanedCurrentContent = currentContent.replace(IgnoreRegex, '');
-    const cleanedNewContent = content.replace(IgnoreRegex, '');
-    return cleanedCurrentContent !== cleanedNewContent;
-}
-/**
- * Writes the wiki documentation to the specified output path.
- * Returns true if the file was updated, false if it was unchanged.
- */
-function writeWikiTo(text, output_path, check_change = true) {
-    if (!check_change || didFileChange(output_path, text)) {
-        fs_1.default.mkdirSync(path_1.default.dirname(output_path), { recursive: true });
-        fs_1.default.writeFileSync(output_path, text, 'utf-8');
-        return true;
-    }
-    return false;
-}
-//# sourceMappingURL=doc-print.js.map

package/project/plugins/file-plugins/flowr-description-file.js

@@ -1,37 +0,0 @@
-"use strict";
-Object.defineProperty(exports, "__esModule", { value: true });
-exports.FlowrDescriptionFile = void 0;
-const flowr_file_1 = require("../../context/flowr-file");
-const files_1 = require("../../../util/files");
-/**
- * This decorates a text file and provides access to its content as a DCF (Debian Control File)-like structure.
- */
-class FlowrDescriptionFile extends flowr_file_1.FlowrFile {
-    wrapped;
-    /**
-     * Prefer the static {@link FlowrDescriptionFile.from} method to create instances of this class as it will not re-create if already a description file
-     * and handle role assignments.
-     */
-    constructor(file) {
-        super(file.path(), file.role);
-        this.wrapped = file;
-    }
-    /**
-     * Loads and parses the content of the wrapped file as a DCF structure.
-     * @see {@link parseDCF} for details on the parsing logic.
-     */
-    loadContent() {
-        return (0, files_1.parseDCF)(this.wrapped);
-    }
-    /**
-     * Description file lifter, this does not re-create if already a description file
-     */
-    static from(file, role) {
-        if (role) {
-            file.assignRole(role);
-        }
-        return file instanceof FlowrDescriptionFile ? file : new FlowrDescriptionFile(file);
-    }
-}
-exports.FlowrDescriptionFile = FlowrDescriptionFile;
-//# sourceMappingURL=flowr-description-file.js.map

package/project/plugins/file-plugins/notebooks/notebook.js

@@ -1,2 +0,0 @@
-"use strict";
-//# sourceMappingURL=notebook.js.map