@@ -32,20 +32,20 @@ namespace SysML2.NET.Core.POCO
3232
3333 /// <summary>
3434 /// A Connector is a usage of Associations, with links restricted according to instances of the Type in
35- /// which they are used (domain of the Connector). Associations restrict what kinds of things might be
36- /// linked. The Connector further restricts these links to between values of two Features on instances
37- /// of its domain.relatedFeature =
38- /// connectorEnd.ownedReferenceSubsetting.subsettedFeaturerelatedFeature->forAll(f | if
39- /// featuringType->isEmpty() then f.isFeaturedWithin(null) else featuringType->exists(t |
40- /// f.isFeaturedWithin(t)) endif)sourceFeature = if relatedFeature->size() = 2 then
41- /// relatedFeature->at(1) else null endiftargetFeature = if sourceFeature = null then
42- /// relatedFeature else relatedFeature->excluding(sourceFeature) endifconnectorEnd =
43- /// feature->select(isEnd)not isAbstract implies relatedFeature->size() >=
44- /// 2specializesFromLibrary("Links::links")connectorEnd->size() = 2 implies
45- /// specializesFromLibrary('Links::binaryLinks')association->exists(oclIsKindOf(AssociationStructure))
35+ /// which they are used (domain of the Connector). The associations of the Connector restrict what kinds
36+ /// of things might be linked. The Connector further restricts these links to be between values of
37+ /// Features on instances of its domain.relatedFeature = connectorEnd.ownedReferenceSubsetting->
38+ /// select(s | s <> null).subsettedFeaturerelatedFeature->forAll(f | if featuringType->isEmpty()
39+ /// then f.isFeaturedWithin(null) else featuringType->exists(t | f.isFeaturedWithin(t))
40+ /// endif)sourceFeature = if relatedFeature->isEmpty() then null else relatedFeature->first()
41+ /// endiftargetFeature = if relatedFeature->size() < 2 then OrderedSet{} else
42+ /// relatedFeature-> subSequence(2, relatedFeature->size())-> asOrderedSet()
43+ /// endifnot isAbstract implies relatedFeature->size() >=
44+ /// 2specializesFromLibrary("Links::links")association->exists(oclIsKindOf(AssociationStructure))
4645 /// implies specializesFromLibrary("Objects::linkObjects")connectorEnds->size() = 2
4746 /// andassociation->exists(oclIsKindOf(AssocationStructure)) implies
48- /// specializesFromLibrary("Objects::binaryLinkObjects")connectorEnds->size() > 2 implies not
47+ /// specializesFromLibrary("Objects::binaryLinkObjects")connectorEnd->size() = 2 implies
48+ /// specializesFromLibrary("Links::binaryLinks")connectorEnds->size() > 2 implies not
4949 /// specializesFromLibrary("Links::BinaryLink")
5050 /// </summary>
5151 public partial class Connector : IConnector
@@ -147,7 +147,8 @@ public List<Feature> QueryDirectedFeature()
147147 }
148148
149149 /// <summary>
150- /// Determines how values of this Feature are determined or used (see FeatureDirectionKind).
150+ /// Indicates how values of this Feature are determined or used (as specified for the
151+ /// FeatureDirectionKind).
151152 /// </summary>
152153 [ EFeature ( isChangeable : true , isVolatile : false , isTransient : false , isUnsettable : false , isDerived : false , isOrdered : false , isUnique : true , lowerBound : 0 , upperBound : 1 , isMany : false , isRequired : false , isContainment : false ) ]
153154 public FeatureDirectionKind ? Direction { get ; set ; }
@@ -267,7 +268,7 @@ public List<Type> QueryIntersectingType()
267268
268269 /// <summary>
269270 /// Whether the Feature is a composite feature of its featuringType. If so, the values of the Feature
270- /// cannot exist after the instance of the featuringType no longer does.
271+ /// cannot exist after its featuring instance no longer does.
271272 /// </summary>
272273 [ EFeature ( isChangeable : true , isVolatile : false , isTransient : false , isUnsettable : false , isDerived : false , isOrdered : false , isUnique : true , lowerBound : 1 , upperBound : 1 , isMany : false , isRequired : false , isContainment : false ) ]
273274 public bool IsComposite { get ; set ; }
@@ -282,22 +283,22 @@ public bool QueryIsConjugated()
282283 }
283284
284285 /// <summary>
285- /// Whether the values of this Feature can always be computed from the values of other Features .
286+ /// Whether the values of this Feature can always be computed from the values of other Feature .
286287 /// </summary>
287288 [ EFeature ( isChangeable : true , isVolatile : false , isTransient : false , isUnsettable : false , isDerived : false , isOrdered : false , isUnique : true , lowerBound : 1 , upperBound : 1 , isMany : false , isRequired : false , isContainment : false ) ]
288289 public bool IsDerived { get ; set ; }
289290
290291 /// <summary>
291292 /// For a binary Connector, whether or not the Connector should be considered to have a direction from
292- /// source to target .
293+ /// sourceFeature to targetFeature .
293294 /// </summary>
294295 [ EFeature ( isChangeable : true , isVolatile : false , isTransient : false , isUnsettable : false , isDerived : false , isOrdered : false , isUnique : true , lowerBound : 1 , upperBound : 1 , isMany : false , isRequired : false , isContainment : false ) ]
295296 public bool IsDirected { get ; set ; }
296297
297298 /// <summary>
298299 /// Whether or not the this Feature is an end Feature, requiring a different interpretation of the
299- /// multiplicity of the Feature.An end Feature is always considered to map each domain entity to a
300- /// single co-domain entity , whether or not a Multiplicity is given for it. If a Multiplicity is given
300+ /// multiplicity of the Feature.An end Feature is always considered to map each domain instance to a
301+ /// single co-domain instance , whether or not a Multiplicity is given for it. If a Multiplicity is given
301302 /// for an end Feature, rather than giving the co-domain cardinality for the Feature as usual, it
302303 /// specifies a cardinality constraint for navigating across the endFeatures of the featuringType of the
303304 /// end Feature. That is, if a Type has n endFeatures, then the Multiplicity of any one of those end
@@ -349,8 +350,8 @@ public bool QueryIsNonunique()
349350 public bool IsOrdered { get ; set ; }
350351
351352 /// <summary>
352- /// Whether the values of this Feature are contained in the space and time of instances of the
353- /// Feature's domain .
353+ /// Whether the values of this Feature are contained in the space and time of instances of the domain of
354+ /// the Feature and represent the same thing as those instances .
354355 /// </summary>
355356 [ EFeature ( isChangeable : true , isVolatile : false , isTransient : false , isUnsettable : false , isDerived : false , isOrdered : false , isUnique : true , lowerBound : 1 , upperBound : 1 , isMany : false , isRequired : false , isContainment : false ) ]
356357 public bool IsPortion { get ; set ; }
@@ -366,7 +367,7 @@ public bool QueryIsNonunique()
366367 /// Type.(A Type gives conditions that must be met by whatever it classifies, but when isSufficient
367368 /// is false, things may meet those conditions but still not be classified by the Type. For example, a
368369 /// Type Car that is not sufficient could require everything it classifies to have four wheels, but not
369- /// all four wheeled things would need to be cars. However, if the type Car were sufficient, it would
370+ /// all four wheeled things would classify as cars. However, if the Type Car were sufficient, it would
370371 /// classify all four-wheeled things.)
371372 /// </summary>
372373 [ EFeature ( isChangeable : true , isVolatile : false , isTransient : false , isUnsettable : false , isDerived : false , isOrdered : false , isUnique : true , lowerBound : 1 , upperBound : 1 , isMany : false , isRequired : false , isContainment : false ) ]
0 commit comments