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

Example 1 with Setverdict_Statement

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

the class Def_AltStatement_Writer method writeTestCaseAltStatement.

public void writeTestCaseAltStatement(Alt_Statement altStatement) {
    AltGuards currentAltGuards = altStatement.getAltGuards();
    String[] negativeConditions = new String[currentAltGuards.getNofAltguards()];
    String[] positiveConditions = new String[currentAltGuards.getNofAltguards()];
    // initialize values
    for (int i = 0; i < currentAltGuards.getNofAltguards(); i++) {
        AltGuard currentAltGuard = currentAltGuards.getAltguardByIndex(i);
        if (currentAltGuard instanceof Operation_Altguard) {
            Statement currentStatement = ((Operation_Altguard) currentAltGuard).getGuardStatement();
            if (currentStatement instanceof Receive_Port_Statement) {
                altReceiveCounter++;
                if (altGuardConditions.get(i) != null) {
                    // alt guard present && any port receive
                    if (altGuardPortReference.get(altReceiveCounter).equals("any port")) {
                        positiveConditions[i] = altGuardConditions.get(altReceiveCounter) + ".getValue()" + "&&(" + "anyPortReceive(true))";
                        negativeConditions[i] = altGuardConditions.get(altReceiveCounter) + ".getValue()" + "&&(" + "anyPortReceive(false))";
                    } else {
                        // alt guard present && normal port receive
                        positiveConditions[i] = altGuardConditions.get(altReceiveCounter) + ".getValue()" + "&&(" + altGuardPortReference.get(altReceiveCounter) + ".receive(" + altGuardReceiveValue.get(altReceiveCounter) + ",true)!=null)";
                        negativeConditions[i] = altGuardConditions.get(altReceiveCounter) + ".getValue()" + "&&(" + altGuardPortReference.get(altReceiveCounter) + ".receive(" + altGuardReceiveValue.get(altReceiveCounter) + ",false)!=null)";
                        if (altGuardReceiveValue.get(altReceiveCounter).startsWith("Templates")) {
                            altGuardReceiveType.set(altReceiveCounter, "Templates");
                        }
                    }
                } else {
                    // no alt guard && any port recieve
                    if (altGuardPortReference.get(altReceiveCounter).equals("any port")) {
                        positiveConditions[i] = "anyPortReceive(true)";
                        negativeConditions[i] = "anyPortReceive(false)";
                    } else {
                        // no alt guard && no receive parameter
                        if (altGuardReceiveType.get(altReceiveCounter).equals("noparam")) {
                            positiveConditions[i] = altGuardPortReference.get(altReceiveCounter) + ".receive(true)!=null";
                            negativeConditions[i] = altGuardPortReference.get(altReceiveCounter) + ".receive(false)!=null";
                        } else if (// no alt guard && typed port recieve
                        altGuardReceiveType.get(altReceiveCounter).equals("_TYPED_PARAM_")) {
                            negativeConditions[i] = altGuardPortReference.get(altReceiveCounter) + ".receive_" + altGuardReceiveValue.get(altReceiveCounter) + "(false)!=null";
                            if (altGuardReceiveAnyValValue.get(altReceiveCounter) != null) {
                                positiveConditions[i] = "(" + altGuardReceiveAnyValValue.get(altReceiveCounter) + "=" + altGuardPortReference.get(altReceiveCounter) + ".receive_" + altGuardReceiveValue.get(altReceiveCounter) + "(true))!=null";
                            } else {
                            }
                        } else {
                            // no alt guard && normal port recieve
                            positiveConditions[i] = altGuardPortReference.get(altReceiveCounter) + ".receive(" + altGuardReceiveValue.get(altReceiveCounter) + ",true)!=null";
                            negativeConditions[i] = altGuardPortReference.get(altReceiveCounter) + ".receive(" + altGuardReceiveValue.get(altReceiveCounter) + ",false)!=null";
                        }
                        if (altGuardReceiveValue.get(altReceiveCounter) != null && altGuardReceiveValue.get(altReceiveCounter).startsWith("Templates")) {
                            altGuardReceiveType.set(altReceiveCounter, "Templates");
                        }
                    }
                }
            }
            if (currentStatement instanceof Timeout_Statement) {
                timeOutCounter++;
                if (altGuardConditions.get(i) != null) {
                    positiveConditions[i] = altGuardConditions.get(i) + "&&(" + altGuardTimeout.get(timeOutCounter) + ".timeout()";
                    negativeConditions[i] = altGuardConditions.get(i) + "&&(!" + altGuardTimeout.get(i) + ".timeout()";
                } else {
                    positiveConditions[i] = altGuardTimeout.get(timeOutCounter) + ".timeout()";
                    negativeConditions[i] = "!" + altGuardTimeout.get(timeOutCounter) + ".timeout()";
                }
            }
        }
    }
    // write
    altString.append("rownum=" + altStatement.getLocation().getLine() + ";\r\n");
    altString.append("for(;;){" + "\r\n");
    altString.append("if(!(");
    for (int j = 0; j < negativeConditions.length; j++) {
        altString.append(negativeConditions[j]);
        if (j + 1 < negativeConditions.length) {
            altString.append("||");
        }
    }
    altString.append(")){" + "\r\n");
    // timer
    if (isThereAStartedTimer) {
        altString.append("long timeout = -1;" + "\r\n");
        altString.append("long newtimeout;" + "\r\n");
        altString.append("if(" + currentTimerName + ".running)if((newtimeout=(long)(" + currentTimerName + ".read().value*1000.0))<timeout || timeout == -1) timeout=newtimeout;" + "\r\n");
        altString.append("if(timeout>0) try{queue.poll(timeout,TimeUnit.MILLISECONDS);}catch(InterruptedException e){} " + "\r\n");
    } else {
        altString.append("try{queue.take();}catch(InterruptedException e){}" + "\r\n");
    }
    // endoftimer
    altString.append("}" + "\r\n");
    altString.append("this.lock();" + "\r\n");
    // ifwriter
    altReceiveCounter = -1;
    boolean isFirstIf = true;
    for (int i = 0; i < currentAltGuards.getNofAltguards(); i++) {
        AltGuard currentAltGuard = currentAltGuards.getAltguardByIndex(i);
        if (currentAltGuard instanceof Operation_Altguard) {
            Statement currentStatement = ((Operation_Altguard) currentAltGuard).getGuardStatement();
            StatementBlock currentStatementBlock = ((Operation_Altguard) currentAltGuard).getStatementBlock();
            if (isFirstIf) {
                altString.append("if(" + positiveConditions[i] + "){\r\n");
                isFirstIf = false;
            } else {
                altString.append("else if(" + positiveConditions[i] + "){\r\n");
            }
            if (currentStatement instanceof Receive_Port_Statement) {
                altReceiveCounter++;
                altString.append("rownum=" + currentStatement.getLocation().getLine() + ";\r\n");
                if (altGuardReceiveType.get(altReceiveCounter).equals("noparam")) {
                    altString.append("	TTCN3Logger.writeLog(compid, \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + altGuardPortReference.get(altReceiveCounter) + "\", true);" + "\r\n");
                } else if (altGuardReceiveType.get(altReceiveCounter).equals("Templates")) {
                    String methodName = altGuardReceiveValue.get(altReceiveCounter);
                    if (methodName.endsWith("()") && methodName.startsWith("Templates.")) {
                        methodName = (String) methodName.subSequence(10, methodName.length() - 2);
                    }
                    altString.append("	TTCN3Logger.writeLog(compid, \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + altGuardPortReference.get(altReceiveCounter) + ":\\n " + methodName + ":=\" + " + altGuardReceiveValue.get(altReceiveCounter) + ".toString(), true);" + "\r\n");
                } else if (altGuardReceiveType.get(altReceiveCounter).equals("any port")) {
                    altString.append("	TTCN3Logger.writeLog(compid, \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port any port\", true);" + "\r\n");
                } else if (altGuardReceiveType.get(altReceiveCounter).equals("_TYPED_PARAM_")) {
                    altString.append("	TTCN3Logger.writeLog(compid, \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + altGuardPortReference.get(altReceiveCounter) + ": type " + altGuardReceiveValue.get(altReceiveCounter) + "\", true);" + "\r\n");
                } else {
                    if (altGuardReceiveValue.get(altReceiveCounter) != null) {
                        altString.append("	TTCN3Logger.writeLog(compid, \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + altGuardPortReference.get(altReceiveCounter) + ":\" + " + altGuardReceiveValue.get(altReceiveCounter) + ".toString(), true);" + "\r\n");
                    }
                }
            } else if (currentStatement instanceof Timeout_Statement) {
                altString.append("rownum=" + currentStatement.getLocation().getLine() + ";\r\n" + "TTCN3Logger.writeLog(compid, \"TIMEROP\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"Timeout on timer " + currentTimerName + ".\", false);" + "\r\n");
            }
            boolean isThereARepeatStatement = false;
            for (int j = 0; j < currentStatementBlock.getSize(); j++) {
                Statement currentStatementBlockStatement = currentStatementBlock.getStatementByIndex(j);
                if (currentStatementBlockStatement instanceof Setverdict_Statement) {
                    Setverdict_Statement setVerdictStatement = (Setverdict_Statement) currentStatementBlockStatement;
                    String verdict = "";
                    if (setVerdictStatement.getVerdictValue() instanceof Verdict_Value) {
                        Verdict_Value verdictValue = (Verdict_Value) setVerdictStatement.getVerdictValue();
                        if (verdictValue.getValue().toString().equals("PASS")) {
                            verdict = "pass";
                        } else if (verdictValue.getValue().toString().equals("INCONC")) {
                            verdict = "inconc";
                        } else {
                            verdict = "fail";
                        }
                    }
                    altString.append("rownum=" + setVerdictStatement.getLocation().getLine() + ";\r\n");
                    altString.append("TTCN3Logger.writeLog(compid, \"VERDICTOP\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"setverdict(" + verdict + "): \" + getVerdict() + \" -> " + verdict + "\", true);" + "\r\n");
                    altString.append("setVerdict(\"" + verdict + "\");" + "\r\n");
                }
                if (currentStatementBlockStatement instanceof Assignment_Statement) {
                    if (isFunction) {
                        functionParent.assignCounter++;
                        altString.append(functionParent.writeAssignmentStatement((Assignment_Statement) currentStatementBlockStatement));
                        String test = "";
                        test.toString();
                    } else if (isTestCase) {
                        testcaseParent.assignCounter++;
                        altString.append(testcaseParent.writeAssignmentStatement((Assignment_Statement) currentStatementBlockStatement));
                    }
                }
                if (currentStatementBlockStatement instanceof Send_Statement) {
                    if (isFunction) {
                        functionParent.sendCounter++;
                        altString.append(functionParent.writeSendStatement((Send_Statement) currentStatementBlockStatement));
                    } else if (isTestCase) {
                        testcaseParent.sendCounter++;
                        altString.append(testcaseParent.writeSendStatement((Send_Statement) currentStatementBlockStatement));
                    }
                }
                if (currentStatementBlockStatement instanceof Repeat_Statement) {
                    isThereARepeatStatement = true;
                }
            }
            if (isThereARepeatStatement) {
                isThereARepeatStatement = false;
            } else {
                altString.append("break;\r\n");
            }
            altString.append("}\r\n");
        }
    }
    altString.append("this.unlock();" + "\r\n");
    altString.append("}" + "\r\n");
}

