Examples with Node org.eclipse.n4js.flowgraphs.model.Node used on opensource projects

Example 16 with Node

use of org.eclipse.n4js.flowgraphs.model.Node in project n4js by eclipse.

the class ForFactory method buildForPlain.

private static ComplexNode buildForPlain(ReentrantASTIterator astpp, ForStatement forStmt) {
    ComplexNode cNode = new ComplexNode(astpp.container(), forStmt);
    List<Node> initNodes = new LinkedList<>();
    Node entryNode = new HelperNode(NodeNames.ENTRY, astpp.pos(), forStmt);
    Node conditionNode = null;
    Node bodyNode = null;
    Node updatesNode = null;
    if (forStmt.getVarDeclsOrBindings() != null) {
        int i = 0;
        for (VariableDeclarationOrBinding vdob : forStmt.getVarDeclsOrBindings()) {
            Node initNode = DelegatingNodeFactory.create(astpp, "init_" + i, forStmt, vdob);
            initNodes.add(initNode);
            i++;
        }
    }
    if (forStmt.getInitExpr() != null) {
        Node initNode = DelegatingNodeFactory.create(astpp, NodeNames.INITS, forStmt, forStmt.getInitExpr());
        initNodes.add(initNode);
    }
    if (forStmt.getExpression() != null) {
        conditionNode = DelegatingNodeFactory.create(astpp, NodeNames.CONDITION, forStmt, forStmt.getExpression());
    }
    Node conditionForkNode = new HelperNode(NodeNames.CONDITION_FORK, astpp.pos(), forStmt);
    bodyNode = DelegatingNodeFactory.createOrHelper(astpp, NodeNames.BODY, forStmt, forStmt.getStatement());
    Node continueCatchNode = new HelperNode(NodeNames.CONTINUE_CATCH, astpp.pos(), forStmt);
    if (forStmt.getUpdateExpr() != null) {
        updatesNode = DelegatingNodeFactory.create(astpp, NodeNames.UPDATES, forStmt, forStmt.getUpdateExpr());
    }
    Node exitNode = new HelperNode(NodeNames.EXIT, astpp.pos(), forStmt);
    cNode.addNode(entryNode);
    cNode.addNode(exitNode);
    for (Node initNode : initNodes) cNode.addNode(initNode);
    cNode.addNode(conditionNode);
    cNode.addNode(conditionForkNode);
    cNode.addNode(bodyNode);
    cNode.addNode(continueCatchNode);
    cNode.addNode(updatesNode);
    List<Node> nodes = new LinkedList<>();
    nodes.add(entryNode);
    nodes.addAll(initNodes);
    nodes.add(conditionNode);
    nodes.add(conditionForkNode);
    cNode.connectInternalSucc(nodes);
    cNode.connectInternalSucc(ControlFlowType.LoopEnter, conditionForkNode, bodyNode);
    if (conditionNode != null) {
        cNode.connectInternalSucc(ControlFlowType.LoopExit, conditionForkNode, exitNode);
        cNode.connectInternalSucc(bodyNode, continueCatchNode, updatesNode);
        Node beforeConditionNode = ListUtils.filterNulls(bodyNode, continueCatchNode, updatesNode).getLast();
        cNode.connectInternalSucc(ControlFlowType.LoopRepeat, beforeConditionNode, conditionNode);
    } else {
        cNode.connectInternalSucc(bodyNode, continueCatchNode, updatesNode);
        LinkedList<Node> loopCycle = ListUtils.filterNulls(continueCatchNode, updatesNode);
        Node loopSrc = loopCycle.getLast();
        cNode.connectInternalSucc(ControlFlowType.LoopInfinite, loopSrc, conditionForkNode);
        cNode.connectInternalSucc(ControlFlowType.DeadCode, loopSrc, exitNode);
    }
    // catch for short-circuits
    conditionForkNode.addCatchToken(new CatchToken(ControlFlowType.IfTrue));
    exitNode.addCatchToken(new CatchToken(ControlFlowType.IfFalse, ControlFlowType.LoopExit));
    cNode.setEntryNode(entryNode);
    cNode.setExitNode(exitNode);
    LabelledStatement lblStmt = ASTUtils.getLabelledStatement(forStmt);
    exitNode.addCatchToken(new CatchToken(ControlFlowType.Break, lblStmt));
    continueCatchNode.addCatchToken(new CatchToken(ControlFlowType.Continue, lblStmt));
    return cNode;
}

