Skip to content

Commit 041ae06

Browse files
committed
ST6RI-351
1 parent 7479233 commit 041ae06

5 files changed

Lines changed: 26 additions & 3 deletions

File tree

org.omg.sysml/src/org/omg/sysml/adapter/ActionUsageAdapter.java

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,7 @@ public void addDefaultGeneralType() {
5454

5555
String subactionType = getSubactionType();
5656
if (subactionType != null) {
57+
//checkAcceptActionUsageTriggerActionSpecialization
5758
addDefaultGeneralType(subactionType);
5859
}
5960

org.omg.sysml/src/org/omg/sysml/adapter/FeatureAdapter.java

Lines changed: 10 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -310,12 +310,19 @@ public static Feature getCrossFeatureOf(Feature feature) {
310310
@Override
311311
protected String getDefaultSupertype() {
312312
return getDefaultSupertype(
313+
//checkFeatureObjectSpecialization
314+
//checkFeatureSubobjectSpecialization
313315
hasStructureType()? isSubobject()? "subobject": "object":
314-
hasClassType()?
315-
isSuboccurrence()? "suboccurrence":
316+
//checkFeatureSuboccurrenceSpecialization
317+
//checkFeaturePortionSpecialization
318+
//checkFeatureOccurrenceSpecialization
319+
hasClassType()?
320+
isSuboccurrence()? "suboccurrence":
316321
isPortion()? "portion":
317322
"occurrence":
323+
//checkFeatureDataValueSpecialization
318324
hasDataType()? "dataValue":
325+
//checkFeatureSpecialization
319326
"base");
320327
}
321328

@@ -334,7 +341,7 @@ protected boolean isPortion() {
334341
(owningType instanceof org.omg.sysml.lang.sysml.Class ||
335342
owningType instanceof Feature && (hasClassType((Feature)owningType)));
336343
}
337-
344+
338345
public boolean hasClassType() {
339346
return hasClassType(getTarget());
340347
}

org.omg.sysml/src/org/omg/sysml/adapter/FlowAdapter.java

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -39,12 +39,15 @@ public Flow getTarget() {
3939
public void addDefaultGeneralType() {
4040
super.addDefaultGeneralType();
4141
if (isStructureOwnedComposite()) {
42+
//checkStepOwnedPerformanceSpecialization
4243
addDefaultGeneralType("ownedPerformance");
4344
}
4445
if (isBehaviorOwnedComposite()) {
46+
//checkStepSubperformanceSpecialization
4547
addDefaultGeneralType("subperformance");
4648
}
4749
if (isBehaviorOwned()) {
50+
//checkStepSubperformanceSpecialization
4851
addDefaultGeneralType("enclosedPerformance");
4952
}
5053
}

org.omg.sysml/src/org/omg/sysml/adapter/TriggerInvocationExpressionAdapter.java

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -54,6 +54,12 @@ public void computeImplicitGeneralTypes() {
5454
super.computeImplicitGeneralTypes();
5555
}
5656

57+
58+
/**
59+
* @satisfies checkAcceptActionUsageReceiverBindingConnector
60+
* @satisfies checkSomething
61+
* @satisfies
62+
*/
5763
public void addReceiverBinding() {
5864
//checkAcceptActionUsageReceiverBindingConnector
5965
TriggerInvocationExpression target = getTarget();

org.omg.sysml/src/org/omg/sysml/util/ImplicitGeneralizationMap.java

Lines changed: 6 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -72,12 +72,18 @@ protected ImplicitGeneralizationMap() {
7272
put(ExpressionImpl.class, "base", "Performances::evaluations");
7373
put(ExpressionImpl.class, "enclosedPerformance", "Performances::Performance::enclosedPerformances");
7474

75+
//checkFeatureSpecialization
7576
put(FeatureImpl.class, "base", "Base::things");
77+
//checkFeatureDataValueSpecialization
7678
put(FeatureImpl.class, "dataValue", "Base::dataValues");
79+
//checkFeatureOccurrenceSpecialization
7780
put(FeatureImpl.class, "occurrence", "Occurrences::occurrences");
81+
//checkFeatureSuboccurrenceSpecialization
7882
put(FeatureImpl.class, "suboccurrence", "Occurrences::Occurrence::suboccurrences");
7983
put(FeatureImpl.class, "portion", "Occurrences::Occurrence::portions");
84+
//checkFeatureObjectSpecialization
8085
put(FeatureImpl.class, "object", "Objects::objects");
86+
//checkFeatureSubobjectSpecialization
8187
put(FeatureImpl.class, "subobject", "Objects::Object::subobjects");
8288
put(FeatureImpl.class, "participant", "Links::Link::participant");
8389
put(FeatureImpl.class, "startingAt", "FeatureReferencingPerformances::FeatureAccessPerformance::onOccurrence::startingAt");

0 commit comments

Comments
 (0)