Package org.destecs.protocol.structs

Examples of org.destecs.protocol.structs.GetVersionStruct

1342
1343
1344
1345
1346
1347
1348
1349
1350
1351
1352
    }

    try
    {
      messageInfo(simulator, new Double(0), "getVersion");
      GetVersionStruct version = proxy.getVersion();
      engineInfo(simulator, "Interface Version: " + version);
      versionCheck(simulator, true, version.interfaceVersion, MIN_VERSION_PROTOCOL);

    } catch (Exception e)
    {
View Full Code Here
90
91
92
93
94
95
96
  }

  public Map<String, Object> getVersion()
  {

    return new GetVersionStruct(interfaceVersion, "VDMJ", version).toMap();
  }
View Full Code Here
TOP

Related Classes of org.destecs.protocol.structs.GetVersionStruct

  • org.destecs.core.simulationengine.SimulationEngine
  • org.destecs.vdm.CoSimImpl
    • 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.