Examples with StatementBlock org.eclipse.titan.designer.AST.TTCN3.statements.StatementBlock used on opensource projects

Example 26 with StatementBlock

use of org.eclipse.titan.designer.AST.TTCN3.statements.StatementBlock in project titan.EclipsePlug-ins by eclipse.

the class StatementBlockContext method process_internal.

@Override
protected void process_internal() {
    localVarIds = new ArrayList<Identifier>();
    final Context bottom = getBottom();
    final IVisitableNode bottomNode = bottom.getNode();
    if (!(bottomNode instanceof Log_Statement)) {
        ErrorReporter.logError("StatementBlockContext.process_internal(): Warning! Context chain bottom node is not a Log_Statement! ");
        return;
    }
    final Log_Statement logst = (Log_Statement) bottomNode;
    final Location logLoc = logst.getLocation();
    // 
    final StatementBlock sb = getNode();
    final StatementBlockVisitor vis = new StatementBlockVisitor(logLoc);
    sb.accept(vis);
    localVarIds.addAll(vis.getIdsFound());
}

Example 27 with StatementBlock

use of org.eclipse.titan.designer.AST.TTCN3.statements.StatementBlock in project titan.EclipsePlug-ins by eclipse.

the class ReturnVisitor method visit.

@Override
public int visit(final IVisitableNode node) {
    // certain YES
    if (node instanceof Return_Statement) {
        certainty = ReturnCertainty.YES;
        return V_ABORT;
    }
    // 
    if (node instanceof StatementBlock || node instanceof StatementList) {
        final StatementBlockVisitor blockVis = new StatementBlockVisitor();
        node.accept(blockVis);
        certainty = blockVis.getCertainty();
        return V_SKIP;
    }
    // custom statements
    if (node instanceof While_Statement || node instanceof DoWhile_Statement || node instanceof For_Statement) {
        final BranchMerger branchMerger = new BranchMerger();
        node.accept(branchMerger);
        // conditional blocks: maximum MAYBE
        certainty = branchMerger.getCertainty().or(ReturnCertainty.NO);
        return V_SKIP;
    }
    if (node instanceof If_Statement) {
        final If_Statement ifs = (If_Statement) node;
        final BranchMerger branchMerger = new BranchMerger();
        node.accept(branchMerger);
        if (ifs.getStatementBlock() != null) {
            // must enter one block: maximum YES
            certainty = branchMerger.getCertainty();
        } else {
            // conditional blocks: maximum MAYBE
            certainty = branchMerger.getCertainty().or(ReturnCertainty.NO);
        }
        return V_SKIP;
    }
    if (node instanceof Alt_Statement) {
        final AltGuards ags = ((Alt_Statement) node).getAltGuards();
        final BranchMerger branchMerger = new BranchMerger();
        ags.accept(branchMerger);
        if (ags.hasElse()) {
            // must enter one block: maximum YES
            certainty = branchMerger.getCertainty();
        } else {
            // conditional blocks: maximum MAYBE
            certainty = branchMerger.getCertainty().or(ReturnCertainty.NO);
        }
        return V_SKIP;
    }
    if (node instanceof Interleave_Statement) {
        final BranchMerger branchMerger = new BranchMerger();
        node.accept(branchMerger);
        // conditional block: maximum MAYBE
        certainty = branchMerger.getCertainty().or(ReturnCertainty.NO);
        return V_SKIP;
    }
    if (node instanceof StatementBlock_Statement) {
        final BranchMerger branchMerger = new BranchMerger();
        node.accept(branchMerger);
        // must enter block: maximum YES
        certainty = branchMerger.getCertainty();
        return V_SKIP;
    }
    if (node instanceof SelectCase_Statement) {
        final BranchMerger branchMerger = new BranchMerger();
        node.accept(branchMerger);
        // must enter one block: maximum YES
        certainty = branchMerger.getCertainty();
        return V_SKIP;
    }
    return V_ABORT;
}

Example 28 with StatementBlock

use of org.eclipse.titan.designer.AST.TTCN3.statements.StatementBlock in project titan.EclipsePlug-ins by eclipse.

the class Def_Testcase_Writer method writeTestCaseFunction.

