Allow usage of 'nonuqniue' without explicit Kardinality and create a corresponding test

[linggd]

Added

• Added parser test for 'nonuqniue' without explicit Kardinality.

Changed

• Allow usage of 'nonuqniue' without explicit Kardinality

[mathias-pfeiffer]

Kann das hier dann entfernt werden?

[linggd]

Ich denke aktuell nicht, dass SysMLCardinality komplett entfernen werden sollte.
Der Grund ist, dass SysMLCardinality aktuell an vielen Stellen verwendet wird, z.B.:

  SysMLSpecialization implements Specialization =
      (":>" | "specializes") superTypes:(MCType || ",")+ SysMLCardinality?;

  // Subsetting ist spezifisch für Usages
  SysMLSubsetting implements Specialization =
      (":>" | "subsets") superTypes:(MCType || ",")+ SysMLCardinality?;

Außerdem basiert auch die bestehende Methodenstruktur darauf. Aktuell wird angenommen, dass bei vorhandener SysMLCardinality immer auch eine lokale Cardinality existiert:

  astrule SysMLTyping =
      method public de.monticore.cardinality._ast.ASTCardinality getCardinality() {
        if(isPresentSysMLCardinality()) {
          return getSysMLCardinality().getCardinality();
        }
        Log.error("0x10005 get for Cardinality can't return a value. Attribute is empty.");
        // Normally this statement is not reachable
        throw new IllegalStateException();
      }
      method public boolean isPresentCardinality() {
        return isPresentSysMLCardinality();
      } ;

Wenn SysMLCardinality entfernt wird, müssten diese Stellen ebenfalls angepasst werden.

Eine alternative Möglichekeit wäre, z.B.:

SysMLCardinality = Cardinality (["ordered"] | ["nonunique"])* | (["ordered"] | ["nonunique"])+;
Dann wären nur kleinere Anpassungen in Methoden wie getCardinality() bzw. isPresentCardinality() notwendig, weil SysMLCardinality dann auch ohne lokale Cardinality existieren könnte.

z.B:

astrule SysMLTyping =
    method public de.monticore.cardinality._ast.ASTCardinality getCardinality() {
      if(isPresentCardinality()) {
        return getSysMLCardinality().getCardinality();
      }
      Log.error("0x10005 get for Cardinality can't return a value. Attribute is empty.");
      // Normally this statement is not reachable
      throw new IllegalStateException();
    }
    method public boolean isPresentCardinality() {
      return isPresentSysMLCardinality() && getSysMLCardinality().isPresentCardinality();
    } ;

Dadurch wird die IllegalStateException vermieden und getCardinality() liefert nur dann eine Kardinalität zurück, wenn lokal tatsächlich eine existiert.

[mathias-pfeiffer]

Eine alternative Möglichekeit wäre, z.B.: [...]

Ja, die nehmen wir

[mathias-pfeiffer]

@linggd Bitte als "assignee" eintragen, nicht reviewer

[mathias-pfeiffer]

Pass bitte noch den Titel an

[mathias-pfeiffer]

Version noch inkrementieren auf 7.8.(x+1) @linggd