Example 2 with Setverdict_Statement

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

the class Def_Function_Writer method writeSetVerdictStatement.

public void writeSetVerdictStatement(Setverdict_Statement setVerdictStatement) {
    String verdict = "";
    if (setVerdictStatement.getVerdictValue() instanceof Verdict_Value) {
        Verdict_Value verdictValue = (Verdict_Value) setVerdictStatement.getVerdictValue();
        if (verdictValue.getValue().toString().equals("PASS")) {
            verdict = "pass";
        } else if (verdictValue.getValue().toString().equals("INCONC")) {
            verdict = "inconc";
        } else {
            verdict = "fail";
        }
    }
    functionString.append("rownum=" + setVerdictStatement.getLocation().getLine() + ";\r\n");
    functionString.append("TTCN3Logger.writeLog(compid, \"VERDICTOP\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"setverdict(" + verdict + "): \" + getVerdict() + \" -> " + verdict + "\", true);" + "\r\n");
    functionString.append("setVerdict(\"" + verdict + "\");" + "\r\n");
}

Example 3 with Setverdict_Statement

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

the class Def_Function_Writer method writeFunction.

public void writeFunction(StatementBlock statementBlock) {
    for (int i = 0; i < statementBlock.getSize(); i++) {
        if (statementBlock.getStatementByIndex(i) instanceof Definition_Statement) {
            writeDefinitionStatement((Definition_Statement) statementBlock.getStatementByIndex(i));
        } else if (statementBlock.getStatementByIndex(i) instanceof Assignment_Statement) {
            assignCounter++;
            functionString.append(writeAssignmentStatement((Assignment_Statement) statementBlock.getStatementByIndex(i)));
        } else if (statementBlock.getStatementByIndex(i) instanceof Assignment_Statement) {
            Assignment_Statement tc_assignStatement = (Assignment_Statement) statementBlock.getStatementByIndex(i);
            assignCounter++;
            functionString.append(writeAssignmentStatement(tc_assignStatement));
        } else if (statementBlock.getStatementByIndex(i) instanceof Send_Statement) {
            sendCounter++;
            functionString.append(writeSendStatement((Send_Statement) statementBlock.getStatementByIndex(i)));
        } else if (statementBlock.getStatementByIndex(i) instanceof Unknown_Start_Statement) {
            startCounter++;
            writeUnknownStartStatement((Unknown_Start_Statement) statementBlock.getStatementByIndex(i));
        } else if (statementBlock.getStatementByIndex(i) instanceof Alt_Statement) {
            altStatementCounter++;
            altStatements.get(altStatementCounter).setTimerInfo(isThereAStartedTimer, currentTimerName);
            functionString.append(altStatements.get(altStatementCounter).getJavaSource());
        } else if (statementBlock.getStatementByIndex(i) instanceof Setverdict_Statement) {
            writeSetVerdictStatement((Setverdict_Statement) statementBlock.getStatementByIndex(i));
        } else if (statementBlock.getStatementByIndex(i) instanceof DoWhile_Statement) {
            doWhileCounter++;
            DoWhile_Statement doWhileStatement = (DoWhile_Statement) statementBlock.getStatementByIndex(i);
            String test = doWhileStatement.getExpression().toString();
            functionString.append("do{" + "\r\n");
            this.writeFunction(doWhileStatement.getStatementBlock());
            functionString.append("}while(" + doWhileExpressions.get(doWhileCounter) + ".getValue());\r\n");
        }
    }
    if (returnStatementValue != null) {
        functionString.append("return " + returnStatementValue + ";\r\n");
    }
}