Example 17 with Node

use of org.eclipse.n4js.flowgraphs.model.Node in project n4js by eclipse.

the class JumpFactory method buildComplexNode.

static ComplexNode buildComplexNode(ReentrantASTIterator astpp, Statement stmt, Expression expr, JumpToken jumptoken) {
    ComplexNode cNode = new ComplexNode(astpp.container(), stmt);
    Node entryNode = new HelperNode(NodeNames.ENTRY, astpp.pos(), stmt);
    cNode.addNode(entryNode);
    Node expression = null;
    if (expr != null) {
        expression = DelegatingNodeFactory.create(astpp, NodeNames.EXPRESSION, stmt, expr);
        cNode.addNode(expression);
    }
    Node jumpNode = new RepresentingNode(NodeNames.JUMP, astpp.pos(), stmt);
    cNode.addNode(jumpNode);
    Node exitNode = new HelperNode(NodeNames.EXIT, astpp.pos(), stmt);
    cNode.addNode(exitNode);
    List<Node> cfs = new LinkedList<>();
    cfs.add(entryNode);
    cfs.add(expression);
    cNode.connectInternalSucc(entryNode, expression);
    Node beforeDeadNode = ListUtils.filterNulls(entryNode, expression).getLast();
    cNode.connectInternalSucc(beforeDeadNode, jumpNode);
    cNode.connectInternalSucc(ControlFlowType.DeadCode, jumpNode, exitNode);
    jumpNode.addJumpToken(jumptoken);
    cNode.setEntryNode(entryNode);
    cNode.setExitNode(exitNode);
    cNode.setJumpNode(jumpNode);
    return cNode;
}

Example 18 with Node

use of org.eclipse.n4js.flowgraphs.model.Node in project n4js by eclipse.

the class ScriptFactory method buildComplexNode.

static ComplexNode buildComplexNode(ReentrantASTIterator astpp, Script script) {
    ComplexNode cNode = new ComplexNode(astpp.container(), script);
    Node entryNode = new HelperNode(NodeNames.ENTRY, astpp.pos(), script);
    List<Node> scriptNodes = new LinkedList<>();
    EList<ScriptElement> scriptElems = script.getScriptElements();
    for (int n = 0; n < scriptElems.size(); n++) {
        ScriptElement scriptElem = getScriptElementAt(script, n);
        if (isControlFlowStatement(scriptElem)) {
            Node blockNode = DelegatingNodeFactory.create(astpp, "stmt_" + n, script, (Statement) scriptElem);
            scriptNodes.add(blockNode);
        }
    }
    Node exitNode = new HelperNode(NodeNames.EXIT, astpp.pos(), script);
    cNode.addNode(entryNode);
    for (Node scriptNode : scriptNodes) cNode.addNode(scriptNode);
    cNode.addNode(exitNode);
    List<Node> nodes = new LinkedList<>();
    nodes.add(entryNode);
    nodes.addAll(scriptNodes);
    nodes.add(exitNode);
    cNode.connectInternalSucc(nodes);
    cNode.setEntryNode(entryNode);
    cNode.setExitNode(exitNode);
    exitNode.addCatchToken(new CatchToken(ControlFlowType.CatchesAll));
    return cNode;
}

Example 19 with Node

use of org.eclipse.n4js.flowgraphs.model.Node in project n4js by eclipse.

the class SwitchFactory method buildComplexNode.

