// abort(Simulator.DE, "Dimensions of variable \"" + var + "\" do not match with contract");
// return false;
// }
}
QueryInterfaceStructinputsStruct varIn = interfaceContainsInput(ctInterface, var.getName());
if (varIn == null)
{
abort(Simulator.CT, "Missing-input controlled variable: " + var);
return false;
}
else
{
if(!checkIfSameDimensions(var,varIn.size))
{
abort(Simulator.CT, "Dimensions of variable \"" + var + "\" does not match with contract");
return false;
}
}
}
for (IVariable var : contract.getMonitoredVariables())
{
QueryInterfaceStructinputsStruct varIn = interfaceContainsInput(dtInterface, var.getName());
if (varIn == null)
{
abort(Simulator.DE, "Missing-input monitored variable: " + var);
return false;