Package org.overturetool.vdmj.values

Examples of org.overturetool.vdmj.values.NameValuePairList

428
429
430
431
432
433
434
435
436
437
438
  protected ValueInfo getValue(String name) throws RemoteSimulationException
  {
    try
    {
      NameValuePairList list = SystemDefinition.getSystemMembers();
      if (list != null && links.getLinks().containsKey(name))
      {
        List<String> varName = links.getQualifiedName(name);

        ValueInfo output = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list);
View Full Code Here
449
450
451
452
453
454
455
456
457
458
459
  {
    if (name.isEmpty())
    {
      return v;
    }
    NameValuePairList list = null;
    if (v == null)
    {
      list = SystemDefinition.getSystemMembers();
    } else if (v.deref() instanceof ObjectValue)
    {
View Full Code Here
283
284
285
286
287
288
289
290
291
292
293
  }

  private ValueContents getOutput(String name) throws ValueException,
      RemoteSimulationException
  {
    NameValuePairList list = SystemDefinition.getSystemMembers();
    if (list != null && links.getLinks().containsKey(name))
    {
      List<String> varName = links.getQualifiedName(name);

      Value value = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list).value;
View Full Code Here
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
    {

      for (Entry<String, LinkInfo> entry : links.getInputs().entrySet())
      {

        NameValuePairList list = SystemDefinition.getSystemMembers();
        if (list != null)
        {
          List<String> varName = entry.getValue().getQualifiedName();
          ValueInfo value = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list);
          readCheck.add(value.name);
        }

      }
      for (Entry<String, LinkInfo> entry : links.getOutputs().entrySet())
      {
        NameValuePairList list = SystemDefinition.getSystemMembers();
        if (list != null)
        {
          List<String> varName = entry.getValue().getQualifiedName();
          ValueInfo value = VDMClassHelper.digForVariable(varName.subList(1, varName.size()), list);
          writeCheck.add(value.name);
View Full Code Here
990
991
992
993
994
995
996
997
998
999
1000
1001
1002
1003
  {
    try
    {
      Map<String, ValueContents> parameters = new Hashtable<String, ValueContents>();

      NameValuePairList list = SystemDefinition.getSystemMembers();
      if (list != null && list.size() > 0)
      {
        parameters.putAll(getParameters(list.get(0).name.module, list, 0));
      }

      return parameters;
    } catch (Exception e)
    {
View Full Code Here
TOP

Related Classes of org.overturetool.vdmj.values.NameValuePairList

  • org.destecs.vdm.BasicSimulationManager
  • org.destecs.vdm.SimulationManager
    • 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.