Systems-Modeling / SysML-v2-Release

The latest incremental release of SysML v2. Start here.
GNU Lesser General Public License v3.0
457 stars 64 forks source link

Incorrect syntax used to define concrete syntax ImportedFilterPackage #37

Closed off-my-lawn closed 3 years ago

off-my-lawn commented 3 years ago

7.2.4.2.2 Namespace Bodies The concrete syntax rule ImportedFilterPackage uses ':' instead of '='.

ImportedFilterPackage (i :Import) :
    i.ownedRelatedElement += FilterPackage

7.3.3.2.1 Classifiers Missing '=' in declaration of ClassifierDeclaration syntax.

ClassifierDeclaration (t : Type, m : Membership)
    ( t.isSufficient ?= 'all' )? Identification(t, m)
    ( t.ownedRelationship += MultiplicityMember )?
    ( SuperclassingPart(t) | ConjugationPart(t) )?

7.4.5.2.1 Connectors The concrete syntax rule Connector uses ':' instead of '='.

Connector (m : Membership) : Connector :
    ( isAbstract ?= 'abstract' )? 'connector'
    ConnectorDeclaration(this, m) TypeBody(this);

7.4.5.2.3 Successions The concrete syntax rule SuccessionDeclaration uses ':' instead of '='.

SuccessionDeclaration (s : Succession, m : Membership) : Succession :
    ( FeatureDeclaration(s, m)? 'first' | s.isSufficient ?= 'all' 'first'? )?
    s.ownedRelationship += ConnectorEndMember 'then'
    s.ownedRelationship += ConnectorEndMember

7.4.8.2.4 Literal Expressions Missing '=' in declaration of LiteralString syntax.

LiteralString : LiteralString
    value = STRING_VALUE
seidewitz commented 3 years ago

These will all be corrected in the (upcoming) public 2021-09 release.