|
37 | 37 | import org.omg.sysml.lang.sysml.AllocationUsage; |
38 | 38 | import org.omg.sysml.lang.sysml.AnalysisCaseDefinition; |
39 | 39 | import org.omg.sysml.lang.sysml.AnalysisCaseUsage; |
| 40 | +import org.omg.sysml.lang.sysml.AssertConstraintUsage; |
40 | 41 | import org.omg.sysml.lang.sysml.Behavior; |
41 | 42 | import org.omg.sysml.lang.sysml.BindingConnector; |
42 | 43 | import org.omg.sysml.lang.sysml.Class; |
@@ -507,6 +508,11 @@ public String caseSatisfyRequirementUsage(SatisfyRequirementUsage satisfyRequire |
507 | 508 | return " --> "; |
508 | 509 | } |
509 | 510 |
|
| 511 | + @Override |
| 512 | + public String caseAssertConstraintUsage(AssertConstraintUsage acu) { |
| 513 | + return " --> "; |
| 514 | + } |
| 515 | + |
510 | 516 | @Override |
511 | 517 | public String casePerformActionUsage(PerformActionUsage pau) { |
512 | 518 | return " --> "; |
@@ -536,6 +542,36 @@ public String caseClass(Class object) { |
536 | 542 | return null; |
537 | 543 | } |
538 | 544 |
|
| 545 | + @Override |
| 546 | + public String caseAcceptActionUsage(AcceptActionUsage aau) { |
| 547 | + return " accept action>> "; |
| 548 | + } |
| 549 | + |
| 550 | + @Override |
| 551 | + public String caseSendActionUsage(SendActionUsage sau) { |
| 552 | + return " send action>> "; |
| 553 | + } |
| 554 | + |
| 555 | + @Override |
| 556 | + public String caseAnalysisCaseUsage(AnalysisCaseUsage acu) { |
| 557 | + return " analysis>> "; |
| 558 | + } |
| 559 | + |
| 560 | + @Override |
| 561 | + public String caseAnalysisCaseDefinition(AnalysisCaseDefinition acd) { |
| 562 | + return " analysis def>> "; |
| 563 | + } |
| 564 | + |
| 565 | + @Override |
| 566 | + public String caseVerificationCaseUsage(VerificationCaseUsage acu) { |
| 567 | + return " verification>> "; |
| 568 | + } |
| 569 | + |
| 570 | + @Override |
| 571 | + public String caseVerificationCaseDefinition(VerificationCaseDefinition acd) { |
| 572 | + return " verification def>> "; |
| 573 | + } |
| 574 | + |
539 | 575 | @Override |
540 | 576 | public String caseExhibitStateUsage(ExhibitStateUsage esu) { |
541 | 577 | if (Visitor.getSpecialReference(esu) != null) { |
@@ -573,34 +609,13 @@ public String casePerformActionUsage(PerformActionUsage pau) { |
573 | 609 | } |
574 | 610 |
|
575 | 611 | @Override |
576 | | - public String caseAcceptActionUsage(AcceptActionUsage aau) { |
577 | | - return " accept action>> "; |
578 | | - } |
579 | | - |
580 | | - @Override |
581 | | - public String caseSendActionUsage(SendActionUsage sau) { |
582 | | - return " send action>> "; |
583 | | - } |
584 | | - |
585 | | - @Override |
586 | | - public String caseAnalysisCaseUsage(AnalysisCaseUsage acu) { |
587 | | - return " analysis>> "; |
588 | | - } |
589 | | - |
590 | | - @Override |
591 | | - public String caseAnalysisCaseDefinition(AnalysisCaseDefinition acd) { |
592 | | - return " analysis def>> "; |
593 | | - } |
594 | | - |
595 | | - @Override |
596 | | - public String caseVerificationCaseUsage(VerificationCaseUsage acu) { |
597 | | - return " verification>> "; |
598 | | - } |
599 | | - |
600 | | - @Override |
601 | | - public String caseVerificationCaseDefinition(VerificationCaseDefinition acd) { |
602 | | - return " verification def>> "; |
603 | | - } |
| 612 | + public String caseAssertConstraintUsage(AssertConstraintUsage acu) { |
| 613 | + if (Visitor.getSpecialReference(acu) != null) { |
| 614 | + return " assert>> "; |
| 615 | + } else { |
| 616 | + return " assert constraint>> "; |
| 617 | + } |
| 618 | + } |
604 | 619 |
|
605 | 620 | @Override |
606 | 621 | public String caseEventOccurrenceUsage(EventOccurrenceUsage eou) { |
|
0 commit comments