Example 4 with Setverdict_Statement

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

the class Def_Testcase_Writer method writeReceiveStatement.

public String writeReceiveStatement(Receive_Port_Statement currentStatement) {
    StringBuilder testCaseString = new StringBuilder("");
    String receiveStatement = "";
    // no alt guard && any port recieve
    if (receivePortReference.get(receiveCounter).equals("any port")) {
        receiveStatement = "anyPortReceive(true)";
    } else {
        // no alt guard && typed port recieve
        if (receiveType.get(receiveCounter).equals("_TYPED_PARAM_")) {
            if (receiveAnyValValue.get(receiveCounter) != null) {
                receiveStatement = "(" + receiveAnyValValue.get(receiveCounter) + "=" + receivePortReference.get(receiveCounter) + ".receive_" + receiveValue.get(receiveCounter) + "(true))!=null";
            } else {
            }
        } else {
            // no alt guard && normal port recieve
            receiveStatement = receivePortReference.get(receiveCounter) + ".receive(" + receiveValue.get(receiveCounter) + ",true)!=null";
        }
        if (receiveValue.get(receiveCounter).startsWith("Templates")) {
            receiveType.set(receiveCounter, "Templates");
        }
    }
    testCaseString.append("if(" + receiveStatement + "){\r\n");
    testCaseString.append("rownum=" + currentStatement.getLocation().getLine() + ";\r\n");
    if (receiveType.get(receiveCounter).equals("Templates")) {
        String methodName = receiveValue.get(receiveCounter);
        if (methodName.endsWith("()") && methodName.startsWith("Templates.")) {
            methodName = (String) methodName.subSequence(10, methodName.length() - 2);
        }
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + receivePortReference.get(receiveCounter) + ":\\n " + methodName + ":=\" + " + receiveValue.get(receiveCounter) + ".toString(), true);" + "\r\n");
    } else if (receiveType.get(receiveCounter).equals("any port")) {
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port any port\", true);" + "\r\n");
    } else if (receiveType.get(receiveCounter).equals("_TYPED_PARAM_")) {
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + receivePortReference.get(receiveCounter) + ": type " + receiveValue.get(receiveCounter) + "\", true);" + "\r\n");
    } else {
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + receivePortReference.get(receiveCounter) + ":\" + " + receiveValue.get(receiveCounter) + ".toString(), true);" + "\r\n");
    }
    for (int i = 0; i < receiveStatements.get(receiveCounter).getSize(); i++) {
        if (receiveStatements.get(receiveCounter).getStatementByIndex(i) instanceof Setverdict_Statement) {
            Setverdict_Statement setVerdictStatement = (Setverdict_Statement) receiveStatements.get(receiveCounter).getStatementByIndex(i);
            String verdict = "";
            if (setVerdictStatement.getVerdictValue() instanceof Verdict_Value) {
                Verdict_Value verdictValue = (Verdict_Value) setVerdictStatement.getVerdictValue();
                if (verdictValue.getValue().toString().equals("PASS")) {
                    verdict = "pass";
                } else if (verdictValue.getValue().toString().equals("INCONC")) {
                    verdict = "inconc";
                } else {
                    verdict = "fail";
                }
            }
            testCaseString.append("rownum=" + setVerdictStatement.getLocation().getLine() + ";\r\n");
            testCaseString.append("TTCN3Logger.writeLog(\"mtc\", \"VERDICTOP\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"setverdict(" + verdict + "): \" + getVerdict() + \" -> " + verdict + "\", true);" + "\r\n");
            testCaseString.append("setVerdict(\"" + verdict + "\");" + "\r\n");
        }
    }
    testCaseString.append("}\r\n");
    return testCaseString.toString();
}