public String writeTestCaseFunction(StatementBlock tcStatementBlock) {
    int testcaseSize = tcStatementBlock.getSize();
    for (int j = 0; j < testcaseSize; j++) {
        if (tcStatementBlock.getStatementByIndex(j) instanceof Definition_Statement) {
            Definition_Statement tc_defStatement = (Definition_Statement) tcStatementBlock.getStatementByIndex(j);
            defCounter++;
            defValueCounter++;
            writeDefinitionStatement(tc_defStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Assignment_Statement) {
            Assignment_Statement tc_assignStatement = (Assignment_Statement) tcStatementBlock.getStatementByIndex(j);
            assignCounter++;
            testCaseString.append(writeAssignmentStatement(tc_assignStatement));
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Connect_Statement) {
            Connect_Statement tc_connectStatement = (Connect_Statement) tcStatementBlock.getStatementByIndex(j);
            connectCounter++;
            writeConnectStatement(tc_connectStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Unknown_Start_Statement) {
            Unknown_Start_Statement tc_startStatement = (Unknown_Start_Statement) tcStatementBlock.getStatementByIndex(j);
            writeUnknownStartStatement(tc_startStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Done_Statement) {
            testCaseString.append("hc.done(\"all component\");" + "\r\n");
        // TODO: where is all coming from?
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Map_Statement) {
            Map_Statement tc_mapStatement = (Map_Statement) tcStatementBlock.getStatementByIndex(j);
            mapCounter++;
            writeMapStatement(tc_mapStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof If_Statement) {
            If_Statement tc_ifStatement = (If_Statement) tcStatementBlock.getStatementByIndex(j);
            tcIfConditionCounter++;
            writeIfStatement(tc_ifStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Setverdict_Statement) {
            Setverdict_Statement tc_setVerdictStatement = (Setverdict_Statement) tcStatementBlock.getStatementByIndex(j);
            writeSetVerdictStatement(tc_setVerdictStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof DoWhile_Statement) {
            doWhileCounter++;
            DoWhile_Statement doWhileStatement = (DoWhile_Statement) tcStatementBlock.getStatementByIndex(j);
            String test = doWhileStatement.getExpression().toString();
            testCaseString.append("do{" + "\r\n");
            this.writeTestCaseFunction(doWhileStatement.getStatementBlock());
            testCaseString.append("while(" + doWhileExpressions.get(doWhileCounter) + ".getValue());\r\n");
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Send_Statement) {
            Send_Statement tc_SendStatement = (Send_Statement) tcStatementBlock.getStatementByIndex(j);
            sendCounter++;
            testCaseString.append(writeSendStatement(tc_SendStatement));
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Receive_Port_Statement) {
            Receive_Port_Statement tc_ReceiveStatement = (Receive_Port_Statement) tcStatementBlock.getStatementByIndex(j);
            receiveCounter++;
            blockStatementBlockStatementWriter = true;
            testCaseString.append(writeReceiveStatement(tc_ReceiveStatement));
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Unknown_Stop_Statement) {
            Unknown_Stop_Statement tc_StopStatement = (Unknown_Stop_Statement) tcStatementBlock.getStatementByIndex(j);
            writeUnknownStopStatement(tc_StopStatement);
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Alt_Statement) {
            altStatementCounter++;
            altStatements.get(altStatementCounter).setTimerInfo(isThereAStartedTimer, currentTimerName);
            testCaseString.append(altStatements.get(altStatementCounter).getJavaSource());
        } else if (tcStatementBlock.getStatementByIndex(j) instanceof Disconnect_Statement) {
            Disconnect_Statement tc_disconnectStatement = (Disconnect_Statement) tcStatementBlock.getStatementByIndex(j);
            disconnectCounter++;
            writeDisconnectStatement(tc_disconnectStatement);
        } else if ((tcStatementBlock.getStatementByIndex(j) instanceof StatementBlock_Statement) && !blockStatementBlockStatementWriter) {
            StatementBlock_Statement tc_statementBlockStatement = (StatementBlock_Statement) tcStatementBlock.getStatementByIndex(j);
            blockStatementBlockStatementWriter = false;
            testCaseString.append("{\r\n");
            blockWriter = true;
            writeTestCaseFunction(tc_statementBlockStatement.getStatementBlock());
            blockWriter = false;
            testCaseString.append("}\r\n");
        }
    }
    if (!blockWriter) {
        testCaseString.append("}" + "\r\n");
    }
    return testCaseString.toString();
}

Example 29 with StatementBlock

use of org.eclipse.titan.designer.AST.TTCN3.statements.StatementBlock in project titan.EclipsePlug-ins by eclipse.

the class Def_Altstep method setMyScope.

@Override
public /**
 * {@inheritDoc}
 */
void setMyScope(final Scope scope) {
    if (bridgeScope != null && bridgeScope.getParentScope() == scope) {
        return;
    }
    bridgeScope = new NamedBridgeScope();
    bridgeScope.setParentScope(scope);
    scope.addSubScope(getLocation(), bridgeScope);
    bridgeScope.setScopeMacroName(identifier.getDisplayName());
    super.setMyScope(bridgeScope);
    if (runsOnRef != null) {
        runsOnRef.setMyScope(bridgeScope);
    }
    formalParList.setMyScope(bridgeScope);
    if (block != null) {
        block.setMyScope(formalParList);
        altGuards.setMyScope(block);
        bridgeScope.addSubScope(block.getLocation(), block);
    }
    bridgeScope.addSubScope(formalParList.getLocation(), formalParList);
    if (altGuards != null) {
        for (int i = 0; i < altGuards.getNofAltguards(); i++) {
            final AltGuard ag = altGuards.getAltguardByIndex(i);
            final StatementBlock sb = ag.getStatementBlock();
            if (sb != null) {
                bridgeScope.addSubScope(sb.getLocation(), sb);
            }
        }
    }
}

Example 30 with StatementBlock

use of org.eclipse.titan.designer.AST.TTCN3.statements.StatementBlock in project titan.EclipsePlug-ins by eclipse.

the class TooManyStatements method process.

@Override
public void process(final IVisitableNode node, final Problems problems) {
    if (node instanceof StatementBlock) {
        final StatementBlock s = (StatementBlock) node;
        if (s.getSize() > reportTooManyStatementsSize) {
            final String msg = MessageFormat.format(TOOMANYSTATEMENTS, reportTooManyStatementsSize, s.getSize());
            problems.report(s.getLocation(), msg);
        }
    }
}