Package org.destecs.core.contract

Examples of org.destecs.core.contract.Contract

419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
    StringBuilder sb = new StringBuilder();
    try
    {
      if (p != null)
      {
        Contract contract = ParserUtil.getContract(p, null);
        Links vdmLinks = ParserUtil.getVdmLinks(p, null);

        sb.append("--- \n");
        sb.append("--- Shared Design Parameters ---\n");
        sb.append("--- \n");
        for (IVariable sdp : contract.getSharedDesignParameters())
        {
          LinkInfo info = vdmLinks.getBoundVariableInfo(sdp.getName());
          String id = "?";
          if (info != null)
          {
            id = info.getQualifiedNameString();
          }
          sb.append(id + " <-> " + sdp.getName() + " <-> "
              + sdp.getName() + " not checked\n");
        }

        sb.append("\n\n");
        sb.append("--- \n");
        sb.append("--- Monitored Variables ---\n");
        sb.append("--- \n");
        for (IVariable sdp : contract.getMonitoredVariables())
        {
          LinkInfo info = vdmLinks.getBoundVariableInfo(sdp.getName());
          String id = "?";
          if (info != null)
          {
            id = info.getQualifiedNameString();
          }
          sb.append(id + " <-> " + sdp.getName() + " <-> "
              + sdp.getName() + " not checked\n");
        }
        sb.append("\n\n");
        sb.append("--- \n");
        sb.append("--- Controlled Variables ---\n");
        sb.append("--- \n");
        for (IVariable sdp : contract.getControlledVariables())
        {
          LinkInfo info = vdmLinks.getBoundVariableInfo(sdp.getName());
          String id = "?";
          if (info != null)
          {
            id = info.getQualifiedNameString();
          }
          sb.append(id + " <-> " + sdp.getName() + " <-> "
              + sdp.getName() + " not checked\n");
        }
        sb.append("\n\n");
        sb.append("--- \n");
        sb.append("--- Events ---\n");
        sb.append("--- \n");
        for (String event : contract.getEvents())
        {
          LinkInfo info = vdmLinks.getBoundVariableInfo(event);
          String id = "?";
          if (info != null)
          {
View Full Code Here
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
        if (project != null)
        {
          ContractParserWrapper parser = new ContractParserWrapper();
          IDestecsProject dproject = (IDestecsProject) project.getAdapter(IDestecsProject.class);

          Contract contract;
          try
          {
            if (dproject == null)
            {
              return;
            }
            File file = dproject.getContractFile().getLocation().toFile();
            if (!file.exists())
            {
              return;
            }
            contract = parser.parse(file);

            if (contract == null)
            {
              return;
            }

            fillSdpTable(contract.getSharedDesignParameters());
            return;
          } catch (IOException e)
          {
            DestecsDebugPlugin.logError("Faild to synchronize SDPs with contract", e);
          }
View Full Code Here
35
36
37
38
39
40
41
42
43
   */
  public static Contract getContract(IDestecsProject project,
      IAddErrorHandler errorHandler) throws Exception
  {
    ContractParserWrapper contractParser = new ContractParserWrapper();
    Contract contract = (Contract) parse(contractParser,
        project.getContractFile(), errorHandler);
    return contract;
  }
View Full Code Here
TOP

Related Classes of org.destecs.core.contract.Contract

  • org.destecs.ide.core.utility.ParserUtil
  • org.destecs.ide.debug.launching.ui.SharedDesignParameterTab
  • org.destecs.ide.ui.editor.impl.CoSimMultiPageEditor
    • 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.