Example 5 with Setverdict_Statement

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

the class Def_Function_Writer method writeReceiveStatement.

public String writeReceiveStatement(Receive_Port_Statement currentStatement) {
    StringBuilder testCaseString = new StringBuilder("");
    String receiveStatement = "";
    // no alt guard && any port recieve
    if (receivePortReference.get(receiveCounter).equals("any port")) {
        receiveStatement = "anyPortReceive(true)";
    } else {
        // no alt guard && typed port recieve
        if (receiveType.get(receiveCounter).equals("_TYPED_PARAM_")) {
            if (receiveAnyValValue.get(receiveCounter) != null) {
                receiveStatement = "(" + receiveAnyValValue.get(receiveCounter) + "=" + receivePortReference.get(receiveCounter) + ".receive_" + receiveValue.get(receiveCounter) + "(true))!=null";
            } else {
            }
        } else {
            // no alt guard && normal port recieve
            receiveStatement = receivePortReference.get(receiveCounter) + ".receive(" + receiveValue.get(receiveCounter) + ",true)!=null";
        }
        if (receiveValue.get(receiveCounter).startsWith("Templates")) {
            receiveType.set(receiveCounter, "Templates");
        }
    }
    testCaseString.append("if(" + receiveStatement + "){\r\n");
    testCaseString.append("rownum=" + currentStatement.getLocation().getLine() + ";\r\n");
    if (receiveType.get(receiveCounter).equals("Templates")) {
        String methodName = receiveValue.get(receiveCounter);
        if (methodName.endsWith("()") && methodName.startsWith("Templates.")) {
            methodName = (String) methodName.subSequence(10, methodName.length() - 2);
        }
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + receivePortReference.get(receiveCounter) + ":\\n " + methodName + ":=\" + " + receiveValue.get(receiveCounter) + ".toString(), true);" + "\r\n");
    } else if (receiveType.get(receiveCounter).equals("any port")) {
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port any port\", true);" + "\r\n");
    } else if (receiveType.get(receiveCounter).equals("_TYPED_PARAM_")) {
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + receivePortReference.get(receiveCounter) + ": type " + receiveValue.get(receiveCounter) + "\", true);" + "\r\n");
    } else {
        testCaseString.append("	TTCN3Logger.writeLog(\"mtc\", \"PORTEVENT\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"RECEIVE event on port " + receivePortReference.get(receiveCounter) + ":\" + " + receiveValue.get(receiveCounter) + ".toString(), true);" + "\r\n");
    }
    for (int i = 0; i < receiveStatements.get(receiveCounter).getSize(); i++) {
        if (receiveStatements.get(receiveCounter).getStatementByIndex(i) instanceof Setverdict_Statement) {
            Setverdict_Statement setVerdictStatement = (Setverdict_Statement) receiveStatements.get(receiveCounter).getStatementByIndex(i);
            String verdict = "";
            if (setVerdictStatement.getVerdictValue() instanceof Verdict_Value) {
                Verdict_Value verdictValue = (Verdict_Value) setVerdictStatement.getVerdictValue();
                if (verdictValue.getValue().toString().equals("PASS")) {
                    verdict = "pass";
                } else if (verdictValue.getValue().toString().equals("INCONC")) {
                    verdict = "inconc";
                } else {
                    verdict = "fail";
                }
            }
            testCaseString.append("rownum=" + setVerdictStatement.getLocation().getLine() + ";\r\n");
            testCaseString.append("TTCN3Logger.writeLog(\"mtc\", \"VERDICTOP\", sourcefilename, rownum, \"function\", \"" + nodeName + "\", \"setverdict(" + verdict + "): \" + getVerdict() + \" -> " + verdict + "\", true);" + "\r\n");
            testCaseString.append("setVerdict(\"" + verdict + "\");" + "\r\n");
        }
    }
    testCaseString.append("}\r\n");
    return testCaseString.toString();
}