deUrl = new URL(IDebugConstants.DEFAULT_DE_ENDPOINT.replaceAll("PORT", Integer.valueOf(8080).toString()));
engine.setDeSimulationLauncher(new VdmRtLauncher(5000));
}
final int deDebugPort = findFreePort();
ModelConfig deModel = getDeModelConfig(project, deDebugPort);
engine.setDeModel(deModel);
engine.setDeEndpoint(deUrl);
if (!useRemoteCtSimulator)
{
// engine.setCtSimulationLauncher(new
// Clp20SimStatelessProgramLauncher(ctFile));
// engine.setCtSimulationLauncher(new
// Clp20SimProgramLauncher(ctFile));
engine.setCtSimulationLauncher(selectClp20SimLauncher(engine, ctFile));
engine.setCtEndpoint(new URL(IDebugConstants.DEFAULT_CT_ENDPOINT));
} else
{
engine.setCtSimulationLauncher(new DummyLauncher("CT simulator"));
engine.setCtEndpoint(ctUrl);
}
ModelConfig ctModel = getCtModelConfig(ctFile);
engine.setCtModel(ctModel);
setCtSettings(engine);
setCtImplementations(engine);