diff --git a/changes/unreleased/then-succession-end-memberships.fixed.md b/changes/unreleased/then-succession-end-memberships.fixed.md new file mode 100644 index 0000000000..579210c151 --- /dev/null +++ b/changes/unreleased/then-succession-end-memberships.fixed.md @@ -0,0 +1 @@ +- A `then x;` succession whose source is the member before it owns its two end features on the native walk as the RDF writer mints them (SysML.xtext TargetSuccession): nameless `ReferenceUsage`s through an `EndFeatureMembership` each, `isEnd`, named `earlierOccurrence` and `laterOccurrence` by the `happensBeforeLinks` end they redefine, the target end reference-subsetting the member the succession reaches — so the semantic model, the symbol structure and the query leg's `ownedRelationship`, `relatedFeature`, `sourceFeature` and `targetFeature` answer them as the conversion writes them; `then idle;` after a bare `entry;` owns none, as the writer writes none. diff --git a/internal/doc/queryexec/elementids.go b/internal/doc/queryexec/elementids.go index 977659e749..2f63026b0b 100644 --- a/internal/doc/queryexec/elementids.go +++ b/internal/doc/queryexec/elementids.go @@ -52,6 +52,17 @@ func defaultMultiplicityOwner(sym *symbols.Symbol) (ast.Node, bool) { return spanNode{sym.DeclSpan}, true } +// successionEndSlot is the `then` succession edge and the slot (end0, end1) the conversion mints +// the end feature sym under (encodeSuccessionEdge). +func successionEndSlot(sym *symbols.Symbol) (ast.Node, string, bool) { + i, ok := symbols.ImpliedSuccessionEndIndex(sym) + if !ok { + return nil, "", false + } + decl, _ := symbols.ImpliedDeclOf(sym) + return decl.Of, fmt.Sprintf("end%d", i), true +} + // expressionPartSlot is the slot the conversion names a synthesized // expression parameter by: `in%d` for an operand's or type argument's // parameter, `out` for the result. @@ -121,6 +132,11 @@ func ElementIDOf(read ElementIDReader, idx *symbols.Index, sym *symbols.Symbol) element, _, err := read.ReadExpressionPart(sym.DocName, owner, defaultMultiplicitySlot) return element, err } + if edge, slot, ok := successionEndSlot(sym); ok { + // A `then` succession's end is minted under the edge at end0/end1 (encodeSuccessionEdge). + element, _, err := read.ReadExpressionPart(sym.DocName, edge, slot) + return element, err + } if end, ok := connectorEndChain(sym); ok { // The chain Feature a connector end's ReferenceSubsetting owns is minted under the end. element, _, err := read.ReadExpressionPart(sym.DocName, end, "chain") @@ -181,6 +197,13 @@ func implicitRelationshipID(read ElementIDReader, idx *symbols.Index, sym *symbo return id, true, err } return "", true, nil + case symbols.ImplicitSuccessionEndReference: + // The target end's ReferenceSubsetting is minted under the end as its `rs` (referenceSubsetting). + if edge, slot, ok := successionEndSlot(rel.Owner); ok { + element, _, err := read.ReadExpressionPart(rel.Owner.DocName, edge, slot+".rs") + return element, true, err + } + return "", true, nil case symbols.ImplicitPortConjugation, symbols.ImplicitMetadataBodyRedefinition: // The conversion keys a relationship the declaration states without a clause by the declaration. if rel.Owner != nil && rel.Owner.Decl != nil { @@ -207,6 +230,10 @@ func implicitMembershipID(read ElementIDReader, idx *symbols.Index, member *symb _, membership, err := read.ReadExpressionPart(member.DocName, owner, defaultMultiplicitySlot) return membership, true, err } + if edge, slot, ok := successionEndSlot(member); ok { + _, membership, err := read.ReadExpressionPart(member.DocName, edge, slot) + return membership, true, err + } if member != nil { id, err = read.ReadOwningMembership(member.DocName, member.Decl, query.QualifiedIdentity(idx, member)) return id, true, err diff --git a/internal/semantic/metamodel/derived_census_baseline.json b/internal/semantic/metamodel/derived_census_baseline.json index 46f4c76e7b..30400b0197 100644 --- a/internal/semantic/metamodel/derived_census_baseline.json +++ b/internal/semantic/metamodel/derived_census_baseline.json @@ -99,8 +99,8 @@ "dir": "examples/sysml-v2-training", "files": 100, "rejected": 0, - "elements": 8038, - "implied": 4678, + "elements": 8268, + "implied": 4816, "pilotElements": 11906, "pilotImplied": 0, "pilotDuplicates": 5797, @@ -111,8 +111,8 @@ "dir": "examples/pilot-corpora/sysml-examples", "files": 99, "rejected": 0, - "elements": 31382, - "implied": 18384, + "elements": 31822, + "implied": 18648, "pilotElements": 40642, "pilotImplied": 0, "pilotDuplicates": 10940, @@ -123,8 +123,8 @@ "dir": "examples/pilot-corpora/sysml-validation", "files": 56, "rejected": 0, - "elements": 10758, - "implied": 6306, + "elements": 10858, + "implied": 6366, "pilotElements": 14222, "pilotImplied": 0, "pilotDuplicates": 3066, @@ -147,8 +147,8 @@ "dir": "examples/spec-examples", "files": 511, "rejected": 38, - "elements": 8425, - "implied": 4777, + "elements": 8585, + "implied": 4873, "pilotElements": 12233, "pilotImplied": 0, "pilotDuplicates": 37, @@ -159,8 +159,8 @@ "dir": "tests/testdata", "files": 40, "rejected": 0, - "elements": 1552, - "implied": 844, + "elements": 1572, + "implied": 856, "pilotElements": 2284, "pilotImplied": 0, "pilotDuplicates": 52, @@ -171,8 +171,8 @@ "dir": "examples", "files": 56, "rejected": 0, - "elements": 32771, - "implied": 19067, + "elements": 33106, + "implied": 19268, "pilotElements": 51722, "pilotImplied": 0, "pilotDuplicates": 82277, diff --git a/internal/semantic/metamodel/derived_census_records.tsv b/internal/semantic/metamodel/derived_census_records.tsv index 9aab500ffe..a02a49de8e 100644 --- a/internal/semantic/metamodel/derived_census_records.tsv +++ b/internal/semantic/metamodel/derived_census_records.tsv @@ -258,29 +258,29 @@ Connector::defaultFeaturingType spec-examples 131 99 32 0 162 78 0 84 Connector::defaultFeaturingType testdata 11 11 0 0 16 16 0 0 Connector::defaultFeaturingType examples 480 407 73 0 685 592 0 93 Connector::defaultFeaturingType manual-examples 25 6 19 0 29 10 0 19 -Connector::relatedFeature training 127 32 0 95 164 148 16 0 -Connector::relatedFeature pilot-examples 379 171 0 208 455 435 20 0 -Connector::relatedFeature pilot-validation 85 37 0 48 142 136 6 0 +Connector::relatedFeature training 127 74 0 53 164 148 16 0 +Connector::relatedFeature pilot-examples 379 256 0 123 455 435 20 0 +Connector::relatedFeature pilot-validation 85 57 0 28 142 136 6 0 Connector::relatedFeature kerml-examples 90 86 0 4 90 89 1 0 -Connector::relatedFeature spec-examples 131 32 0 99 162 149 13 0 -Connector::relatedFeature testdata 11 1 0 10 16 16 0 0 -Connector::relatedFeature examples 480 329 0 151 685 668 17 0 +Connector::relatedFeature spec-examples 131 50 0 81 162 149 13 0 +Connector::relatedFeature testdata 11 5 0 6 16 16 0 0 +Connector::relatedFeature examples 480 393 0 87 685 668 17 0 Connector::relatedFeature manual-examples 25 22 0 3 29 29 0 0 -Connector::sourceFeature training 127 32 0 95 164 148 0 16 -Connector::sourceFeature pilot-examples 379 171 0 208 455 435 0 20 -Connector::sourceFeature pilot-validation 85 37 0 48 142 136 0 6 +Connector::sourceFeature training 127 74 0 53 164 148 0 16 +Connector::sourceFeature pilot-examples 379 256 0 123 455 435 0 20 +Connector::sourceFeature pilot-validation 85 57 0 28 142 136 0 6 Connector::sourceFeature kerml-examples 90 86 0 4 90 89 0 1 -Connector::sourceFeature spec-examples 131 32 0 99 162 149 0 13 -Connector::sourceFeature testdata 11 1 0 10 16 16 0 0 -Connector::sourceFeature examples 480 329 0 151 685 668 0 17 +Connector::sourceFeature spec-examples 131 50 0 81 162 149 0 13 +Connector::sourceFeature testdata 11 5 0 6 16 16 0 0 +Connector::sourceFeature examples 480 393 0 87 685 668 0 17 Connector::sourceFeature manual-examples 25 22 0 3 29 29 0 0 -Connector::targetFeature training 127 32 0 95 164 148 16 0 -Connector::targetFeature pilot-examples 379 171 0 208 455 435 20 0 -Connector::targetFeature pilot-validation 85 37 0 48 142 136 6 0 +Connector::targetFeature training 127 32 42 53 164 148 16 0 +Connector::targetFeature pilot-examples 379 171 85 123 455 435 20 0 +Connector::targetFeature pilot-validation 85 37 20 28 142 136 6 0 Connector::targetFeature kerml-examples 90 86 0 4 90 89 1 0 -Connector::targetFeature spec-examples 131 32 0 99 162 129 33 0 -Connector::targetFeature testdata 11 1 0 10 16 16 0 0 -Connector::targetFeature examples 480 329 0 151 685 668 17 0 +Connector::targetFeature spec-examples 131 32 18 81 162 129 33 0 +Connector::targetFeature testdata 11 1 4 6 16 16 0 0 +Connector::targetFeature examples 480 329 64 87 685 668 17 0 Connector::targetFeature manual-examples 25 22 0 3 29 29 0 0 ConstraintUsage::constraintDefinition training 45 11 27 7 45 45 0 0 ConstraintUsage::constraintDefinition pilot-examples 223 77 109 37 218 218 0 0 @@ -550,130 +550,130 @@ Documentation::documentedElement spec-examples 20 20 0 0 32 32 0 0 Documentation::documentedElement testdata 1 1 0 0 0 0 0 0 Documentation::documentedElement examples 133 133 0 0 133 133 0 0 Documentation::documentedElement manual-examples 45 45 0 0 45 45 0 0 -Element::documentation training 8038 12 8026 0 11906 16 11890 0 -Element::documentation pilot-examples 31382 104 31278 0 40642 95 40547 0 -Element::documentation pilot-validation 10758 52 10706 0 14222 59 14163 0 +Element::documentation training 8268 12 8256 0 11906 16 11890 0 +Element::documentation pilot-examples 31822 104 31718 0 40642 95 40547 0 +Element::documentation pilot-validation 10858 52 10806 0 14222 59 14163 0 Element::documentation kerml-examples 6906 39 6867 0 8762 39 8723 0 -Element::documentation spec-examples 8425 18 8407 0 12233 30 12203 0 -Element::documentation testdata 1552 1 1551 0 2284 0 2284 0 -Element::documentation examples 32771 133 32638 0 51722 133 51589 0 +Element::documentation spec-examples 8585 18 8567 0 12233 30 12203 0 +Element::documentation testdata 1572 1 1571 0 2284 0 2284 0 +Element::documentation examples 33106 133 32973 0 51722 133 51589 0 Element::documentation probes 45 0 45 0 53 0 53 0 Element::documentation manual-examples 3975 45 3930 0 9379 45 9334 0 -Element::isImpliedIncluded training 8038 8038 0 0 11906 11906 0 0 -Element::isImpliedIncluded pilot-examples 31382 31382 0 0 40642 40642 0 0 -Element::isImpliedIncluded pilot-validation 10758 10758 0 0 14222 14222 0 0 +Element::isImpliedIncluded training 8268 8268 0 0 11906 11906 0 0 +Element::isImpliedIncluded pilot-examples 31822 31822 0 0 40642 40642 0 0 +Element::isImpliedIncluded pilot-validation 10858 10858 0 0 14222 14222 0 0 Element::isImpliedIncluded kerml-examples 6906 6906 0 0 8762 8762 0 0 -Element::isImpliedIncluded spec-examples 8425 8425 0 0 12233 12233 0 0 -Element::isImpliedIncluded testdata 1552 1552 0 0 2284 2284 0 0 -Element::isImpliedIncluded examples 32771 32771 0 0 51722 51722 0 0 +Element::isImpliedIncluded spec-examples 8585 8585 0 0 12233 12233 0 0 +Element::isImpliedIncluded testdata 1572 1572 0 0 2284 2284 0 0 +Element::isImpliedIncluded examples 33106 33106 0 0 51722 51722 0 0 Element::isImpliedIncluded probes 45 45 0 0 53 53 0 0 Element::isImpliedIncluded manual-examples 3975 3975 0 0 9379 9379 0 0 -Element::isLibraryElement training 8038 8038 0 0 11906 11906 0 0 -Element::isLibraryElement pilot-examples 31382 31382 0 0 40642 40642 0 0 -Element::isLibraryElement pilot-validation 10758 10758 0 0 14222 14222 0 0 +Element::isLibraryElement training 8268 8268 0 0 11906 11906 0 0 +Element::isLibraryElement pilot-examples 31822 31822 0 0 40642 40642 0 0 +Element::isLibraryElement pilot-validation 10858 10858 0 0 14222 14222 0 0 Element::isLibraryElement kerml-examples 6906 6906 0 0 8762 8762 0 0 -Element::isLibraryElement spec-examples 8425 8425 0 0 12233 12233 0 0 -Element::isLibraryElement testdata 1552 1552 0 0 2284 2284 0 0 -Element::isLibraryElement examples 32771 32771 0 0 51722 51722 0 0 +Element::isLibraryElement spec-examples 8585 8585 0 0 12233 12233 0 0 +Element::isLibraryElement testdata 1572 1572 0 0 2284 2284 0 0 +Element::isLibraryElement examples 33106 33106 0 0 51722 51722 0 0 Element::isLibraryElement probes 45 45 0 0 53 53 0 0 Element::isLibraryElement manual-examples 3975 3975 0 0 9379 9379 0 0 -Element::name training 8038 1584 6454 0 11906 3211 0 8695 -Element::name pilot-examples 31382 4729 26653 0 40642 10358 0 30284 -Element::name pilot-validation 10758 1924 8834 0 14222 3735 0 10487 +Element::name training 8268 1676 6592 0 11906 3211 0 8695 +Element::name pilot-examples 31822 4905 26917 0 40642 10358 0 30284 +Element::name pilot-validation 10858 1964 8894 0 14222 3735 0 10487 Element::name kerml-examples 6906 1440 5466 0 8762 1901 0 6861 -Element::name spec-examples 8425 2190 6235 0 12233 2831 0 9402 -Element::name testdata 1552 379 1173 0 2284 657 0 1627 -Element::name examples 32771 5420 27351 0 51722 12381 0 39341 +Element::name spec-examples 8585 2254 6331 0 12233 2831 0 9402 +Element::name testdata 1572 387 1185 0 2284 657 0 1627 +Element::name examples 33106 5554 27552 0 51722 12381 0 39341 Element::name probes 45 12 33 0 53 16 0 37 Element::name manual-examples 3975 872 3103 0 9379 2288 0 7091 -Element::ownedAnnotation training 8038 9 8029 0 11906 2 11904 0 -Element::ownedAnnotation pilot-examples 31382 99 31283 0 40642 1 40641 0 -Element::ownedAnnotation pilot-validation 10758 15 10743 0 14222 6 14216 0 +Element::ownedAnnotation training 8268 9 8259 0 11906 2 11904 0 +Element::ownedAnnotation pilot-examples 31822 99 31723 0 40642 1 40641 0 +Element::ownedAnnotation pilot-validation 10858 15 10843 0 14222 6 14216 0 Element::ownedAnnotation kerml-examples 6906 67 6839 0 8762 0 8762 0 -Element::ownedAnnotation spec-examples 8425 30 8395 0 12233 16 12217 0 -Element::ownedAnnotation testdata 1552 7 1545 0 2284 0 2284 0 -Element::ownedAnnotation examples 32771 216 32555 0 51722 2 51720 0 +Element::ownedAnnotation spec-examples 8585 30 8555 0 12233 16 12217 0 +Element::ownedAnnotation testdata 1572 7 1565 0 2284 0 2284 0 +Element::ownedAnnotation examples 33106 216 32890 0 51722 2 51720 0 Element::ownedAnnotation probes 45 0 45 0 53 0 53 0 Element::ownedAnnotation manual-examples 3975 20 3955 0 9379 6 9373 0 -Element::ownedElement training 8038 1786 6252 0 11906 2863 9043 0 -Element::ownedElement pilot-examples 31382 7187 24195 0 40642 9765 30877 0 -Element::ownedElement pilot-validation 10758 2383 8375 0 14222 3324 10898 0 +Element::ownedElement training 8268 1832 6436 0 11906 2863 9043 0 +Element::ownedElement pilot-examples 31822 7275 24547 0 40642 9765 30877 0 +Element::ownedElement pilot-validation 10858 2403 8455 0 14222 3324 10898 0 Element::ownedElement kerml-examples 6906 1251 5655 0 8762 1891 6871 0 -Element::ownedElement spec-examples 8425 2029 6396 0 12233 3002 9231 0 -Element::ownedElement testdata 1552 356 1196 0 2284 574 1710 0 -Element::ownedElement examples 32771 6826 25945 0 51722 11881 39841 0 +Element::ownedElement spec-examples 8585 2061 6524 0 12233 3002 9231 0 +Element::ownedElement testdata 1572 360 1212 0 2284 574 1710 0 +Element::ownedElement examples 33106 6893 26213 0 51722 11881 39841 0 Element::ownedElement probes 45 10 35 0 53 14 39 0 Element::ownedElement manual-examples 3975 844 3131 0 9379 2143 7236 0 -Element::ownedRelationship training 8038 2096 5942 0 11906 3274 8632 0 -Element::ownedRelationship pilot-examples 31382 8232 23150 0 40642 11188 29454 0 -Element::ownedRelationship pilot-validation 10758 2788 7970 0 14222 3833 10389 0 +Element::ownedRelationship training 8268 2188 6080 0 11906 3274 8632 0 +Element::ownedRelationship pilot-examples 31822 8408 23414 0 40642 11188 29454 0 +Element::ownedRelationship pilot-validation 10858 2828 8030 0 14222 3833 10389 0 Element::ownedRelationship kerml-examples 6906 1788 5118 0 8762 2474 6288 0 -Element::ownedRelationship spec-examples 8425 2535 5890 0 12233 3593 8640 0 -Element::ownedRelationship testdata 1552 428 1124 0 2284 659 1625 0 -Element::ownedRelationship examples 32771 7571 25200 0 51722 13046 38676 0 +Element::ownedRelationship spec-examples 8585 2599 5986 0 12233 3593 8640 0 +Element::ownedRelationship testdata 1572 436 1136 0 2284 659 1625 0 +Element::ownedRelationship examples 33106 7705 25401 0 51722 13046 38676 0 Element::ownedRelationship probes 45 16 29 0 53 20 33 0 Element::ownedRelationship manual-examples 3975 1022 2953 0 9379 2349 7030 0 -Element::owner training 8038 7938 100 0 11906 4988 0 6918 -Element::owner pilot-examples 31382 31280 102 0 40642 16995 0 23647 -Element::owner pilot-validation 10758 10702 56 0 14222 5962 0 8260 +Element::owner training 8268 8168 100 0 11906 4988 0 6918 +Element::owner pilot-examples 31822 31720 102 0 40642 16995 0 23647 +Element::owner pilot-validation 10858 10802 56 0 14222 5962 0 8260 Element::owner kerml-examples 6906 6836 70 0 8762 3394 0 5368 -Element::owner spec-examples 8425 7948 477 0 12233 4543 0 7690 -Element::owner testdata 1552 1475 77 0 2284 981 0 1303 -Element::owner examples 32771 32676 95 0 51722 21991 0 29731 +Element::owner spec-examples 8585 8108 477 0 12233 4543 0 7690 +Element::owner testdata 1572 1495 77 0 2284 981 0 1303 +Element::owner examples 33106 33011 95 0 51722 21991 0 29731 Element::owner probes 45 41 4 0 53 19 0 34 Element::owner manual-examples 3975 3959 16 0 9379 3783 0 5596 -Element::owningMembership training 8038 3201 4837 0 11906 4909 0 6997 -Element::owningMembership pilot-examples 31382 12439 18943 0 40642 16531 0 24111 -Element::owningMembership pilot-validation 10758 4309 6449 0 14222 5872 0 8350 +Element::owningMembership training 8268 3293 4975 0 11906 4909 0 6997 +Element::owningMembership pilot-examples 31822 12615 19207 0 40642 16531 0 24111 +Element::owningMembership pilot-validation 10858 4349 6509 0 14222 5872 0 8350 Element::owningMembership kerml-examples 6906 2421 4485 0 8762 3318 0 5444 -Element::owningMembership spec-examples 8425 3119 5306 0 12233 4458 0 7775 -Element::owningMembership testdata 1552 611 941 0 2284 968 0 1316 -Element::owningMembership examples 32771 13118 19653 0 51722 21669 0 30053 +Element::owningMembership spec-examples 8585 3183 5402 0 12233 4458 0 7775 +Element::owningMembership testdata 1572 619 953 0 2284 968 0 1316 +Element::owningMembership examples 33106 13252 19854 0 51722 21669 0 30053 Element::owningMembership probes 45 15 30 0 53 19 0 34 Element::owningMembership manual-examples 3975 1503 2472 0 9379 3711 0 5668 -Element::owningNamespace training 8038 3201 4837 0 11906 4909 0 6997 -Element::owningNamespace pilot-examples 31382 12439 18943 0 40642 16531 0 24111 -Element::owningNamespace pilot-validation 10758 4309 6449 0 14222 5872 0 8350 +Element::owningNamespace training 8268 3293 4975 0 11906 4909 0 6997 +Element::owningNamespace pilot-examples 31822 12615 19207 0 40642 16531 0 24111 +Element::owningNamespace pilot-validation 10858 4349 6509 0 14222 5872 0 8350 Element::owningNamespace kerml-examples 6906 2420 4486 0 8762 3318 0 5444 -Element::owningNamespace spec-examples 8425 3119 5306 0 12233 4458 0 7775 -Element::owningNamespace testdata 1552 611 941 0 2284 968 0 1316 -Element::owningNamespace examples 32771 13118 19653 0 51722 21669 0 30053 +Element::owningNamespace spec-examples 8585 3183 5402 0 12233 4458 0 7775 +Element::owningNamespace testdata 1572 619 953 0 2284 968 0 1316 +Element::owningNamespace examples 33106 13252 19854 0 51722 21669 0 30053 Element::owningNamespace probes 45 15 30 0 53 19 0 34 Element::owningNamespace manual-examples 3975 1503 2472 0 9379 3711 0 5668 -Element::owningRelationship training 8038 3254 4784 0 11906 4988 0 6918 -Element::owningRelationship pilot-examples 31382 12887 18495 0 40642 16995 0 23647 -Element::owningRelationship pilot-validation 10758 4392 6366 0 14222 5962 0 8260 +Element::owningRelationship training 8268 3346 4922 0 11906 4988 0 6918 +Element::owningRelationship pilot-examples 31822 13063 18759 0 40642 16995 0 23647 +Element::owningRelationship pilot-validation 10858 4432 6426 0 14222 5962 0 8260 Element::owningRelationship kerml-examples 6906 2562 4344 0 8762 3404 0 5358 -Element::owningRelationship spec-examples 8425 3166 5259 0 12233 4543 0 7690 -Element::owningRelationship testdata 1552 623 929 0 2284 981 0 1303 -Element::owningRelationship examples 32771 13608 19163 0 51722 21993 0 29729 +Element::owningRelationship spec-examples 8585 3230 5355 0 12233 4543 0 7690 +Element::owningRelationship testdata 1572 631 941 0 2284 981 0 1303 +Element::owningRelationship examples 33106 13742 19364 0 51722 21993 0 29729 Element::owningRelationship probes 45 15 30 0 53 19 0 34 Element::owningRelationship manual-examples 3975 1560 2415 0 9379 3783 0 5596 -Element::qualifiedName training 8038 1393 6645 0 11906 1543 0 10363 -Element::qualifiedName pilot-examples 31382 4269 27113 0 40642 4712 0 35930 -Element::qualifiedName pilot-validation 10758 1768 8990 0 14222 1879 0 12343 +Element::qualifiedName training 8268 1393 6875 0 11906 1543 0 10363 +Element::qualifiedName pilot-examples 31822 4269 27553 0 40642 4712 0 35930 +Element::qualifiedName pilot-validation 10858 1768 9090 0 14222 1879 0 12343 Element::qualifiedName kerml-examples 6906 1272 5634 0 8762 1339 0 7423 -Element::qualifiedName spec-examples 8425 1607 6818 0 12233 2140 0 10093 -Element::qualifiedName testdata 1552 296 1256 0 2284 362 0 1922 -Element::qualifiedName examples 32771 4701 28070 0 51722 4983 0 46739 +Element::qualifiedName spec-examples 8585 1607 6978 0 12233 2140 0 10093 +Element::qualifiedName testdata 1572 296 1276 0 2284 362 0 1922 +Element::qualifiedName examples 33106 4701 28405 0 51722 4983 0 46739 Element::qualifiedName probes 45 8 37 0 53 12 0 41 Element::qualifiedName manual-examples 3975 833 3142 0 9379 876 0 8503 -Element::shortName training 8038 5 8033 0 11906 7 0 11899 -Element::shortName pilot-examples 31382 48 31334 0 40642 47 0 40595 -Element::shortName pilot-validation 10758 21 10737 0 14222 16 0 14206 +Element::shortName training 8268 5 8263 0 11906 7 0 11899 +Element::shortName pilot-examples 31822 48 31774 0 40642 47 0 40595 +Element::shortName pilot-validation 10858 21 10837 0 14222 16 0 14206 Element::shortName kerml-examples 6906 4 6902 0 8762 4 0 8758 -Element::shortName spec-examples 8425 9 8416 0 12233 9 0 12224 -Element::shortName testdata 1552 2 1550 0 2284 2 0 2282 -Element::shortName examples 32771 6 32765 0 51722 8 0 51714 +Element::shortName spec-examples 8585 9 8576 0 12233 9 0 12224 +Element::shortName testdata 1572 2 1570 0 2284 2 0 2282 +Element::shortName examples 33106 6 33100 0 51722 8 0 51714 Element::shortName probes 45 0 45 0 53 0 0 53 Element::shortName manual-examples 3975 47 3928 0 9379 63 0 9316 -Element::textualRepresentation training 8038 1 8037 0 11906 1 11905 0 -Element::textualRepresentation pilot-examples 31382 2 31380 0 40642 2 40640 0 -Element::textualRepresentation pilot-validation 10758 0 10758 0 14222 0 14222 0 +Element::textualRepresentation training 8268 1 8267 0 11906 1 11905 0 +Element::textualRepresentation pilot-examples 31822 2 31820 0 40642 2 40640 0 +Element::textualRepresentation pilot-validation 10858 0 10858 0 14222 0 14222 0 Element::textualRepresentation kerml-examples 6906 2 6904 0 8762 2 8760 0 -Element::textualRepresentation spec-examples 8425 0 8425 0 12233 4 12229 0 -Element::textualRepresentation testdata 1552 0 1552 0 2284 0 2284 0 -Element::textualRepresentation examples 32771 11 32760 0 51722 11 51711 0 +Element::textualRepresentation spec-examples 8585 0 8585 0 12233 4 12229 0 +Element::textualRepresentation testdata 1572 0 1572 0 2284 0 2284 0 +Element::textualRepresentation examples 33106 11 33095 0 51722 11 51711 0 Element::textualRepresentation probes 45 0 45 0 53 0 53 0 Element::textualRepresentation manual-examples 3975 5 3970 0 9379 5 9374 0 ElementFilterMembership::condition training 0 0 0 0 7 7 0 0 @@ -708,193 +708,193 @@ Expression::result testdata 121 41 0 80 198 198 0 0 Expression::result examples 3013 1075 0 1938 5221 5221 0 0 Expression::result probes 3 2 0 1 3 3 0 0 Expression::result manual-examples 411 92 0 319 1280 1280 0 0 -Feature::chainingFeature training 2869 48 2821 0 4506 81 4425 0 -Feature::chainingFeature pilot-examples 11808 365 11443 0 15863 523 15340 0 -Feature::chainingFeature pilot-validation 3733 69 3664 0 5259 95 5164 0 +Feature::chainingFeature training 2961 48 2913 0 4506 81 4425 0 +Feature::chainingFeature pilot-examples 11984 365 11619 0 15863 523 15340 0 +Feature::chainingFeature pilot-validation 3773 69 3704 0 5259 95 5164 0 Feature::chainingFeature kerml-examples 2109 76 2033 0 2884 105 2779 0 -Feature::chainingFeature spec-examples 2695 26 2669 0 3953 72 3881 0 -Feature::chainingFeature testdata 484 6 478 0 777 6 771 0 -Feature::chainingFeature examples 12738 282 12456 0 21004 405 20599 0 +Feature::chainingFeature spec-examples 2759 26 2733 0 3953 72 3881 0 +Feature::chainingFeature testdata 492 6 486 0 777 6 771 0 +Feature::chainingFeature examples 12872 282 12590 0 21004 405 20599 0 Feature::chainingFeature probes 8 0 8 0 8 0 8 0 Feature::chainingFeature manual-examples 1339 37 1302 0 3546 72 3474 0 -Feature::crossFeature training 2869 0 2869 0 4506 8 0 4498 -Feature::crossFeature pilot-examples 11808 2 11806 0 15863 38 0 15825 -Feature::crossFeature pilot-validation 3733 0 3733 0 5259 2 0 5257 +Feature::crossFeature training 2961 0 2961 0 4506 8 0 4498 +Feature::crossFeature pilot-examples 11984 2 11982 0 15863 38 0 15825 +Feature::crossFeature pilot-validation 3773 0 3773 0 5259 2 0 5257 Feature::crossFeature kerml-examples 2109 13 2096 0 2884 117 0 2767 -Feature::crossFeature spec-examples 2695 9 2684 2 3953 72 0 3881 -Feature::crossFeature testdata 484 0 484 0 777 0 0 777 -Feature::crossFeature examples 12738 0 12738 0 21004 35 0 20969 +Feature::crossFeature spec-examples 2759 9 2748 2 3953 72 0 3881 +Feature::crossFeature testdata 492 0 492 0 777 0 0 777 +Feature::crossFeature examples 12872 0 12872 0 21004 35 0 20969 Feature::crossFeature probes 8 0 8 0 8 0 0 8 Feature::crossFeature manual-examples 1339 0 1339 0 3546 0 0 3546 -Feature::direction training 2869 972 1897 0 4506 1592 0 2914 -Feature::direction pilot-examples 11808 3913 7895 0 15863 5307 0 10556 -Feature::direction pilot-validation 3733 1137 2596 0 5259 1702 0 3557 +Feature::direction training 2961 972 1989 0 4506 1592 0 2914 +Feature::direction pilot-examples 11984 3913 8071 0 15863 5307 0 10556 +Feature::direction pilot-validation 3773 1137 2636 0 5259 1702 0 3557 Feature::direction kerml-examples 2109 406 1703 0 2884 509 0 2375 -Feature::direction spec-examples 2695 753 1942 0 3953 652 0 3301 -Feature::direction testdata 484 124 360 0 777 245 0 532 -Feature::direction examples 12738 2466 10272 0 21004 5963 0 15041 +Feature::direction spec-examples 2759 753 2006 0 3953 652 0 3301 +Feature::direction testdata 492 124 368 0 777 245 0 532 +Feature::direction examples 12872 2466 10406 0 21004 5963 0 15041 Feature::direction probes 8 4 4 0 8 4 0 4 Feature::direction manual-examples 1339 251 1088 0 3546 1502 0 2044 -Feature::endOwningType training 2869 84 2785 0 4506 308 0 4198 -Feature::endOwningType pilot-examples 11808 452 11356 0 15863 958 0 14905 -Feature::endOwningType pilot-validation 3733 98 3635 0 5259 284 0 4975 +Feature::endOwningType training 2961 176 2785 0 4506 308 0 4198 +Feature::endOwningType pilot-examples 11984 628 11356 0 15863 958 0 14905 +Feature::endOwningType pilot-validation 3773 138 3635 0 5259 284 0 4975 Feature::endOwningType kerml-examples 2109 308 1801 0 2884 284 0 2600 -Feature::endOwningType spec-examples 2695 226 2469 0 3953 371 0 3582 -Feature::endOwningType testdata 484 11 473 0 777 41 0 736 -Feature::endOwningType examples 12738 701 12037 0 21004 1377 0 19627 +Feature::endOwningType spec-examples 2759 290 2469 0 3953 371 0 3582 +Feature::endOwningType testdata 492 19 473 0 777 41 0 736 +Feature::endOwningType examples 12872 835 12037 0 21004 1377 0 19627 Feature::endOwningType probes 8 0 8 0 8 0 0 8 Feature::endOwningType manual-examples 1339 44 1295 0 3546 58 0 3488 -Feature::featureTarget training 2869 2869 0 0 4506 4506 0 0 -Feature::featureTarget pilot-examples 11808 11808 0 0 15863 15863 0 0 -Feature::featureTarget pilot-validation 3733 3733 0 0 5259 5259 0 0 +Feature::featureTarget training 2961 2961 0 0 4506 4506 0 0 +Feature::featureTarget pilot-examples 11984 11984 0 0 15863 15863 0 0 +Feature::featureTarget pilot-validation 3773 3773 0 0 5259 5259 0 0 Feature::featureTarget kerml-examples 2109 2109 0 0 2884 2884 0 0 -Feature::featureTarget spec-examples 2695 2695 0 0 3953 3953 0 0 -Feature::featureTarget testdata 484 484 0 0 777 777 0 0 -Feature::featureTarget examples 12738 12738 0 0 21004 21004 0 0 +Feature::featureTarget spec-examples 2759 2759 0 0 3953 3953 0 0 +Feature::featureTarget testdata 492 492 0 0 777 777 0 0 +Feature::featureTarget examples 12872 12872 0 0 21004 21004 0 0 Feature::featureTarget probes 8 8 0 0 8 8 0 0 Feature::featureTarget manual-examples 1339 1339 0 0 3546 3546 0 0 -Feature::featuringType training 2869 2295 574 0 4506 4171 335 0 -Feature::featuringType pilot-examples 11808 8899 2906 3 15863 14551 1312 0 -Feature::featuringType pilot-validation 3733 2809 924 0 5259 4790 469 0 +Feature::featuringType training 2961 2387 574 0 4506 4171 335 0 +Feature::featuringType pilot-examples 11984 9075 2906 3 15863 14551 1312 0 +Feature::featuringType pilot-validation 3773 2849 924 0 5259 4790 469 0 Feature::featuringType kerml-examples 2109 1642 467 0 2884 2643 241 0 -Feature::featuringType spec-examples 2695 2107 584 4 3953 2918 1035 0 -Feature::featuringType testdata 484 267 217 0 777 602 175 0 -Feature::featuringType examples 12738 9264 3474 0 21004 18335 2669 0 +Feature::featuringType spec-examples 2759 2171 584 4 3953 2918 1035 0 +Feature::featuringType testdata 492 275 217 0 777 602 175 0 +Feature::featuringType examples 12872 9398 3474 0 21004 18335 2669 0 Feature::featuringType probes 8 5 3 0 8 7 1 0 Feature::featuringType manual-examples 1339 972 367 0 3546 3177 369 0 -Feature::isComposite training 2869 2869 0 0 4506 4506 0 0 -Feature::isComposite pilot-examples 11808 11808 0 0 15863 15863 0 0 -Feature::isComposite pilot-validation 3733 3733 0 0 5259 5259 0 0 +Feature::isComposite training 2961 2961 0 0 4506 4506 0 0 +Feature::isComposite pilot-examples 11984 11984 0 0 15863 15863 0 0 +Feature::isComposite pilot-validation 3773 3773 0 0 5259 5259 0 0 Feature::isComposite kerml-examples 2109 2109 0 0 2884 2884 0 0 -Feature::isComposite spec-examples 2695 2695 0 0 3953 3953 0 0 -Feature::isComposite testdata 484 484 0 0 777 777 0 0 -Feature::isComposite examples 12738 12723 0 15 21004 21004 0 0 +Feature::isComposite spec-examples 2759 2759 0 0 3953 3953 0 0 +Feature::isComposite testdata 492 492 0 0 777 777 0 0 +Feature::isComposite examples 12872 12857 0 15 21004 21004 0 0 Feature::isComposite probes 8 8 0 0 8 8 0 0 Feature::isComposite manual-examples 1339 1339 0 0 3546 3546 0 0 -Feature::isConstant training 2869 2869 0 0 4506 4506 0 0 -Feature::isConstant pilot-examples 11808 11808 0 0 15863 15863 0 0 -Feature::isConstant pilot-validation 3733 3733 0 0 5259 5259 0 0 +Feature::isConstant training 2961 2961 0 0 4506 4506 0 0 +Feature::isConstant pilot-examples 11984 11984 0 0 15863 15863 0 0 +Feature::isConstant pilot-validation 3773 3773 0 0 5259 5259 0 0 Feature::isConstant kerml-examples 2109 2109 0 0 2884 2884 0 0 -Feature::isConstant spec-examples 2695 2695 0 0 3953 3953 0 0 -Feature::isConstant testdata 484 484 0 0 777 777 0 0 -Feature::isConstant examples 12738 12738 0 0 21004 21004 0 0 +Feature::isConstant spec-examples 2759 2759 0 0 3953 3953 0 0 +Feature::isConstant testdata 492 492 0 0 777 777 0 0 +Feature::isConstant examples 12872 12872 0 0 21004 21004 0 0 Feature::isConstant probes 8 8 0 0 8 8 0 0 Feature::isConstant manual-examples 1339 1339 0 0 3546 3546 0 0 -Feature::isEnd training 2869 2869 0 0 4506 4506 0 0 -Feature::isEnd pilot-examples 11808 11808 0 0 15863 15863 0 0 -Feature::isEnd pilot-validation 3733 3733 0 0 5259 5259 0 0 +Feature::isEnd training 2961 2961 0 0 4506 4506 0 0 +Feature::isEnd pilot-examples 11984 11984 0 0 15863 15863 0 0 +Feature::isEnd pilot-validation 3773 3773 0 0 5259 5259 0 0 Feature::isEnd kerml-examples 2109 2109 0 0 2884 2884 0 0 -Feature::isEnd spec-examples 2695 2695 0 0 3953 3953 0 0 -Feature::isEnd testdata 484 484 0 0 777 777 0 0 -Feature::isEnd examples 12738 12738 0 0 21004 21004 0 0 +Feature::isEnd spec-examples 2759 2759 0 0 3953 3953 0 0 +Feature::isEnd testdata 492 492 0 0 777 777 0 0 +Feature::isEnd examples 12872 12872 0 0 21004 21004 0 0 Feature::isEnd probes 8 8 0 0 8 8 0 0 Feature::isEnd manual-examples 1339 1339 0 0 3546 3546 0 0 -Feature::isVariable training 2869 1466 0 1403 4506 4506 0 0 -Feature::isVariable pilot-examples 11808 7362 0 4446 15863 15863 0 0 -Feature::isVariable pilot-validation 3733 2104 0 1629 5259 5259 0 0 +Feature::isVariable training 2961 1466 0 1495 4506 4506 0 0 +Feature::isVariable pilot-examples 11984 7362 0 4622 15863 15863 0 0 +Feature::isVariable pilot-validation 3773 2104 0 1669 5259 5259 0 0 Feature::isVariable kerml-examples 2109 2109 0 0 2884 2884 0 0 -Feature::isVariable spec-examples 2695 1555 0 1140 3953 3953 0 0 -Feature::isVariable testdata 484 304 0 180 777 777 0 0 -Feature::isVariable examples 12738 7295 0 5443 21004 21004 0 0 +Feature::isVariable spec-examples 2759 1555 0 1204 3953 3953 0 0 +Feature::isVariable testdata 492 304 0 188 777 777 0 0 +Feature::isVariable examples 12872 7295 0 5577 21004 21004 0 0 Feature::isVariable probes 8 7 0 1 8 8 0 0 Feature::isVariable manual-examples 1339 584 0 755 3546 3546 0 0 -Feature::ownedCrossSubsetting training 2869 0 2869 0 4506 0 0 4506 -Feature::ownedCrossSubsetting pilot-examples 11808 2 11806 0 15863 2 0 15861 -Feature::ownedCrossSubsetting pilot-validation 3733 0 3733 0 5259 0 0 5259 +Feature::ownedCrossSubsetting training 2961 0 2961 0 4506 0 0 4506 +Feature::ownedCrossSubsetting pilot-examples 11984 2 11982 0 15863 2 0 15861 +Feature::ownedCrossSubsetting pilot-validation 3773 0 3773 0 5259 0 0 5259 Feature::ownedCrossSubsetting kerml-examples 2109 13 2096 0 2884 13 0 2871 -Feature::ownedCrossSubsetting spec-examples 2695 11 2684 0 3953 11 0 3942 -Feature::ownedCrossSubsetting testdata 484 0 484 0 777 0 0 777 -Feature::ownedCrossSubsetting examples 12738 0 12738 0 21004 0 0 21004 +Feature::ownedCrossSubsetting spec-examples 2759 11 2748 0 3953 11 0 3942 +Feature::ownedCrossSubsetting testdata 492 0 492 0 777 0 0 777 +Feature::ownedCrossSubsetting examples 12872 0 12872 0 21004 0 0 21004 Feature::ownedCrossSubsetting probes 8 0 8 0 8 0 0 8 Feature::ownedCrossSubsetting manual-examples 1339 0 1339 0 3546 0 0 3546 -Feature::ownedFeatureChaining training 2869 48 2821 0 4506 81 4425 0 -Feature::ownedFeatureChaining pilot-examples 11808 365 11443 0 15863 523 15340 0 -Feature::ownedFeatureChaining pilot-validation 3733 69 3664 0 5259 95 5164 0 +Feature::ownedFeatureChaining training 2961 48 2913 0 4506 81 4425 0 +Feature::ownedFeatureChaining pilot-examples 11984 365 11619 0 15863 523 15340 0 +Feature::ownedFeatureChaining pilot-validation 3773 69 3704 0 5259 95 5164 0 Feature::ownedFeatureChaining kerml-examples 2109 76 2033 0 2884 105 2779 0 -Feature::ownedFeatureChaining spec-examples 2695 26 2669 0 3953 72 3881 0 -Feature::ownedFeatureChaining testdata 484 6 478 0 777 6 771 0 -Feature::ownedFeatureChaining examples 12738 282 12456 0 21004 405 20599 0 +Feature::ownedFeatureChaining spec-examples 2759 26 2733 0 3953 72 3881 0 +Feature::ownedFeatureChaining testdata 492 6 486 0 777 6 771 0 +Feature::ownedFeatureChaining examples 12872 282 12590 0 21004 405 20599 0 Feature::ownedFeatureChaining probes 8 0 8 0 8 0 8 0 Feature::ownedFeatureChaining manual-examples 1339 37 1302 0 3546 72 3474 0 -Feature::ownedFeatureInverting training 2869 0 2869 0 4506 0 4506 0 -Feature::ownedFeatureInverting pilot-examples 11808 0 11808 0 15863 0 15863 0 -Feature::ownedFeatureInverting pilot-validation 3733 0 3733 0 5259 0 5259 0 +Feature::ownedFeatureInverting training 2961 0 2961 0 4506 0 4506 0 +Feature::ownedFeatureInverting pilot-examples 11984 0 11984 0 15863 0 15863 0 +Feature::ownedFeatureInverting pilot-validation 3773 0 3773 0 5259 0 5259 0 Feature::ownedFeatureInverting kerml-examples 2109 2 2107 0 2884 2 2882 0 -Feature::ownedFeatureInverting spec-examples 2695 3 2692 0 3953 3 3950 0 -Feature::ownedFeatureInverting testdata 484 0 484 0 777 0 777 0 -Feature::ownedFeatureInverting examples 12738 2 12736 0 21004 2 21002 0 +Feature::ownedFeatureInverting spec-examples 2759 3 2756 0 3953 3 3950 0 +Feature::ownedFeatureInverting testdata 492 0 492 0 777 0 777 0 +Feature::ownedFeatureInverting examples 12872 2 12870 0 21004 2 21002 0 Feature::ownedFeatureInverting probes 8 0 8 0 8 0 8 0 Feature::ownedFeatureInverting manual-examples 1339 0 1339 0 3546 0 3546 0 -Feature::ownedRedefinition training 2869 147 2722 0 4506 187 4319 0 -Feature::ownedRedefinition pilot-examples 11808 814 10994 0 15863 934 14929 0 -Feature::ownedRedefinition pilot-validation 3733 272 3461 0 5259 283 4976 0 +Feature::ownedRedefinition training 2961 147 2814 0 4506 187 4319 0 +Feature::ownedRedefinition pilot-examples 11984 814 11170 0 15863 934 14929 0 +Feature::ownedRedefinition pilot-validation 3773 272 3501 0 5259 283 4976 0 Feature::ownedRedefinition kerml-examples 2109 294 1815 0 2884 297 2587 0 -Feature::ownedRedefinition spec-examples 2695 201 2494 0 3953 198 3755 0 -Feature::ownedRedefinition testdata 484 12 472 0 777 14 763 0 -Feature::ownedRedefinition examples 12738 942 11796 0 21004 1308 19696 0 +Feature::ownedRedefinition spec-examples 2759 201 2558 0 3953 198 3755 0 +Feature::ownedRedefinition testdata 492 12 480 0 777 14 763 0 +Feature::ownedRedefinition examples 12872 942 11930 0 21004 1308 19696 0 Feature::ownedRedefinition probes 8 1 7 0 8 1 7 0 Feature::ownedRedefinition manual-examples 1339 139 1200 0 3546 662 2884 0 -Feature::ownedReferenceSubsetting training 2869 110 2759 0 4506 229 0 4277 -Feature::ownedReferenceSubsetting pilot-examples 11808 509 11299 0 15863 831 0 15032 -Feature::ownedReferenceSubsetting pilot-validation 3733 134 3599 0 5259 263 0 4996 +Feature::ownedReferenceSubsetting training 2961 156 2805 0 4506 229 0 4277 +Feature::ownedReferenceSubsetting pilot-examples 11984 597 11387 0 15863 831 0 15032 +Feature::ownedReferenceSubsetting pilot-validation 3773 154 3619 0 5259 263 0 4996 Feature::ownedReferenceSubsetting kerml-examples 2109 175 1934 0 2884 179 0 2705 -Feature::ownedReferenceSubsetting spec-examples 2695 174 2521 0 3953 261 0 3692 -Feature::ownedReferenceSubsetting testdata 484 2 482 0 777 16 0 761 -Feature::ownedReferenceSubsetting examples 12738 731 12007 0 21004 1079 0 19925 +Feature::ownedReferenceSubsetting spec-examples 2759 206 2553 0 3953 261 0 3692 +Feature::ownedReferenceSubsetting testdata 492 6 486 0 777 16 0 761 +Feature::ownedReferenceSubsetting examples 12872 798 12074 0 21004 1079 0 19925 Feature::ownedReferenceSubsetting probes 8 0 8 0 8 0 0 8 Feature::ownedReferenceSubsetting manual-examples 1339 86 1253 0 3546 93 0 3453 -Feature::ownedSubsetting training 2869 294 2575 0 4506 451 4055 0 -Feature::ownedSubsetting pilot-examples 11808 1661 10147 0 15863 2100 13763 0 -Feature::ownedSubsetting pilot-validation 3733 453 3280 0 5259 591 4668 0 +Feature::ownedSubsetting training 2961 340 2621 0 4506 451 4055 0 +Feature::ownedSubsetting pilot-examples 11984 1749 10235 0 15863 2100 13763 0 +Feature::ownedSubsetting pilot-validation 3773 473 3300 0 5259 591 4668 0 Feature::ownedSubsetting kerml-examples 2109 550 1559 0 2884 557 2327 0 -Feature::ownedSubsetting spec-examples 2695 533 2162 0 3953 641 3312 0 -Feature::ownedSubsetting testdata 484 28 456 0 777 44 733 0 -Feature::ownedSubsetting examples 12738 1730 11008 0 21004 2444 18560 0 +Feature::ownedSubsetting spec-examples 2759 565 2194 0 3953 641 3312 0 +Feature::ownedSubsetting testdata 492 32 460 0 777 44 733 0 +Feature::ownedSubsetting examples 12872 1797 11075 0 21004 2444 18560 0 Feature::ownedSubsetting probes 8 1 7 0 8 1 7 0 Feature::ownedSubsetting manual-examples 1339 226 1113 0 3546 756 2790 0 -Feature::ownedTypeFeaturing training 2869 0 2869 0 4506 0 4506 0 -Feature::ownedTypeFeaturing pilot-examples 11808 0 11808 0 15863 0 15863 0 -Feature::ownedTypeFeaturing pilot-validation 3733 0 3733 0 5259 0 5259 0 +Feature::ownedTypeFeaturing training 2961 0 2961 0 4506 0 4506 0 +Feature::ownedTypeFeaturing pilot-examples 11984 0 11984 0 15863 0 15863 0 +Feature::ownedTypeFeaturing pilot-validation 3773 0 3773 0 5259 0 5259 0 Feature::ownedTypeFeaturing kerml-examples 2109 72 2037 0 2884 72 2812 0 -Feature::ownedTypeFeaturing spec-examples 2695 8 2687 0 3953 6 3947 0 -Feature::ownedTypeFeaturing testdata 484 0 484 0 777 0 777 0 -Feature::ownedTypeFeaturing examples 12738 0 12738 0 21004 0 21004 0 +Feature::ownedTypeFeaturing spec-examples 2759 8 2751 0 3953 6 3947 0 +Feature::ownedTypeFeaturing testdata 492 0 492 0 777 0 777 0 +Feature::ownedTypeFeaturing examples 12872 0 12872 0 21004 0 21004 0 Feature::ownedTypeFeaturing probes 8 0 8 0 8 0 8 0 Feature::ownedTypeFeaturing manual-examples 1339 0 1339 0 3546 0 3546 0 -Feature::ownedTyping training 2869 596 2273 0 4506 612 3894 0 -Feature::ownedTyping pilot-examples 11808 1469 10339 0 15863 1543 14320 0 -Feature::ownedTyping pilot-validation 3733 677 3056 0 5259 712 4547 0 +Feature::ownedTyping training 2961 596 2365 0 4506 612 3894 0 +Feature::ownedTyping pilot-examples 11984 1469 10515 0 15863 1543 14320 0 +Feature::ownedTyping pilot-validation 3773 677 3096 0 5259 712 4547 0 Feature::ownedTyping kerml-examples 2109 465 1644 0 2884 548 2336 0 -Feature::ownedTyping spec-examples 2695 563 2132 0 3953 575 3378 0 -Feature::ownedTyping testdata 484 99 385 0 777 114 663 0 -Feature::ownedTyping examples 12738 2095 10643 0 21004 2414 18590 0 +Feature::ownedTyping spec-examples 2759 563 2196 0 3953 575 3378 0 +Feature::ownedTyping testdata 492 99 393 0 777 114 663 0 +Feature::ownedTyping examples 12872 2095 10777 0 21004 2414 18590 0 Feature::ownedTyping probes 8 0 8 0 8 0 8 0 Feature::ownedTyping manual-examples 1339 312 1027 0 3546 330 3216 0 -Feature::owningFeatureMembership training 2869 1821 1048 0 4506 2862 0 1644 -Feature::owningFeatureMembership pilot-examples 11808 7165 4643 0 15863 9537 0 6326 -Feature::owningFeatureMembership pilot-validation 3733 2262 1471 0 5259 3226 0 2033 +Feature::owningFeatureMembership training 2961 1913 1048 0 4506 2862 0 1644 +Feature::owningFeatureMembership pilot-examples 11984 7341 4643 0 15863 9537 0 6326 +Feature::owningFeatureMembership pilot-validation 3773 2302 1471 0 5259 3226 0 2033 Feature::owningFeatureMembership kerml-examples 2109 1342 767 0 2884 1369 0 1515 -Feature::owningFeatureMembership spec-examples 2695 1711 984 0 3953 1772 0 2181 -Feature::owningFeatureMembership testdata 484 223 261 0 777 402 0 375 -Feature::owningFeatureMembership examples 12738 6861 5877 0 21004 12243 0 8761 +Feature::owningFeatureMembership spec-examples 2759 1775 984 0 3953 1772 0 2181 +Feature::owningFeatureMembership testdata 492 231 261 0 777 402 0 375 +Feature::owningFeatureMembership examples 12872 6995 5877 0 21004 12243 0 8761 Feature::owningFeatureMembership probes 8 5 3 0 8 5 0 3 Feature::owningFeatureMembership manual-examples 1339 775 564 0 3546 2166 0 1380 -Feature::owningType training 2869 1821 1048 0 4506 2862 0 1644 -Feature::owningType pilot-examples 11808 7165 4643 0 15863 9537 0 6326 -Feature::owningType pilot-validation 3733 2262 1471 0 5259 3226 0 2033 +Feature::owningType training 2961 1913 1048 0 4506 2862 0 1644 +Feature::owningType pilot-examples 11984 7341 4643 0 15863 9537 0 6326 +Feature::owningType pilot-validation 3773 2302 1471 0 5259 3226 0 2033 Feature::owningType kerml-examples 2109 1342 767 0 2884 1369 0 1515 -Feature::owningType spec-examples 2695 1711 984 0 3953 1772 0 2181 -Feature::owningType testdata 484 223 261 0 777 402 0 375 -Feature::owningType examples 12738 6861 5877 0 21004 12243 0 8761 +Feature::owningType spec-examples 2759 1775 984 0 3953 1772 0 2181 +Feature::owningType testdata 492 231 261 0 777 402 0 375 +Feature::owningType examples 12872 6995 5877 0 21004 12243 0 8761 Feature::owningType probes 8 5 3 0 8 5 0 3 Feature::owningType manual-examples 1339 775 564 0 3546 2166 0 1380 -Feature::type training 2869 725 1956 188 4506 4506 0 0 -Feature::type pilot-examples 11808 2082 8485 1241 15863 15863 0 0 -Feature::type pilot-validation 3733 929 2577 227 5259 5259 0 0 +Feature::type training 2961 736 2002 223 4506 4506 0 0 +Feature::type pilot-examples 11984 2092 8573 1319 15863 15863 0 0 +Feature::type pilot-validation 3773 930 2597 246 5259 5259 0 0 Feature::type kerml-examples 2109 539 1188 382 2884 2883 1 0 -Feature::type spec-examples 2695 195 1678 822 3953 3576 377 0 -Feature::type testdata 484 107 353 24 777 769 8 0 -Feature::type examples 12738 3229 8660 849 21004 21004 0 0 +Feature::type spec-examples 2759 195 1710 854 3953 3576 377 0 +Feature::type testdata 492 107 357 28 777 769 8 0 +Feature::type examples 12872 3231 8727 914 21004 21004 0 0 Feature::type probes 8 0 7 1 8 8 0 0 Feature::type manual-examples 1339 411 764 164 3546 3546 0 0 FeatureChainExpression::operator training 67 67 0 0 94 94 0 0 @@ -924,22 +924,22 @@ FeatureChaining::featureChained manual-examples 103 103 0 0 191 191 0 0 FeatureInverting::owningFeature kerml-examples 4 2 2 0 4 2 0 2 FeatureInverting::owningFeature spec-examples 5 3 2 0 5 3 0 2 FeatureInverting::owningFeature examples 2 2 0 0 2 2 0 0 -FeatureMembership::ownedMemberFeature training 1821 1821 0 0 2862 2862 0 0 -FeatureMembership::ownedMemberFeature pilot-examples 7165 7165 0 0 9537 9537 0 0 -FeatureMembership::ownedMemberFeature pilot-validation 2262 2262 0 0 3226 3226 0 0 +FeatureMembership::ownedMemberFeature training 1913 1913 0 0 2862 2862 0 0 +FeatureMembership::ownedMemberFeature pilot-examples 7341 7341 0 0 9537 9537 0 0 +FeatureMembership::ownedMemberFeature pilot-validation 2302 2302 0 0 3226 3226 0 0 FeatureMembership::ownedMemberFeature kerml-examples 1342 1342 0 0 1369 1369 0 0 -FeatureMembership::ownedMemberFeature spec-examples 1715 1715 0 0 1774 1772 0 2 -FeatureMembership::ownedMemberFeature testdata 223 223 0 0 402 402 0 0 -FeatureMembership::ownedMemberFeature examples 6861 6861 0 0 12243 12243 0 0 +FeatureMembership::ownedMemberFeature spec-examples 1779 1779 0 0 1774 1772 0 2 +FeatureMembership::ownedMemberFeature testdata 231 231 0 0 402 402 0 0 +FeatureMembership::ownedMemberFeature examples 6995 6995 0 0 12243 12243 0 0 FeatureMembership::ownedMemberFeature probes 5 5 0 0 5 5 0 0 FeatureMembership::ownedMemberFeature manual-examples 775 775 0 0 2166 2166 0 0 -FeatureMembership::owningType training 1821 1821 0 0 2862 2862 0 0 -FeatureMembership::owningType pilot-examples 7165 7165 0 0 9537 9537 0 0 -FeatureMembership::owningType pilot-validation 2262 2262 0 0 3226 3226 0 0 +FeatureMembership::owningType training 1913 1913 0 0 2862 2862 0 0 +FeatureMembership::owningType pilot-examples 7341 7341 0 0 9537 9537 0 0 +FeatureMembership::owningType pilot-validation 2302 2302 0 0 3226 3226 0 0 FeatureMembership::owningType kerml-examples 1342 1342 0 0 1369 1369 0 0 -FeatureMembership::owningType spec-examples 1715 1715 0 0 1774 1774 0 0 -FeatureMembership::owningType testdata 223 223 0 0 402 402 0 0 -FeatureMembership::owningType examples 6861 6861 0 0 12243 12243 0 0 +FeatureMembership::owningType spec-examples 1779 1779 0 0 1774 1774 0 0 +FeatureMembership::owningType testdata 231 231 0 0 402 402 0 0 +FeatureMembership::owningType examples 6995 6995 0 0 12243 12243 0 0 FeatureMembership::owningType probes 5 5 0 0 5 5 0 0 FeatureMembership::owningType manual-examples 775 775 0 0 2166 2166 0 0 FeatureReferenceExpression::referent training 203 203 0 0 329 329 0 0 @@ -1108,49 +1108,49 @@ ItemUsage::itemDefinition spec-examples 207 24 60 123 197 197 0 0 ItemUsage::itemDefinition testdata 58 16 27 15 58 57 1 0 ItemUsage::itemDefinition examples 1191 758 390 43 1188 1188 0 0 ItemUsage::itemDefinition manual-examples 186 111 74 1 185 185 0 0 -Membership::memberElement training 3497 3497 0 0 5387 5387 0 0 -Membership::memberElement pilot-examples 13710 13710 0 0 18124 18124 0 0 -Membership::memberElement pilot-validation 4706 4705 1 0 6394 6394 0 0 +Membership::memberElement training 3589 3589 0 0 5387 5387 0 0 +Membership::memberElement pilot-examples 13886 13886 0 0 18124 18124 0 0 +Membership::memberElement pilot-validation 4746 4745 1 0 6394 6394 0 0 Membership::memberElement kerml-examples 2549 2549 0 0 3463 3462 0 1 -Membership::memberElement spec-examples 3255 3253 2 0 4643 4627 0 16 -Membership::memberElement testdata 632 629 3 0 1014 1014 0 0 -Membership::memberElement examples 13880 13880 0 0 23403 23403 0 0 +Membership::memberElement spec-examples 3319 3317 2 0 4643 4627 0 16 +Membership::memberElement testdata 640 637 3 0 1014 1014 0 0 +Membership::memberElement examples 14014 14014 0 0 23403 23403 0 0 Membership::memberElement probes 16 16 0 0 20 20 0 0 Membership::memberElement manual-examples 1591 1591 0 0 4155 4155 0 0 -Membership::memberElementId training 3497 1703 0 1794 5387 5387 0 0 -Membership::memberElementId pilot-examples 13710 5554 0 8156 18124 18124 0 0 -Membership::memberElementId pilot-validation 4706 2178 0 2528 6394 6394 0 0 +Membership::memberElementId training 3589 1703 0 1886 5387 5387 0 0 +Membership::memberElementId pilot-examples 13886 5554 0 8332 18124 18124 0 0 +Membership::memberElementId pilot-validation 4746 2178 0 2568 6394 6394 0 0 Membership::memberElementId kerml-examples 2549 1325 0 1224 3463 3462 0 1 -Membership::memberElementId spec-examples 3255 1738 0 1517 4643 4627 0 16 -Membership::memberElementId testdata 632 317 0 315 1014 1014 0 0 -Membership::memberElementId examples 13880 5365 0 8515 23403 23403 0 0 +Membership::memberElementId spec-examples 3319 1738 0 1581 4643 4627 0 16 +Membership::memberElementId testdata 640 317 0 323 1014 1014 0 0 +Membership::memberElementId examples 14014 5365 0 8649 23403 23403 0 0 Membership::memberElementId probes 16 9 0 7 20 20 0 0 Membership::memberElementId manual-examples 1591 860 0 731 4155 4155 0 0 -Membership::memberName training 3497 1490 2007 0 5387 3219 0 2168 -Membership::memberName pilot-examples 13710 4636 9074 0 18124 10371 0 7753 -Membership::memberName pilot-validation 4706 1872 2834 0 6394 3741 0 2653 +Membership::memberName training 3589 1582 2007 0 5387 3219 0 2168 +Membership::memberName pilot-examples 13886 4812 9074 0 18124 10371 0 7753 +Membership::memberName pilot-validation 4746 1912 2834 0 6394 3741 0 2653 Membership::memberName kerml-examples 2549 1375 1174 0 3463 1906 0 1557 -Membership::memberName spec-examples 3255 1721 1534 0 4643 2834 0 1809 -Membership::memberName testdata 632 310 322 0 1014 664 0 350 -Membership::memberName examples 13880 5326 8554 0 23403 12382 0 11021 +Membership::memberName spec-examples 3319 1785 1534 0 4643 2834 0 1809 +Membership::memberName testdata 640 318 322 0 1014 664 0 350 +Membership::memberName examples 14014 5460 8554 0 23403 12382 0 11021 Membership::memberName probes 16 8 8 0 20 16 0 4 Membership::memberName manual-examples 1591 856 735 0 4155 2288 0 1867 -Membership::memberShortName training 3497 5 3492 0 5387 7 0 5380 -Membership::memberShortName pilot-examples 13710 48 13662 0 18124 47 0 18077 -Membership::memberShortName pilot-validation 4706 21 4685 0 6394 16 0 6378 +Membership::memberShortName training 3589 5 3584 0 5387 7 0 5380 +Membership::memberShortName pilot-examples 13886 48 13838 0 18124 47 0 18077 +Membership::memberShortName pilot-validation 4746 21 4725 0 6394 16 0 6378 Membership::memberShortName kerml-examples 2549 4 2545 0 3463 4 0 3459 -Membership::memberShortName spec-examples 3255 11 3244 0 4643 11 0 4632 -Membership::memberShortName testdata 632 2 630 0 1014 2 0 1012 -Membership::memberShortName examples 13880 6 13874 0 23403 8 0 23395 +Membership::memberShortName spec-examples 3319 11 3308 0 4643 11 0 4632 +Membership::memberShortName testdata 640 2 638 0 1014 2 0 1012 +Membership::memberShortName examples 14014 6 14008 0 23403 8 0 23395 Membership::memberShortName probes 16 0 16 0 20 0 0 20 Membership::memberShortName manual-examples 1591 47 1544 0 4155 63 0 4092 -Membership::membershipOwningNamespace training 3497 3497 0 0 5387 5387 0 0 -Membership::membershipOwningNamespace pilot-examples 13710 13710 0 0 18124 18124 0 0 -Membership::membershipOwningNamespace pilot-validation 4706 4706 0 0 6394 6394 0 0 +Membership::membershipOwningNamespace training 3589 3589 0 0 5387 5387 0 0 +Membership::membershipOwningNamespace pilot-examples 13886 13886 0 0 18124 18124 0 0 +Membership::membershipOwningNamespace pilot-validation 4746 4746 0 0 6394 6394 0 0 Membership::membershipOwningNamespace kerml-examples 2549 2548 1 0 3463 3462 0 1 -Membership::membershipOwningNamespace spec-examples 3255 3255 0 0 4643 4635 0 8 -Membership::membershipOwningNamespace testdata 632 632 0 0 1014 1014 0 0 -Membership::membershipOwningNamespace examples 13880 13880 0 0 23403 23403 0 0 +Membership::membershipOwningNamespace spec-examples 3319 3319 0 0 4643 4635 0 8 +Membership::membershipOwningNamespace testdata 640 640 0 0 1014 1014 0 0 +Membership::membershipOwningNamespace examples 14014 14014 0 0 23403 23403 0 0 Membership::membershipOwningNamespace probes 16 16 0 0 20 20 0 0 Membership::membershipOwningNamespace manual-examples 1591 1591 0 0 4155 4155 0 0 MetadataAccessExpression::referencedElement pilot-examples 0 0 0 0 3 3 0 0 @@ -1188,58 +1188,58 @@ MultiplicityRange::upperBound spec-examples 179 0 179 0 261 261 0 0 MultiplicityRange::upperBound testdata 16 0 16 0 16 16 0 0 MultiplicityRange::upperBound examples 196 0 196 0 231 231 0 0 MultiplicityRange::upperBound manual-examples 3 0 3 0 3 3 0 0 -Namespace::importedMembership training 3324 0 3252 72 5053 74 4979 0 -Namespace::importedMembership pilot-examples 12805 0 12684 121 16916 116 16800 0 -Namespace::importedMembership pilot-validation 4272 0 4183 89 5832 95 5737 0 +Namespace::importedMembership training 3416 0 3344 72 5053 74 4979 0 +Namespace::importedMembership pilot-examples 12981 0 12860 121 16916 116 16800 0 +Namespace::importedMembership pilot-validation 4312 0 4223 89 5832 95 5737 0 Namespace::importedMembership kerml-examples 2527 0 2467 60 3357 65 3292 0 -Namespace::importedMembership spec-examples 3566 0 3484 82 5766 58 5708 0 -Namespace::importedMembership testdata 692 0 656 36 1020 37 983 0 -Namespace::importedMembership examples 13529 0 13370 159 21862 171 21691 0 +Namespace::importedMembership spec-examples 3630 0 3548 82 5766 58 5708 0 +Namespace::importedMembership testdata 700 0 664 36 1020 37 983 0 +Namespace::importedMembership examples 13663 0 13504 159 21862 171 21691 0 Namespace::importedMembership probes 19 0 18 1 23 1 22 0 Namespace::importedMembership manual-examples 1520 0 1503 17 3738 17 3721 0 -Namespace::member training 3324 2787 461 76 5053 5053 0 0 -Namespace::member pilot-examples 12805 9922 2653 230 16916 16890 26 0 -Namespace::member pilot-validation 4272 3426 729 117 5832 5829 3 0 +Namespace::member training 3416 2875 461 80 5053 5053 0 0 +Namespace::member pilot-examples 12981 10095 2653 233 16916 16890 26 0 +Namespace::member pilot-validation 4312 3465 729 118 5832 5829 3 0 Namespace::member kerml-examples 2527 1620 731 176 3357 3352 5 0 -Namespace::member spec-examples 3566 2403 452 711 5766 4894 872 0 -Namespace::member testdata 692 504 142 46 1020 1011 9 0 -Namespace::member examples 13529 10293 3024 212 21862 21861 1 0 +Namespace::member spec-examples 3630 2453 452 725 5766 4894 872 0 +Namespace::member testdata 700 512 142 46 1020 1011 9 0 +Namespace::member examples 13663 10424 3024 215 21862 21861 1 0 Namespace::member probes 19 15 3 1 23 23 0 0 Namespace::member manual-examples 1520 1109 274 137 3738 3738 0 0 -Namespace::membership training 3324 2787 461 76 5053 5053 0 0 -Namespace::membership pilot-examples 12805 9922 2653 230 16916 16890 26 0 -Namespace::membership pilot-validation 4272 3426 729 117 5832 5829 3 0 +Namespace::membership training 3416 2875 461 80 5053 5053 0 0 +Namespace::membership pilot-examples 12981 10095 2653 233 16916 16890 26 0 +Namespace::membership pilot-validation 4312 3465 729 118 5832 5829 3 0 Namespace::membership kerml-examples 2527 1620 731 176 3357 3352 5 0 -Namespace::membership spec-examples 3566 2403 452 711 5766 4895 871 0 -Namespace::membership testdata 692 505 141 46 1020 1011 9 0 -Namespace::membership examples 13529 10293 3024 212 21862 21861 1 0 +Namespace::membership spec-examples 3630 2453 452 725 5766 4895 871 0 +Namespace::membership testdata 700 513 141 46 1020 1011 9 0 +Namespace::membership examples 13663 10424 3024 215 21862 21861 1 0 Namespace::membership probes 19 15 3 1 23 23 0 0 Namespace::membership manual-examples 1520 1109 274 137 3738 3738 0 0 -Namespace::ownedImport training 3324 72 3252 0 5053 74 4979 0 -Namespace::ownedImport pilot-examples 12805 121 12684 0 16916 116 16800 0 -Namespace::ownedImport pilot-validation 4272 89 4183 0 5832 95 5737 0 +Namespace::ownedImport training 3416 72 3344 0 5053 74 4979 0 +Namespace::ownedImport pilot-examples 12981 121 12860 0 16916 116 16800 0 +Namespace::ownedImport pilot-validation 4312 89 4223 0 5832 95 5737 0 Namespace::ownedImport kerml-examples 2527 60 2467 0 3357 65 3292 0 -Namespace::ownedImport spec-examples 3566 82 3484 0 5766 65 5701 0 -Namespace::ownedImport testdata 692 36 656 0 1020 38 982 0 -Namespace::ownedImport examples 13529 159 13370 0 21862 171 21691 0 +Namespace::ownedImport spec-examples 3630 82 3548 0 5766 65 5701 0 +Namespace::ownedImport testdata 700 36 664 0 1020 38 982 0 +Namespace::ownedImport examples 13663 159 13504 0 21862 171 21691 0 Namespace::ownedImport probes 19 1 18 0 23 1 22 0 Namespace::ownedImport manual-examples 1520 17 1503 0 3738 17 3721 0 -Namespace::ownedMember training 3324 1771 1553 0 5053 2834 2219 0 -Namespace::ownedMember pilot-examples 12805 7092 5713 0 16916 9674 7242 0 -Namespace::ownedMember pilot-validation 4272 2367 1905 0 5832 3299 2533 0 +Namespace::ownedMember training 3416 1817 1599 0 5053 2834 2219 0 +Namespace::ownedMember pilot-examples 12981 7180 5801 0 16916 9674 7242 0 +Namespace::ownedMember pilot-validation 4312 2387 1925 0 5832 3299 2533 0 Namespace::ownedMember kerml-examples 2527 1174 1353 0 3357 1851 1506 0 -Namespace::ownedMember spec-examples 3566 2000 1566 0 5766 2949 2817 0 -Namespace::ownedMember testdata 692 347 345 0 1020 570 450 0 -Namespace::ownedMember examples 13529 6779 6750 0 21862 11837 10025 0 +Namespace::ownedMember spec-examples 3630 2032 1598 0 5766 2949 2817 0 +Namespace::ownedMember testdata 700 351 349 0 1020 570 450 0 +Namespace::ownedMember examples 13663 6846 6817 0 21862 11837 10025 0 Namespace::ownedMember probes 19 10 9 0 23 14 9 0 Namespace::ownedMember manual-examples 1520 838 682 0 3738 2125 1613 0 -Namespace::ownedMembership training 3324 1771 1553 0 5053 2834 2219 0 -Namespace::ownedMembership pilot-examples 12805 7092 5713 0 16916 9677 7239 0 -Namespace::ownedMembership pilot-validation 4272 2368 1904 0 5832 3300 2532 0 +Namespace::ownedMembership training 3416 1817 1599 0 5053 2834 2219 0 +Namespace::ownedMembership pilot-examples 12981 7180 5801 0 16916 9677 7239 0 +Namespace::ownedMembership pilot-validation 4312 2388 1924 0 5832 3300 2532 0 Namespace::ownedMembership kerml-examples 2527 1174 1353 0 3357 1855 1502 0 -Namespace::ownedMembership spec-examples 3566 2000 1566 0 5766 2954 2812 0 -Namespace::ownedMembership testdata 692 351 341 0 1020 571 449 0 -Namespace::ownedMembership examples 13529 6784 6745 0 21862 11842 10020 0 +Namespace::ownedMembership spec-examples 3630 2032 1598 0 5766 2954 2812 0 +Namespace::ownedMembership testdata 700 355 345 0 1020 571 449 0 +Namespace::ownedMembership examples 13663 6851 6812 0 21862 11842 10020 0 Namespace::ownedMembership probes 19 10 9 0 23 14 9 0 Namespace::ownedMembership manual-examples 1520 838 682 0 3738 2125 1613 0 ObjectiveMembership::ownedObjectiveRequirement training 4 4 0 0 4 4 0 0 @@ -1262,40 +1262,40 @@ OccurrenceUsage::occurrenceDefinition spec-examples 642 34 280 328 663 597 66 0 OccurrenceUsage::occurrenceDefinition testdata 99 24 59 16 109 108 1 0 OccurrenceUsage::occurrenceDefinition examples 2390 1071 1265 54 2604 2604 0 0 OccurrenceUsage::occurrenceDefinition manual-examples 387 195 152 40 386 386 0 0 -OwningMembership::ownedMemberElement training 3201 3201 0 0 4911 4911 0 0 -OwningMembership::ownedMemberElement pilot-examples 12439 12439 0 0 16535 16535 0 0 -OwningMembership::ownedMemberElement pilot-validation 4309 4309 0 0 5874 5874 0 0 +OwningMembership::ownedMemberElement training 3293 3293 0 0 4911 4911 0 0 +OwningMembership::ownedMemberElement pilot-examples 12615 12615 0 0 16535 16535 0 0 +OwningMembership::ownedMemberElement pilot-validation 4349 4349 0 0 5874 5874 0 0 OwningMembership::ownedMemberElement kerml-examples 2421 2421 0 0 3319 3319 0 0 -OwningMembership::ownedMemberElement spec-examples 3123 3123 0 0 4465 4457 0 8 -OwningMembership::ownedMemberElement testdata 611 611 0 0 970 970 0 0 -OwningMembership::ownedMemberElement examples 13118 13118 0 0 21669 21669 0 0 +OwningMembership::ownedMemberElement spec-examples 3187 3187 0 0 4465 4457 0 8 +OwningMembership::ownedMemberElement testdata 619 619 0 0 970 970 0 0 +OwningMembership::ownedMemberElement examples 13252 13252 0 0 21669 21669 0 0 OwningMembership::ownedMemberElement probes 15 15 0 0 19 19 0 0 OwningMembership::ownedMemberElement manual-examples 1503 1503 0 0 3711 3711 0 0 -OwningMembership::ownedMemberElementId training 3201 1407 0 1794 4911 4911 0 0 -OwningMembership::ownedMemberElementId pilot-examples 12439 4291 0 8148 16535 16535 0 0 -OwningMembership::ownedMemberElementId pilot-validation 4309 1782 0 2527 5874 5874 0 0 +OwningMembership::ownedMemberElementId training 3293 1407 0 1886 4911 4911 0 0 +OwningMembership::ownedMemberElementId pilot-examples 12615 4291 0 8324 16535 16535 0 0 +OwningMembership::ownedMemberElementId pilot-validation 4349 1782 0 2567 5874 5874 0 0 OwningMembership::ownedMemberElementId kerml-examples 2421 1197 0 1224 3319 3319 0 0 -OwningMembership::ownedMemberElementId spec-examples 3123 1608 0 1515 4465 4457 0 8 -OwningMembership::ownedMemberElementId testdata 611 299 0 312 970 970 0 0 -OwningMembership::ownedMemberElementId examples 13118 4606 0 8512 21669 21669 0 0 +OwningMembership::ownedMemberElementId spec-examples 3187 1608 0 1579 4465 4457 0 8 +OwningMembership::ownedMemberElementId testdata 619 299 0 320 970 970 0 0 +OwningMembership::ownedMemberElementId examples 13252 4606 0 8646 21669 21669 0 0 OwningMembership::ownedMemberElementId probes 15 8 0 7 19 19 0 0 OwningMembership::ownedMemberElementId manual-examples 1503 772 0 731 3711 3711 0 0 -OwningMembership::ownedMemberName training 3201 1484 1717 0 4911 3213 0 1698 -OwningMembership::ownedMemberName pilot-examples 12439 4627 7812 0 16535 10362 0 6173 -OwningMembership::ownedMemberName pilot-validation 4309 1868 2441 0 5874 3737 0 2137 +OwningMembership::ownedMemberName training 3293 1576 1717 0 4911 3213 0 1698 +OwningMembership::ownedMemberName pilot-examples 12615 4803 7812 0 16535 10362 0 6173 +OwningMembership::ownedMemberName pilot-validation 4349 1908 2441 0 5874 3737 0 2137 OwningMembership::ownedMemberName kerml-examples 2421 1370 1051 0 3319 1901 0 1418 -OwningMembership::ownedMemberName spec-examples 3123 1716 1407 0 4465 2829 0 1636 -OwningMembership::ownedMemberName testdata 611 302 309 0 970 659 0 311 -OwningMembership::ownedMemberName examples 13118 5325 7793 0 21669 12381 0 9288 +OwningMembership::ownedMemberName spec-examples 3187 1780 1407 0 4465 2829 0 1636 +OwningMembership::ownedMemberName testdata 619 310 309 0 970 659 0 311 +OwningMembership::ownedMemberName examples 13252 5459 7793 0 21669 12381 0 9288 OwningMembership::ownedMemberName probes 15 8 7 0 19 16 0 3 OwningMembership::ownedMemberName manual-examples 1503 856 647 0 3711 2288 0 1423 -OwningMembership::ownedMemberShortName training 3201 7 3194 0 4911 7 0 4904 -OwningMembership::ownedMemberShortName pilot-examples 12439 56 12383 0 16535 47 0 16488 -OwningMembership::ownedMemberShortName pilot-validation 4309 26 4283 0 5874 16 0 5858 +OwningMembership::ownedMemberShortName training 3293 7 3286 0 4911 7 0 4904 +OwningMembership::ownedMemberShortName pilot-examples 12615 56 12559 0 16535 47 0 16488 +OwningMembership::ownedMemberShortName pilot-validation 4349 26 4323 0 5874 16 0 5858 OwningMembership::ownedMemberShortName kerml-examples 2421 4 2417 0 3319 4 0 3315 -OwningMembership::ownedMemberShortName spec-examples 3123 9 3114 0 4465 9 0 4456 -OwningMembership::ownedMemberShortName testdata 611 2 609 0 970 2 0 968 -OwningMembership::ownedMemberShortName examples 13118 8 13110 0 21669 8 0 21661 +OwningMembership::ownedMemberShortName spec-examples 3187 9 3178 0 4465 9 0 4456 +OwningMembership::ownedMemberShortName testdata 619 2 617 0 970 2 0 968 +OwningMembership::ownedMemberShortName examples 13252 8 13244 0 21669 8 0 21661 OwningMembership::ownedMemberShortName probes 15 0 15 0 19 0 0 19 OwningMembership::ownedMemberShortName manual-examples 1503 63 1440 0 3711 63 0 3648 ParameterMembership::ownedMemberParameter training 689 689 0 0 1250 1250 0 0 @@ -1351,65 +1351,65 @@ Redefinition::owningFeature testdata 12 12 0 0 14 14 0 0 Redefinition::owningFeature examples 942 942 0 0 1308 1308 0 0 Redefinition::owningFeature probes 1 1 0 0 1 1 0 0 Redefinition::owningFeature manual-examples 139 139 0 0 662 662 0 0 -ReferenceSubsetting::owningFeature training 110 110 0 0 229 229 0 0 -ReferenceSubsetting::owningFeature pilot-examples 509 509 0 0 831 831 0 0 -ReferenceSubsetting::owningFeature pilot-validation 134 134 0 0 263 263 0 0 +ReferenceSubsetting::owningFeature training 156 156 0 0 229 229 0 0 +ReferenceSubsetting::owningFeature pilot-examples 597 597 0 0 831 831 0 0 +ReferenceSubsetting::owningFeature pilot-validation 154 154 0 0 263 263 0 0 ReferenceSubsetting::owningFeature kerml-examples 175 175 0 0 179 179 0 0 -ReferenceSubsetting::owningFeature spec-examples 174 174 0 0 261 261 0 0 -ReferenceSubsetting::owningFeature testdata 2 2 0 0 16 16 0 0 -ReferenceSubsetting::owningFeature examples 731 731 0 0 1079 1079 0 0 +ReferenceSubsetting::owningFeature spec-examples 206 206 0 0 261 261 0 0 +ReferenceSubsetting::owningFeature testdata 6 6 0 0 16 16 0 0 +ReferenceSubsetting::owningFeature examples 798 798 0 0 1079 1079 0 0 ReferenceSubsetting::owningFeature manual-examples 86 86 0 0 93 93 0 0 -ReferenceSubsetting::referencingFeature training 110 110 0 0 229 229 0 0 -ReferenceSubsetting::referencingFeature pilot-examples 509 509 0 0 831 831 0 0 -ReferenceSubsetting::referencingFeature pilot-validation 134 134 0 0 263 263 0 0 +ReferenceSubsetting::referencingFeature training 156 156 0 0 229 229 0 0 +ReferenceSubsetting::referencingFeature pilot-examples 597 597 0 0 831 831 0 0 +ReferenceSubsetting::referencingFeature pilot-validation 154 154 0 0 263 263 0 0 ReferenceSubsetting::referencingFeature kerml-examples 175 175 0 0 179 179 0 0 -ReferenceSubsetting::referencingFeature spec-examples 174 174 0 0 261 261 0 0 -ReferenceSubsetting::referencingFeature testdata 2 2 0 0 16 16 0 0 -ReferenceSubsetting::referencingFeature examples 731 731 0 0 1079 1079 0 0 +ReferenceSubsetting::referencingFeature spec-examples 206 206 0 0 261 261 0 0 +ReferenceSubsetting::referencingFeature testdata 6 6 0 0 16 16 0 0 +ReferenceSubsetting::referencingFeature examples 798 798 0 0 1079 1079 0 0 ReferenceSubsetting::referencingFeature manual-examples 86 86 0 0 93 93 0 0 -Relationship::ownedRelatedElement training 4820 3254 1566 0 6990 4990 2000 0 -Relationship::ownedRelatedElement pilot-examples 18813 12887 5926 0 24046 16999 7047 0 -Relationship::ownedRelatedElement pilot-validation 6409 4392 2017 0 8355 5964 2391 0 +Relationship::ownedRelatedElement training 4958 3346 1612 0 6990 4990 2000 0 +Relationship::ownedRelatedElement pilot-examples 19077 13063 6014 0 24046 16999 7047 0 +Relationship::ownedRelatedElement pilot-validation 6469 4432 2037 0 8355 5964 2391 0 Relationship::ownedRelatedElement kerml-examples 4440 2562 1878 0 5465 3401 2064 0 -Relationship::ownedRelatedElement spec-examples 4985 3170 1815 0 6607 4542 2065 0 -Relationship::ownedRelatedElement testdata 872 623 249 0 1283 983 300 0 -Relationship::ownedRelatedElement examples 19573 13608 5965 0 30383 21992 8391 0 +Relationship::ownedRelatedElement spec-examples 5081 3234 1847 0 6607 4542 2065 0 +Relationship::ownedRelatedElement testdata 884 631 253 0 1283 983 300 0 +Relationship::ownedRelatedElement examples 19774 13742 6032 0 30383 21992 8391 0 Relationship::ownedRelatedElement probes 26 15 11 0 30 19 11 0 Relationship::ownedRelatedElement manual-examples 2430 1560 870 0 5620 3783 1837 0 -Relationship::owningRelatedElement training 4820 4684 136 0 6990 6818 0 172 -Relationship::owningRelatedElement pilot-examples 18813 18393 420 0 24046 23550 0 496 -Relationship::owningRelatedElement pilot-validation 6409 6310 99 0 8355 8204 0 151 +Relationship::owningRelatedElement training 4958 4822 136 0 6990 6818 0 172 +Relationship::owningRelatedElement pilot-examples 19077 18657 420 0 24046 23550 0 496 +Relationship::owningRelatedElement pilot-validation 6469 6370 99 0 8355 8204 0 151 Relationship::owningRelatedElement kerml-examples 4440 4274 166 0 5465 5298 0 167 -Relationship::owningRelatedElement spec-examples 4985 4782 203 0 6607 6363 0 244 -Relationship::owningRelatedElement testdata 872 852 20 0 1283 1259 0 24 -Relationship::owningRelatedElement examples 19573 19068 505 0 30383 29673 0 710 +Relationship::owningRelatedElement spec-examples 5081 4878 203 0 6607 6363 0 244 +Relationship::owningRelatedElement testdata 884 864 20 0 1283 1259 0 24 +Relationship::owningRelatedElement examples 19774 19269 505 0 30383 29673 0 710 Relationship::owningRelatedElement probes 26 26 0 0 30 30 0 0 Relationship::owningRelatedElement manual-examples 2430 2399 31 0 5620 5585 0 35 -Relationship::relatedElement training 4820 4718 7 95 6990 6974 16 0 -Relationship::relatedElement pilot-examples 18813 18550 35 228 24046 24025 21 0 -Relationship::relatedElement pilot-validation 6409 6350 11 48 8355 8349 6 0 +Relationship::relatedElement training 4958 4894 7 57 6990 6974 16 0 +Relationship::relatedElement pilot-examples 19077 18896 35 146 24046 24025 21 0 +Relationship::relatedElement pilot-validation 6469 6430 11 28 8355 8349 6 0 Relationship::relatedElement kerml-examples 4440 4378 55 7 5465 5463 2 0 -Relationship::relatedElement spec-examples 4985 4199 69 717 6607 6585 22 0 -Relationship::relatedElement testdata 872 848 4 20 1283 1283 0 0 -Relationship::relatedElement examples 19573 19402 20 151 30383 30365 18 0 +Relationship::relatedElement spec-examples 5081 4299 69 713 6607 6585 22 0 +Relationship::relatedElement testdata 884 864 4 16 1283 1283 0 0 +Relationship::relatedElement examples 19774 19664 20 90 30383 30365 18 0 Relationship::relatedElement probes 26 26 0 0 30 30 0 0 Relationship::relatedElement manual-examples 2430 2398 0 32 5620 5620 0 0 -Relationship::source training 4820 4686 39 95 6990 6974 16 0 -Relationship::source pilot-examples 18813 18399 206 208 24046 24025 21 0 -Relationship::source pilot-validation 6409 6313 48 48 8355 8349 6 0 +Relationship::source training 4958 4824 81 53 6990 6974 16 0 +Relationship::source pilot-examples 19077 18663 291 123 24046 24025 21 0 +Relationship::source pilot-validation 6469 6373 68 28 8355 8349 6 0 Relationship::source kerml-examples 4440 4295 141 4 5465 5463 2 0 -Relationship::source spec-examples 4985 4784 102 99 6607 6585 22 0 -Relationship::source testdata 872 857 5 10 1283 1283 0 0 -Relationship::source examples 19573 19073 349 151 30383 30365 18 0 +Relationship::source spec-examples 5081 4880 120 81 6607 6585 22 0 +Relationship::source testdata 884 869 9 6 1283 1283 0 0 +Relationship::source examples 19774 19274 413 87 30383 30365 18 0 Relationship::source probes 26 26 0 0 30 30 0 0 Relationship::source manual-examples 2430 2405 22 3 5620 5620 0 0 -Relationship::target training 4820 4718 7 95 6990 6974 16 0 -Relationship::target pilot-examples 18813 18550 35 228 24046 24025 21 0 -Relationship::target pilot-validation 6409 6347 14 48 8355 8349 6 0 +Relationship::target training 4958 4852 49 57 6990 6974 16 0 +Relationship::target pilot-examples 19077 18811 120 146 24046 24025 21 0 +Relationship::target pilot-validation 6469 6407 34 28 8355 8349 6 0 Relationship::target kerml-examples 4440 4375 58 7 5465 5463 2 0 -Relationship::target spec-examples 4985 4164 104 717 6607 6555 52 0 -Relationship::target testdata 872 840 12 20 1283 1283 0 0 -Relationship::target examples 19573 19401 21 151 30383 30365 18 0 +Relationship::target spec-examples 5081 4246 122 713 6607 6555 52 0 +Relationship::target testdata 884 852 16 16 1283 1283 0 0 +Relationship::target examples 19774 19599 85 90 30383 30365 18 0 Relationship::target probes 26 26 0 0 30 30 0 0 Relationship::target manual-examples 2430 2398 0 32 5620 5620 0 0 RenderingUsage::renderingDefinition training 5 0 0 5 5 5 0 0 @@ -1557,13 +1557,13 @@ SendActionUsage::senderArgument pilot-validation 6 0 6 0 6 0 0 6 SendActionUsage::senderArgument spec-examples 13 7 6 0 2 2 0 0 SendActionUsage::senderArgument testdata 0 0 0 0 2 0 0 2 SendActionUsage::senderArgument examples 10 7 3 0 10 7 0 3 -Specialization::owningType training 948 948 0 0 1113 1113 0 0 -Specialization::owningType pilot-examples 3363 3363 0 0 3859 3859 0 0 -Specialization::owningType pilot-validation 1232 1232 0 0 1386 1386 0 0 +Specialization::owningType training 994 994 0 0 1113 1113 0 0 +Specialization::owningType pilot-examples 3451 3451 0 0 3859 3859 0 0 +Specialization::owningType pilot-validation 1252 1252 0 0 1386 1386 0 0 Specialization::owningType kerml-examples 1222 1206 16 0 1311 1295 0 16 -Specialization::owningType spec-examples 1309 1289 20 0 1448 1428 0 20 -Specialization::owningType testdata 144 144 0 0 175 175 0 0 -Specialization::owningType examples 4053 4051 2 0 5086 5084 0 2 +Specialization::owningType spec-examples 1341 1321 20 0 1448 1428 0 20 +Specialization::owningType testdata 148 148 0 0 175 175 0 0 +Specialization::owningType examples 4120 4118 2 0 5086 5084 0 2 Specialization::owningType probes 8 8 0 0 8 8 0 0 Specialization::owningType manual-examples 634 634 0 0 1182 1182 0 0 StakeholderMembership::ownedStakeholderParameter training 3 3 0 0 3 3 0 0 @@ -1667,13 +1667,13 @@ SubjectMembership::ownedSubjectParameter pilot-validation 36 36 0 0 36 36 0 0 SubjectMembership::ownedSubjectParameter spec-examples 32 32 0 0 20 20 0 0 SubjectMembership::ownedSubjectParameter examples 172 172 0 0 172 172 0 0 SubjectMembership::ownedSubjectParameter manual-examples 56 56 0 0 56 56 0 0 -Subsetting::owningFeature training 315 315 0 0 470 470 0 0 -Subsetting::owningFeature pilot-examples 1729 1729 0 0 2168 2168 0 0 -Subsetting::owningFeature pilot-validation 467 467 0 0 605 605 0 0 +Subsetting::owningFeature training 361 361 0 0 470 470 0 0 +Subsetting::owningFeature pilot-examples 1817 1817 0 0 2168 2168 0 0 +Subsetting::owningFeature pilot-validation 487 487 0 0 605 605 0 0 Subsetting::owningFeature kerml-examples 583 576 7 0 590 583 0 7 -Subsetting::owningFeature spec-examples 605 597 8 0 721 713 0 8 -Subsetting::owningFeature testdata 28 28 0 0 44 44 0 0 -Subsetting::owningFeature examples 1735 1734 1 0 2449 2448 0 1 +Subsetting::owningFeature spec-examples 637 629 8 0 721 713 0 8 +Subsetting::owningFeature testdata 32 32 0 0 44 44 0 0 +Subsetting::owningFeature examples 1802 1801 1 0 2449 2448 0 1 Subsetting::owningFeature probes 1 1 0 0 1 1 0 0 Subsetting::owningFeature manual-examples 226 226 0 0 756 756 0 0 TransitionFeatureMembership::transitionFeature training 31 31 0 0 35 35 0 0 @@ -1725,492 +1725,492 @@ TransitionUsage::triggerAction spec-examples 19 9 10 0 7 0 7 0 TransitionUsage::triggerAction testdata 3 3 0 0 3 3 0 0 TransitionUsage::triggerAction examples 112 40 72 0 203 40 163 0 TransitionUsage::triggerAction manual-examples 4 4 0 0 4 4 0 0 -Type::differencingType training 3215 0 3215 0 4842 0 4842 0 -Type::differencingType pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::differencingType pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::differencingType training 3307 0 3307 0 4842 0 4842 0 +Type::differencingType pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::differencingType pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::differencingType kerml-examples 2432 5 2427 0 3204 5 3199 0 -Type::differencingType spec-examples 3073 1 3072 0 4821 1 4820 0 -Type::differencingType testdata 601 0 601 0 893 0 893 0 -Type::differencingType examples 13429 0 13429 0 21695 0 21695 0 +Type::differencingType spec-examples 3137 1 3136 0 4821 1 4820 0 +Type::differencingType testdata 609 0 609 0 893 0 893 0 +Type::differencingType examples 13563 0 13563 0 21695 0 21695 0 Type::differencingType probes 15 0 15 0 15 0 15 0 Type::differencingType manual-examples 1503 0 1503 0 3710 0 3710 0 -Type::directedFeature training 3215 672 2539 4 4842 1354 3488 0 -Type::directedFeature pilot-examples 12536 2622 9805 109 16557 4963 11594 0 -Type::directedFeature pilot-validation 4119 812 3279 28 5619 1523 4096 0 +Type::directedFeature training 3307 697 2602 8 4842 1354 3488 0 +Type::directedFeature pilot-examples 12712 2652 9948 112 16557 4963 11594 0 +Type::directedFeature pilot-validation 4159 818 3312 29 5619 1523 4096 0 Type::directedFeature kerml-examples 2432 264 2052 116 3204 959 2245 0 -Type::directedFeature spec-examples 3073 501 1941 631 4821 946 3875 0 -Type::directedFeature testdata 601 69 522 10 893 242 651 0 -Type::directedFeature examples 13429 2073 11303 53 21695 6748 14947 0 +Type::directedFeature spec-examples 3137 502 1990 645 4821 946 3875 0 +Type::directedFeature testdata 609 71 528 10 893 242 651 0 +Type::directedFeature examples 13563 2083 11424 56 21695 6748 14947 0 Type::directedFeature probes 15 2 13 0 15 3 12 0 Type::directedFeature manual-examples 1503 272 1111 120 3710 1511 2199 0 -Type::endFeature training 3215 0 1020 2195 4842 229 4613 0 -Type::endFeature pilot-examples 12536 0 5871 6665 16557 655 15902 0 -Type::endFeature pilot-validation 4119 0 1603 2516 5619 192 5427 0 +Type::endFeature training 3307 0 1020 2287 4842 229 4613 0 +Type::endFeature pilot-examples 12712 0 5871 6841 16557 655 15902 0 +Type::endFeature pilot-validation 4159 0 1603 2556 5619 192 5427 0 Type::endFeature kerml-examples 2432 124 1562 746 3204 158 3046 0 -Type::endFeature spec-examples 3073 27 976 2070 4821 217 4604 0 -Type::endFeature testdata 601 2 262 337 893 26 867 0 -Type::endFeature examples 13429 17 4992 8420 21695 932 20763 0 +Type::endFeature spec-examples 3137 27 976 2134 4821 217 4604 0 +Type::endFeature testdata 609 2 262 345 893 26 867 0 +Type::endFeature examples 13563 17 4992 8554 21695 932 20763 0 Type::endFeature probes 15 0 7 8 15 0 15 0 Type::endFeature manual-examples 1503 0 393 1110 3710 33 3677 0 -Type::feature training 3215 2541 670 4 4842 4834 8 0 -Type::feature pilot-examples 12536 8346 4081 109 16557 16493 64 0 -Type::feature pilot-validation 4119 3011 1080 28 5619 5593 26 0 +Type::feature training 3307 2629 670 8 4842 4834 8 0 +Type::feature pilot-examples 12712 8519 4081 112 16557 16493 64 0 +Type::feature pilot-validation 4159 3050 1080 29 5619 5593 26 0 Type::feature kerml-examples 2432 1285 1031 116 3204 3197 7 0 -Type::feature spec-examples 3073 1835 607 631 4821 3958 863 0 -Type::feature testdata 601 382 209 10 893 876 17 0 -Type::feature examples 13429 9507 3869 53 21695 21675 20 0 +Type::feature spec-examples 3137 1885 607 645 4821 3958 863 0 +Type::feature testdata 609 390 209 10 893 876 17 0 +Type::feature examples 13563 9638 3869 56 21695 21675 20 0 Type::feature probes 15 10 5 0 15 15 0 0 Type::feature manual-examples 1503 1082 301 120 3710 3707 3 0 -Type::featureMembership training 3215 2541 670 4 4842 4834 8 0 -Type::featureMembership pilot-examples 12536 8346 4081 109 16557 16493 64 0 -Type::featureMembership pilot-validation 4119 3011 1080 28 5619 5593 26 0 +Type::featureMembership training 3307 2629 670 8 4842 4834 8 0 +Type::featureMembership pilot-examples 12712 8519 4081 112 16557 16493 64 0 +Type::featureMembership pilot-validation 4159 3050 1080 29 5619 5593 26 0 Type::featureMembership kerml-examples 2432 1285 1031 116 3204 3197 7 0 -Type::featureMembership spec-examples 3073 1835 607 631 4821 3958 863 0 -Type::featureMembership testdata 601 382 209 10 893 876 17 0 -Type::featureMembership examples 13429 9507 3869 53 21695 21675 20 0 +Type::featureMembership spec-examples 3137 1885 607 645 4821 3958 863 0 +Type::featureMembership testdata 609 390 209 10 893 876 17 0 +Type::featureMembership examples 13563 9638 3869 56 21695 21675 20 0 Type::featureMembership probes 15 10 5 0 15 15 0 0 Type::featureMembership manual-examples 1503 1082 301 120 3710 3707 3 0 -Type::inheritedFeature training 3215 2191 1020 4 4842 4842 0 0 -Type::inheritedFeature pilot-examples 12536 6556 5871 109 16557 16557 0 0 -Type::inheritedFeature pilot-validation 4119 2488 1603 28 5619 5618 1 0 +Type::inheritedFeature training 3307 2279 1020 8 4842 4842 0 0 +Type::inheritedFeature pilot-examples 12712 6729 5871 112 16557 16557 0 0 +Type::inheritedFeature pilot-validation 4159 2527 1603 29 5619 5618 1 0 Type::inheritedFeature kerml-examples 2432 836 1480 116 3204 3203 1 0 -Type::inheritedFeature spec-examples 3073 1465 977 631 4821 3964 857 0 -Type::inheritedFeature testdata 601 334 257 10 893 885 8 0 -Type::inheritedFeature examples 13429 8373 5003 53 21695 21694 1 0 +Type::inheritedFeature spec-examples 3137 1515 977 645 4821 3964 857 0 +Type::inheritedFeature testdata 609 342 257 10 893 885 8 0 +Type::inheritedFeature examples 13563 8504 5003 56 21695 21694 1 0 Type::inheritedFeature probes 15 8 7 0 15 15 0 0 Type::inheritedFeature manual-examples 1503 990 393 120 3710 3710 0 0 -Type::inheritedMembership training 3215 2191 1020 4 4842 4842 0 0 -Type::inheritedMembership pilot-examples 12536 6556 5871 109 16557 16557 0 0 -Type::inheritedMembership pilot-validation 4119 2489 1602 28 5619 5619 0 0 +Type::inheritedMembership training 3307 2279 1020 8 4842 4842 0 0 +Type::inheritedMembership pilot-examples 12712 6729 5871 112 16557 16557 0 0 +Type::inheritedMembership pilot-validation 4159 2528 1602 29 5619 5619 0 0 Type::inheritedMembership kerml-examples 2432 888 1428 116 3204 3203 1 0 -Type::inheritedMembership spec-examples 3073 1465 977 631 4821 3964 857 0 -Type::inheritedMembership testdata 601 334 257 10 893 885 8 0 -Type::inheritedMembership examples 13429 8389 4987 53 21695 21695 0 0 +Type::inheritedMembership spec-examples 3137 1515 977 645 4821 3964 857 0 +Type::inheritedMembership testdata 609 342 257 10 893 885 8 0 +Type::inheritedMembership examples 13563 8520 4987 56 21695 21695 0 0 Type::inheritedMembership probes 15 8 7 0 15 15 0 0 Type::inheritedMembership manual-examples 1503 990 393 120 3710 3710 0 0 -Type::input training 3215 417 2794 4 4842 759 4083 0 -Type::input pilot-examples 12536 1437 10990 109 16557 2490 14067 0 -Type::input pilot-validation 4119 422 3669 28 5619 738 4881 0 +Type::input training 3307 439 2860 8 4842 759 4083 0 +Type::input pilot-examples 12712 1464 11136 112 16557 2490 14067 0 +Type::input pilot-validation 4159 426 3704 29 5619 738 4881 0 Type::input kerml-examples 2432 138 2178 116 3204 224 2980 0 -Type::input spec-examples 3073 251 2191 631 4821 349 4472 0 -Type::input testdata 601 61 530 10 893 98 795 0 -Type::input examples 13429 1158 12218 53 21695 2661 19034 0 +Type::input spec-examples 3137 251 2241 645 4821 349 4472 0 +Type::input testdata 609 63 536 10 893 98 795 0 +Type::input examples 13563 1168 12339 56 21695 2661 19034 0 Type::input probes 15 1 14 0 15 1 14 0 Type::input manual-examples 1503 82 1301 120 3710 731 2979 0 -Type::intersectingType training 3215 0 3215 0 4842 0 4842 0 -Type::intersectingType pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::intersectingType pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::intersectingType training 3307 0 3307 0 4842 0 4842 0 +Type::intersectingType pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::intersectingType pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::intersectingType kerml-examples 2432 4 2428 0 3204 4 3200 0 -Type::intersectingType spec-examples 3073 1 3072 0 4821 1 4820 0 -Type::intersectingType testdata 601 0 601 0 893 0 893 0 -Type::intersectingType examples 13429 0 13429 0 21695 0 21695 0 +Type::intersectingType spec-examples 3137 1 3136 0 4821 1 4820 0 +Type::intersectingType testdata 609 0 609 0 893 0 893 0 +Type::intersectingType examples 13563 0 13563 0 21695 0 21695 0 Type::intersectingType probes 15 0 15 0 15 0 15 0 Type::intersectingType manual-examples 1503 0 1503 0 3710 0 3710 0 -Type::isConjugated training 3215 3215 0 0 4842 4842 0 0 -Type::isConjugated pilot-examples 12536 12536 0 0 16557 16557 0 0 -Type::isConjugated pilot-validation 4119 4119 0 0 5619 5619 0 0 +Type::isConjugated training 3307 3307 0 0 4842 4842 0 0 +Type::isConjugated pilot-examples 12712 12712 0 0 16557 16557 0 0 +Type::isConjugated pilot-validation 4159 4159 0 0 5619 5619 0 0 Type::isConjugated kerml-examples 2432 2432 0 0 3204 3204 0 0 -Type::isConjugated spec-examples 3073 3073 0 0 4821 4821 0 0 -Type::isConjugated testdata 601 601 0 0 893 893 0 0 -Type::isConjugated examples 13429 13429 0 0 21695 21695 0 0 +Type::isConjugated spec-examples 3137 3137 0 0 4821 4821 0 0 +Type::isConjugated testdata 609 609 0 0 893 893 0 0 +Type::isConjugated examples 13563 13563 0 0 21695 21695 0 0 Type::isConjugated probes 15 15 0 0 15 15 0 0 Type::isConjugated manual-examples 1503 1503 0 0 3710 3710 0 0 -Type::multiplicity training 3215 447 2768 0 4842 643 0 4199 -Type::multiplicity pilot-examples 12536 1511 11025 0 16557 1984 0 14573 -Type::multiplicity pilot-validation 4119 510 3609 0 5619 686 0 4933 +Type::multiplicity training 3307 447 2860 0 4842 643 0 4199 +Type::multiplicity pilot-examples 12712 1511 11201 0 16557 1984 0 14573 +Type::multiplicity pilot-validation 4159 510 3649 0 5619 686 0 4933 Type::multiplicity kerml-examples 2432 242 2190 0 3204 335 0 2869 -Type::multiplicity spec-examples 3073 401 2672 0 4821 635 0 4186 -Type::multiplicity testdata 601 45 556 0 893 73 0 820 -Type::multiplicity examples 13429 2274 11155 0 21695 2935 0 18760 +Type::multiplicity spec-examples 3137 401 2736 0 4821 635 0 4186 +Type::multiplicity testdata 609 45 564 0 893 73 0 820 +Type::multiplicity examples 13563 2274 11289 0 21695 2935 0 18760 Type::multiplicity probes 15 0 15 0 15 0 0 15 Type::multiplicity manual-examples 1503 191 1312 0 3710 205 0 3505 -Type::output training 3215 571 2640 4 4842 1123 3719 0 -Type::output pilot-examples 12536 2383 10044 109 16557 4306 12251 0 -Type::output pilot-validation 4119 750 3341 28 5619 1367 4252 0 +Type::output training 3307 586 2713 8 4842 1123 3719 0 +Type::output pilot-examples 12712 2405 10195 112 16557 4306 12251 0 +Type::output pilot-validation 4159 756 3374 29 5619 1367 4252 0 Type::output kerml-examples 2432 229 2087 116 3204 905 2299 0 -Type::output spec-examples 3073 424 2018 631 4821 843 3978 0 -Type::output testdata 601 57 534 10 893 210 683 0 -Type::output examples 13429 1913 11463 53 21695 6249 15446 0 +Type::output spec-examples 3137 425 2067 645 4821 843 3978 0 +Type::output testdata 609 59 540 10 893 210 683 0 +Type::output examples 13563 1921 11586 56 21695 6249 15446 0 Type::output probes 15 2 13 0 15 3 12 0 Type::output manual-examples 1503 268 1115 120 3710 1502 2208 0 -Type::ownedConjugator training 3215 8 3207 0 4842 8 0 4834 -Type::ownedConjugator pilot-examples 12536 71 12465 0 16557 64 0 16493 -Type::ownedConjugator pilot-validation 4119 26 4093 0 5619 26 0 5593 +Type::ownedConjugator training 3307 8 3299 0 4842 8 0 4834 +Type::ownedConjugator pilot-examples 12712 71 12641 0 16557 64 0 16493 +Type::ownedConjugator pilot-validation 4159 26 4133 0 5619 26 0 5593 Type::ownedConjugator kerml-examples 2432 6 2426 0 3204 6 0 3198 -Type::ownedConjugator spec-examples 3073 8 3065 0 4821 8 0 4813 -Type::ownedConjugator testdata 601 9 592 0 893 9 0 884 -Type::ownedConjugator examples 13429 20 13409 0 21695 20 0 21675 +Type::ownedConjugator spec-examples 3137 8 3129 0 4821 8 0 4813 +Type::ownedConjugator testdata 609 9 600 0 893 9 0 884 +Type::ownedConjugator examples 13563 20 13543 0 21695 20 0 21675 Type::ownedConjugator probes 15 0 15 0 15 0 0 15 Type::ownedConjugator manual-examples 1503 3 1500 0 3710 3 0 3707 -Type::ownedDifferencing training 3215 0 3215 0 4842 0 4842 0 -Type::ownedDifferencing pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::ownedDifferencing pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::ownedDifferencing training 3307 0 3307 0 4842 0 4842 0 +Type::ownedDifferencing pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::ownedDifferencing pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::ownedDifferencing kerml-examples 2432 5 2427 0 3204 5 3199 0 -Type::ownedDifferencing spec-examples 3073 1 3072 0 4821 1 4820 0 -Type::ownedDifferencing testdata 601 0 601 0 893 0 893 0 -Type::ownedDifferencing examples 13429 0 13429 0 21695 0 21695 0 +Type::ownedDifferencing spec-examples 3137 1 3136 0 4821 1 4820 0 +Type::ownedDifferencing testdata 609 0 609 0 893 0 893 0 +Type::ownedDifferencing examples 13563 0 13563 0 21695 0 21695 0 Type::ownedDifferencing probes 15 0 15 0 15 0 15 0 Type::ownedDifferencing manual-examples 1503 0 1503 0 3710 0 3710 0 -Type::ownedDisjoining training 3215 0 3215 0 4842 0 4842 0 -Type::ownedDisjoining pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::ownedDisjoining pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::ownedDisjoining training 3307 0 3307 0 4842 0 4842 0 +Type::ownedDisjoining pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::ownedDisjoining pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::ownedDisjoining kerml-examples 2432 6 2426 0 3204 6 3198 0 -Type::ownedDisjoining spec-examples 3073 3 3070 0 4821 3 4818 0 -Type::ownedDisjoining testdata 601 0 601 0 893 0 893 0 -Type::ownedDisjoining examples 13429 0 13429 0 21695 0 21695 0 +Type::ownedDisjoining spec-examples 3137 3 3134 0 4821 3 4818 0 +Type::ownedDisjoining testdata 609 0 609 0 893 0 893 0 +Type::ownedDisjoining examples 13563 0 13563 0 21695 0 21695 0 Type::ownedDisjoining probes 15 0 15 0 15 0 15 0 Type::ownedDisjoining manual-examples 1503 0 1503 0 3710 0 3710 0 -Type::ownedEndFeature training 3215 45 3170 0 4842 154 4688 0 -Type::ownedEndFeature pilot-examples 12536 222 12314 0 16557 467 16090 0 -Type::ownedEndFeature pilot-validation 4119 52 4067 0 5619 142 5477 0 +Type::ownedEndFeature training 3307 91 3216 0 4842 154 4688 0 +Type::ownedEndFeature pilot-examples 12712 310 12402 0 16557 467 16090 0 +Type::ownedEndFeature pilot-validation 4159 72 4087 0 5619 142 5477 0 Type::ownedEndFeature kerml-examples 2432 163 2269 0 3204 137 3067 0 -Type::ownedEndFeature spec-examples 3073 123 2950 0 4821 182 4639 0 -Type::ownedEndFeature testdata 601 6 595 0 893 21 872 0 -Type::ownedEndFeature examples 13429 350 13079 0 21695 687 21008 0 +Type::ownedEndFeature spec-examples 3137 155 2982 0 4821 182 4639 0 +Type::ownedEndFeature testdata 609 10 599 0 893 21 872 0 +Type::ownedEndFeature examples 13563 417 13146 0 21695 687 21008 0 Type::ownedEndFeature probes 15 0 15 0 15 0 15 0 Type::ownedEndFeature manual-examples 1503 22 1481 0 3710 29 3681 0 -Type::ownedFeature training 3215 903 2312 0 4842 1453 3389 0 -Type::ownedFeature pilot-examples 12536 3356 9180 0 16557 4744 11813 0 -Type::ownedFeature pilot-validation 4119 1156 2963 0 5619 1655 3964 0 +Type::ownedFeature training 3307 949 2358 0 4842 1453 3389 0 +Type::ownedFeature pilot-examples 12712 3444 9268 0 16557 4744 11813 0 +Type::ownedFeature pilot-validation 4159 1176 2983 0 5619 1655 3964 0 Type::ownedFeature kerml-examples 2432 676 1756 0 3204 667 2537 0 -Type::ownedFeature spec-examples 3073 892 2181 0 4821 904 3917 0 -Type::ownedFeature testdata 601 101 500 0 893 194 699 0 -Type::ownedFeature examples 13429 2647 10782 0 21695 5396 16299 0 +Type::ownedFeature spec-examples 3137 924 2213 0 4821 904 3917 0 +Type::ownedFeature testdata 609 105 504 0 893 194 699 0 +Type::ownedFeature examples 13563 2714 10849 0 21695 5396 16299 0 Type::ownedFeature probes 15 3 12 0 15 3 12 0 Type::ownedFeature manual-examples 1503 466 1037 0 3710 1005 2705 0 -Type::ownedFeatureMembership training 3215 903 2312 0 4842 1453 3389 0 -Type::ownedFeatureMembership pilot-examples 12536 3356 9180 0 16557 4744 11813 0 -Type::ownedFeatureMembership pilot-validation 4119 1156 2963 0 5619 1655 3964 0 +Type::ownedFeatureMembership training 3307 949 2358 0 4842 1453 3389 0 +Type::ownedFeatureMembership pilot-examples 12712 3444 9268 0 16557 4744 11813 0 +Type::ownedFeatureMembership pilot-validation 4159 1176 2983 0 5619 1655 3964 0 Type::ownedFeatureMembership kerml-examples 2432 676 1756 0 3204 667 2537 0 -Type::ownedFeatureMembership spec-examples 3073 892 2181 0 4821 905 3916 0 -Type::ownedFeatureMembership testdata 601 101 500 0 893 194 699 0 -Type::ownedFeatureMembership examples 13429 2647 10782 0 21695 5396 16299 0 +Type::ownedFeatureMembership spec-examples 3137 924 2213 0 4821 905 3916 0 +Type::ownedFeatureMembership testdata 609 105 504 0 893 194 699 0 +Type::ownedFeatureMembership examples 13563 2714 10849 0 21695 5396 16299 0 Type::ownedFeatureMembership probes 15 3 12 0 15 3 12 0 Type::ownedFeatureMembership manual-examples 1503 466 1037 0 3710 1005 2705 0 -Type::ownedIntersecting training 3215 0 3215 0 4842 0 4842 0 -Type::ownedIntersecting pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::ownedIntersecting pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::ownedIntersecting training 3307 0 3307 0 4842 0 4842 0 +Type::ownedIntersecting pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::ownedIntersecting pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::ownedIntersecting kerml-examples 2432 4 2428 0 3204 4 3200 0 -Type::ownedIntersecting spec-examples 3073 1 3072 0 4821 1 4820 0 -Type::ownedIntersecting testdata 601 0 601 0 893 0 893 0 -Type::ownedIntersecting examples 13429 0 13429 0 21695 0 21695 0 +Type::ownedIntersecting spec-examples 3137 1 3136 0 4821 1 4820 0 +Type::ownedIntersecting testdata 609 0 609 0 893 0 893 0 +Type::ownedIntersecting examples 13563 0 13563 0 21695 0 21695 0 Type::ownedIntersecting probes 15 0 15 0 15 0 15 0 Type::ownedIntersecting manual-examples 1503 0 1503 0 3710 0 3710 0 -Type::ownedSpecialization training 3215 901 2314 0 4842 1070 3772 0 -Type::ownedSpecialization pilot-examples 12536 3119 9417 0 16557 3620 12937 0 -Type::ownedSpecialization pilot-validation 4119 1175 2944 0 5619 1335 4284 0 +Type::ownedSpecialization training 3307 947 2360 0 4842 1070 3772 0 +Type::ownedSpecialization pilot-examples 12712 3207 9505 0 16557 3620 12937 0 +Type::ownedSpecialization pilot-validation 4159 1195 2964 0 5619 1335 4284 0 Type::ownedSpecialization kerml-examples 2432 997 1435 0 3204 1087 2117 0 -Type::ownedSpecialization spec-examples 3073 1109 1964 0 4821 1239 3582 0 -Type::ownedSpecialization testdata 601 140 461 0 893 171 722 0 -Type::ownedSpecialization examples 13429 4015 9414 0 21695 5048 16647 0 +Type::ownedSpecialization spec-examples 3137 1141 1996 0 4821 1239 3582 0 +Type::ownedSpecialization testdata 609 144 465 0 893 171 722 0 +Type::ownedSpecialization examples 13563 4082 9481 0 21695 5048 16647 0 Type::ownedSpecialization probes 15 8 7 0 15 8 7 0 Type::ownedSpecialization manual-examples 1503 634 869 0 3710 1182 2528 0 -Type::ownedUnioning training 3215 0 3215 0 4842 0 4842 0 -Type::ownedUnioning pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::ownedUnioning pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::ownedUnioning training 3307 0 3307 0 4842 0 4842 0 +Type::ownedUnioning pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::ownedUnioning pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::ownedUnioning kerml-examples 2432 21 2411 0 3204 21 3183 0 -Type::ownedUnioning spec-examples 3073 3 3070 0 4821 3 4818 0 -Type::ownedUnioning testdata 601 0 601 0 893 0 893 0 -Type::ownedUnioning examples 13429 1 13428 0 21695 1 21694 0 +Type::ownedUnioning spec-examples 3137 3 3134 0 4821 3 4818 0 +Type::ownedUnioning testdata 609 0 609 0 893 0 893 0 +Type::ownedUnioning examples 13563 1 13562 0 21695 1 21694 0 Type::ownedUnioning probes 15 0 15 0 15 0 15 0 Type::ownedUnioning manual-examples 1503 0 1503 0 3710 0 3710 0 -Type::unioningType training 3215 0 3215 0 4842 0 4842 0 -Type::unioningType pilot-examples 12536 0 12536 0 16557 0 16557 0 -Type::unioningType pilot-validation 4119 0 4119 0 5619 0 5619 0 +Type::unioningType training 3307 0 3307 0 4842 0 4842 0 +Type::unioningType pilot-examples 12712 0 12712 0 16557 0 16557 0 +Type::unioningType pilot-validation 4159 0 4159 0 5619 0 5619 0 Type::unioningType kerml-examples 2432 21 2411 0 3204 21 3183 0 -Type::unioningType spec-examples 3073 0 3070 3 4821 3 4818 0 -Type::unioningType testdata 601 0 601 0 893 0 893 0 -Type::unioningType examples 13429 1 13428 0 21695 1 21694 0 +Type::unioningType spec-examples 3137 0 3134 3 4821 3 4818 0 +Type::unioningType testdata 609 0 609 0 893 0 893 0 +Type::unioningType examples 13563 1 13562 0 21695 1 21694 0 Type::unioningType probes 15 0 15 0 15 0 15 0 Type::unioningType manual-examples 1503 0 1503 0 3710 0 3710 0 TypeFeaturing::owningFeatureOfType kerml-examples 73 72 1 0 73 72 0 1 TypeFeaturing::owningFeatureOfType spec-examples 9 9 0 0 9 7 0 2 -Usage::definition training 1403 698 540 165 1821 1821 0 0 -Usage::definition pilot-examples 4446 1883 1492 1071 5239 5239 0 0 -Usage::definition pilot-validation 1629 881 544 204 2012 2012 0 0 -Usage::definition spec-examples 1140 109 466 565 1419 1351 68 0 -Usage::definition testdata 180 83 74 23 263 261 2 0 -Usage::definition examples 5443 2875 1773 795 7404 7404 0 0 +Usage::definition training 1495 709 586 200 1821 1821 0 0 +Usage::definition pilot-examples 4622 1893 1580 1149 5239 5239 0 0 +Usage::definition pilot-validation 1669 882 564 223 2012 2012 0 0 +Usage::definition spec-examples 1204 109 498 597 1419 1351 68 0 +Usage::definition testdata 188 83 78 27 263 261 2 0 +Usage::definition examples 5577 2877 1840 860 7404 7404 0 0 Usage::definition probes 1 0 0 1 1 1 0 0 Usage::definition manual-examples 755 386 217 152 789 789 0 0 -Usage::directedUsage training 1403 237 1162 4 1821 346 1475 0 -Usage::directedUsage pilot-examples 4446 586 3756 104 5239 891 4348 0 -Usage::directedUsage pilot-validation 1629 224 1383 22 2012 315 1697 0 -Usage::directedUsage spec-examples 1140 131 624 385 1419 153 1266 0 -Usage::directedUsage testdata 180 16 155 9 263 28 235 0 -Usage::directedUsage examples 5443 639 4768 36 7404 967 6437 0 +Usage::directedUsage training 1495 262 1225 8 1821 346 1475 0 +Usage::directedUsage pilot-examples 4622 616 3899 107 5239 891 4348 0 +Usage::directedUsage pilot-validation 1669 230 1416 23 2012 315 1697 0 +Usage::directedUsage spec-examples 1204 132 673 399 1419 153 1266 0 +Usage::directedUsage testdata 188 18 161 9 263 28 235 0 +Usage::directedUsage examples 5577 649 4889 39 7404 967 6437 0 Usage::directedUsage probes 1 0 1 0 1 0 1 0 Usage::directedUsage manual-examples 755 119 580 56 789 206 583 0 -Usage::isReference training 1403 1403 0 0 1821 1821 0 0 -Usage::isReference pilot-examples 4446 4446 0 0 5239 5239 0 0 -Usage::isReference pilot-validation 1629 1629 0 0 2012 2012 0 0 -Usage::isReference spec-examples 1140 1140 0 0 1419 1419 0 0 -Usage::isReference testdata 180 180 0 0 263 263 0 0 -Usage::isReference examples 5443 5428 0 15 7404 7404 0 0 +Usage::isReference training 1495 1495 0 0 1821 1821 0 0 +Usage::isReference pilot-examples 4622 4622 0 0 5239 5239 0 0 +Usage::isReference pilot-validation 1669 1669 0 0 2012 2012 0 0 +Usage::isReference spec-examples 1204 1204 0 0 1419 1419 0 0 +Usage::isReference testdata 188 188 0 0 263 263 0 0 +Usage::isReference examples 5577 5562 0 15 7404 7404 0 0 Usage::isReference probes 1 1 0 0 1 1 0 0 Usage::isReference manual-examples 755 755 0 0 789 789 0 0 -Usage::mayTimeVary training 1403 152 0 1251 1821 1821 0 0 -Usage::mayTimeVary pilot-examples 4446 552 0 3894 5239 5239 0 0 -Usage::mayTimeVary pilot-validation 1629 258 0 1371 2012 2012 0 0 -Usage::mayTimeVary spec-examples 1140 199 0 941 1419 1419 0 0 -Usage::mayTimeVary testdata 180 79 0 101 263 263 0 0 -Usage::mayTimeVary examples 5443 696 0 4747 7404 7404 0 0 +Usage::mayTimeVary training 1495 152 0 1343 1821 1821 0 0 +Usage::mayTimeVary pilot-examples 4622 552 0 4070 5239 5239 0 0 +Usage::mayTimeVary pilot-validation 1669 258 0 1411 2012 2012 0 0 +Usage::mayTimeVary spec-examples 1204 199 0 1005 1419 1419 0 0 +Usage::mayTimeVary testdata 188 79 0 109 263 263 0 0 +Usage::mayTimeVary examples 5577 696 0 4881 7404 7404 0 0 Usage::mayTimeVary probes 1 0 0 1 1 1 0 0 Usage::mayTimeVary manual-examples 755 99 0 656 789 789 0 0 -Usage::nestedAction training 1403 84 1319 0 1821 93 1728 0 -Usage::nestedAction pilot-examples 4446 201 4245 0 5239 218 5021 0 -Usage::nestedAction pilot-validation 1629 99 1530 0 2012 104 1908 0 -Usage::nestedAction spec-examples 1140 55 1085 0 1419 38 1381 0 -Usage::nestedAction testdata 180 13 167 0 263 21 242 0 -Usage::nestedAction examples 5443 153 5290 0 7404 216 7188 0 +Usage::nestedAction training 1495 84 1411 0 1821 93 1728 0 +Usage::nestedAction pilot-examples 4622 201 4421 0 5239 218 5021 0 +Usage::nestedAction pilot-validation 1669 99 1570 0 2012 104 1908 0 +Usage::nestedAction spec-examples 1204 55 1149 0 1419 38 1381 0 +Usage::nestedAction testdata 188 13 175 0 263 21 242 0 +Usage::nestedAction examples 5577 153 5424 0 7404 216 7188 0 Usage::nestedAction probes 1 0 1 0 1 0 1 0 Usage::nestedAction manual-examples 755 41 714 0 789 41 748 0 -Usage::nestedAllocation training 1403 1 1402 0 1821 1 1820 0 -Usage::nestedAllocation pilot-examples 4446 6 4440 0 5239 6 5233 0 -Usage::nestedAllocation pilot-validation 1629 2 1627 0 2012 2 2010 0 -Usage::nestedAllocation spec-examples 1140 1 1139 0 1419 1 1418 0 -Usage::nestedAllocation testdata 180 0 180 0 263 0 263 0 -Usage::nestedAllocation examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedAllocation training 1495 1 1494 0 1821 1 1820 0 +Usage::nestedAllocation pilot-examples 4622 6 4616 0 5239 6 5233 0 +Usage::nestedAllocation pilot-validation 1669 2 1667 0 2012 2 2010 0 +Usage::nestedAllocation spec-examples 1204 1 1203 0 1419 1 1418 0 +Usage::nestedAllocation testdata 188 0 188 0 263 0 263 0 +Usage::nestedAllocation examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedAllocation probes 1 0 1 0 1 0 1 0 Usage::nestedAllocation manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedAnalysisCase training 1403 1 1402 0 1821 1 1820 0 -Usage::nestedAnalysisCase pilot-examples 4446 6 4440 0 5239 6 5233 0 -Usage::nestedAnalysisCase pilot-validation 1629 2 1627 0 2012 2 2010 0 -Usage::nestedAnalysisCase spec-examples 1140 0 1140 0 1419 0 1419 0 -Usage::nestedAnalysisCase testdata 180 0 180 0 263 0 263 0 -Usage::nestedAnalysisCase examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedAnalysisCase training 1495 1 1494 0 1821 1 1820 0 +Usage::nestedAnalysisCase pilot-examples 4622 6 4616 0 5239 6 5233 0 +Usage::nestedAnalysisCase pilot-validation 1669 2 1667 0 2012 2 2010 0 +Usage::nestedAnalysisCase spec-examples 1204 0 1204 0 1419 0 1419 0 +Usage::nestedAnalysisCase testdata 188 0 188 0 263 0 263 0 +Usage::nestedAnalysisCase examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedAnalysisCase probes 1 0 1 0 1 0 1 0 Usage::nestedAnalysisCase manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedAttribute training 1403 29 1374 0 1821 29 1792 0 -Usage::nestedAttribute pilot-examples 4446 193 4253 0 5239 190 5049 0 -Usage::nestedAttribute pilot-validation 1629 29 1600 0 2012 29 1983 0 -Usage::nestedAttribute spec-examples 1140 13 1127 0 1419 11 1408 0 -Usage::nestedAttribute testdata 180 1 179 0 263 1 262 0 -Usage::nestedAttribute examples 5443 254 5189 0 7404 249 7155 0 +Usage::nestedAttribute training 1495 29 1466 0 1821 29 1792 0 +Usage::nestedAttribute pilot-examples 4622 193 4429 0 5239 190 5049 0 +Usage::nestedAttribute pilot-validation 1669 29 1640 0 2012 29 1983 0 +Usage::nestedAttribute spec-examples 1204 13 1191 0 1419 11 1408 0 +Usage::nestedAttribute testdata 188 1 187 0 263 1 262 0 +Usage::nestedAttribute examples 5577 254 5323 0 7404 249 7155 0 Usage::nestedAttribute probes 1 0 1 0 1 0 1 0 Usage::nestedAttribute manual-examples 755 84 671 0 789 84 705 0 -Usage::nestedCalculation training 1403 6 1397 0 1821 6 1815 0 -Usage::nestedCalculation pilot-examples 4446 17 4429 0 5239 16 5223 0 -Usage::nestedCalculation pilot-validation 1629 8 1621 0 2012 8 2004 0 -Usage::nestedCalculation spec-examples 1140 9 1131 0 1419 5 1414 0 -Usage::nestedCalculation testdata 180 0 180 0 263 0 263 0 -Usage::nestedCalculation examples 5443 35 5408 0 7404 35 7369 0 +Usage::nestedCalculation training 1495 6 1489 0 1821 6 1815 0 +Usage::nestedCalculation pilot-examples 4622 17 4605 0 5239 16 5223 0 +Usage::nestedCalculation pilot-validation 1669 8 1661 0 2012 8 2004 0 +Usage::nestedCalculation spec-examples 1204 9 1195 0 1419 5 1414 0 +Usage::nestedCalculation testdata 188 0 188 0 263 0 263 0 +Usage::nestedCalculation examples 5577 35 5542 0 7404 35 7369 0 Usage::nestedCalculation probes 1 0 1 0 1 0 1 0 Usage::nestedCalculation manual-examples 755 34 721 0 789 34 755 0 -Usage::nestedCase training 1403 3 1400 0 1821 3 1818 0 -Usage::nestedCase pilot-examples 4446 11 4435 0 5239 10 5229 0 -Usage::nestedCase pilot-validation 1629 4 1625 0 2012 4 2008 0 -Usage::nestedCase spec-examples 1140 6 1134 0 1419 3 1416 0 -Usage::nestedCase testdata 180 0 180 0 263 0 263 0 -Usage::nestedCase examples 5443 1 5442 0 7404 1 7403 0 +Usage::nestedCase training 1495 3 1492 0 1821 3 1818 0 +Usage::nestedCase pilot-examples 4622 11 4611 0 5239 10 5229 0 +Usage::nestedCase pilot-validation 1669 4 1665 0 2012 4 2008 0 +Usage::nestedCase spec-examples 1204 6 1198 0 1419 3 1416 0 +Usage::nestedCase testdata 188 0 188 0 263 0 263 0 +Usage::nestedCase examples 5577 1 5576 0 7404 1 7403 0 Usage::nestedCase probes 1 0 1 0 1 0 1 0 Usage::nestedCase manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedConcern training 1403 1 1402 0 1821 1 1820 0 -Usage::nestedConcern pilot-examples 4446 1 4445 0 5239 1 5238 0 -Usage::nestedConcern pilot-validation 1629 1 1628 0 2012 1 2011 0 -Usage::nestedConcern spec-examples 1140 0 1140 0 1419 1 1418 0 -Usage::nestedConcern testdata 180 0 180 0 263 0 263 0 -Usage::nestedConcern examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedConcern training 1495 1 1494 0 1821 1 1820 0 +Usage::nestedConcern pilot-examples 4622 1 4621 0 5239 1 5238 0 +Usage::nestedConcern pilot-validation 1669 1 1668 0 2012 1 2011 0 +Usage::nestedConcern spec-examples 1204 0 1204 0 1419 1 1418 0 +Usage::nestedConcern testdata 188 0 188 0 263 0 263 0 +Usage::nestedConcern examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedConcern probes 1 0 1 0 1 0 1 0 Usage::nestedConcern manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedConnection training 1403 35 1368 0 1821 37 1784 0 -Usage::nestedConnection pilot-examples 4446 104 4342 0 5239 104 5135 0 -Usage::nestedConnection pilot-validation 1629 34 1595 0 2012 37 1975 0 -Usage::nestedConnection spec-examples 1140 13 1127 0 1419 10 1409 0 -Usage::nestedConnection testdata 180 4 176 0 263 4 259 0 -Usage::nestedConnection examples 5443 45 5398 0 7404 47 7357 0 +Usage::nestedConnection training 1495 35 1460 0 1821 37 1784 0 +Usage::nestedConnection pilot-examples 4622 104 4518 0 5239 104 5135 0 +Usage::nestedConnection pilot-validation 1669 34 1635 0 2012 37 1975 0 +Usage::nestedConnection spec-examples 1204 13 1191 0 1419 10 1409 0 +Usage::nestedConnection testdata 188 4 184 0 263 4 259 0 +Usage::nestedConnection examples 5577 45 5532 0 7404 47 7357 0 Usage::nestedConnection probes 1 0 1 0 1 0 1 0 Usage::nestedConnection manual-examples 755 4 751 0 789 4 785 0 -Usage::nestedConstraint training 1403 17 1386 0 1821 17 1804 0 -Usage::nestedConstraint pilot-examples 4446 93 4353 0 5239 90 5149 0 -Usage::nestedConstraint pilot-validation 1629 31 1598 0 2012 31 1981 0 -Usage::nestedConstraint spec-examples 1140 18 1122 0 1419 11 1408 0 -Usage::nestedConstraint testdata 180 0 180 0 263 0 263 0 -Usage::nestedConstraint examples 5443 44 5399 0 7404 44 7360 0 +Usage::nestedConstraint training 1495 17 1478 0 1821 17 1804 0 +Usage::nestedConstraint pilot-examples 4622 93 4529 0 5239 90 5149 0 +Usage::nestedConstraint pilot-validation 1669 31 1638 0 2012 31 1981 0 +Usage::nestedConstraint spec-examples 1204 18 1186 0 1419 11 1408 0 +Usage::nestedConstraint testdata 188 0 188 0 263 0 263 0 +Usage::nestedConstraint examples 5577 44 5533 0 7404 44 7360 0 Usage::nestedConstraint probes 1 0 1 0 1 0 1 0 Usage::nestedConstraint manual-examples 755 61 694 0 789 61 728 0 -Usage::nestedEnumeration training 1403 0 1403 0 1821 0 1821 0 -Usage::nestedEnumeration pilot-examples 4446 0 4446 0 5239 0 5239 0 -Usage::nestedEnumeration pilot-validation 1629 0 1629 0 2012 0 2012 0 -Usage::nestedEnumeration spec-examples 1140 0 1140 0 1419 0 1419 0 -Usage::nestedEnumeration testdata 180 0 180 0 263 0 263 0 -Usage::nestedEnumeration examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedEnumeration training 1495 0 1495 0 1821 0 1821 0 +Usage::nestedEnumeration pilot-examples 4622 0 4622 0 5239 0 5239 0 +Usage::nestedEnumeration pilot-validation 1669 0 1669 0 2012 0 2012 0 +Usage::nestedEnumeration spec-examples 1204 0 1204 0 1419 0 1419 0 +Usage::nestedEnumeration testdata 188 0 188 0 263 0 263 0 +Usage::nestedEnumeration examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedEnumeration probes 1 0 1 0 1 0 1 0 Usage::nestedEnumeration manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedFlow training 1403 13 1390 0 1821 13 1808 0 -Usage::nestedFlow pilot-examples 4446 32 4414 0 5239 32 5207 0 -Usage::nestedFlow pilot-validation 1629 5 1624 0 2012 6 2006 0 -Usage::nestedFlow spec-examples 1140 1 1139 0 1419 0 1419 0 -Usage::nestedFlow testdata 180 0 180 0 263 0 263 0 -Usage::nestedFlow examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedFlow training 1495 13 1482 0 1821 13 1808 0 +Usage::nestedFlow pilot-examples 4622 32 4590 0 5239 32 5207 0 +Usage::nestedFlow pilot-validation 1669 5 1664 0 2012 6 2006 0 +Usage::nestedFlow spec-examples 1204 1 1203 0 1419 0 1419 0 +Usage::nestedFlow testdata 188 0 188 0 263 0 263 0 +Usage::nestedFlow examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedFlow probes 1 0 1 0 1 0 1 0 Usage::nestedFlow manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedInterface training 1403 2 1401 0 1821 2 1819 0 -Usage::nestedInterface pilot-examples 4446 14 4432 0 5239 14 5225 0 -Usage::nestedInterface pilot-validation 1629 3 1626 0 2012 3 2009 0 -Usage::nestedInterface spec-examples 1140 0 1140 0 1419 0 1419 0 -Usage::nestedInterface testdata 180 0 180 0 263 0 263 0 -Usage::nestedInterface examples 5443 1 5442 0 7404 1 7403 0 +Usage::nestedInterface training 1495 2 1493 0 1821 2 1819 0 +Usage::nestedInterface pilot-examples 4622 14 4608 0 5239 14 5225 0 +Usage::nestedInterface pilot-validation 1669 3 1666 0 2012 3 2009 0 +Usage::nestedInterface spec-examples 1204 0 1204 0 1419 0 1419 0 +Usage::nestedInterface testdata 188 0 188 0 263 0 263 0 +Usage::nestedInterface examples 5577 1 5576 0 7404 1 7403 0 Usage::nestedInterface probes 1 0 1 0 1 0 1 0 Usage::nestedInterface manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedItem training 1403 130 1273 0 1821 114 1707 0 -Usage::nestedItem pilot-examples 4446 246 4200 0 5239 198 5041 0 -Usage::nestedItem pilot-validation 1629 160 1469 0 2012 130 1882 0 -Usage::nestedItem spec-examples 1140 26 1114 0 1419 13 1406 0 -Usage::nestedItem testdata 180 4 176 0 263 4 259 0 -Usage::nestedItem examples 5443 92 5351 0 7404 73 7331 0 +Usage::nestedItem training 1495 130 1365 0 1821 114 1707 0 +Usage::nestedItem pilot-examples 4622 246 4376 0 5239 198 5041 0 +Usage::nestedItem pilot-validation 1669 160 1509 0 2012 130 1882 0 +Usage::nestedItem spec-examples 1204 26 1178 0 1419 13 1406 0 +Usage::nestedItem testdata 188 4 184 0 263 4 259 0 +Usage::nestedItem examples 5577 92 5485 0 7404 73 7331 0 Usage::nestedItem probes 1 0 1 0 1 0 1 0 Usage::nestedItem manual-examples 755 38 717 0 789 36 753 0 -Usage::nestedMetadata training 1403 15 1388 0 1821 27 1794 0 -Usage::nestedMetadata pilot-examples 4446 34 4412 0 5239 135 5104 0 -Usage::nestedMetadata pilot-validation 1629 21 1608 0 2012 52 1960 0 -Usage::nestedMetadata spec-examples 1140 1 1139 0 1419 4 1415 0 -Usage::nestedMetadata testdata 180 2 178 0 263 22 241 0 -Usage::nestedMetadata examples 5443 24 5419 0 7404 343 7061 0 +Usage::nestedMetadata training 1495 15 1480 0 1821 27 1794 0 +Usage::nestedMetadata pilot-examples 4622 34 4588 0 5239 135 5104 0 +Usage::nestedMetadata pilot-validation 1669 21 1648 0 2012 52 1960 0 +Usage::nestedMetadata spec-examples 1204 1 1203 0 1419 4 1415 0 +Usage::nestedMetadata testdata 188 2 186 0 263 22 241 0 +Usage::nestedMetadata examples 5577 24 5553 0 7404 343 7061 0 Usage::nestedMetadata probes 1 0 1 0 1 0 1 0 Usage::nestedMetadata manual-examples 755 1 754 0 789 15 774 0 -Usage::nestedOccurrence training 1403 245 1158 0 1821 245 1576 0 -Usage::nestedOccurrence pilot-examples 4446 624 3822 0 5239 624 4615 0 -Usage::nestedOccurrence pilot-validation 1629 301 1328 0 2012 279 1733 0 -Usage::nestedOccurrence spec-examples 1140 104 1036 0 1419 87 1332 0 -Usage::nestedOccurrence testdata 180 15 165 0 263 23 240 0 -Usage::nestedOccurrence examples 5443 279 5164 0 7404 345 7059 0 +Usage::nestedOccurrence training 1495 245 1250 0 1821 245 1576 0 +Usage::nestedOccurrence pilot-examples 4622 624 3998 0 5239 624 4615 0 +Usage::nestedOccurrence pilot-validation 1669 301 1368 0 2012 279 1733 0 +Usage::nestedOccurrence spec-examples 1204 104 1100 0 1419 87 1332 0 +Usage::nestedOccurrence testdata 188 15 173 0 263 23 240 0 +Usage::nestedOccurrence examples 5577 279 5298 0 7404 345 7059 0 Usage::nestedOccurrence probes 1 0 1 0 1 0 1 0 Usage::nestedOccurrence manual-examples 755 133 622 0 789 133 656 0 -Usage::nestedPart training 1403 82 1321 0 1821 82 1739 0 -Usage::nestedPart pilot-examples 4446 165 4281 0 5239 162 5077 0 -Usage::nestedPart pilot-validation 1629 136 1493 0 2012 127 1885 0 -Usage::nestedPart spec-examples 1140 25 1115 0 1419 13 1406 0 -Usage::nestedPart testdata 180 1 179 0 263 1 262 0 -Usage::nestedPart examples 5443 70 5373 0 7404 70 7334 0 +Usage::nestedPart training 1495 82 1413 0 1821 82 1739 0 +Usage::nestedPart pilot-examples 4622 165 4457 0 5239 162 5077 0 +Usage::nestedPart pilot-validation 1669 136 1533 0 2012 127 1885 0 +Usage::nestedPart spec-examples 1204 25 1179 0 1419 13 1406 0 +Usage::nestedPart testdata 188 1 187 0 263 1 262 0 +Usage::nestedPart examples 5577 70 5507 0 7404 70 7334 0 Usage::nestedPart probes 1 0 1 0 1 0 1 0 Usage::nestedPart manual-examples 755 36 719 0 789 36 753 0 -Usage::nestedPort training 1403 19 1384 0 1821 19 1802 0 -Usage::nestedPort pilot-examples 4446 121 4325 0 5239 120 5119 0 -Usage::nestedPort pilot-validation 1629 39 1590 0 2012 39 1973 0 -Usage::nestedPort spec-examples 1140 10 1130 0 1419 10 1409 0 -Usage::nestedPort testdata 180 0 180 0 263 0 263 0 -Usage::nestedPort examples 5443 8 5435 0 7404 8 7396 0 +Usage::nestedPort training 1495 19 1476 0 1821 19 1802 0 +Usage::nestedPort pilot-examples 4622 121 4501 0 5239 120 5119 0 +Usage::nestedPort pilot-validation 1669 39 1630 0 2012 39 1973 0 +Usage::nestedPort spec-examples 1204 10 1194 0 1419 10 1409 0 +Usage::nestedPort testdata 188 0 188 0 263 0 263 0 +Usage::nestedPort examples 5577 8 5569 0 7404 8 7396 0 Usage::nestedPort probes 1 0 1 0 1 0 1 0 Usage::nestedPort manual-examples 755 3 752 0 789 3 786 0 -Usage::nestedReference training 1403 181 1222 0 1821 321 1500 0 -Usage::nestedReference pilot-examples 4446 544 3902 0 5239 803 4436 0 -Usage::nestedReference pilot-validation 1629 230 1399 0 2012 376 1636 0 -Usage::nestedReference spec-examples 1140 173 967 0 1419 196 1223 0 -Usage::nestedReference testdata 180 14 166 0 263 47 216 0 -Usage::nestedReference examples 5443 589 4854 0 7404 1396 6008 0 +Usage::nestedReference training 1495 227 1268 0 1821 321 1500 0 +Usage::nestedReference pilot-examples 4622 632 3990 0 5239 803 4436 0 +Usage::nestedReference pilot-validation 1669 250 1419 0 2012 376 1636 0 +Usage::nestedReference spec-examples 1204 205 999 0 1419 196 1223 0 +Usage::nestedReference testdata 188 18 170 0 263 47 216 0 +Usage::nestedReference examples 5577 656 4921 0 7404 1396 6008 0 Usage::nestedReference probes 1 0 1 0 1 0 1 0 Usage::nestedReference manual-examples 755 109 646 0 789 123 666 0 -Usage::nestedRendering training 1403 4 1399 0 1821 4 1817 0 -Usage::nestedRendering pilot-examples 4446 2 4444 0 5239 2 5237 0 -Usage::nestedRendering pilot-validation 1629 3 1626 0 2012 3 2009 0 -Usage::nestedRendering spec-examples 1140 2 1138 0 1419 2 1417 0 -Usage::nestedRendering testdata 180 0 180 0 263 0 263 0 -Usage::nestedRendering examples 5443 19 5424 0 7404 19 7385 0 +Usage::nestedRendering training 1495 4 1491 0 1821 4 1817 0 +Usage::nestedRendering pilot-examples 4622 2 4620 0 5239 2 5237 0 +Usage::nestedRendering pilot-validation 1669 3 1666 0 2012 3 2009 0 +Usage::nestedRendering spec-examples 1204 2 1202 0 1419 2 1417 0 +Usage::nestedRendering testdata 188 0 188 0 263 0 263 0 +Usage::nestedRendering examples 5577 19 5558 0 7404 19 7385 0 Usage::nestedRendering probes 1 0 1 0 1 0 1 0 Usage::nestedRendering manual-examples 755 1 754 0 789 1 788 0 -Usage::nestedRequirement training 1403 6 1397 0 1821 6 1815 0 -Usage::nestedRequirement pilot-examples 4446 54 4392 0 5239 52 5187 0 -Usage::nestedRequirement pilot-validation 1629 15 1614 0 2012 15 1997 0 -Usage::nestedRequirement spec-examples 1140 14 1126 0 1419 7 1412 0 -Usage::nestedRequirement testdata 180 0 180 0 263 0 263 0 -Usage::nestedRequirement examples 5443 30 5413 0 7404 30 7374 0 +Usage::nestedRequirement training 1495 6 1489 0 1821 6 1815 0 +Usage::nestedRequirement pilot-examples 4622 54 4568 0 5239 52 5187 0 +Usage::nestedRequirement pilot-validation 1669 15 1654 0 2012 15 1997 0 +Usage::nestedRequirement spec-examples 1204 14 1190 0 1419 7 1412 0 +Usage::nestedRequirement testdata 188 0 188 0 263 0 263 0 +Usage::nestedRequirement examples 5577 30 5547 0 7404 30 7374 0 Usage::nestedRequirement probes 1 0 1 0 1 0 1 0 Usage::nestedRequirement manual-examples 755 61 694 0 789 61 728 0 -Usage::nestedState training 1403 9 1394 0 1821 9 1812 0 -Usage::nestedState pilot-examples 4446 32 4414 0 5239 32 5207 0 -Usage::nestedState pilot-validation 1629 27 1602 0 2012 27 1985 0 -Usage::nestedState spec-examples 1140 3 1137 0 1419 4 1415 0 -Usage::nestedState testdata 180 2 178 0 263 2 261 0 -Usage::nestedState examples 5443 24 5419 0 7404 24 7380 0 +Usage::nestedState training 1495 9 1486 0 1821 9 1812 0 +Usage::nestedState pilot-examples 4622 32 4590 0 5239 32 5207 0 +Usage::nestedState pilot-validation 1669 27 1642 0 2012 27 1985 0 +Usage::nestedState spec-examples 1204 3 1201 0 1419 4 1415 0 +Usage::nestedState testdata 188 2 186 0 263 2 261 0 +Usage::nestedState examples 5577 24 5553 0 7404 24 7380 0 Usage::nestedState probes 1 0 1 0 1 0 1 0 Usage::nestedState manual-examples 755 3 752 0 789 3 786 0 -Usage::nestedTransition training 1403 8 1395 0 1821 9 1812 0 -Usage::nestedTransition pilot-examples 4446 13 4433 0 5239 16 5223 0 -Usage::nestedTransition pilot-validation 1629 9 1620 0 2012 11 2001 0 -Usage::nestedTransition spec-examples 1140 0 1140 0 1419 0 1419 0 -Usage::nestedTransition testdata 180 0 180 0 263 0 263 0 -Usage::nestedTransition examples 5443 17 5426 0 7404 21 7383 0 +Usage::nestedTransition training 1495 8 1487 0 1821 9 1812 0 +Usage::nestedTransition pilot-examples 4622 13 4609 0 5239 16 5223 0 +Usage::nestedTransition pilot-validation 1669 9 1660 0 2012 11 2001 0 +Usage::nestedTransition spec-examples 1204 0 1204 0 1419 0 1419 0 +Usage::nestedTransition testdata 188 0 188 0 263 0 263 0 +Usage::nestedTransition examples 5577 17 5560 0 7404 21 7383 0 Usage::nestedTransition probes 1 0 1 0 1 0 1 0 Usage::nestedTransition manual-examples 755 2 753 0 789 2 787 0 -Usage::nestedUsage training 1403 416 987 0 1821 528 1293 0 -Usage::nestedUsage pilot-examples 4446 1194 3252 0 5239 1425 3814 0 -Usage::nestedUsage pilot-validation 1629 500 1129 0 2012 595 1417 0 -Usage::nestedUsage spec-examples 1140 272 868 0 1419 285 1134 0 -Usage::nestedUsage testdata 180 29 151 0 263 65 198 0 -Usage::nestedUsage examples 5443 999 4444 0 7404 1824 5580 0 +Usage::nestedUsage training 1495 462 1033 0 1821 528 1293 0 +Usage::nestedUsage pilot-examples 4622 1282 3340 0 5239 1425 3814 0 +Usage::nestedUsage pilot-validation 1669 520 1149 0 2012 595 1417 0 +Usage::nestedUsage spec-examples 1204 304 900 0 1419 285 1134 0 +Usage::nestedUsage testdata 188 33 155 0 263 65 198 0 +Usage::nestedUsage examples 5577 1066 4511 0 7404 1824 5580 0 Usage::nestedUsage probes 1 0 1 0 1 0 1 0 Usage::nestedUsage manual-examples 755 254 501 0 789 264 525 0 -Usage::nestedUseCase training 1403 2 1401 0 1821 2 1819 0 -Usage::nestedUseCase pilot-examples 4446 4 4442 0 5239 3 5236 0 -Usage::nestedUseCase pilot-validation 1629 2 1627 0 2012 2 2010 0 -Usage::nestedUseCase spec-examples 1140 4 1136 0 1419 2 1417 0 -Usage::nestedUseCase testdata 180 0 180 0 263 0 263 0 -Usage::nestedUseCase examples 5443 1 5442 0 7404 1 7403 0 +Usage::nestedUseCase training 1495 2 1493 0 1821 2 1819 0 +Usage::nestedUseCase pilot-examples 4622 4 4618 0 5239 3 5236 0 +Usage::nestedUseCase pilot-validation 1669 2 1667 0 2012 2 2010 0 +Usage::nestedUseCase spec-examples 1204 4 1200 0 1419 2 1417 0 +Usage::nestedUseCase testdata 188 0 188 0 263 0 263 0 +Usage::nestedUseCase examples 5577 1 5576 0 7404 1 7403 0 Usage::nestedUseCase probes 1 0 1 0 1 0 1 0 Usage::nestedUseCase manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedVerificationCase training 1403 0 1403 0 1821 0 1821 0 -Usage::nestedVerificationCase pilot-examples 4446 1 4445 0 5239 1 5238 0 -Usage::nestedVerificationCase pilot-validation 1629 0 1629 0 2012 0 2012 0 -Usage::nestedVerificationCase spec-examples 1140 1 1139 0 1419 0 1419 0 -Usage::nestedVerificationCase testdata 180 0 180 0 263 0 263 0 -Usage::nestedVerificationCase examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedVerificationCase training 1495 0 1495 0 1821 0 1821 0 +Usage::nestedVerificationCase pilot-examples 4622 1 4621 0 5239 1 5238 0 +Usage::nestedVerificationCase pilot-validation 1669 0 1669 0 2012 0 2012 0 +Usage::nestedVerificationCase spec-examples 1204 1 1203 0 1419 0 1419 0 +Usage::nestedVerificationCase testdata 188 0 188 0 263 0 263 0 +Usage::nestedVerificationCase examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedVerificationCase probes 1 0 1 0 1 0 1 0 Usage::nestedVerificationCase manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedView training 1403 2 1401 0 1821 2 1819 0 -Usage::nestedView pilot-examples 4446 0 4446 0 5239 0 5239 0 -Usage::nestedView pilot-validation 1629 1 1628 0 2012 1 2011 0 -Usage::nestedView spec-examples 1140 0 1140 0 1419 0 1419 0 -Usage::nestedView testdata 180 0 180 0 263 0 263 0 -Usage::nestedView examples 5443 3 5440 0 7404 3 7401 0 +Usage::nestedView training 1495 2 1493 0 1821 2 1819 0 +Usage::nestedView pilot-examples 4622 0 4622 0 5239 0 5239 0 +Usage::nestedView pilot-validation 1669 1 1668 0 2012 1 2011 0 +Usage::nestedView spec-examples 1204 0 1204 0 1419 0 1419 0 +Usage::nestedView testdata 188 0 188 0 263 0 263 0 +Usage::nestedView examples 5577 3 5574 0 7404 3 7401 0 Usage::nestedView probes 1 0 1 0 1 0 1 0 Usage::nestedView manual-examples 755 0 755 0 789 0 789 0 -Usage::nestedViewpoint training 1403 0 1403 0 1821 0 1821 0 -Usage::nestedViewpoint pilot-examples 4446 0 4446 0 5239 0 5239 0 -Usage::nestedViewpoint pilot-validation 1629 0 1629 0 2012 0 2012 0 -Usage::nestedViewpoint spec-examples 1140 0 1140 0 1419 1 1418 0 -Usage::nestedViewpoint testdata 180 0 180 0 263 0 263 0 -Usage::nestedViewpoint examples 5443 0 5443 0 7404 0 7404 0 +Usage::nestedViewpoint training 1495 0 1495 0 1821 0 1821 0 +Usage::nestedViewpoint pilot-examples 4622 0 4622 0 5239 0 5239 0 +Usage::nestedViewpoint pilot-validation 1669 0 1669 0 2012 0 2012 0 +Usage::nestedViewpoint spec-examples 1204 0 1204 0 1419 1 1418 0 +Usage::nestedViewpoint testdata 188 0 188 0 263 0 263 0 +Usage::nestedViewpoint examples 5577 0 5577 0 7404 0 7404 0 Usage::nestedViewpoint probes 1 0 1 0 1 0 1 0 Usage::nestedViewpoint manual-examples 755 0 755 0 789 0 789 0 -Usage::owningDefinition training 1403 427 976 0 1821 424 0 1397 -Usage::owningDefinition pilot-examples 4446 1097 3349 0 5239 1079 0 4160 -Usage::owningDefinition pilot-validation 1629 344 1285 0 2012 314 0 1698 -Usage::owningDefinition spec-examples 1140 460 680 0 1419 454 0 965 -Usage::owningDefinition testdata 180 56 124 0 263 56 0 207 -Usage::owningDefinition examples 5443 2621 2822 0 7404 2704 0 4700 +Usage::owningDefinition training 1495 427 1068 0 1821 424 0 1397 +Usage::owningDefinition pilot-examples 4622 1097 3525 0 5239 1079 0 4160 +Usage::owningDefinition pilot-validation 1669 344 1325 0 2012 314 0 1698 +Usage::owningDefinition spec-examples 1204 460 744 0 1419 454 0 965 +Usage::owningDefinition testdata 188 56 132 0 263 56 0 207 +Usage::owningDefinition examples 5577 2621 2956 0 7404 2704 0 4700 Usage::owningDefinition probes 1 1 0 0 1 1 0 0 Usage::owningDefinition manual-examples 755 182 573 0 789 182 0 607 -Usage::owningUsage training 1403 823 580 0 1821 1166 0 655 -Usage::owningUsage pilot-examples 4446 2796 1650 0 5239 3434 0 1805 -Usage::owningUsage pilot-validation 1629 1027 602 0 2012 1389 0 623 -Usage::owningUsage spec-examples 1140 481 659 0 1419 504 0 915 -Usage::owningUsage testdata 180 45 135 0 263 120 0 143 -Usage::owningUsage examples 5443 2115 3328 0 7404 3713 0 3691 +Usage::owningUsage training 1495 915 580 0 1821 1166 0 655 +Usage::owningUsage pilot-examples 4622 2972 1650 0 5239 3434 0 1805 +Usage::owningUsage pilot-validation 1669 1067 602 0 2012 1389 0 623 +Usage::owningUsage spec-examples 1204 545 659 0 1419 504 0 915 +Usage::owningUsage testdata 188 53 135 0 263 120 0 143 +Usage::owningUsage examples 5577 2249 3328 0 7404 3713 0 3691 Usage::owningUsage probes 1 0 1 0 1 0 0 1 Usage::owningUsage manual-examples 755 474 281 0 789 503 0 286 -Usage::usage training 1403 1058 341 4 1821 1549 272 0 -Usage::usage pilot-examples 4446 3193 1149 104 5239 4350 889 0 -Usage::usage pilot-validation 1629 1231 376 22 2012 1684 328 0 -Usage::usage spec-examples 1140 441 314 385 1419 815 604 0 -Usage::usage testdata 180 107 64 9 263 190 73 0 -Usage::usage examples 5443 3016 2391 36 7404 5037 2367 0 +Usage::usage training 1495 1136 351 8 1821 1549 272 0 +Usage::usage pilot-examples 4622 3337 1178 107 5239 4350 889 0 +Usage::usage pilot-validation 1669 1265 381 23 2012 1684 328 0 +Usage::usage spec-examples 1204 480 325 399 1419 815 604 0 +Usage::usage testdata 188 115 64 9 263 190 73 0 +Usage::usage examples 5577 3116 2422 39 7404 5037 2367 0 Usage::usage probes 1 1 0 0 1 1 0 0 Usage::usage manual-examples 755 361 338 56 789 505 284 0 -Usage::variant training 1403 1 1402 0 1821 1 1820 0 -Usage::variant pilot-examples 4446 12 4434 0 5239 12 5227 0 -Usage::variant pilot-validation 1629 11 1618 0 2012 11 2001 0 -Usage::variant spec-examples 1140 1 1139 0 1419 1 1418 0 -Usage::variant testdata 180 0 180 0 263 0 263 0 -Usage::variant examples 5443 5 5438 0 7404 5 7399 0 +Usage::variant training 1495 1 1494 0 1821 1 1820 0 +Usage::variant pilot-examples 4622 12 4610 0 5239 12 5227 0 +Usage::variant pilot-validation 1669 11 1658 0 2012 11 2001 0 +Usage::variant spec-examples 1204 1 1203 0 1419 1 1418 0 +Usage::variant testdata 188 0 188 0 263 0 263 0 +Usage::variant examples 5577 5 5572 0 7404 5 7399 0 Usage::variant probes 1 0 1 0 1 0 1 0 Usage::variant manual-examples 755 0 755 0 789 0 789 0 -Usage::variantMembership training 1403 1 1402 0 1821 1 1820 0 -Usage::variantMembership pilot-examples 4446 12 4434 0 5239 12 5227 0 -Usage::variantMembership pilot-validation 1629 11 1618 0 2012 11 2001 0 -Usage::variantMembership spec-examples 1140 1 1139 0 1419 1 1418 0 -Usage::variantMembership testdata 180 0 180 0 263 0 263 0 -Usage::variantMembership examples 5443 5 5438 0 7404 5 7399 0 +Usage::variantMembership training 1495 1 1494 0 1821 1 1820 0 +Usage::variantMembership pilot-examples 4622 12 4610 0 5239 12 5227 0 +Usage::variantMembership pilot-validation 1669 11 1658 0 2012 11 2001 0 +Usage::variantMembership spec-examples 1204 1 1203 0 1419 1 1418 0 +Usage::variantMembership testdata 188 0 188 0 263 0 263 0 +Usage::variantMembership examples 5577 5 5572 0 7404 5 7399 0 Usage::variantMembership probes 1 0 1 0 1 0 1 0 Usage::variantMembership manual-examples 755 0 755 0 789 0 789 0 UseCaseDefinition::includedUseCase training 3 0 0 3 3 0 3 0 diff --git a/internal/semantic/metamodel/symbol_structure.go b/internal/semantic/metamodel/symbol_structure.go index 8daebf4806..70162fb870 100644 --- a/internal/semantic/metamodel/symbol_structure.go +++ b/internal/semantic/metamodel/symbol_structure.go @@ -424,7 +424,12 @@ func (s *SymbolStructure) hasStatedRelatedElementLocked(element Element, propert // notation names but the model does not resolve. func (s *SymbolStructure) hasUnresolvedRelatedElementLocked(element Element, property string) bool { row, ok := s.row(element) - if !ok || row.sym.Implicit == nil || row.sym.Implicit.Form != symbols.ImplicitWritten { + if !ok || row.sym.Implicit == nil { + return false + } + // A `then` end's reference to a member no element stands for (a statement) is unresolved too. + if rel := row.sym.Implicit; rel.Form != symbols.ImplicitWritten && + !(rel.Form == symbols.ImplicitSuccessionEndReference && rel.Member == nil) { return false } feature := s.feature(row.class, property) diff --git a/internal/semantic/semantics/annotations.go b/internal/semantic/semantics/annotations.go index ed07a967e2..41b0992f81 100644 --- a/internal/semantic/semantics/annotations.go +++ b/internal/semantic/semantics/annotations.go @@ -2618,7 +2618,8 @@ func (m *Model) reflectiveFeatureBoolean(sym *symbols.Symbol, feature string) (s flags, isUsage := m.reflectiveFeatureFlags(sym) switch feature { case "isEnd": - return boolValue(flags.isEnd), true + _, impliedEnd := symbols.ImpliedSuccessionEndIndex(sym) + return boolValue(flags.isEnd || impliedEnd), true case "isPortion": return boolValue(flags.isPortion), true case "isConstant": diff --git a/internal/semantic/semantics/connector.go b/internal/semantic/semantics/connector.go index da9064d566..cc4a16b536 100644 --- a/internal/semantic/semantics/connector.go +++ b/internal/semantic/semantics/connector.go @@ -66,6 +66,9 @@ func (m *Model) ownedEnds(sym *symbols.Symbol) []*symbols.Symbol { } return out } + if ends := m.SuccessionEndMembers(sym); ends != nil { + return ends + } var out []*symbols.Symbol if u, ok := sym.Decl.(*ast.Usage); ok { for _, end := range u.ConnectorEnds { @@ -317,6 +320,12 @@ func (m *Model) implicitEndRedefinitions(sym *symbols.Symbol) []*symbols.Symbol out = append(out, target) } } + if i, ok := symbols.ImpliedSuccessionEndIndex(sym); ok && len(out) == 0 { + // A `then` succession's minted end redefines the happensBeforeLinks end at its position. + if end := m.impliedEnd(ast.UsageSuccession, i); end != nil { + out = append(out, end) + } + } return out } @@ -375,6 +384,9 @@ func declaresEnd(sym *symbols.Symbol) bool { return true case *ast.Usage: return d.IsEnd + case *symbols.ImpliedDecl: + _, ok := symbols.ImpliedSuccessionEndIndex(sym) + return ok } return false } @@ -904,12 +916,8 @@ func (m *Model) DeclaredSuccessionEndName(sym *symbols.Symbol, i int) string { // ImpliedEndName names the end at i of a connector the notation mints with no // declaration of its own: the end its kind's base declares there, else the binary name. func (m *Model) ImpliedEndName(kind ast.UsageKind, i int) string { - if fqn, ok := implicitUsageBases[kind]; ok && m.resolver != nil && m.resolver.Index() != nil { - for _, base := range m.resolver.Index().LookupQualified(fqn) { - if ends := m.endsOf(base); i < len(ends) && ends[i] != nil { - return symbols.LastSegment(ends[i].Name) - } - } + if end := m.impliedEnd(kind, i); end != nil { + return symbols.LastSegment(end.Name) } if i >= 0 && i < len(binaryConnectorEndNames) { return binaryConnectorEndNames[i] @@ -917,6 +925,18 @@ func (m *Model) ImpliedEndName(kind ast.UsageKind, i int) string { return "" } +// impliedEnd is the end at i of the base a connector of kind implicitly specializes, nil when it has none. +func (m *Model) impliedEnd(kind ast.UsageKind, i int) *symbols.Symbol { + if fqn, ok := implicitUsageBases[kind]; ok && m.resolver != nil && m.resolver.Index() != nil { + for _, base := range m.resolver.Index().LookupQualified(fqn) { + if ends := m.endsOf(base); i < len(ends) && ends[i] != nil && ends[i].Name != "" { + return ends[i] + } + } + } + return nil +} + // generalEndAt returns the end at position i of the first general sym specializes that has one // there — a connector, or a feature such as Links::selfLinks declaring ends — which sym's end redefines. func (m *Model) generalEndAt(sym *symbols.Symbol, i int) *symbols.Symbol { diff --git a/internal/semantic/semantics/model.go b/internal/semantic/semantics/model.go index cb21138ef1..76a4705d61 100644 --- a/internal/semantic/semantics/model.go +++ b/internal/semantic/semantics/model.go @@ -63,6 +63,8 @@ type Model struct { // defaultMultiplicities memoizes the Multiplicity stating each usage's // implicit [1..1] (DefaultMultiplicityMember). defaultMultiplicities map[*symbols.Symbol]*symbols.Symbol + // successionEnds memoizes the end features each `then` succession implies (SuccessionEndMembers). + successionEnds map[*symbols.Symbol][]*symbols.Symbol // declaredMultiplicities caches, per usage, the MultiplicityRange its written range // declares (DeclaredMultiplicityMember). declaredMultiplicities map[*symbols.Symbol]*symbols.Symbol @@ -217,6 +219,7 @@ func NewModel(resolver *resolve.Resolver) *Model { ends: make(map[*symbols.Symbol][]connectorEnd), chainTargets: make(map[*symbols.Symbol]*symbols.Symbol), defaultMultiplicities: make(map[*symbols.Symbol]*symbols.Symbol), + successionEnds: make(map[*symbols.Symbol][]*symbols.Symbol), declaredMultiplicities: make(map[*symbols.Symbol]*symbols.Symbol), multiplicityBase: make(map[*symbols.Symbol]*symbols.Symbol), subtracting: make(map[*symbols.Symbol]bool), diff --git a/internal/semantic/semantics/multiplicity.go b/internal/semantic/semantics/multiplicity.go index b23b3448d0..31912d141c 100644 --- a/internal/semantic/semantics/multiplicity.go +++ b/internal/semantic/semantics/multiplicity.go @@ -227,7 +227,7 @@ func UsageMultiplicityOf(sym *symbols.Symbol) *ast.Multiplicity { case *ast.CrossFeatureMember: return decl.Multiplicity } - return nil + return successionEndMultiplicity(sym) } // AssumedRange is the implicit [1..1]: what SysML v2 §7.6.3 declares for an diff --git a/internal/semantic/semantics/reflective_memberships.go b/internal/semantic/semantics/reflective_memberships.go index 99facc74a0..5aba2e887a 100644 --- a/internal/semantic/semantics/reflective_memberships.go +++ b/internal/semantic/semantics/reflective_memberships.go @@ -63,6 +63,19 @@ func (m *Model) OwnedMemberships(sym *symbols.Symbol) []*symbols.Symbol { }) ordinal++ } + for _, end := range m.SuccessionEndMembers(sym) { + // A `then` succession owns its two ends ahead of its body (SysML.xtext TargetSuccession). + out = append(out, &symbols.Symbol{ + Kind: symbols.SymbolRelationship, + DocName: sym.DocName, + DeclSpan: end.DeclSpan, + Visibility: sym.Visibility, + Implicit: &symbols.ImplicitRelationship{ + Owner: sym, Ordinal: ordinal, Form: symbols.ImplicitMembership, Member: end, + }, + }) + ordinal++ + } if sym.Scope == nil { out = m.withDefaultMultiplicity(sym, out, ordinal) m.memberships[sym] = out diff --git a/internal/semantic/semantics/reflective_relationships.go b/internal/semantic/semantics/reflective_relationships.go index 8002cd0a14..06b0a4512e 100644 --- a/internal/semantic/semantics/reflective_relationships.go +++ b/internal/semantic/semantics/reflective_relationships.go @@ -81,6 +81,18 @@ func (m *Model) implicitRelationshipsOf(owner *symbols.Symbol) []*symbols.Symbol out = append(out, implicitRelationshipSymbol(owner, ordinal, ast.RelReferences, false, connectorEndAttachment(target))) } } + if target, stated := m.successionEndReference(owner); stated { + out = append(out, &symbols.Symbol{ + Kind: symbols.SymbolRelationship, + DocName: owner.DocName, + DeclSpan: owner.DeclSpan, + Implicit: &symbols.ImplicitRelationship{ + Owner: owner, Ordinal: ordinal, Kind: ast.RelReferences, + Form: symbols.ImplicitSuccessionEndReference, Member: target, + }, + }) + ordinal++ + } // A multiplicity member's `subsets` is its one written relationship, held on // the declaration rather than in a Relationships list. if decl, ok := owner.Decl.(*ast.MultiplicityDecl); ok && decl.Subsets != nil { @@ -185,6 +197,8 @@ func (m *Model) implicitMetaclassName(sym *symbols.Symbol) string { return "PortConjugation" case symbols.ImplicitMetadataBodyRedefinition: return "Redefinition" + case symbols.ImplicitSuccessionEndReference: + return "ReferenceSubsetting" case symbols.ImplicitReferenceMembership: return "Membership" case symbols.ImplicitFeatureChaining: @@ -331,7 +345,7 @@ func relationshipEndFeature(meta, feature string) (sourceSide, targetSide bool) func (m *Model) implicitRelationshipEnds(sym *symbols.Symbol) (src, tgt *symbols.Symbol, tgtOK bool) { rel := sym.Implicit src = rel.Owner - if rel.Form == symbols.ImplicitMetadataBodyRedefinition { + if rel.Form == symbols.ImplicitMetadataBodyRedefinition || rel.Form == symbols.ImplicitSuccessionEndReference { return src, rel.Member, rel.Member != nil } if rel.Node != nil { diff --git a/internal/semantic/semantics/succession_ends.go b/internal/semantic/semantics/succession_ends.go new file mode 100644 index 0000000000..6d89aa7acc --- /dev/null +++ b/internal/semantic/semantics/succession_ends.go @@ -0,0 +1,89 @@ +package semantics + +import ( + "github.com/Open-MBEE/OpenSysML/internal/semantic/symbols" + "github.com/Open-MBEE/OpenSysML/internal/syntax/ast" + "github.com/Open-MBEE/OpenSysML/internal/syntax/source" +) + +// SuccessionMintsEnds reports whether a `then` succession owns two end features, as the conversion mints +// them: its source is the member before it, or a positional source carries a multiplicity (TargetSuccession). +func SuccessionMintsEnds(edge *ast.SuccessionEdge) bool { + if edge == nil { + return false + } + implied := edge.Source != nil && edge.Source.Span().Offset < edge.Span().Offset + positional := edge.Source == nil && edge.SourceMember != nil + return implied || positional && (edge.SourceMultiplicity != nil || edge.TargetMultiplicity != nil) +} + +// SuccessionEndMembers are the source and target end features a `then x;` succession owns through +// an EndFeatureMembership each (SuccessionMintsEnds), nameless and named by the end they redefine. +func (m *Model) SuccessionEndMembers(sym *symbols.Symbol) []*symbols.Symbol { + if m == nil || sym == nil || sym.Implicit != nil || sym.Recorded() || sym.Scope == nil { + return nil + } + edge, ok := sym.Decl.(*ast.SuccessionEdge) + if !ok || !SuccessionMintsEnds(edge) { + return nil + } + defer m.own(sym).LeaveDoc() + if cached, ok := m.successionEnds[sym]; ok { + return cached + } + journal(m, m.successionEnds, sym, sym.Decl) + forms := []symbols.ImpliedForm{symbols.ImpliedSuccessionSourceEnd, symbols.ImpliedSuccessionTargetEnd} + out := make([]*symbols.Symbol, len(forms)) + for i, form := range forms { + out[i] = &symbols.Symbol{ + Kind: symbols.SymbolConnectorEnd, + DocName: sym.DocName, + DeclSpan: source.Span{Offset: edge.Span().Offset}, + Visibility: ast.VisibilityDefault, + OwnerScope: sym.Scope, + Decl: &symbols.ImpliedDecl{Of: edge, Form: form}, + } + } + m.successionEnds[sym] = out + return out +} + +// successionEndReference is the feature a `then` succession's target end reference-subsets (nil when the model +// resolves none); stated is false for the source end, which the conversion mints empty (encodeSuccessionEdge). +func (m *Model) successionEndReference(end *symbols.Symbol) (target *symbols.Symbol, stated bool) { + i, ok := symbols.ImpliedSuccessionEndIndex(end) + if !ok || i != 1 || end.OwnerScope == nil { + return nil, false + } + succession := end.OwnerScope.Owner() + if succession == nil { + return nil, false + } + decl, _ := symbols.ImpliedDeclOf(end) + edge := decl.Of.(*ast.SuccessionEdge) + if edge.Target == nil && edge.TargetMember == nil { + return nil, false + } + if related, _ := m.connectorSuccessionRelatedFeatures(succession); len(related) == 2 { + target = related[1] + } + return target, true +} + +// successionEndMultiplicity is the range a `then` succession writes for the generated end sym, as the +// conversion gives it: the source multiplicity to the source end, the crossing one to the target end. +func successionEndMultiplicity(sym *symbols.Symbol) *ast.Multiplicity { + i, ok := symbols.ImpliedSuccessionEndIndex(sym) + if !ok { + return nil + } + decl, _ := symbols.ImpliedDeclOf(sym) + edge, ok := decl.Of.(*ast.SuccessionEdge) + if !ok { + return nil + } + if i == 0 { + return edge.SourceMultiplicity + } + return edge.TargetMultiplicity +} diff --git a/internal/semantic/semantics/then_succession_member_test.go b/internal/semantic/semantics/then_succession_member_test.go index 49d1d7e384..7f719b0ce2 100644 --- a/internal/semantic/semantics/then_succession_member_test.go +++ b/internal/semantic/semantics/then_succession_member_test.go @@ -82,3 +82,95 @@ func TestThenSuccessionRelatedFeatures(t *testing.T) { } } } + +// A `then x;` whose source is the member before it owns its two ends through an EndFeatureMembership +// each, as the RDF writer mints them; `then idle;` after a bare `entry;` reaches its source by position and owns none. +func TestThenSuccessionOwnsItsEnds(t *testing.T) { + const src = `package P { + action observe { first start; then action acquire; then done; } + state def S { entry; then idle; state idle; } + }` + for f, fixture := range reflectiveFixtures(t, "then-ends.sysml", source.KindSysML, src) { + model := fixture.model + ends := []string{"EndFeatureMembership:ReferenceUsage", "EndFeatureMembership:ReferenceUsage"} + if f == 1 { + // A record keeps a connector's ends by position (recordedPositions), as for `connect a to b`. + ends = nil + } + var successions []*symbols.Symbol + for _, owner := range []string{"P::observe", "P::S"} { + for _, rel := range model.OwnedRelationships(nestedSym(t, fixture.root, owner)) { + if member := rel.Implicit.Member; member != nil && model.MetaclassOf(member) != nil && model.MetaclassOf(member).Name == "SuccessionAsUsage" { + successions = append(successions, member) + } + } + } + if len(successions) != 3 { + t.Fatalf("%d successions, want 3", len(successions)) + } + for i, want := range [][]string{ends, ends, nil} { + var kinds []string + for _, rel := range model.OwnedRelationships(successions[i]) { + name := relMetaName(model, rel) + if name != "EndFeatureMembership" { + continue + } + end := rel.Implicit.Member + kinds = append(kinds, name+":"+model.MetaclassOf(end).Name) + if isEnd, ok := model.ReflectiveFeatureValue(end, "isEnd"); !ok || !isEnd.Bool { + t.Errorf("succession %d end %d isEnd = %v, %v; want true", i, len(kinds)-1, isEnd, ok) + } + // Nameless, each end is named by the happensBeforeLinks end it redefines (KerML 8.3.3.3). + if name, wantName := model.EffectiveNameOf(end), []string{"earlierOccurrence", "laterOccurrence"}[len(kinds)-1]; name != wantName { + t.Errorf("succession %d end %d name = %q, want %q", i, len(kinds)-1, name, wantName) + } + // The target end reference-subsets the member the succession reaches (acquire, the library's + // done); the source end is minted empty, as the conversion writes it. + var referenced []string + subsettings, _ := model.ReflectiveElements(end, "ownedReferenceSubsetting") + for _, subsetting := range subsettings { + targets, _ := model.ReflectiveElements(subsetting, "referencedFeature") + for _, target := range targets { + referenced = append(referenced, target.Name) + } + } + want := [][]string{{"acquire"}, {"done"}}[i] + if len(kinds) == 1 { + want = nil + } + if strings.Join(referenced, ",") != strings.Join(want, ",") { + t.Errorf("succession %d end %d references %v, want %v", i, len(kinds)-1, referenced, want) + } + } + if strings.Join(kinds, " ") != strings.Join(want, " ") { + t.Errorf("succession %d end memberships = %v, want %v", i, kinds, want) + } + } + } +} + +// TestThenSuccessionEndTakesItsWrittenRange: `then [0..1] action c;` writes the range on the source end the +// succession owns, as the conversion and the pilot state it; that end implies no [1..1], the target end does. +func TestThenSuccessionEndTakesItsWrittenRange(t *testing.T) { + const src = `package P { action observe { action a; then [0..1] action c; } }` + fixture := reflectiveFixtures(t, "then-end-range.sysml", source.KindSysML, src)[0] + model := fixture.model + var ends []*symbols.Symbol + for _, rel := range model.OwnedRelationships(nestedSym(t, fixture.root, "P::observe")) { + if member := rel.Implicit.Member; member != nil { + ends = append(ends, model.SuccessionEndMembers(member)...) + } + } + if len(ends) != 2 { + t.Fatalf("%d succession ends, want 2", len(ends)) + } + if r, ok := model.MultiplicityOf(ends[0]); !ok || r.Lower.Value != 0 || r.Upper.Value != 1 { + t.Errorf("source end multiplicity = %+v, %v; want [0..1]", r, ok) + } + if model.ImpliesDefaultMultiplicity(ends[0]) { + t.Error("source end with a written range implies the default [1..1]") + } + if _, ok := model.MultiplicityOf(ends[1]); ok || !model.ImpliesDefaultMultiplicity(ends[1]) { + t.Errorf("target end states a range (%v) or no default [1..1]", ok) + } +} diff --git a/internal/semantic/symbols/implicit_relationship.go b/internal/semantic/symbols/implicit_relationship.go index 0503582cf6..90545d8dfe 100644 --- a/internal/semantic/symbols/implicit_relationship.go +++ b/internal/semantic/symbols/implicit_relationship.go @@ -37,6 +37,9 @@ const ( // ImplicitMetadataBodyRedefinition reflects the Redefinition a metadata body // feature Owner implies to the Member its name restates (SysML.xtext MetadataBodyUsage). ImplicitMetadataBodyRedefinition + // ImplicitSuccessionEndReference reflects the ReferenceSubsetting the target end Owner of a + // `then x;` succession holds to the Member it reaches, as the conversion mints it (end1's `rs`). + ImplicitSuccessionEndReference ) // ImplicitRelationship is a relationship the abstract syntax holds as an diff --git a/internal/semantic/symbols/implied.go b/internal/semantic/symbols/implied.go index e389417ffd..a461f658bf 100644 --- a/internal/semantic/symbols/implied.go +++ b/internal/semantic/symbols/implied.go @@ -18,6 +18,10 @@ const ( // ImpliedMultiplicityRange is the MultiplicityRange a usage's written range (`[2]`) // declares, owned through an OwningMembership at the clause; it declares no name. ImpliedMultiplicityRange + // ImpliedSuccessionSourceEnd and ImpliedSuccessionTargetEnd are the nameless end features a `then x;` + // succession owns for its source and target (SysML.xtext TargetSuccession), named by the end they redefine. + ImpliedSuccessionSourceEnd + ImpliedSuccessionTargetEnd ) // ImpliedDecl declares an element the abstract syntax implies for a written @@ -54,6 +58,21 @@ func ImpliedDeclOf(sym *Symbol) (*ImpliedDecl, bool) { return d, ok } +// ImpliedSuccessionEndIndex is the position, 0 or 1, of the `then` succession end sym implies. +func ImpliedSuccessionEndIndex(sym *Symbol) (int, bool) { + d, ok := ImpliedDeclOf(sym) + if !ok { + return 0, false + } + switch d.Form { + case ImpliedSuccessionSourceEnd: + return 0, true + case ImpliedSuccessionTargetEnd: + return 1, true + } + return 0, false +} + // Implied reports whether sym declares an element the abstract syntax implies // rather than one the notation writes: no text, diagram or outline shows it. func (s *Symbol) Implied() bool { diff --git a/internal/semantic/symbols/snapshot.go b/internal/semantic/symbols/snapshot.go index 8d006c5d3d..fc6583f2f0 100644 --- a/internal/semantic/symbols/snapshot.go +++ b/internal/semantic/symbols/snapshot.go @@ -663,7 +663,7 @@ func (d *sectionReader) decl() ast.Node { if form == 0 { return n } - if form < 0 || form-1 > int64(ImpliedMultiplicityRange) { + if form < 0 || form-1 > int64(ImpliedSuccessionTargetEnd) { d.r.Fail("implied form") return n } diff --git a/internal/translate/export/api_json_symbol_structure_test.go b/internal/translate/export/api_json_symbol_structure_test.go index bc809e0bc1..03c1ace39f 100644 --- a/internal/translate/export/api_json_symbol_structure_test.go +++ b/internal/translate/export/api_json_symbol_structure_test.go @@ -502,6 +502,12 @@ func (d *structureDifferential) computeGraphID(sym *symbols.Symbol) (string, boo return element, ok } } + if i, ok := symbols.ImpliedSuccessionEndIndex(sym); ok { + // A `then` succession's end is minted under the edge at end0/end1 (encodeSuccessionEdge). + implied, _ := symbols.ImpliedDeclOf(sym) + element, _, ok := d.ids.OfExpressionPart(d.doc, implied.Of, fmt.Sprintf("end%d", i)) + return element, ok + } if implied, ok := symbols.ImpliedDeclOf(sym); ok && implied.Form == symbols.ImpliedDefaultMultiplicity { if element, _, ok := d.ids.OfExpressionPart(d.doc, implied.Of, "multiplicity"); ok { return element, true @@ -568,6 +574,11 @@ func (d *structureDifferential) implicitGraphID(rel *symbols.ImplicitRelationshi return "", false } return d.expressionPartID(rel.Owner, rel.Slot) + case symbols.ImplicitSuccessionEndReference: + if rel.Owner == nil { + return "", false + } + return d.expressionPartID(rel.Owner, "rs") } return "", false } diff --git a/internal/translate/export/element_ids.go b/internal/translate/export/element_ids.go index a6d3a53017..ed39f561c7 100644 --- a/internal/translate/export/element_ids.go +++ b/internal/translate/export/element_ids.go @@ -9,6 +9,7 @@ import ( "sync" "github.com/Open-MBEE/OpenSysML/internal/semantic/resolve" + "github.com/Open-MBEE/OpenSysML/internal/semantic/semantics" "github.com/Open-MBEE/OpenSysML/internal/syntax/ast" "github.com/Open-MBEE/OpenSysML/internal/syntax/parser" "github.com/Open-MBEE/OpenSysML/internal/syntax/source" @@ -127,6 +128,7 @@ func (ids *ElementIDs) recordDeclaration(e *encoder, node ast.Node, parents map[ ids.recordValuePart(e, node, subject) ids.recordDefaultMultiplicity(e, node, subject) ids.recordConnectorEnds(e, node, subject) + ids.recordSuccessionEnds(e, node, subject) ids.recordSatisfySubjects(e, node, subject) ids.registerHeadChains(e, subject, chainTargets(e.writtenHeadClauses(node, parents[node], parents))) for key, id := range e.writtenRelationships(node, parents[node], subject, parents) { @@ -197,6 +199,45 @@ func (ids *ElementIDs) recordConnectorEnds(e *encoder, node ast.Node, subject rd } } +// recordSuccessionEnds records the two ends a `then` succession's conversion mints at end0/end1 +// under the edge (encodeSuccessionEdge), each with the EndFeatureMembership minted beside it. +func (ids *ElementIDs) recordSuccessionEnds(e *encoder, node ast.Node, subject rdf.Term) { + edge, ok := node.(*ast.SuccessionEdge) + if !ok || !semantics.SuccessionMintsEnds(edge) { + return + } + for i := 0; i < 2; i++ { + slot := fmt.Sprintf("end%d", i) + feature := e.ids.mintedNode(rdf.ExpressionIRI(subject, slot), subject, slot) + membership := e.ids.minted(rdf.OwningMembershipIRIOf(feature), feature, rdf.OwningMembershipSuffix) + recorded := partIDs{element: rdf.LocalName(feature.Value), membership: rdf.LocalName(membership.Value)} + ids.partByNode[partKey{node, slot}] = recorded + ids.partBySpan[spanPartKey{spanKey{e.file.Name(), node.Span()}, slot}] = recorded + if i == 1 && e.successionTargetStated(edge) { + // The target end's ReferenceSubsetting is minted beside it (referenceSubsetting). + reference := partIDs{element: e.referenceSubsettingID(feature)} + ids.partByNode[partKey{node, slot + ".rs"}] = reference + ids.partBySpan[spanPartKey{spanKey{e.file.Name(), node.Span()}, slot + ".rs"}] = reference + } + } +} + +// successionTargetStated reports whether the target end of a `then` succession reference-subsets a +// feature: the target it names, the library's done, or a member after it the conversion addresses. +func (e *encoder) successionTargetStated(edge *ast.SuccessionEdge) bool { + if edge.Target != nil { + return true + } + if _, done := edge.TargetMember.(*ast.FinalNode); done { + return true + } + if edge.TargetMember != nil { + _, ok := e.names.FQN[edge.TargetMember] + return ok + } + return false +} + // endChainLinks counts the features an end's chain target is written as, as the // conversion links them (qualifiedChainReferences, featureChainSegments). func endChainLinks(target ast.Node) int { diff --git a/internal/translate/export/testdata/structure_differential_expected.txt b/internal/translate/export/testdata/structure_differential_expected.txt index 9ad54c6f86..fdbad91372 100644 --- a/internal/translate/export/testdata/structure_differential_expected.txt +++ b/internal/translate/export/testdata/structure_differential_expected.txt @@ -2,15 +2,15 @@ # served properties the two disagree on. Re-record with # go test ./internal/translate/export -run TestSymbolStructureMatchesGraphStructure -update-structure-differential # after adjudicating every movement; the downloaded roots need their corpora present. -root examples: models 56, skipped 0, matched 30308, unmatched 17220 +root examples: models 56, skipped 0, matched 30643, unmatched 16885 AcceptActionUsage::receiverArgument: equal 5, different 1, symbol-missing 0, symbol-extra 0 AnnotatingElement::annotation: equal 210, different 214, symbol-missing 0, symbol-extra 0 Behavior::step: equal 154, different 25, symbol-missing 0, symbol-extra 25 ConjugatedPortDefinition::ownedPortConjugator: equal 0, different 20, symbol-missing 0, symbol-extra 0 Connector::connectorEnd: equal 468, different 0, symbol-missing 0, symbol-extra 12 - Connector::relatedFeature: equal 299, different 3, symbol-missing 178, symbol-extra 0 - Connector::sourceFeature: equal 302, different 0, symbol-missing 178, symbol-extra 0 - Connector::targetFeature: equal 299, different 3, symbol-missing 178, symbol-extra 0 + Connector::relatedFeature: equal 363, different 3, symbol-missing 114, symbol-extra 0 + Connector::sourceFeature: equal 366, different 0, symbol-missing 114, symbol-extra 0 + Connector::targetFeature: equal 363, different 3, symbol-missing 114, symbol-extra 0 Definition::directedUsage: equal 622, different 0, symbol-missing 0, symbol-extra 38 Definition::ownedAction: equal 648, different 12, symbol-missing 0, symbol-extra 0 Definition::ownedItem: equal 531, different 129, symbol-missing 0, symbol-extra 0 @@ -19,35 +19,35 @@ root examples: models 56, skipped 0, matched 30308, unmatched 17220 Definition::ownedTransition: equal 648, different 12, symbol-missing 0, symbol-extra 0 Definition::ownedUsage: equal 516, different 144, symbol-missing 0, symbol-extra 0 Definition::usage: equal 606, different 16, symbol-missing 0, symbol-extra 38 - Element::name: equal 30302, different 6, symbol-missing 0, symbol-extra 0 - Element::ownedAnnotation: equal 30094, different 214, symbol-missing 0, symbol-extra 0 - Element::ownedElement: equal 29419, different 889, symbol-missing 0, symbol-extra 0 - Element::ownedRelationship: equal 28828, different 1480, symbol-missing 0, symbol-extra 0 - Element::owner: equal 30196, different 112, symbol-missing 0, symbol-extra 0 - Element::owningMembership: equal 30081, different 227, symbol-missing 0, symbol-extra 0 - Element::owningNamespace: equal 30047, different 261, symbol-missing 0, symbol-extra 0 - Element::owningRelationship: equal 30070, different 238, symbol-missing 0, symbol-extra 0 - Element::qualifiedName: equal 30306, different 2, symbol-missing 0, symbol-extra 0 - Element::shortName: equal 30210, different 2, symbol-missing 0, symbol-extra 96 + Element::name: equal 30637, different 6, symbol-missing 0, symbol-extra 0 + Element::ownedAnnotation: equal 30429, different 214, symbol-missing 0, symbol-extra 0 + Element::ownedElement: equal 29821, different 822, symbol-missing 0, symbol-extra 0 + Element::ownedRelationship: equal 29230, different 1413, symbol-missing 0, symbol-extra 0 + Element::owner: equal 30531, different 112, symbol-missing 0, symbol-extra 0 + Element::owningMembership: equal 30416, different 227, symbol-missing 0, symbol-extra 0 + Element::owningNamespace: equal 30382, different 261, symbol-missing 0, symbol-extra 0 + Element::owningRelationship: equal 30405, different 238, symbol-missing 0, symbol-extra 0 + Element::qualifiedName: equal 30641, different 2, symbol-missing 0, symbol-extra 0 + Element::shortName: equal 30545, different 2, symbol-missing 0, symbol-extra 96 Expression::result: equal 2771, different 0, symbol-missing 10, symbol-extra 0 - Feature::direction: equal 11801, different 29, symbol-missing 0, symbol-extra 0 - Feature::endOwningType: equal 11828, different 2, symbol-missing 0, symbol-extra 0 - Feature::featureTarget: equal 11827, different 3, symbol-missing 0, symbol-extra 0 - Feature::featuringType: equal 11776, different 54, symbol-missing 0, symbol-extra 0 - Feature::isComposite: equal 11803, different 26, symbol-missing 1, symbol-extra 0 - Feature::isConstant: equal 332, different 0, symbol-missing 0, symbol-extra 11498 - Feature::isEnd: equal 11828, different 2, symbol-missing 0, symbol-extra 0 - Feature::isVariable: equal 11641, different 0, symbol-missing 0, symbol-extra 189 - Feature::ownedFeatureInverting: equal 11828, different 2, symbol-missing 0, symbol-extra 0 - Feature::ownedRedefinition: equal 11754, different 76, symbol-missing 0, symbol-extra 0 - Feature::ownedReferenceSubsetting: equal 11797, different 33, symbol-missing 0, symbol-extra 0 - Feature::ownedSubsetting: equal 11716, different 114, symbol-missing 0, symbol-extra 0 - Feature::ownedTyping: equal 11558, different 272, symbol-missing 0, symbol-extra 0 - Feature::owningFeatureMembership: equal 11800, different 30, symbol-missing 0, symbol-extra 0 - Feature::owningType: equal 11776, different 54, symbol-missing 0, symbol-extra 0 - Feature::type: equal 11570, different 214, symbol-missing 0, symbol-extra 46 + Feature::direction: equal 11935, different 29, symbol-missing 0, symbol-extra 0 + Feature::endOwningType: equal 11962, different 2, symbol-missing 0, symbol-extra 0 + Feature::featureTarget: equal 11961, different 3, symbol-missing 0, symbol-extra 0 + Feature::featuringType: equal 11910, different 54, symbol-missing 0, symbol-extra 0 + Feature::isComposite: equal 11937, different 26, symbol-missing 1, symbol-extra 0 + Feature::isConstant: equal 332, different 0, symbol-missing 0, symbol-extra 11632 + Feature::isEnd: equal 11962, different 2, symbol-missing 0, symbol-extra 0 + Feature::isVariable: equal 11775, different 0, symbol-missing 0, symbol-extra 189 + Feature::ownedFeatureInverting: equal 11962, different 2, symbol-missing 0, symbol-extra 0 + Feature::ownedRedefinition: equal 11888, different 76, symbol-missing 0, symbol-extra 0 + Feature::ownedReferenceSubsetting: equal 11931, different 33, symbol-missing 0, symbol-extra 0 + Feature::ownedSubsetting: equal 11850, different 114, symbol-missing 0, symbol-extra 0 + Feature::ownedTyping: equal 11692, different 272, symbol-missing 0, symbol-extra 0 + Feature::owningFeatureMembership: equal 11934, different 30, symbol-missing 0, symbol-extra 0 + Feature::owningType: equal 11910, different 54, symbol-missing 0, symbol-extra 0 + Feature::type: equal 11704, different 214, symbol-missing 0, symbol-extra 46 FeatureChainExpression::targetFeature: equal 85, different 0, symbol-missing 0, symbol-extra 47 - FeatureMembership::owningType: equal 6346, different 26, symbol-missing 0, symbol-extra 0 + FeatureMembership::owningType: equal 6480, different 26, symbol-missing 0, symbol-extra 0 FeatureReferenceExpression::referent: equal 400, different 20, symbol-missing 0, symbol-extra 65 FeatureTyping::owningFeature: equal 2073, different 13, symbol-missing 0, symbol-extra 0 FeatureValue::featureWithValue: equal 2414, different 23, symbol-missing 0, symbol-extra 0 @@ -58,166 +58,166 @@ root examples: models 56, skipped 0, matched 30308, unmatched 17220 Function::expression: equal 124, different 13, symbol-missing 0, symbol-extra 25 InvocationExpression::operand: equal 0, different 393, symbol-missing 0, symbol-extra 0 ItemUsage::itemDefinition: equal 934, different 208, symbol-missing 0, symbol-extra 46 - Membership::memberElement: equal 12836, different 31, symbol-missing 0, symbol-extra 0 - Membership::memberElementId: equal 5157, different 15, symbol-missing 7680, symbol-extra 15 - Membership::memberName: equal 12851, different 16, symbol-missing 0, symbol-extra 0 - Membership::memberShortName: equal 12769, different 2, symbol-missing 0, symbol-extra 96 - Membership::membershipOwningNamespace: equal 12818, different 49, symbol-missing 0, symbol-extra 0 + Membership::memberElement: equal 12970, different 31, symbol-missing 0, symbol-extra 0 + Membership::memberElementId: equal 5157, different 15, symbol-missing 7814, symbol-extra 15 + Membership::memberName: equal 12985, different 16, symbol-missing 0, symbol-extra 0 + Membership::memberShortName: equal 12903, different 2, symbol-missing 0, symbol-extra 96 + Membership::membershipOwningNamespace: equal 12952, different 49, symbol-missing 0, symbol-extra 0 MetadataUsage::metadataDefinition: equal 2, different 208, symbol-missing 0, symbol-extra 46 MultiplicityRange::bound: equal 0, different 3, symbol-missing 0, symbol-extra 0 MultiplicityRange::lowerBound: equal 0, different 3, symbol-missing 0, symbol-extra 0 MultiplicityRange::upperBound: equal 0, different 3, symbol-missing 0, symbol-extra 0 - Namespace::member: equal 9225, different 1104, symbol-missing 73, symbol-extra 2219 - Namespace::membership: equal 9179, different 1150, symbol-missing 73, symbol-extra 2219 - Namespace::ownedMember: equal 11610, different 1011, symbol-missing 0, symbol-extra 0 - Namespace::ownedMembership: equal 11516, different 1105, symbol-missing 0, symbol-extra 0 + Namespace::member: equal 9399, different 1054, symbol-missing 76, symbol-extra 2226 + Namespace::membership: equal 9353, different 1100, symbol-missing 76, symbol-extra 2226 + Namespace::ownedMember: equal 11811, different 944, symbol-missing 0, symbol-extra 0 + Namespace::ownedMembership: equal 11717, different 1038, symbol-missing 0, symbol-extra 0 OccurrenceUsage::individualDefinition: equal 2301, different 0, symbol-missing 0, symbol-extra 46 OccurrenceUsage::occurrenceDefinition: equal 2093, different 208, symbol-missing 0, symbol-extra 46 - OwningMembership::ownedMemberElement: equal 12273, different 13, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberElementId: equal 4591, different 15, symbol-missing 7680, symbol-extra 0 - OwningMembership::ownedMemberName: equal 12270, different 16, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberShortName: equal 12190, different 0, symbol-missing 0, symbol-extra 96 - Relationship::ownedRelatedElement: equal 17916, different 102, symbol-missing 0, symbol-extra 0 - Relationship::owningRelatedElement: equal 17956, different 62, symbol-missing 0, symbol-extra 0 - Relationship::relatedElement: equal 17659, different 101, symbol-missing 251, symbol-extra 7 - Relationship::source: equal 17776, different 64, symbol-missing 178, symbol-extra 0 - Relationship::target: equal 17709, different 51, symbol-missing 251, symbol-extra 7 + OwningMembership::ownedMemberElement: equal 12407, different 13, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberElementId: equal 4591, different 15, symbol-missing 7814, symbol-extra 0 + OwningMembership::ownedMemberName: equal 12404, different 16, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberShortName: equal 12324, different 0, symbol-missing 0, symbol-extra 96 + Relationship::ownedRelatedElement: equal 18117, different 102, symbol-missing 0, symbol-extra 0 + Relationship::owningRelatedElement: equal 18157, different 62, symbol-missing 0, symbol-extra 0 + Relationship::relatedElement: equal 17921, different 101, symbol-missing 190, symbol-extra 7 + Relationship::source: equal 18041, different 64, symbol-missing 114, symbol-extra 0 + Relationship::target: equal 17971, different 51, symbol-missing 190, symbol-extra 7 RequirementDefinition::text: equal 23, different 0, symbol-missing 37, symbol-extra 0 RequirementUsage::actorParameter: equal 139, different 0, symbol-missing 0, symbol-extra 8 RequirementUsage::stakeholderParameter: equal 139, different 0, symbol-missing 0, symbol-extra 8 RequirementUsage::subjectParameter: equal 139, different 0, symbol-missing 0, symbol-extra 8 RequirementUsage::text: equal 141, different 0, symbol-missing 6, symbol-extra 0 - Specialization::owningType: equal 3918, different 13, symbol-missing 0, symbol-extra 0 + Specialization::owningType: equal 3985, different 13, symbol-missing 0, symbol-extra 0 StateUsage::entryAction: equal 139, different 3, symbol-missing 0, symbol-extra 0 Step::parameter: equal 3301, different 140, symbol-missing 0, symbol-extra 0 TransitionUsage::guardExpression: equal 67, different 45, symbol-missing 0, symbol-extra 0 TransitionUsage::succession: equal 0, different 112, symbol-missing 0, symbol-extra 0 TransitionUsage::triggerAction: equal 72, different 40, symbol-missing 0, symbol-extra 0 - Type::directedFeature: equal 10030, different 153, symbol-missing 73, symbol-extra 2265 - Type::endFeature: equal 12375, different 0, symbol-missing 36, symbol-extra 110 - Type::feature: equal 9439, different 744, symbol-missing 73, symbol-extra 2265 - Type::featureMembership: equal 9473, different 710, symbol-missing 73, symbol-extra 2265 - Type::inheritedFeature: equal 9789, different 394, symbol-missing 73, symbol-extra 2265 - Type::inheritedMembership: equal 9673, different 510, symbol-missing 73, symbol-extra 2265 - Type::input: equal 10040, different 143, symbol-missing 73, symbol-extra 2265 - Type::multiplicity: equal 12287, different 234, symbol-missing 0, symbol-extra 0 - Type::output: equal 10170, different 13, symbol-missing 73, symbol-extra 2265 - Type::ownedConjugator: equal 12501, different 20, symbol-missing 0, symbol-extra 0 - Type::ownedEndFeature: equal 12414, different 107, symbol-missing 0, symbol-extra 0 - Type::ownedFeature: equal 11977, different 544, symbol-missing 0, symbol-extra 0 - Type::ownedFeatureMembership: equal 11976, different 545, symbol-missing 0, symbol-extra 0 - Type::ownedSpecialization: equal 12135, different 386, symbol-missing 0, symbol-extra 0 - Type::ownedUnioning: equal 12520, different 1, symbol-missing 0, symbol-extra 0 - Type::unioningType: equal 12520, different 1, symbol-missing 0, symbol-extra 0 - Usage::definition: equal 5306, different 208, symbol-missing 0, symbol-extra 46 - Usage::directedUsage: equal 3120, different 141, symbol-missing 73, symbol-extra 2226 - Usage::isReference: equal 5533, different 26, symbol-missing 1, symbol-extra 0 - Usage::mayTimeVary: equal 5557, different 0, symbol-missing 3, symbol-extra 0 - Usage::nestedAction: equal 5457, different 103, symbol-missing 0, symbol-extra 0 - Usage::nestedAttribute: equal 5531, different 29, symbol-missing 0, symbol-extra 0 - Usage::nestedConnection: equal 5443, different 117, symbol-missing 0, symbol-extra 0 - Usage::nestedItem: equal 5474, different 86, symbol-missing 0, symbol-extra 0 - Usage::nestedMetadata: equal 5477, different 83, symbol-missing 0, symbol-extra 0 - Usage::nestedOccurrence: equal 5359, different 201, symbol-missing 0, symbol-extra 0 - Usage::nestedReference: equal 5355, different 205, symbol-missing 0, symbol-extra 0 - Usage::nestedTransition: equal 5556, different 4, symbol-missing 0, symbol-extra 0 - Usage::nestedUsage: equal 5152, different 408, symbol-missing 0, symbol-extra 0 - Usage::owningUsage: equal 5440, different 120, symbol-missing 0, symbol-extra 0 - Usage::usage: equal 2852, different 409, symbol-missing 73, symbol-extra 2226 -root tests/testdata: models 40, skipped 0, matched 1488, unmatched 583 + Type::directedFeature: equal 10153, different 154, symbol-missing 76, symbol-extra 2272 + Type::endFeature: equal 12509, different 0, symbol-missing 36, symbol-extra 110 + Type::feature: equal 9626, different 681, symbol-missing 76, symbol-extra 2272 + Type::featureMembership: equal 9660, different 647, symbol-missing 76, symbol-extra 2272 + Type::inheritedFeature: equal 9909, different 398, symbol-missing 76, symbol-extra 2272 + Type::inheritedMembership: equal 9780, different 527, symbol-missing 76, symbol-extra 2272 + Type::input: equal 10163, different 144, symbol-missing 76, symbol-extra 2272 + Type::multiplicity: equal 12421, different 234, symbol-missing 0, symbol-extra 0 + Type::output: equal 10294, different 13, symbol-missing 76, symbol-extra 2272 + Type::ownedConjugator: equal 12635, different 20, symbol-missing 0, symbol-extra 0 + Type::ownedEndFeature: equal 12615, different 40, symbol-missing 0, symbol-extra 0 + Type::ownedFeature: equal 12178, different 477, symbol-missing 0, symbol-extra 0 + Type::ownedFeatureMembership: equal 12177, different 478, symbol-missing 0, symbol-extra 0 + Type::ownedSpecialization: equal 12269, different 386, symbol-missing 0, symbol-extra 0 + Type::ownedUnioning: equal 12654, different 1, symbol-missing 0, symbol-extra 0 + Type::unioningType: equal 12654, different 1, symbol-missing 0, symbol-extra 0 + Usage::definition: equal 5440, different 208, symbol-missing 0, symbol-extra 46 + Usage::directedUsage: equal 3243, different 142, symbol-missing 76, symbol-extra 2233 + Usage::isReference: equal 5667, different 26, symbol-missing 1, symbol-extra 0 + Usage::mayTimeVary: equal 5691, different 0, symbol-missing 3, symbol-extra 0 + Usage::nestedAction: equal 5591, different 103, symbol-missing 0, symbol-extra 0 + Usage::nestedAttribute: equal 5665, different 29, symbol-missing 0, symbol-extra 0 + Usage::nestedConnection: equal 5577, different 117, symbol-missing 0, symbol-extra 0 + Usage::nestedItem: equal 5608, different 86, symbol-missing 0, symbol-extra 0 + Usage::nestedMetadata: equal 5611, different 83, symbol-missing 0, symbol-extra 0 + Usage::nestedOccurrence: equal 5493, different 201, symbol-missing 0, symbol-extra 0 + Usage::nestedReference: equal 5556, different 138, symbol-missing 0, symbol-extra 0 + Usage::nestedTransition: equal 5690, different 4, symbol-missing 0, symbol-extra 0 + Usage::nestedUsage: equal 5353, different 341, symbol-missing 0, symbol-extra 0 + Usage::owningUsage: equal 5574, different 120, symbol-missing 0, symbol-extra 0 + Usage::usage: equal 3039, different 346, symbol-missing 76, symbol-extra 2233 +root tests/testdata: models 40, skipped 0, matched 1508, unmatched 563 ActionUsage::actionDefinition: equal 32, different 0, symbol-missing 0, symbol-extra 1 AnnotatingElement::annotation: equal 7, different 6, symbol-missing 0, symbol-extra 0 AttributeUsage::attributeDefinition: equal 64, different 0, symbol-missing 0, symbol-extra 3 Classifier::ownedSubclassification: equal 115, different 2, symbol-missing 0, symbol-extra 0 ConjugatedPortDefinition::ownedPortConjugator: equal 0, different 3, symbol-missing 0, symbol-extra 0 - Connector::relatedFeature: equal 6, different 0, symbol-missing 5, symbol-extra 0 - Connector::sourceFeature: equal 6, different 0, symbol-missing 5, symbol-extra 0 - Connector::targetFeature: equal 6, different 0, symbol-missing 5, symbol-extra 0 - Element::ownedAnnotation: equal 1482, different 6, symbol-missing 0, symbol-extra 0 - Element::ownedElement: equal 1430, different 58, symbol-missing 0, symbol-extra 0 - Element::ownedRelationship: equal 1423, different 65, symbol-missing 0, symbol-extra 0 - Element::owner: equal 1479, different 9, symbol-missing 0, symbol-extra 0 - Element::owningMembership: equal 1482, different 6, symbol-missing 0, symbol-extra 0 - Element::owningNamespace: equal 1479, different 9, symbol-missing 0, symbol-extra 0 - Element::owningRelationship: equal 1482, different 6, symbol-missing 0, symbol-extra 0 - Element::qualifiedName: equal 1483, different 5, symbol-missing 0, symbol-extra 0 - Element::shortName: equal 1486, different 0, symbol-missing 0, symbol-extra 2 - Feature::direction: equal 458, different 3, symbol-missing 0, symbol-extra 0 - Feature::featuringType: equal 456, different 5, symbol-missing 0, symbol-extra 0 - Feature::isComposite: equal 460, different 1, symbol-missing 0, symbol-extra 0 - Feature::isConstant: equal 11, different 0, symbol-missing 0, symbol-extra 450 - Feature::isVariable: equal 439, different 0, symbol-missing 0, symbol-extra 22 - Feature::ownedRedefinition: equal 458, different 3, symbol-missing 0, symbol-extra 0 - Feature::ownedSubsetting: equal 456, different 5, symbol-missing 0, symbol-extra 0 - Feature::ownedTyping: equal 452, different 9, symbol-missing 0, symbol-extra 0 - Feature::owningFeatureMembership: equal 459, different 2, symbol-missing 0, symbol-extra 0 - Feature::owningType: equal 456, different 5, symbol-missing 0, symbol-extra 0 - Feature::type: equal 446, different 9, symbol-missing 0, symbol-extra 6 - FeatureMembership::owningType: equal 217, different 3, symbol-missing 0, symbol-extra 0 + Connector::relatedFeature: equal 10, different 0, symbol-missing 1, symbol-extra 0 + Connector::sourceFeature: equal 10, different 0, symbol-missing 1, symbol-extra 0 + Connector::targetFeature: equal 10, different 0, symbol-missing 1, symbol-extra 0 + Element::ownedAnnotation: equal 1502, different 6, symbol-missing 0, symbol-extra 0 + Element::ownedElement: equal 1454, different 54, symbol-missing 0, symbol-extra 0 + Element::ownedRelationship: equal 1447, different 61, symbol-missing 0, symbol-extra 0 + Element::owner: equal 1499, different 9, symbol-missing 0, symbol-extra 0 + Element::owningMembership: equal 1502, different 6, symbol-missing 0, symbol-extra 0 + Element::owningNamespace: equal 1499, different 9, symbol-missing 0, symbol-extra 0 + Element::owningRelationship: equal 1502, different 6, symbol-missing 0, symbol-extra 0 + Element::qualifiedName: equal 1503, different 5, symbol-missing 0, symbol-extra 0 + Element::shortName: equal 1506, different 0, symbol-missing 0, symbol-extra 2 + Feature::direction: equal 466, different 3, symbol-missing 0, symbol-extra 0 + Feature::featuringType: equal 464, different 5, symbol-missing 0, symbol-extra 0 + Feature::isComposite: equal 468, different 1, symbol-missing 0, symbol-extra 0 + Feature::isConstant: equal 11, different 0, symbol-missing 0, symbol-extra 458 + Feature::isVariable: equal 447, different 0, symbol-missing 0, symbol-extra 22 + Feature::ownedRedefinition: equal 466, different 3, symbol-missing 0, symbol-extra 0 + Feature::ownedSubsetting: equal 464, different 5, symbol-missing 0, symbol-extra 0 + Feature::ownedTyping: equal 460, different 9, symbol-missing 0, symbol-extra 0 + Feature::owningFeatureMembership: equal 467, different 2, symbol-missing 0, symbol-extra 0 + Feature::owningType: equal 464, different 5, symbol-missing 0, symbol-extra 0 + Feature::type: equal 454, different 9, symbol-missing 0, symbol-extra 6 + FeatureMembership::owningType: equal 225, different 3, symbol-missing 0, symbol-extra 0 FeatureReferenceExpression::referent: equal 4, different 0, symbol-missing 0, symbol-extra 2 FeatureTyping::owningFeature: equal 96, different 3, symbol-missing 0, symbol-extra 0 Flow::flowEnd: equal 0, different 1, symbol-missing 0, symbol-extra 0 InvocationExpression::operand: equal 0, different 35, symbol-missing 0, symbol-extra 0 ItemUsage::itemDefinition: equal 49, different 9, symbol-missing 0, symbol-extra 1 - Membership::memberElementId: equal 312, different 6, symbol-missing 293, symbol-extra 0 - Membership::memberShortName: equal 609, different 0, symbol-missing 0, symbol-extra 2 - Membership::membershipOwningNamespace: equal 608, different 3, symbol-missing 0, symbol-extra 0 + Membership::memberElementId: equal 312, different 6, symbol-missing 301, symbol-extra 0 + Membership::memberShortName: equal 617, different 0, symbol-missing 0, symbol-extra 2 + Membership::membershipOwningNamespace: equal 616, different 3, symbol-missing 0, symbol-extra 0 MetadataUsage::metadataDefinition: equal 1, different 9, symbol-missing 0, symbol-extra 0 - Namespace::member: equal 533, different 64, symbol-missing 0, symbol-extra 72 - Namespace::membership: equal 541, different 56, symbol-missing 0, symbol-extra 72 - Namespace::ownedMember: equal 616, different 53, symbol-missing 0, symbol-extra 0 - Namespace::ownedMembership: equal 619, different 50, symbol-missing 0, symbol-extra 0 + Namespace::member: equal 542, different 63, symbol-missing 0, symbol-extra 72 + Namespace::membership: equal 550, different 55, symbol-missing 0, symbol-extra 72 + Namespace::ownedMember: equal 628, different 49, symbol-missing 0, symbol-extra 0 + Namespace::ownedMembership: equal 631, different 46, symbol-missing 0, symbol-extra 0 OccurrenceUsage::individualDefinition: equal 95, different 0, symbol-missing 0, symbol-extra 2 OccurrenceUsage::occurrenceDefinition: equal 86, different 9, symbol-missing 0, symbol-extra 2 - OwningMembership::ownedMemberElementId: equal 293, different 6, symbol-missing 293, symbol-extra 0 - OwningMembership::ownedMemberShortName: equal 590, different 0, symbol-missing 0, symbol-extra 2 + OwningMembership::ownedMemberElementId: equal 293, different 6, symbol-missing 301, symbol-extra 0 + OwningMembership::ownedMemberShortName: equal 598, different 0, symbol-missing 0, symbol-extra 2 PartUsage::partDefinition: equal 40, different 0, symbol-missing 0, symbol-extra 1 - Relationship::ownedRelatedElement: equal 820, different 11, symbol-missing 0, symbol-extra 0 - Relationship::owningRelatedElement: equal 825, different 6, symbol-missing 0, symbol-extra 0 - Relationship::relatedElement: equal 806, different 13, symbol-missing 5, symbol-extra 7 - Relationship::source: equal 820, different 6, symbol-missing 5, symbol-extra 0 - Relationship::target: equal 812, different 7, symbol-missing 5, symbol-extra 7 - Specialization::owningType: equal 144, different 3, symbol-missing 0, symbol-extra 0 + Relationship::ownedRelatedElement: equal 832, different 11, symbol-missing 0, symbol-extra 0 + Relationship::owningRelatedElement: equal 837, different 6, symbol-missing 0, symbol-extra 0 + Relationship::relatedElement: equal 822, different 13, symbol-missing 1, symbol-extra 7 + Relationship::source: equal 836, different 6, symbol-missing 1, symbol-extra 0 + Relationship::target: equal 828, different 7, symbol-missing 1, symbol-extra 7 + Specialization::owningType: equal 148, different 3, symbol-missing 0, symbol-extra 0 Step::behavior: equal 153, different 0, symbol-missing 0, symbol-extra 1 Step::parameter: equal 151, different 3, symbol-missing 0, symbol-extra 0 TransitionUsage::succession: equal 0, different 3, symbol-missing 0, symbol-extra 0 TransitionUsage::triggerAction: equal 0, different 3, symbol-missing 0, symbol-extra 0 - Type::directedFeature: equal 500, different 6, symbol-missing 0, symbol-extra 72 - Type::endFeature: equal 558, different 0, symbol-missing 5, symbol-extra 15 - Type::feature: equal 461, different 45, symbol-missing 0, symbol-extra 72 - Type::featureMembership: equal 467, different 39, symbol-missing 0, symbol-extra 72 - Type::inheritedFeature: equal 473, different 33, symbol-missing 0, symbol-extra 72 - Type::inheritedMembership: equal 473, different 33, symbol-missing 0, symbol-extra 72 - Type::input: equal 500, different 6, symbol-missing 0, symbol-extra 72 - Type::isConjugated: equal 572, different 6, symbol-missing 0, symbol-extra 0 - Type::multiplicity: equal 562, different 16, symbol-missing 0, symbol-extra 0 - Type::output: equal 506, different 0, symbol-missing 0, symbol-extra 72 - Type::ownedConjugator: equal 569, different 9, symbol-missing 0, symbol-extra 0 - Type::ownedEndFeature: equal 573, different 5, symbol-missing 0, symbol-extra 0 - Type::ownedFeature: equal 556, different 22, symbol-missing 0, symbol-extra 0 - Type::ownedFeatureMembership: equal 557, different 21, symbol-missing 0, symbol-extra 0 - Type::ownedSpecialization: equal 560, different 18, symbol-missing 0, symbol-extra 0 - Usage::definition: equal 184, different 9, symbol-missing 0, symbol-extra 6 - Usage::directedUsage: equal 124, different 8, symbol-missing 0, symbol-extra 67 - Usage::mayTimeVary: equal 197, different 0, symbol-missing 1, symbol-extra 1 - Usage::nestedAction: equal 190, different 9, symbol-missing 0, symbol-extra 0 - Usage::nestedAttribute: equal 197, different 2, symbol-missing 0, symbol-extra 0 - Usage::nestedConnection: equal 194, different 5, symbol-missing 0, symbol-extra 0 - Usage::nestedItem: equal 192, different 7, symbol-missing 0, symbol-extra 0 - Usage::nestedMetadata: equal 193, different 6, symbol-missing 0, symbol-extra 0 - Usage::nestedOccurrence: equal 183, different 16, symbol-missing 0, symbol-extra 0 - Usage::nestedReference: equal 188, different 11, symbol-missing 0, symbol-extra 0 - Usage::nestedUsage: equal 171, different 28, symbol-missing 0, symbol-extra 0 - Usage::owningUsage: equal 192, different 7, symbol-missing 0, symbol-extra 0 - Usage::usage: equal 108, different 24, symbol-missing 0, symbol-extra 67 -root examples/sysml-v2-training: models 100, skipped 0, matched 7424, unmatched 3715 + Type::directedFeature: equal 508, different 6, symbol-missing 0, symbol-extra 72 + Type::endFeature: equal 566, different 0, symbol-missing 5, symbol-extra 15 + Type::feature: equal 471, different 43, symbol-missing 0, symbol-extra 72 + Type::featureMembership: equal 477, different 37, symbol-missing 0, symbol-extra 72 + Type::inheritedFeature: equal 479, different 35, symbol-missing 0, symbol-extra 72 + Type::inheritedMembership: equal 478, different 36, symbol-missing 0, symbol-extra 72 + Type::input: equal 508, different 6, symbol-missing 0, symbol-extra 72 + Type::isConjugated: equal 580, different 6, symbol-missing 0, symbol-extra 0 + Type::multiplicity: equal 570, different 16, symbol-missing 0, symbol-extra 0 + Type::output: equal 514, different 0, symbol-missing 0, symbol-extra 72 + Type::ownedConjugator: equal 577, different 9, symbol-missing 0, symbol-extra 0 + Type::ownedEndFeature: equal 585, different 1, symbol-missing 0, symbol-extra 0 + Type::ownedFeature: equal 568, different 18, symbol-missing 0, symbol-extra 0 + Type::ownedFeatureMembership: equal 569, different 17, symbol-missing 0, symbol-extra 0 + Type::ownedSpecialization: equal 568, different 18, symbol-missing 0, symbol-extra 0 + Usage::definition: equal 192, different 9, symbol-missing 0, symbol-extra 6 + Usage::directedUsage: equal 132, different 8, symbol-missing 0, symbol-extra 67 + Usage::mayTimeVary: equal 205, different 0, symbol-missing 1, symbol-extra 1 + Usage::nestedAction: equal 198, different 9, symbol-missing 0, symbol-extra 0 + Usage::nestedAttribute: equal 205, different 2, symbol-missing 0, symbol-extra 0 + Usage::nestedConnection: equal 202, different 5, symbol-missing 0, symbol-extra 0 + Usage::nestedItem: equal 200, different 7, symbol-missing 0, symbol-extra 0 + Usage::nestedMetadata: equal 201, different 6, symbol-missing 0, symbol-extra 0 + Usage::nestedOccurrence: equal 191, different 16, symbol-missing 0, symbol-extra 0 + Usage::nestedReference: equal 200, different 7, symbol-missing 0, symbol-extra 0 + Usage::nestedUsage: equal 183, different 24, symbol-missing 0, symbol-extra 0 + Usage::owningUsage: equal 200, different 7, symbol-missing 0, symbol-extra 0 + Usage::usage: equal 118, different 22, symbol-missing 0, symbol-extra 67 +root examples/sysml-v2-training: models 100, skipped 0, matched 7654, unmatched 3485 AcceptActionUsage::receiverArgument: equal 1, different 4, symbol-missing 0, symbol-extra 0 AnnotatingElement::annotation: equal 45, different 6, symbol-missing 0, symbol-extra 0 Behavior::step: equal 75, different 10, symbol-missing 0, symbol-extra 0 ConjugatedPortDefinition::ownedPortConjugator: equal 0, different 8, symbol-missing 0, symbol-extra 0 - Connector::relatedFeature: equal 54, different 0, symbol-missing 73, symbol-extra 0 - Connector::sourceFeature: equal 54, different 0, symbol-missing 73, symbol-extra 0 - Connector::targetFeature: equal 54, different 0, symbol-missing 73, symbol-extra 0 + Connector::relatedFeature: equal 95, different 1, symbol-missing 31, symbol-extra 0 + Connector::sourceFeature: equal 95, different 1, symbol-missing 31, symbol-extra 0 + Connector::targetFeature: equal 96, different 0, symbol-missing 31, symbol-extra 0 ConstraintUsage::constraintDefinition: equal 43, different 0, symbol-missing 0, symbol-extra 2 Definition::directedUsage: equal 335, different 0, symbol-missing 0, symbol-extra 10 Definition::ownedAction: equal 340, different 5, symbol-missing 0, symbol-extra 0 @@ -226,34 +226,34 @@ root examples/sysml-v2-training: models 100, skipped 0, matched 7424, unmatched Definition::ownedTransition: equal 344, different 1, symbol-missing 0, symbol-extra 0 Definition::ownedUsage: equal 333, different 12, symbol-missing 0, symbol-extra 0 Definition::usage: equal 325, different 10, symbol-missing 0, symbol-extra 10 - Element::documentation: equal 7423, different 1, symbol-missing 0, symbol-extra 0 - Element::name: equal 7420, different 2, symbol-missing 0, symbol-extra 2 - Element::ownedAnnotation: equal 7418, different 6, symbol-missing 0, symbol-extra 0 - Element::ownedElement: equal 7123, different 301, symbol-missing 0, symbol-extra 0 - Element::ownedRelationship: equal 7048, different 376, symbol-missing 0, symbol-extra 0 - Element::owner: equal 7353, different 71, symbol-missing 0, symbol-extra 0 - Element::owningMembership: equal 7417, different 7, symbol-missing 0, symbol-extra 0 - Element::owningNamespace: equal 7393, different 31, symbol-missing 0, symbol-extra 0 - Element::owningRelationship: equal 7415, different 9, symbol-missing 0, symbol-extra 0 - Element::qualifiedName: equal 7419, different 0, symbol-missing 0, symbol-extra 5 - Element::shortName: equal 7355, different 0, symbol-missing 0, symbol-extra 69 + Element::documentation: equal 7653, different 1, symbol-missing 0, symbol-extra 0 + Element::name: equal 7650, different 2, symbol-missing 0, symbol-extra 2 + Element::ownedAnnotation: equal 7648, different 6, symbol-missing 0, symbol-extra 0 + Element::ownedElement: equal 7399, different 255, symbol-missing 0, symbol-extra 0 + Element::ownedRelationship: equal 7324, different 330, symbol-missing 0, symbol-extra 0 + Element::owner: equal 7583, different 71, symbol-missing 0, symbol-extra 0 + Element::owningMembership: equal 7647, different 7, symbol-missing 0, symbol-extra 0 + Element::owningNamespace: equal 7623, different 31, symbol-missing 0, symbol-extra 0 + Element::owningRelationship: equal 7645, different 9, symbol-missing 0, symbol-extra 0 + Element::qualifiedName: equal 7649, different 0, symbol-missing 0, symbol-extra 5 + Element::shortName: equal 7585, different 0, symbol-missing 0, symbol-extra 69 Expression::function: equal 427, different 0, symbol-missing 0, symbol-extra 2 Expression::result: equal 428, different 0, symbol-missing 1, symbol-extra 0 - Feature::direction: equal 2601, different 23, symbol-missing 0, symbol-extra 0 - Feature::endOwningType: equal 2618, different 6, symbol-missing 0, symbol-extra 0 - Feature::featuringType: equal 2593, different 31, symbol-missing 0, symbol-extra 0 - Feature::isComposite: equal 2619, different 5, symbol-missing 0, symbol-extra 0 - Feature::isConstant: equal 40, different 0, symbol-missing 0, symbol-extra 2584 - Feature::isEnd: equal 2618, different 6, symbol-missing 0, symbol-extra 0 - Feature::ownedRedefinition: equal 2608, different 16, symbol-missing 0, symbol-extra 0 - Feature::ownedReferenceSubsetting: equal 2614, different 10, symbol-missing 0, symbol-extra 0 - Feature::ownedSubsetting: equal 2597, different 27, symbol-missing 0, symbol-extra 0 - Feature::ownedTyping: equal 2599, different 25, symbol-missing 0, symbol-extra 0 - Feature::owningFeatureMembership: equal 2616, different 8, symbol-missing 0, symbol-extra 0 - Feature::owningType: equal 2593, different 31, symbol-missing 0, symbol-extra 0 - Feature::type: equal 2593, different 21, symbol-missing 0, symbol-extra 10 + Feature::direction: equal 2693, different 23, symbol-missing 0, symbol-extra 0 + Feature::endOwningType: equal 2710, different 6, symbol-missing 0, symbol-extra 0 + Feature::featuringType: equal 2685, different 31, symbol-missing 0, symbol-extra 0 + Feature::isComposite: equal 2711, different 5, symbol-missing 0, symbol-extra 0 + Feature::isConstant: equal 40, different 0, symbol-missing 0, symbol-extra 2676 + Feature::isEnd: equal 2710, different 6, symbol-missing 0, symbol-extra 0 + Feature::ownedRedefinition: equal 2700, different 16, symbol-missing 0, symbol-extra 0 + Feature::ownedReferenceSubsetting: equal 2706, different 10, symbol-missing 0, symbol-extra 0 + Feature::ownedSubsetting: equal 2689, different 27, symbol-missing 0, symbol-extra 0 + Feature::ownedTyping: equal 2691, different 25, symbol-missing 0, symbol-extra 0 + Feature::owningFeatureMembership: equal 2708, different 8, symbol-missing 0, symbol-extra 0 + Feature::owningType: equal 2685, different 31, symbol-missing 0, symbol-extra 0 + Feature::type: equal 2685, different 21, symbol-missing 0, symbol-extra 10 FeatureChainExpression::targetFeature: equal 51, different 0, symbol-missing 0, symbol-extra 7 - FeatureMembership::owningType: equal 1685, different 23, symbol-missing 0, symbol-extra 0 + FeatureMembership::owningType: equal 1777, different 23, symbol-missing 0, symbol-extra 0 FeatureReferenceExpression::referent: equal 161, different 2, symbol-missing 0, symbol-extra 25 FeatureTyping::owningFeature: equal 575, different 21, symbol-missing 0, symbol-extra 0 FeatureValue::featureWithValue: equal 363, different 2, symbol-missing 0, symbol-extra 0 @@ -264,69 +264,69 @@ root examples/sysml-v2-training: models 100, skipped 0, matched 7424, unmatched Function::expression: equal 19, different 5, symbol-missing 0, symbol-extra 0 InvocationExpression::operand: equal 0, different 116, symbol-missing 0, symbol-extra 0 ItemUsage::itemDefinition: equal 362, different 14, symbol-missing 0, symbol-extra 6 - Membership::memberElement: equal 3213, different 2, symbol-missing 0, symbol-extra 0 - Membership::memberElementId: equal 1638, different 1, symbol-missing 1575, symbol-extra 1 - Membership::memberName: equal 3210, different 3, symbol-missing 0, symbol-extra 2 - Membership::memberShortName: equal 3146, different 0, symbol-missing 0, symbol-extra 69 - Membership::membershipOwningNamespace: equal 3190, different 25, symbol-missing 0, symbol-extra 0 + Membership::memberElement: equal 3305, different 2, symbol-missing 0, symbol-extra 0 + Membership::memberElementId: equal 1638, different 1, symbol-missing 1667, symbol-extra 1 + Membership::memberName: equal 3302, different 3, symbol-missing 0, symbol-extra 2 + Membership::memberShortName: equal 3238, different 0, symbol-missing 0, symbol-extra 69 + Membership::membershipOwningNamespace: equal 3282, different 25, symbol-missing 0, symbol-extra 0 MetadataUsage::metadataDefinition: equal 3, different 14, symbol-missing 0, symbol-extra 6 - Namespace::member: equal 2534, different 275, symbol-missing 8, symbol-extra 262 - Namespace::membership: equal 2504, different 305, symbol-missing 8, symbol-extra 262 - Namespace::ownedMember: equal 2798, different 281, symbol-missing 0, symbol-extra 0 - Namespace::ownedMembership: equal 2759, different 320, symbol-missing 0, symbol-extra 0 + Namespace::member: equal 2658, different 235, symbol-missing 12, symbol-extra 266 + Namespace::membership: equal 2628, different 265, symbol-missing 12, symbol-extra 266 + Namespace::ownedMember: equal 2936, different 235, symbol-missing 0, symbol-extra 0 + Namespace::ownedMembership: equal 2897, different 274, symbol-missing 0, symbol-extra 0 OccurrenceUsage::individualDefinition: equal 736, different 0, symbol-missing 0, symbol-extra 8 OccurrenceUsage::occurrenceDefinition: equal 722, different 14, symbol-missing 0, symbol-extra 8 - OwningMembership::ownedMemberElement: equal 2981, different 1, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberElementId: equal 1406, different 1, symbol-missing 1575, symbol-extra 0 - OwningMembership::ownedMemberName: equal 2968, different 12, symbol-missing 0, symbol-extra 2 - OwningMembership::ownedMemberShortName: equal 2913, different 0, symbol-missing 0, symbol-extra 69 - Relationship::ownedRelatedElement: equal 4418, different 33, symbol-missing 0, symbol-extra 0 - Relationship::owningRelatedElement: equal 4405, different 46, symbol-missing 0, symbol-extra 0 - Relationship::relatedElement: equal 4301, different 68, symbol-missing 82, symbol-extra 0 - Relationship::source: equal 4332, different 46, symbol-missing 73, symbol-extra 0 - Relationship::target: equal 4346, different 23, symbol-missing 82, symbol-extra 0 + OwningMembership::ownedMemberElement: equal 3073, different 1, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberElementId: equal 1406, different 1, symbol-missing 1667, symbol-extra 0 + OwningMembership::ownedMemberName: equal 3060, different 12, symbol-missing 0, symbol-extra 2 + OwningMembership::ownedMemberShortName: equal 3005, different 0, symbol-missing 0, symbol-extra 69 + Relationship::ownedRelatedElement: equal 4556, different 33, symbol-missing 0, symbol-extra 0 + Relationship::owningRelatedElement: equal 4543, different 46, symbol-missing 0, symbol-extra 0 + Relationship::relatedElement: equal 4475, different 70, symbol-missing 44, symbol-extra 0 + Relationship::source: equal 4512, different 46, symbol-missing 31, symbol-extra 0 + Relationship::target: equal 4521, different 24, symbol-missing 44, symbol-extra 0 RequirementDefinition::text: equal 0, different 0, symbol-missing 4, symbol-extra 0 RequirementUsage::actorParameter: equal 21, different 0, symbol-missing 0, symbol-extra 1 RequirementUsage::stakeholderParameter: equal 21, different 0, symbol-missing 0, symbol-extra 1 RequirementUsage::subjectParameter: equal 21, different 0, symbol-missing 0, symbol-extra 1 RequirementUsage::text: equal 16, different 0, symbol-missing 6, symbol-extra 0 - Specialization::owningType: equal 906, different 21, symbol-missing 0, symbol-extra 0 + Specialization::owningType: equal 952, different 21, symbol-missing 0, symbol-extra 0 StateUsage::entryAction: equal 34, different 2, symbol-missing 0, symbol-extra 0 Step::behavior: equal 636, different 0, symbol-missing 0, symbol-extra 2 Step::parameter: equal 597, different 41, symbol-missing 0, symbol-extra 0 TransitionUsage::guardExpression: equal 27, different 2, symbol-missing 0, symbol-extra 0 TransitionUsage::succession: equal 0, different 29, symbol-missing 0, symbol-extra 0 TransitionUsage::triggerAction: equal 1, different 28, symbol-missing 0, symbol-extra 0 - Type::directedFeature: equal 2638, different 62, symbol-missing 8, symbol-extra 262 - Type::endFeature: equal 2960, different 0, symbol-missing 5, symbol-extra 5 - Type::feature: equal 2493, different 207, symbol-missing 8, symbol-extra 262 - Type::featureMembership: equal 2502, different 198, symbol-missing 8, symbol-extra 262 - Type::inheritedFeature: equal 2621, different 79, symbol-missing 8, symbol-extra 262 - Type::inheritedMembership: equal 2606, different 94, symbol-missing 8, symbol-extra 262 - Type::input: equal 2639, different 61, symbol-missing 8, symbol-extra 262 - Type::multiplicity: equal 2882, different 88, symbol-missing 0, symbol-extra 0 - Type::output: equal 2698, different 2, symbol-missing 8, symbol-extra 262 - Type::ownedConjugator: equal 2962, different 8, symbol-missing 0, symbol-extra 0 - Type::ownedEndFeature: equal 2895, different 75, symbol-missing 0, symbol-extra 0 - Type::ownedFeature: equal 2781, different 189, symbol-missing 0, symbol-extra 0 - Type::ownedFeatureMembership: equal 2781, different 189, symbol-missing 0, symbol-extra 0 - Type::ownedSpecialization: equal 2918, different 52, symbol-missing 0, symbol-extra 0 - Usage::definition: equal 1340, different 16, symbol-missing 0, symbol-extra 10 - Usage::directedUsage: equal 1050, different 61, symbol-missing 8, symbol-extra 247 - Usage::isReference: equal 1361, different 5, symbol-missing 0, symbol-extra 0 - Usage::mayTimeVary: equal 1360, different 0, symbol-missing 6, symbol-extra 0 - Usage::nestedAction: equal 1333, different 33, symbol-missing 0, symbol-extra 0 - Usage::nestedConnection: equal 1337, different 29, symbol-missing 0, symbol-extra 0 - Usage::nestedItem: equal 1360, different 6, symbol-missing 0, symbol-extra 0 - Usage::nestedMetadata: equal 1361, different 5, symbol-missing 0, symbol-extra 0 - Usage::nestedOccurrence: equal 1319, different 47, symbol-missing 0, symbol-extra 0 - Usage::nestedReference: equal 1264, different 102, symbol-missing 0, symbol-extra 0 - Usage::nestedTransition: equal 1365, different 1, symbol-missing 0, symbol-extra 0 - Usage::nestedUsage: equal 1238, different 128, symbol-missing 0, symbol-extra 0 - Usage::owningDefinition: equal 1359, different 7, symbol-missing 0, symbol-extra 0 - Usage::owningUsage: equal 1338, different 28, symbol-missing 0, symbol-extra 0 - Usage::usage: equal 978, different 133, symbol-missing 8, symbol-extra 247 -root examples/pilot-corpora: models 213, skipped 0, matched 45316, unmatched 15731 + Type::directedFeature: equal 2718, different 66, symbol-missing 12, symbol-extra 266 + Type::endFeature: equal 3052, different 0, symbol-missing 5, symbol-extra 5 + Type::feature: equal 2618, different 166, symbol-missing 12, symbol-extra 266 + Type::featureMembership: equal 2627, different 157, symbol-missing 12, symbol-extra 266 + Type::inheritedFeature: equal 2700, different 84, symbol-missing 12, symbol-extra 266 + Type::inheritedMembership: equal 2684, different 100, symbol-missing 12, symbol-extra 266 + Type::input: equal 2719, different 65, symbol-missing 12, symbol-extra 266 + Type::multiplicity: equal 2974, different 88, symbol-missing 0, symbol-extra 0 + Type::output: equal 2782, different 2, symbol-missing 12, symbol-extra 266 + Type::ownedConjugator: equal 3054, different 8, symbol-missing 0, symbol-extra 0 + Type::ownedEndFeature: equal 3033, different 29, symbol-missing 0, symbol-extra 0 + Type::ownedFeature: equal 2919, different 143, symbol-missing 0, symbol-extra 0 + Type::ownedFeatureMembership: equal 2919, different 143, symbol-missing 0, symbol-extra 0 + Type::ownedSpecialization: equal 3010, different 52, symbol-missing 0, symbol-extra 0 + Usage::definition: equal 1432, different 16, symbol-missing 0, symbol-extra 10 + Usage::directedUsage: equal 1130, different 65, symbol-missing 12, symbol-extra 251 + Usage::isReference: equal 1453, different 5, symbol-missing 0, symbol-extra 0 + Usage::mayTimeVary: equal 1452, different 0, symbol-missing 6, symbol-extra 0 + Usage::nestedAction: equal 1425, different 33, symbol-missing 0, symbol-extra 0 + Usage::nestedConnection: equal 1429, different 29, symbol-missing 0, symbol-extra 0 + Usage::nestedItem: equal 1452, different 6, symbol-missing 0, symbol-extra 0 + Usage::nestedMetadata: equal 1453, different 5, symbol-missing 0, symbol-extra 0 + Usage::nestedOccurrence: equal 1411, different 47, symbol-missing 0, symbol-extra 0 + Usage::nestedReference: equal 1402, different 56, symbol-missing 0, symbol-extra 0 + Usage::nestedTransition: equal 1457, different 1, symbol-missing 0, symbol-extra 0 + Usage::nestedUsage: equal 1376, different 82, symbol-missing 0, symbol-extra 0 + Usage::owningDefinition: equal 1451, different 7, symbol-missing 0, symbol-extra 0 + Usage::owningUsage: equal 1430, different 28, symbol-missing 0, symbol-extra 0 + Usage::usage: equal 1104, different 91, symbol-missing 12, symbol-extra 251 +root examples/pilot-corpora: models 213, skipped 0, matched 45856, unmatched 15191 AcceptActionUsage::receiverArgument: equal 13, different 7, symbol-missing 0, symbol-extra 0 AnnotatingElement::annotatedElement: equal 668, different 0, symbol-missing 0, symbol-extra 1 AnnotatingElement::annotation: equal 499, different 169, symbol-missing 0, symbol-extra 1 @@ -339,9 +339,9 @@ root examples/pilot-corpora: models 213, skipped 0, matched 45316, unmatched 157 ConjugatedPortDefinition::ownedPortConjugator: equal 0, different 97, symbol-missing 0, symbol-extra 0 Connector::connectorEnd: equal 511, different 0, symbol-missing 0, symbol-extra 43 Connector::defaultFeaturingType: equal 553, different 1, symbol-missing 0, symbol-extra 0 - Connector::relatedFeature: equal 346, different 5, symbol-missing 203, symbol-extra 0 - Connector::sourceFeature: equal 346, different 5, symbol-missing 203, symbol-extra 0 - Connector::targetFeature: equal 346, different 5, symbol-missing 203, symbol-extra 0 + Connector::relatedFeature: equal 445, different 8, symbol-missing 101, symbol-extra 0 + Connector::sourceFeature: equal 445, different 8, symbol-missing 101, symbol-extra 0 + Connector::targetFeature: equal 448, different 5, symbol-missing 101, symbol-extra 0 ConstraintUsage::constraintDefinition: equal 281, different 8, symbol-missing 1, symbol-extra 13 Definition::directedUsage: equal 1017, different 0, symbol-missing 0, symbol-extra 96 Definition::ownedAction: equal 1109, different 4, symbol-missing 0, symbol-extra 0 @@ -354,42 +354,42 @@ root examples/pilot-corpora: models 213, skipped 0, matched 45316, unmatched 157 Definition::ownedTransition: equal 1112, different 1, symbol-missing 0, symbol-extra 0 Definition::ownedUsage: equal 1097, different 16, symbol-missing 0, symbol-extra 0 Definition::usage: equal 1010, different 7, symbol-missing 0, symbol-extra 96 - Element::documentation: equal 45315, different 1, symbol-missing 0, symbol-extra 0 - Element::name: equal 45298, different 18, symbol-missing 0, symbol-extra 0 - Element::ownedAnnotation: equal 45151, different 165, symbol-missing 0, symbol-extra 0 - Element::ownedElement: equal 43727, different 1589, symbol-missing 0, symbol-extra 0 - Element::ownedRelationship: equal 43028, different 2288, symbol-missing 0, symbol-extra 0 - Element::owner: equal 45088, different 228, symbol-missing 0, symbol-extra 0 - Element::owningMembership: equal 45130, different 186, symbol-missing 0, symbol-extra 0 - Element::owningNamespace: equal 45058, different 258, symbol-missing 0, symbol-extra 0 - Element::owningRelationship: equal 45103, different 213, symbol-missing 0, symbol-extra 0 - Element::qualifiedName: equal 45302, different 14, symbol-missing 0, symbol-extra 0 - Element::shortName: equal 45110, different 10, symbol-missing 0, symbol-extra 196 + Element::documentation: equal 45855, different 1, symbol-missing 0, symbol-extra 0 + Element::name: equal 45838, different 18, symbol-missing 0, symbol-extra 0 + Element::ownedAnnotation: equal 45691, different 165, symbol-missing 0, symbol-extra 0 + Element::ownedElement: equal 44375, different 1481, symbol-missing 0, symbol-extra 0 + Element::ownedRelationship: equal 43676, different 2180, symbol-missing 0, symbol-extra 0 + Element::owner: equal 45628, different 228, symbol-missing 0, symbol-extra 0 + Element::owningMembership: equal 45670, different 186, symbol-missing 0, symbol-extra 0 + Element::owningNamespace: equal 45598, different 258, symbol-missing 0, symbol-extra 0 + Element::owningRelationship: equal 45643, different 213, symbol-missing 0, symbol-extra 0 + Element::qualifiedName: equal 45842, different 14, symbol-missing 0, symbol-extra 0 + Element::shortName: equal 45650, different 10, symbol-missing 0, symbol-extra 196 Expression::function: equal 3403, different 8, symbol-missing 1, symbol-extra 13 Expression::result: equal 3417, different 1, symbol-missing 7, symbol-extra 0 - Feature::chainingFeature: equal 16320, different 0, symbol-missing 0, symbol-extra 9 - Feature::crossFeature: equal 16314, different 15, symbol-missing 0, symbol-extra 0 - Feature::direction: equal 16257, different 72, symbol-missing 0, symbol-extra 0 - Feature::endOwningType: equal 16279, different 50, symbol-missing 0, symbol-extra 0 - Feature::featureTarget: equal 16317, different 3, symbol-missing 0, symbol-extra 9 - Feature::featuringType: equal 16080, different 240, symbol-missing 0, symbol-extra 9 - Feature::isComposite: equal 16236, different 93, symbol-missing 0, symbol-extra 0 - Feature::isConstant: equal 374, different 0, symbol-missing 0, symbol-extra 15955 - Feature::isEnd: equal 16279, different 50, symbol-missing 0, symbol-extra 0 - Feature::isVariable: equal 15303, different 0, symbol-missing 0, symbol-extra 1026 - Feature::ownedCrossSubsetting: equal 16314, different 15, symbol-missing 0, symbol-extra 0 - Feature::ownedFeatureChaining: equal 16328, different 1, symbol-missing 0, symbol-extra 0 - Feature::ownedFeatureInverting: equal 16327, different 2, symbol-missing 0, symbol-extra 0 - Feature::ownedRedefinition: equal 16250, different 79, symbol-missing 0, symbol-extra 0 - Feature::ownedReferenceSubsetting: equal 16210, different 119, symbol-missing 0, symbol-extra 0 - Feature::ownedSubsetting: equal 16104, different 225, symbol-missing 0, symbol-extra 0 - Feature::ownedTypeFeaturing: equal 16257, different 72, symbol-missing 0, symbol-extra 0 - Feature::ownedTyping: equal 16066, different 263, symbol-missing 0, symbol-extra 0 - Feature::owningFeatureMembership: equal 16168, different 161, symbol-missing 0, symbol-extra 0 - Feature::owningType: equal 16102, different 227, symbol-missing 0, symbol-extra 0 - Feature::type: equal 16014, different 184, symbol-missing 1, symbol-extra 130 + Feature::chainingFeature: equal 16536, different 0, symbol-missing 0, symbol-extra 9 + Feature::crossFeature: equal 16530, different 15, symbol-missing 0, symbol-extra 0 + Feature::direction: equal 16473, different 72, symbol-missing 0, symbol-extra 0 + Feature::endOwningType: equal 16495, different 50, symbol-missing 0, symbol-extra 0 + Feature::featureTarget: equal 16533, different 3, symbol-missing 0, symbol-extra 9 + Feature::featuringType: equal 16296, different 240, symbol-missing 0, symbol-extra 9 + Feature::isComposite: equal 16452, different 93, symbol-missing 0, symbol-extra 0 + Feature::isConstant: equal 374, different 0, symbol-missing 0, symbol-extra 16171 + Feature::isEnd: equal 16495, different 50, symbol-missing 0, symbol-extra 0 + Feature::isVariable: equal 15519, different 0, symbol-missing 0, symbol-extra 1026 + Feature::ownedCrossSubsetting: equal 16530, different 15, symbol-missing 0, symbol-extra 0 + Feature::ownedFeatureChaining: equal 16544, different 1, symbol-missing 0, symbol-extra 0 + Feature::ownedFeatureInverting: equal 16543, different 2, symbol-missing 0, symbol-extra 0 + Feature::ownedRedefinition: equal 16466, different 79, symbol-missing 0, symbol-extra 0 + Feature::ownedReferenceSubsetting: equal 16426, different 119, symbol-missing 0, symbol-extra 0 + Feature::ownedSubsetting: equal 16320, different 225, symbol-missing 0, symbol-extra 0 + Feature::ownedTypeFeaturing: equal 16473, different 72, symbol-missing 0, symbol-extra 0 + Feature::ownedTyping: equal 16282, different 263, symbol-missing 0, symbol-extra 0 + Feature::owningFeatureMembership: equal 16384, different 161, symbol-missing 0, symbol-extra 0 + Feature::owningType: equal 16318, different 227, symbol-missing 0, symbol-extra 0 + Feature::type: equal 16230, different 184, symbol-missing 1, symbol-extra 130 FeatureChainExpression::targetFeature: equal 293, different 0, symbol-missing 0, symbol-extra 51 - FeatureMembership::owningType: equal 10262, different 70, symbol-missing 0, symbol-extra 0 + FeatureMembership::owningType: equal 10478, different 70, symbol-missing 0, symbol-extra 0 FeatureReferenceExpression::referent: equal 1139, different 14, symbol-missing 0, symbol-extra 76 FeatureTyping::owningFeature: equal 2571, different 49, symbol-missing 0, symbol-extra 0 FeatureValue::featureWithValue: equal 3014, different 17, symbol-missing 0, symbol-extra 0 @@ -401,36 +401,36 @@ root examples/pilot-corpora: models 213, skipped 0, matched 45316, unmatched 157 InstantiationExpression::argument: equal 1153, different 6, symbol-missing 0, symbol-extra 0 InvocationExpression::operand: equal 1, different 1077, symbol-missing 0, symbol-extra 0 ItemUsage::itemDefinition: equal 1221, different 131, symbol-missing 0, symbol-extra 98 - Membership::memberElement: equal 19619, different 26, symbol-missing 0, symbol-extra 0 - Membership::memberElementId: equal 8821, different 30, symbol-missing 10786, symbol-extra 8 - Membership::memberName: equal 19620, different 25, symbol-missing 0, symbol-extra 0 - Membership::memberShortName: equal 19439, different 10, symbol-missing 0, symbol-extra 196 - Membership::membershipOwningNamespace: equal 19558, different 87, symbol-missing 0, symbol-extra 0 + Membership::memberElement: equal 19835, different 26, symbol-missing 0, symbol-extra 0 + Membership::memberElementId: equal 8821, different 30, symbol-missing 11002, symbol-extra 8 + Membership::memberName: equal 19836, different 25, symbol-missing 0, symbol-extra 0 + Membership::memberShortName: equal 19655, different 10, symbol-missing 0, symbol-extra 196 + Membership::membershipOwningNamespace: equal 19774, different 87, symbol-missing 0, symbol-extra 0 MetadataUsage::metadataDefinition: equal 10, different 131, symbol-missing 0, symbol-extra 98 - Namespace::member: equal 14397, different 1840, symbol-missing 54, symbol-extra 1992 - Namespace::membership: equal 14313, different 1924, symbol-missing 54, symbol-extra 1992 - Namespace::ownedMember: equal 16694, different 1589, symbol-missing 0, symbol-extra 0 - Namespace::ownedMembership: equal 16563, different 1720, symbol-missing 0, symbol-extra 0 + Namespace::member: equal 14702, different 1744, symbol-missing 57, symbol-extra 1996 + Namespace::membership: equal 14618, different 1828, symbol-missing 57, symbol-extra 1996 + Namespace::ownedMember: equal 17018, different 1481, symbol-missing 0, symbol-extra 0 + Namespace::ownedMembership: equal 16887, different 1612, symbol-missing 0, symbol-extra 0 OccurrenceUsage::individualDefinition: equal 3106, different 0, symbol-missing 1, symbol-extra 119 OccurrenceUsage::occurrenceDefinition: equal 2967, different 139, symbol-missing 1, symbol-extra 119 - OwningMembership::ownedMemberElement: equal 18042, different 10, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberElementId: equal 7241, different 25, symbol-missing 10786, symbol-extra 0 - OwningMembership::ownedMemberName: equal 18026, different 26, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberShortName: equal 17856, different 0, symbol-missing 0, symbol-extra 196 + OwningMembership::ownedMemberElement: equal 18258, different 10, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberElementId: equal 7241, different 25, symbol-missing 11002, symbol-extra 0 + OwningMembership::ownedMemberName: equal 18242, different 26, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberShortName: equal 18072, different 0, symbol-missing 0, symbol-extra 196 PortUsage::portDefinition: equal 376, different 0, symbol-missing 0, symbol-extra 8 - ReferenceSubsetting::referencingFeature: equal 736, different 0, symbol-missing 5, symbol-extra 0 - Relationship::ownedRelatedElement: equal 27036, different 218, symbol-missing 0, symbol-extra 0 - Relationship::owningRelatedElement: equal 27118, different 136, symbol-missing 0, symbol-extra 0 - Relationship::relatedElement: equal 26684, different 295, symbol-missing 266, symbol-extra 9 - Relationship::source: equal 26909, different 142, symbol-missing 203, symbol-extra 0 - Relationship::target: equal 26805, different 174, symbol-missing 266, symbol-extra 9 + ReferenceSubsetting::referencingFeature: equal 844, different 0, symbol-missing 5, symbol-extra 0 + Relationship::ownedRelatedElement: equal 27360, different 218, symbol-missing 0, symbol-extra 0 + Relationship::owningRelatedElement: equal 27442, different 136, symbol-missing 0, symbol-extra 0 + Relationship::relatedElement: equal 27098, different 301, symbol-missing 170, symbol-extra 9 + Relationship::source: equal 27335, different 142, symbol-missing 101, symbol-extra 0 + Relationship::target: equal 27222, different 177, symbol-missing 170, symbol-extra 9 RequirementDefinition::text: equal 20, different 0, symbol-missing 21, symbol-extra 0 RequirementUsage::actorParameter: equal 176, different 0, symbol-missing 1, symbol-extra 8 RequirementUsage::requirementDefinition: equal 184, different 0, symbol-missing 1, symbol-extra 0 RequirementUsage::stakeholderParameter: equal 176, different 0, symbol-missing 1, symbol-extra 8 RequirementUsage::subjectParameter: equal 176, different 0, symbol-missing 1, symbol-extra 8 RequirementUsage::text: equal 139, different 0, symbol-missing 46, symbol-extra 0 - Specialization::owningType: equal 5593, different 49, symbol-missing 0, symbol-extra 0 + Specialization::owningType: equal 5701, different 49, symbol-missing 0, symbol-extra 0 StateDefinition::entryAction: equal 10, different 1, symbol-missing 0, symbol-extra 0 StateUsage::doAction: equal 132, different 3, symbol-missing 0, symbol-extra 0 StateUsage::entryAction: equal 132, different 3, symbol-missing 0, symbol-extra 0 @@ -439,46 +439,46 @@ root examples/pilot-corpora: models 213, skipped 0, matched 45316, unmatched 157 TransitionUsage::guardExpression: equal 67, different 9, symbol-missing 0, symbol-extra 0 TransitionUsage::succession: equal 0, different 76, symbol-missing 0, symbol-extra 0 TransitionUsage::triggerAction: equal 17, different 59, symbol-missing 0, symbol-extra 0 - Type::differencingType: equal 17761, different 5, symbol-missing 0, symbol-extra 0 - Type::directedFeature: equal 15537, different 175, symbol-missing 54, symbol-extra 2000 - Type::endFeature: equal 17138, different 0, symbol-missing 26, symbol-extra 602 - Type::feature: equal 14486, different 1226, symbol-missing 54, symbol-extra 2000 - Type::featureMembership: equal 14518, different 1194, symbol-missing 54, symbol-extra 2000 - Type::inheritedFeature: equal 14878, different 834, symbol-missing 54, symbol-extra 2000 - Type::inheritedMembership: equal 14738, different 974, symbol-missing 54, symbol-extra 2000 - Type::input: equal 15556, different 156, symbol-missing 54, symbol-extra 2000 - Type::intersectingType: equal 17762, different 4, symbol-missing 0, symbol-extra 0 - Type::isConjugated: equal 17760, different 6, symbol-missing 0, symbol-extra 0 - Type::multiplicity: equal 16884, different 882, symbol-missing 0, symbol-extra 0 - Type::output: equal 15672, different 40, symbol-missing 54, symbol-extra 2000 - Type::ownedConjugator: equal 17663, different 103, symbol-missing 0, symbol-extra 0 - Type::ownedDifferencing: equal 17761, different 5, symbol-missing 0, symbol-extra 0 - Type::ownedDisjoining: equal 17760, different 6, symbol-missing 0, symbol-extra 0 - Type::ownedEndFeature: equal 17529, different 237, symbol-missing 0, symbol-extra 0 - Type::ownedFeature: equal 17142, different 624, symbol-missing 0, symbol-extra 0 - Type::ownedFeatureMembership: equal 17138, different 628, symbol-missing 0, symbol-extra 0 - Type::ownedIntersecting: equal 17762, different 4, symbol-missing 0, symbol-extra 0 - Type::ownedSpecialization: equal 17270, different 496, symbol-missing 0, symbol-extra 0 - Type::ownedUnioning: equal 17745, different 21, symbol-missing 0, symbol-extra 0 - Type::unioningType: equal 17745, different 19, symbol-missing 2, symbol-extra 0 - Usage::definition: equal 6744, different 151, symbol-missing 1, symbol-extra 121 - Usage::directedUsage: equal 4972, different 183, symbol-missing 54, symbol-extra 1808 - Usage::isReference: equal 6928, different 89, symbol-missing 0, symbol-extra 0 - Usage::mayTimeVary: equal 6912, different 0, symbol-missing 101, symbol-extra 4 - Usage::nestedAction: equal 6946, different 71, symbol-missing 0, symbol-extra 0 - Usage::nestedAttribute: equal 6910, different 107, symbol-missing 0, symbol-extra 0 - Usage::nestedConnection: equal 6936, different 81, symbol-missing 0, symbol-extra 0 - Usage::nestedConstraint: equal 7016, different 1, symbol-missing 0, symbol-extra 0 - Usage::nestedItem: equal 6907, different 110, symbol-missing 0, symbol-extra 0 - Usage::nestedMetadata: equal 6920, different 97, symbol-missing 0, symbol-extra 0 - Usage::nestedOccurrence: equal 6827, different 190, symbol-missing 0, symbol-extra 0 - Usage::nestedReference: equal 6692, different 325, symbol-missing 0, symbol-extra 0 - Usage::nestedTransition: equal 7014, different 3, symbol-missing 0, symbol-extra 0 - Usage::nestedUsage: equal 6420, different 597, symbol-missing 0, symbol-extra 0 - Usage::owningDefinition: equal 7014, different 3, symbol-missing 0, symbol-extra 0 - Usage::owningUsage: equal 6702, different 315, symbol-missing 0, symbol-extra 0 - Usage::usage: equal 4590, different 565, symbol-missing 54, symbol-extra 1808 -root examples/spec-examples: models 473, skipped 38, matched 7705, unmatched 3838 + Type::differencingType: equal 17977, different 5, symbol-missing 0, symbol-extra 0 + Type::directedFeature: equal 15743, different 178, symbol-missing 57, symbol-extra 2004 + Type::endFeature: equal 17354, different 0, symbol-missing 26, symbol-extra 602 + Type::feature: equal 14793, different 1128, symbol-missing 57, symbol-extra 2004 + Type::featureMembership: equal 14825, different 1096, symbol-missing 57, symbol-extra 2004 + Type::inheritedFeature: equal 15077, different 844, symbol-missing 57, symbol-extra 2004 + Type::inheritedMembership: equal 14935, different 986, symbol-missing 57, symbol-extra 2004 + Type::input: equal 15762, different 159, symbol-missing 57, symbol-extra 2004 + Type::intersectingType: equal 17978, different 4, symbol-missing 0, symbol-extra 0 + Type::isConjugated: equal 17976, different 6, symbol-missing 0, symbol-extra 0 + Type::multiplicity: equal 17100, different 882, symbol-missing 0, symbol-extra 0 + Type::output: equal 15880, different 41, symbol-missing 57, symbol-extra 2004 + Type::ownedConjugator: equal 17879, different 103, symbol-missing 0, symbol-extra 0 + Type::ownedDifferencing: equal 17977, different 5, symbol-missing 0, symbol-extra 0 + Type::ownedDisjoining: equal 17976, different 6, symbol-missing 0, symbol-extra 0 + Type::ownedEndFeature: equal 17853, different 129, symbol-missing 0, symbol-extra 0 + Type::ownedFeature: equal 17466, different 516, symbol-missing 0, symbol-extra 0 + Type::ownedFeatureMembership: equal 17462, different 520, symbol-missing 0, symbol-extra 0 + Type::ownedIntersecting: equal 17978, different 4, symbol-missing 0, symbol-extra 0 + Type::ownedSpecialization: equal 17486, different 496, symbol-missing 0, symbol-extra 0 + Type::ownedUnioning: equal 17961, different 21, symbol-missing 0, symbol-extra 0 + Type::unioningType: equal 17961, different 19, symbol-missing 2, symbol-extra 0 + Usage::definition: equal 6960, different 151, symbol-missing 1, symbol-extra 121 + Usage::directedUsage: equal 5178, different 186, symbol-missing 57, symbol-extra 1812 + Usage::isReference: equal 7144, different 89, symbol-missing 0, symbol-extra 0 + Usage::mayTimeVary: equal 7128, different 0, symbol-missing 101, symbol-extra 4 + Usage::nestedAction: equal 7162, different 71, symbol-missing 0, symbol-extra 0 + Usage::nestedAttribute: equal 7126, different 107, symbol-missing 0, symbol-extra 0 + Usage::nestedConnection: equal 7152, different 81, symbol-missing 0, symbol-extra 0 + Usage::nestedConstraint: equal 7232, different 1, symbol-missing 0, symbol-extra 0 + Usage::nestedItem: equal 7123, different 110, symbol-missing 0, symbol-extra 0 + Usage::nestedMetadata: equal 7136, different 97, symbol-missing 0, symbol-extra 0 + Usage::nestedOccurrence: equal 7043, different 190, symbol-missing 0, symbol-extra 0 + Usage::nestedReference: equal 7016, different 217, symbol-missing 0, symbol-extra 0 + Usage::nestedTransition: equal 7230, different 3, symbol-missing 0, symbol-extra 0 + Usage::nestedUsage: equal 6744, different 489, symbol-missing 0, symbol-extra 0 + Usage::owningDefinition: equal 7230, different 3, symbol-missing 0, symbol-extra 0 + Usage::owningUsage: equal 6918, different 315, symbol-missing 0, symbol-extra 0 + Usage::usage: equal 4899, different 465, symbol-missing 57, symbol-extra 1812 +root examples/spec-examples: models 473, skipped 38, matched 7865, unmatched 3678 AcceptActionUsage::receiverArgument: equal 10, different 5, symbol-missing 0, symbol-extra 0 AnnotatingElement::annotatedElement: equal 50, different 12, symbol-missing 0, symbol-extra 0 AnnotatingElement::annotation: equal 40, different 22, symbol-missing 0, symbol-extra 0 @@ -496,9 +496,9 @@ root examples/spec-examples: models 473, skipped 38, matched 7705, unmatched 383 ConjugatedPortDefinition::ownedPortConjugator: equal 0, different 3, symbol-missing 0, symbol-extra 0 Connector::connectorEnd: equal 113, different 0, symbol-missing 0, symbol-extra 18 Connector::defaultFeaturingType: equal 128, different 3, symbol-missing 0, symbol-extra 0 - Connector::relatedFeature: equal 90, different 0, symbol-missing 41, symbol-extra 0 - Connector::sourceFeature: equal 90, different 0, symbol-missing 41, symbol-extra 0 - Connector::targetFeature: equal 90, different 0, symbol-missing 41, symbol-extra 0 + Connector::relatedFeature: equal 107, different 1, symbol-missing 23, symbol-extra 0 + Connector::sourceFeature: equal 107, different 1, symbol-missing 23, symbol-extra 0 + Connector::targetFeature: equal 108, different 0, symbol-missing 23, symbol-extra 0 ConstraintUsage::constraintDefinition: equal 71, different 0, symbol-missing 0, symbol-extra 2 Definition::directedUsage: equal 179, different 0, symbol-missing 0, symbol-extra 45 Definition::ownedAction: equal 212, different 12, symbol-missing 0, symbol-extra 0 @@ -510,39 +510,39 @@ root examples/spec-examples: models 473, skipped 38, matched 7705, unmatched 383 Definition::ownedUsage: equal 202, different 22, symbol-missing 0, symbol-extra 0 Definition::usage: equal 158, different 21, symbol-missing 0, symbol-extra 45 Documentation::documentedElement: equal 11, different 9, symbol-missing 0, symbol-extra 0 - Element::documentation: equal 7694, different 11, symbol-missing 0, symbol-extra 0 - Element::name: equal 7702, different 1, symbol-missing 0, symbol-extra 2 - Element::ownedAnnotation: equal 7686, different 19, symbol-missing 0, symbol-extra 0 - Element::ownedElement: equal 7276, different 429, symbol-missing 0, symbol-extra 0 - Element::ownedRelationship: equal 7161, different 544, symbol-missing 0, symbol-extra 0 - Element::owner: equal 7650, different 55, symbol-missing 0, symbol-extra 0 - Element::owningMembership: equal 7688, different 17, symbol-missing 0, symbol-extra 0 - Element::owningNamespace: equal 7674, different 31, symbol-missing 0, symbol-extra 0 - Element::owningRelationship: equal 7676, different 29, symbol-missing 0, symbol-extra 0 - Element::qualifiedName: equal 7702, different 0, symbol-missing 0, symbol-extra 3 - Element::shortName: equal 7660, different 0, symbol-missing 0, symbol-extra 45 + Element::documentation: equal 7854, different 11, symbol-missing 0, symbol-extra 0 + Element::name: equal 7862, different 1, symbol-missing 0, symbol-extra 2 + Element::ownedAnnotation: equal 7846, different 19, symbol-missing 0, symbol-extra 0 + Element::ownedElement: equal 7468, different 397, symbol-missing 0, symbol-extra 0 + Element::ownedRelationship: equal 7353, different 512, symbol-missing 0, symbol-extra 0 + Element::owner: equal 7810, different 55, symbol-missing 0, symbol-extra 0 + Element::owningMembership: equal 7848, different 17, symbol-missing 0, symbol-extra 0 + Element::owningNamespace: equal 7834, different 31, symbol-missing 0, symbol-extra 0 + Element::owningRelationship: equal 7836, different 29, symbol-missing 0, symbol-extra 0 + Element::qualifiedName: equal 7862, different 0, symbol-missing 0, symbol-extra 3 + Element::shortName: equal 7820, different 0, symbol-missing 0, symbol-extra 45 Expression::function: equal 383, different 0, symbol-missing 0, symbol-extra 2 Expression::result: equal 379, different 2, symbol-missing 4, symbol-extra 0 - Feature::crossFeature: equal 2379, different 9, symbol-missing 2, symbol-extra 0 - Feature::direction: equal 2383, different 7, symbol-missing 0, symbol-extra 0 - Feature::endOwningType: equal 2363, different 27, symbol-missing 0, symbol-extra 0 - Feature::featuringType: equal 2329, different 59, symbol-missing 2, symbol-extra 0 - Feature::isComposite: equal 2340, different 50, symbol-missing 0, symbol-extra 0 - Feature::isConstant: equal 92, different 0, symbol-missing 0, symbol-extra 2298 - Feature::isEnd: equal 2363, different 27, symbol-missing 0, symbol-extra 0 - Feature::isVariable: equal 2033, different 0, symbol-missing 0, symbol-extra 357 - Feature::ownedCrossSubsetting: equal 2379, different 11, symbol-missing 0, symbol-extra 0 - Feature::ownedFeatureInverting: equal 2387, different 3, symbol-missing 0, symbol-extra 0 - Feature::ownedRedefinition: equal 2389, different 1, symbol-missing 0, symbol-extra 0 - Feature::ownedReferenceSubsetting: equal 2370, different 20, symbol-missing 0, symbol-extra 0 - Feature::ownedSubsetting: equal 2351, different 39, symbol-missing 0, symbol-extra 0 - Feature::ownedTypeFeaturing: equal 2382, different 8, symbol-missing 0, symbol-extra 0 - Feature::ownedTyping: equal 2367, different 23, symbol-missing 0, symbol-extra 0 - Feature::owningFeatureMembership: equal 2342, different 48, symbol-missing 0, symbol-extra 0 - Feature::owningType: equal 2332, different 58, symbol-missing 0, symbol-extra 0 - Feature::type: equal 2363, different 6, symbol-missing 0, symbol-extra 21 + Feature::crossFeature: equal 2443, different 9, symbol-missing 2, symbol-extra 0 + Feature::direction: equal 2447, different 7, symbol-missing 0, symbol-extra 0 + Feature::endOwningType: equal 2427, different 27, symbol-missing 0, symbol-extra 0 + Feature::featuringType: equal 2393, different 59, symbol-missing 2, symbol-extra 0 + Feature::isComposite: equal 2404, different 50, symbol-missing 0, symbol-extra 0 + Feature::isConstant: equal 92, different 0, symbol-missing 0, symbol-extra 2362 + Feature::isEnd: equal 2427, different 27, symbol-missing 0, symbol-extra 0 + Feature::isVariable: equal 2097, different 0, symbol-missing 0, symbol-extra 357 + Feature::ownedCrossSubsetting: equal 2443, different 11, symbol-missing 0, symbol-extra 0 + Feature::ownedFeatureInverting: equal 2451, different 3, symbol-missing 0, symbol-extra 0 + Feature::ownedRedefinition: equal 2453, different 1, symbol-missing 0, symbol-extra 0 + Feature::ownedReferenceSubsetting: equal 2434, different 20, symbol-missing 0, symbol-extra 0 + Feature::ownedSubsetting: equal 2415, different 39, symbol-missing 0, symbol-extra 0 + Feature::ownedTypeFeaturing: equal 2446, different 8, symbol-missing 0, symbol-extra 0 + Feature::ownedTyping: equal 2431, different 23, symbol-missing 0, symbol-extra 0 + Feature::owningFeatureMembership: equal 2406, different 48, symbol-missing 0, symbol-extra 0 + Feature::owningType: equal 2396, different 58, symbol-missing 0, symbol-extra 0 + Feature::type: equal 2427, different 6, symbol-missing 0, symbol-extra 21 FeatureChainExpression::targetFeature: equal 11, different 0, symbol-missing 0, symbol-extra 8 - FeatureMembership::owningType: equal 1576, different 11, symbol-missing 0, symbol-extra 0 + FeatureMembership::owningType: equal 1640, different 11, symbol-missing 0, symbol-extra 0 FeatureReferenceExpression::referent: equal 80, different 8, symbol-missing 0, symbol-extra 51 FeatureTyping::owningFeature: equal 566, different 5, symbol-missing 0, symbol-extra 0 FeatureValue::featureWithValue: equal 258, different 6, symbol-missing 0, symbol-extra 0 @@ -553,32 +553,32 @@ root examples/spec-examples: models 473, skipped 38, matched 7705, unmatched 383 Function::expression: equal 30, different 4, symbol-missing 0, symbol-extra 9 InvocationExpression::operand: equal 1, different 75, symbol-missing 0, symbol-extra 0 ItemUsage::itemDefinition: equal 201, different 0, symbol-missing 0, symbol-extra 16 - Membership::memberElement: equal 2934, different 5, symbol-missing 0, symbol-extra 0 - Membership::memberElementId: equal 1714, different 2, symbol-missing 1220, symbol-extra 3 - Membership::memberName: equal 2934, different 3, symbol-missing 0, symbol-extra 2 - Membership::memberShortName: equal 2894, different 0, symbol-missing 0, symbol-extra 45 - Membership::membershipOwningNamespace: equal 2922, different 17, symbol-missing 0, symbol-extra 0 + Membership::memberElement: equal 2998, different 5, symbol-missing 0, symbol-extra 0 + Membership::memberElementId: equal 1714, different 2, symbol-missing 1284, symbol-extra 3 + Membership::memberName: equal 2998, different 3, symbol-missing 0, symbol-extra 2 + Membership::memberShortName: equal 2958, different 0, symbol-missing 0, symbol-extra 45 + Membership::membershipOwningNamespace: equal 2986, different 17, symbol-missing 0, symbol-extra 0 MetadataAccessExpression::referencedElement: equal 0, different 0, symbol-missing 0, symbol-extra 1 MetadataUsage::metadataDefinition: equal 8, different 0, symbol-missing 0, symbol-extra 16 MultiplicityRange::bound: equal 0, different 2, symbol-missing 0, symbol-extra 0 MultiplicityRange::lowerBound: equal 0, different 2, symbol-missing 0, symbol-extra 0 MultiplicityRange::upperBound: equal 0, different 2, symbol-missing 0, symbol-extra 0 - Namespace::member: equal 2523, different 337, symbol-missing 23, symbol-extra 378 - Namespace::membership: equal 2452, different 408, symbol-missing 23, symbol-extra 378 - Namespace::ownedMember: equal 2873, different 388, symbol-missing 0, symbol-extra 0 - Namespace::ownedMembership: equal 2799, different 462, symbol-missing 0, symbol-extra 0 + Namespace::member: equal 2606, different 315, symbol-missing 25, symbol-extra 379 + Namespace::membership: equal 2535, different 386, symbol-missing 25, symbol-extra 379 + Namespace::ownedMember: equal 2969, different 356, symbol-missing 0, symbol-extra 0 + Namespace::ownedMembership: equal 2895, different 430, symbol-missing 0, symbol-extra 0 OccurrenceUsage::individualDefinition: equal 631, different 0, symbol-missing 0, symbol-extra 18 OccurrenceUsage::occurrenceDefinition: equal 631, different 0, symbol-missing 0, symbol-extra 18 - OwningMembership::ownedMemberElement: equal 2824, different 2, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberElementId: equal 1604, different 2, symbol-missing 1220, symbol-extra 0 - OwningMembership::ownedMemberName: equal 2822, different 4, symbol-missing 0, symbol-extra 0 - OwningMembership::ownedMemberShortName: equal 2781, different 0, symbol-missing 0, symbol-extra 45 - ReferenceSubsetting::referencingFeature: equal 163, different 0, symbol-missing 9, symbol-extra 0 - Relationship::ownedRelatedElement: equal 4524, different 46, symbol-missing 0, symbol-extra 0 - Relationship::owningRelatedElement: equal 4548, different 22, symbol-missing 0, symbol-extra 0 - Relationship::relatedElement: equal 4456, different 41, symbol-missing 64, symbol-extra 9 - Relationship::source: equal 4507, different 22, symbol-missing 41, symbol-extra 0 - Relationship::target: equal 4473, different 24, symbol-missing 64, symbol-extra 9 + OwningMembership::ownedMemberElement: equal 2888, different 2, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberElementId: equal 1604, different 2, symbol-missing 1284, symbol-extra 0 + OwningMembership::ownedMemberName: equal 2886, different 4, symbol-missing 0, symbol-extra 0 + OwningMembership::ownedMemberShortName: equal 2845, different 0, symbol-missing 0, symbol-extra 45 + ReferenceSubsetting::referencingFeature: equal 195, different 0, symbol-missing 9, symbol-extra 0 + Relationship::ownedRelatedElement: equal 4620, different 46, symbol-missing 0, symbol-extra 0 + Relationship::owningRelatedElement: equal 4644, different 22, symbol-missing 0, symbol-extra 0 + Relationship::relatedElement: equal 4563, different 43, symbol-missing 51, symbol-extra 9 + Relationship::source: equal 4621, different 22, symbol-missing 23, symbol-extra 0 + Relationship::target: equal 4581, different 25, symbol-missing 51, symbol-extra 9 RequirementDefinition::actorParameter: equal 10, different 0, symbol-missing 0, symbol-extra 6 RequirementDefinition::stakeholderParameter: equal 10, different 0, symbol-missing 0, symbol-extra 6 RequirementDefinition::subjectParameter: equal 10, different 0, symbol-missing 0, symbol-extra 6 @@ -587,7 +587,7 @@ root examples/spec-examples: models 473, skipped 38, matched 7705, unmatched 383 RequirementUsage::stakeholderParameter: equal 31, different 0, symbol-missing 0, symbol-extra 12 RequirementUsage::subjectParameter: equal 31, different 0, symbol-missing 0, symbol-extra 12 RequirementUsage::text: equal 39, different 0, symbol-missing 4, symbol-extra 0 - Specialization::owningType: equal 1278, different 5, symbol-missing 0, symbol-extra 0 + Specialization::owningType: equal 1310, different 5, symbol-missing 0, symbol-extra 0 StateDefinition::doAction: equal 16, different 1, symbol-missing 0, symbol-extra 0 StateDefinition::entryAction: equal 16, different 1, symbol-missing 0, symbol-extra 0 StateDefinition::state: equal 12, different 0, symbol-missing 0, symbol-extra 5 @@ -596,40 +596,40 @@ root examples/spec-examples: models 473, skipped 38, matched 7705, unmatched 383 TransitionUsage::guardExpression: equal 7, different 12, symbol-missing 0, symbol-extra 0 TransitionUsage::succession: equal 0, different 19, symbol-missing 0, symbol-extra 0 TransitionUsage::triggerAction: equal 10, different 9, symbol-missing 0, symbol-extra 0 - Type::differencingType: equal 2767, different 1, symbol-missing 0, symbol-extra 0 - Type::directedFeature: equal 2319, different 48, symbol-missing 23, symbol-extra 378 - Type::endFeature: equal 2631, different 0, symbol-missing 7, symbol-extra 130 - Type::feature: equal 2104, different 263, symbol-missing 23, symbol-extra 378 - Type::featureMembership: equal 2104, different 263, symbol-missing 23, symbol-extra 378 - Type::inheritedFeature: equal 2207, different 160, symbol-missing 23, symbol-extra 378 - Type::inheritedMembership: equal 2204, different 163, symbol-missing 23, symbol-extra 378 - Type::input: equal 2327, different 40, symbol-missing 23, symbol-extra 378 - Type::intersectingType: equal 2767, different 1, symbol-missing 0, symbol-extra 0 - Type::isConjugated: equal 2763, different 5, symbol-missing 0, symbol-extra 0 - Type::multiplicity: equal 2551, different 217, symbol-missing 0, symbol-extra 0 - Type::output: equal 2361, different 6, symbol-missing 23, symbol-extra 378 - Type::ownedConjugator: equal 2760, different 8, symbol-missing 0, symbol-extra 0 - Type::ownedDifferencing: equal 2767, different 1, symbol-missing 0, symbol-extra 0 - Type::ownedDisjoining: equal 2765, different 3, symbol-missing 0, symbol-extra 0 - Type::ownedEndFeature: equal 2694, different 74, symbol-missing 0, symbol-extra 0 - Type::ownedFeature: equal 2581, different 187, symbol-missing 0, symbol-extra 0 - Type::ownedFeatureMembership: equal 2581, different 187, symbol-missing 0, symbol-extra 0 - Type::ownedIntersecting: equal 2767, different 1, symbol-missing 0, symbol-extra 0 - Type::ownedSpecialization: equal 2700, different 68, symbol-missing 0, symbol-extra 0 - Type::ownedUnioning: equal 2765, different 3, symbol-missing 0, symbol-extra 0 - Type::unioningType: equal 2765, different 0, symbol-missing 3, symbol-extra 0 - Usage::definition: equal 1454, different 2, symbol-missing 0, symbol-extra 21 - Usage::directedUsage: equal 1102, different 52, symbol-missing 23, symbol-extra 300 - Usage::isReference: equal 1425, different 50, symbol-missing 2, symbol-extra 0 - Usage::mayTimeVary: equal 1447, different 0, symbol-missing 25, symbol-extra 5 - Usage::nestedAction: equal 1458, different 19, symbol-missing 0, symbol-extra 0 - Usage::nestedAttribute: equal 1461, different 16, symbol-missing 0, symbol-extra 0 - Usage::nestedConnection: equal 1457, different 20, symbol-missing 0, symbol-extra 0 - Usage::nestedFlow: equal 1476, different 1, symbol-missing 0, symbol-extra 0 - Usage::nestedItem: equal 1475, different 2, symbol-missing 0, symbol-extra 0 - Usage::nestedMetadata: equal 1475, different 2, symbol-missing 0, symbol-extra 0 - Usage::nestedOccurrence: equal 1448, different 29, symbol-missing 0, symbol-extra 0 - Usage::nestedReference: equal 1399, different 78, symbol-missing 0, symbol-extra 0 - Usage::nestedUsage: equal 1356, different 121, symbol-missing 0, symbol-extra 0 - Usage::owningUsage: equal 1404, different 73, symbol-missing 0, symbol-extra 0 - Usage::usage: equal 1022, different 132, symbol-missing 23, symbol-extra 300 + Type::differencingType: equal 2831, different 1, symbol-missing 0, symbol-extra 0 + Type::directedFeature: equal 2380, different 48, symbol-missing 25, symbol-extra 379 + Type::endFeature: equal 2695, different 0, symbol-missing 7, symbol-extra 130 + Type::feature: equal 2196, different 232, symbol-missing 25, symbol-extra 379 + Type::featureMembership: equal 2196, different 232, symbol-missing 25, symbol-extra 379 + Type::inheritedFeature: equal 2267, different 161, symbol-missing 25, symbol-extra 379 + Type::inheritedMembership: equal 2255, different 173, symbol-missing 25, symbol-extra 379 + Type::input: equal 2388, different 40, symbol-missing 25, symbol-extra 379 + Type::intersectingType: equal 2831, different 1, symbol-missing 0, symbol-extra 0 + Type::isConjugated: equal 2827, different 5, symbol-missing 0, symbol-extra 0 + Type::multiplicity: equal 2615, different 217, symbol-missing 0, symbol-extra 0 + Type::output: equal 2422, different 6, symbol-missing 25, symbol-extra 379 + Type::ownedConjugator: equal 2824, different 8, symbol-missing 0, symbol-extra 0 + Type::ownedDifferencing: equal 2831, different 1, symbol-missing 0, symbol-extra 0 + Type::ownedDisjoining: equal 2829, different 3, symbol-missing 0, symbol-extra 0 + Type::ownedEndFeature: equal 2790, different 42, symbol-missing 0, symbol-extra 0 + Type::ownedFeature: equal 2677, different 155, symbol-missing 0, symbol-extra 0 + Type::ownedFeatureMembership: equal 2677, different 155, symbol-missing 0, symbol-extra 0 + Type::ownedIntersecting: equal 2831, different 1, symbol-missing 0, symbol-extra 0 + Type::ownedSpecialization: equal 2764, different 68, symbol-missing 0, symbol-extra 0 + Type::ownedUnioning: equal 2829, different 3, symbol-missing 0, symbol-extra 0 + Type::unioningType: equal 2829, different 0, symbol-missing 3, symbol-extra 0 + Usage::definition: equal 1518, different 2, symbol-missing 0, symbol-extra 21 + Usage::directedUsage: equal 1163, different 52, symbol-missing 25, symbol-extra 301 + Usage::isReference: equal 1489, different 50, symbol-missing 2, symbol-extra 0 + Usage::mayTimeVary: equal 1511, different 0, symbol-missing 25, symbol-extra 5 + Usage::nestedAction: equal 1522, different 19, symbol-missing 0, symbol-extra 0 + Usage::nestedAttribute: equal 1525, different 16, symbol-missing 0, symbol-extra 0 + Usage::nestedConnection: equal 1521, different 20, symbol-missing 0, symbol-extra 0 + Usage::nestedFlow: equal 1540, different 1, symbol-missing 0, symbol-extra 0 + Usage::nestedItem: equal 1539, different 2, symbol-missing 0, symbol-extra 0 + Usage::nestedMetadata: equal 1539, different 2, symbol-missing 0, symbol-extra 0 + Usage::nestedOccurrence: equal 1512, different 29, symbol-missing 0, symbol-extra 0 + Usage::nestedReference: equal 1495, different 46, symbol-missing 0, symbol-extra 0 + Usage::nestedUsage: equal 1452, different 89, symbol-missing 0, symbol-extra 0 + Usage::owningUsage: equal 1468, different 73, symbol-missing 0, symbol-extra 0 + Usage::usage: equal 1114, different 101, symbol-missing 25, symbol-extra 301