use of org.eclipse.titan.designer.AST.TTCN3.statements.AltGuards 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");
}
use of org.eclipse.titan.designer.AST.TTCN3.statements.AltGuards in project titan.EclipsePlug-ins by eclipse.
the class Call_Statement method checkCallBody.
/**
* Checks the response and exception handling part of a call operation.
*
* @param timestamp
* the timestamp of the actual build cycle.
* @param portType
* the port type of the actual call statement.
* @param signature
* the signature type of the actual call statement.
*/
private void checkCallBody(final CompilationTimeStamp timestamp, final Port_Type portType, final IType signature) {
boolean hasCatchTimeout = false;
for (int i = 0; i < altGuards.getNofAltguards(); i++) {
final AltGuard altGuard = altGuards.getAltguardByIndex(i);
if (!altguard_type.AG_OP.equals(altGuard.getType())) {
continue;
}
final Statement statement = ((Operation_Altguard) altGuard).getGuardStatement();
if (Statement_type.S_CATCH.equals(statement.getType())) {
((Catch_Statement) statement).setCallSettings(true, timerValue != null);
hasCatchTimeout |= ((Catch_Statement) statement).hasTimeout();
}
}
altGuards.setMyLaicStmt(altGuards, null);
altGuards.setMyAltguards(altGuards);
altGuards.check(timestamp);
if (portType != null) {
// operation.
for (int i = 0; i < altGuards.getNofAltguards(); i++) {
final AltGuard altguard = altGuards.getAltguardByIndex(i);
if (!altguard_type.AG_OP.equals(altguard.getType())) {
continue;
}
final Statement statement = ((Operation_Altguard) altguard).getGuardStatement();
if (statement.getIsErroneous()) {
continue;
}
switch(statement.getType()) {
case S_GETREPLY:
{
final Reference tempPortReference = ((Getreply_Statement) statement).getPortReference();
if (tempPortReference == null) {
final String message = MessageFormat.format("The `{0}'' operation must refer to the same port as the previous `call'' statement: `{1}'' was expected instead of `any port''", statement.getStatementName(), portReference.getId().getDisplayName());
statement.getLocation().reportSemanticError(message);
} else if (!portReference.getId().equals(tempPortReference.getId())) {
final String message = MessageFormat.format("The `{0}'' operation refers to a different port than the previous `call'' statement: `{1}'' was expected instead of `{2}''", statement.getStatementName(), portReference.getId().getDisplayName(), tempPortReference.getId().getDisplayName());
tempPortReference.getLocation().reportSemanticError(message);
}
final TemplateInstance instance = ((Getreply_Statement) statement).getReceiveParameter();
if (instance != null) {
final IType tempSignature = instance.getExpressionGovernor(timestamp, Expected_Value_type.EXPECTED_DYNAMIC_VALUE);
if (tempSignature != null && signature != null && !signature.isCompatible(timestamp, tempSignature, null, null, null)) {
final String message = MessageFormat.format(GETRPELYTOWRONGSIGNATURE, signature.getTypename(), tempSignature.getTypename());
instance.getLocation().reportSemanticError(message);
}
}
break;
}
case S_CATCH:
final Reference tempPortReference = ((Catch_Statement) statement).getPortReference();
if (tempPortReference == null) {
final String message = MessageFormat.format("The `{0}'' operation must refer to the same port as the previous `call'' statement: `{1}'' was expected instead of `any port''", statement.getStatementName(), portReference.getId().getDisplayName());
statement.getLocation().reportSemanticError(message);
} else if (!portReference.getId().equals(tempPortReference.getId())) {
final String message = MessageFormat.format("The `{0}'' operation refers to a different port than the previous `call'' statement: `{1}'' was expected instead of `{2}''", statement.getStatementName(), portReference.getId().getDisplayName(), tempPortReference.getId().getDisplayName());
tempPortReference.getLocation().reportSemanticError(message);
}
final Signature_Type tempSignature = ((Catch_Statement) statement).getSignatureType();
if (tempSignature != null && signature != null && !signature.isCompatible(timestamp, tempSignature, null, null, null)) {
final String message = MessageFormat.format("The `catch'' operation refers to a different signature than the previous `call'' statement: `{0}'' was expected instead of `{1}''", signature.getTypename(), tempSignature.getTypename());
statement.getLocation().reportSemanticError(message);
}
break;
default:
break;
}
}
}
if (timerValue != null && !hasCatchTimeout) {
location.reportSemanticWarning("The call operation has a timer, but the timeout expection is not cought");
}
}
use of org.eclipse.titan.designer.AST.TTCN3.statements.AltGuards 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;
}
use of org.eclipse.titan.designer.AST.TTCN3.statements.AltGuards in project titan.EclipsePlug-ins by eclipse.
the class Call_Statement method check.
@Override
public /**
* {@inheritDoc}
*/
void check(final CompilationTimeStamp timestamp) {
if (lastTimeChecked != null && !lastTimeChecked.isLess(timestamp)) {
return;
}
final Port_Type portType = Port_Utility.checkPortReference(timestamp, this, portReference);
if (parameter == null) {
return;
}
IType signatureType = null;
boolean signatureTypeDetermined = false;
if (portType != null) {
// the port type is known
final PortTypeBody portTypeBody = portType.getPortBody();
final TypeSet outSignatures = portTypeBody.getOutSignatures();
if (OperationModes.OP_Message.equals(portTypeBody.getOperationMode())) {
portReference.getLocation().reportSemanticError(MessageFormat.format(SENDONPORT, portType.getTypename()));
} else if (outSignatures != null) {
if (outSignatures.getNofTypes() == 1) {
signatureType = outSignatures.getTypeByIndex(0);
} else {
signatureType = Port_Utility.getOutgoingType(timestamp, parameter);
if (signatureType == null) {
parameter.getLocation().reportSemanticError(UNKNOWNSIGNATURE);
} else {
if (!outSignatures.hasType(timestamp, signatureType)) {
parameter.getLocation().reportSemanticError(MessageFormat.format(TYPENOTPRESENT, signatureType.getTypename(), portType.getTypename()));
}
}
}
signatureTypeDetermined = true;
} else {
portReference.getLocation().reportSemanticError(MessageFormat.format(NOOUTGOINGSIGNATURETYPES, portType.getTypename()));
}
}
if (!signatureTypeDetermined) {
signatureType = Port_Utility.getOutgoingType(timestamp, parameter);
}
boolean isNonblocking = false;
if (signatureType != null) {
parameter.check(timestamp, signatureType);
signatureType = signatureType.getTypeRefdLast(timestamp);
switch(signatureType.getTypetype()) {
case TYPE_SIGNATURE:
((Signature_Type) signatureType).checkThisTemplate(timestamp, parameter.getTemplateBody(), false, false, null);
isNonblocking = ((Signature_Type) signatureType).isNonblocking();
break;
default:
parameter.getLocation().reportSemanticError(MessageFormat.format(CALLPARAMETERNOTSIGNATURE, signatureType.getTypename()));
break;
}
if (isNonblocking) {
if (timerValue != null) {
timerValue.getLocation().reportSemanticError(MessageFormat.format(NONBLOCKINGWITHTIMER, signatureType.getTypename()));
} else if (noWait) {
location.reportSemanticError(MessageFormat.format(NONBLOCKINGWITHNOWAIT, signatureType.getTypename()));
}
if (altGuards != null) {
location.reportSemanticError(MessageFormat.format(NONBLOCKINGWITHRESPONSEPART, signatureType.getTypename()));
}
} else if (noWait) {
if (altGuards != null) {
location.reportSemanticError(NOWAITWITHRESPONSEPART);
}
} else {
if (!getIsErroneous() && altGuards == null) {
location.reportSemanticError(RESPONSEPARTMISSING);
}
}
}
if (timerValue != null) {
timerValue.setLoweridToReference(timestamp);
final Type_type temporalType = timerValue.getExpressionReturntype(timestamp, Expected_Value_type.EXPECTED_DYNAMIC_VALUE);
switch(temporalType) {
case TYPE_REAL:
final IValue last = timerValue.getValueRefdLast(timestamp, Expected_Value_type.EXPECTED_DYNAMIC_VALUE, null);
if (Value_type.REAL_VALUE.equals(last.getValuetype()) && !last.getIsErroneous(timestamp)) {
final double temp = ((Real_Value) last).getValue();
if (temp < 0) {
timerValue.getLocation().reportSemanticError(MessageFormat.format(CALLTIMERNEGATIVE, temp));
}
}
break;
case TYPE_UNDEFINED:
setIsErroneous();
break;
default:
if (!isErroneous) {
location.reportSemanticError(FLOATTIMEREXPECTED);
}
break;
}
}
Port_Utility.checkToClause(timestamp, this, portType, toClause);
if (altGuards != null) {
checkCallBody(timestamp, portType, signatureType);
}
lastTimeChecked = timestamp;
}
use of org.eclipse.titan.designer.AST.TTCN3.statements.AltGuards in project titan.EclipsePlug-ins by eclipse.
the class Call_Statement method updateSyntax.
@Override
public /**
* {@inheritDoc}
*/
void updateSyntax(final TTCN3ReparseUpdater reparser, final boolean isDamaged) throws ReParseException {
if (isDamaged) {
throw new ReParseException();
}
if (portReference != null) {
portReference.updateSyntax(reparser, false);
reparser.updateLocation(portReference.getLocation());
}
if (parameter != null) {
parameter.updateSyntax(reparser, false);
reparser.updateLocation(parameter.getLocation());
}
if (timerValue != null) {
timerValue.updateSyntax(reparser, false);
reparser.updateLocation(timerValue.getLocation());
}
if (toClause instanceof IIncrementallyUpdateable) {
((IIncrementallyUpdateable) toClause).updateSyntax(reparser, false);
reparser.updateLocation(toClause.getLocation());
} else if (toClause != null) {
throw new ReParseException();
}
if (altGuards != null) {
altGuards.updateSyntax(reparser, false);
reparser.updateLocation(altGuards.getLocation());
}
}
Aggregations