+ printQueryInterfaceSdps(ctInterface.sharedDesignParameters) + ")");
}
for (IVariable var : contract.getSharedDesignParameters())
{
QueryInterfaceStructsharedDesignParametersStruct deSDP = interfaceContainsSdp(dtInterface.sharedDesignParameters, var.getName());
if (deSDP == null)
{
abort(Simulator.DE, "Missing-shared design parameter: "
+ var.getName());
return false;
}
else
{
//Cannot check sizes in DE
}
QueryInterfaceStructsharedDesignParametersStruct ctSDP = interfaceContainsSdp(ctInterface.sharedDesignParameters, var.getName());
if (ctSDP == null)
{
abort(Simulator.CT, "Missing-shared design parameter: "
+ var.getName());
return false;