static ComplexNode buildComplexNode(ReentrantASTIterator astpp, SwitchStatement switchStmt) {
    ComplexNode cNode = new ComplexNode(astpp.container(), switchStmt);
    Node entryNode = new HelperNode(NodeNames.ENTRY, astpp.pos(), switchStmt);
    Node pivotNode = DelegatingNodeFactory.createOrHelper(astpp, NodeNames.PIVOT, switchStmt, switchStmt.getExpression());
    cNode.addNode(entryNode);
    cNode.addNode(pivotNode);
    List<Node> caseNodes = new LinkedList<>();
    // Assumption: clauses are ordered analog to the source code
    List<AbstractCaseClause> caseClauses = switchStmt.getCases();
    for (int n = 0; n < caseClauses.size(); n++) {
        AbstractCaseClause cc = caseClauses.get(n);
        Node caseNode = null;
        if (cc instanceof CaseClause) {
            caseNode = DelegatingNodeFactory.create(astpp, "case_" + n, switchStmt, cc);
        }
        if (cc instanceof DefaultClause) {
            caseNode = DelegatingNodeFactory.create(astpp, NodeNames.DEFAULT, switchStmt, cc);
        }
        caseNodes.add(caseNode);
        cNode.addNode(caseNode);
    }
    Node exitNode = new HelperNode(NodeNames.EXIT, astpp.pos(), switchStmt);
    cNode.addNode(exitNode);
    List<Node> cfs = new LinkedList<>();
    cfs.add(entryNode);
    cfs.add(pivotNode);
    cNode.connectInternalSucc(cfs);
    for (Node cnf : caseNodes) {
        cNode.connectInternalSucc(pivotNode, cnf);
    }
    cfs.clear();
    cfs.addAll(caseNodes);
    cfs.add(exitNode);
    // See {@link JumpFactory} how {@link BreakStatements} modify the control flow
    cNode.connectInternalSucc(cfs);
    if (switchStmt.getDefaultClause() == null)
        cNode.connectInternalSucc(pivotNode, exitNode);
    cNode.setEntryNode(entryNode);
    cNode.setExitNode(exitNode);
    LabelledStatement lblStmt = ASTUtils.getLabelledStatement(switchStmt);
    exitNode.addCatchToken(new CatchToken(ControlFlowType.Break, lblStmt));
    return cNode;
}

Example 20 with Node

use of org.eclipse.n4js.flowgraphs.model.Node in project n4js by eclipse.

the class TryFactory method buildComplexNode.

static ComplexNode buildComplexNode(ReentrantASTIterator astpp, TryStatement tryStmt) {
    ComplexNode cNode = new ComplexNode(astpp.container(), tryStmt);
    Node entryNode = new HelperNode(NodeNames.ENTRY, astpp.pos(), tryStmt);
    Node tryNode = null;
    Node catchNode = null;
    Node finallyNode = null;
    if (tryStmt.getBlock() != null) {
        tryNode = DelegatingNodeFactory.create(astpp, NodeNames.TRY, tryStmt, tryStmt.getBlock());
    }
    if (tryStmt.getCatch() != null && tryStmt.getCatch().getBlock() != null) {
        CatchBlock catchClause = tryStmt.getCatch();
        CatchToken ct = new CatchToken(ControlFlowType.Throw);
        catchNode = DelegatingNodeFactory.create(astpp, NodeNames.CATCH, tryStmt, catchClause.getBlock());
        catchNode.addCatchToken(ct);
    }
    if (tryStmt.getFinally() != null && tryStmt.getFinally().getBlock() != null) {
        FinallyBlock finallyElem = tryStmt.getFinally();
        CatchToken ct = new CatchToken(ControlFlowType.CatchesAll);
        finallyNode = DelegatingNodeFactory.create(astpp, NodeNames.FINALLY, tryStmt, finallyElem.getBlock());
        finallyNode.addCatchToken(ct);
    }
    Node exitNode = new HelperNode(NodeNames.EXIT, astpp.pos(), tryStmt);
    cNode.addNode(entryNode);
    cNode.addNode(tryNode);
    cNode.addNode(catchNode);
    cNode.addNode(finallyNode);
    cNode.addNode(exitNode);
    List<Node> nodes = new LinkedList<>();
    nodes.add(entryNode);
    nodes.add(tryNode);
    nodes.add(finallyNode);
    nodes.add(exitNode);
    cNode.connectInternalSucc(nodes);
    // TODO: Consider to use a special edge type 'unsound'
    cNode.connectInternalSucc(entryNode, catchNode);
    LinkedList<Node> parts = ListUtils.filterNulls(finallyNode, exitNode);
    Node tgtFrgmt = parts.getFirst();
    // TODO: Consider to use a special edge type 'unsound'
    cNode.connectInternalSucc(tryNode, catchNode);
    cNode.connectInternalSucc(catchNode, tgtFrgmt);
    cNode.setEntryNode(entryNode);
    cNode.setExitNode(exitNode);
    return cNode;
}