Package org.destecs.core.simulationengine.model

Examples of org.destecs.core.simulationengine.model.ModelConfig


        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);
View Full Code Here

TOP

Related Classes of org.destecs.core.simulationengine.model.ModelConfig

Copyright © 2018 www.massapicom. All rights reserved.
All source code are property of their respective owners. Java is a trademark of Sun Microsystems, Inc and owned by ORACLE Inc. Contact coftware#gmail.com.