Skip to main content

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index] [List Home]
[qvto-dev] QVT 1.3 Templated returns proposal

Hi

My proposed resolution for http://solitaire.omg.org/browse/QVT13-53.

    Regards

        Ed Willink

In 8.3.4.6 subobjectsOfType correct

Element::subobjectsOfType(OclTypetype : Classifier) : Set(ElementT)

add

The returned Set element type T is the type specified as type.

In 8.3.4.7 allSubobjectsOfType correct

Element::allSubobjectsOfType(OclTypetype : Classifier) : Set(ElementT)

add

The returned Set element type T is the type specified as type.

In 8.3.4.8 subobjectsOfKind correct

Element::subobjectsOfKind(OclTypetype : Classifier) : Set(ElementT)

add

The returned Set element type T is the type specified as type.

In 8.3.4.9 allSubobjectsOfKind correct

Element::allSubobjectsOfKind(OclTypetype : Classifier) : Set(ElementT)

add

The returned Set element type T is the type specified as type.

In 8.3.4.10 clone correct

Element::clone() : ElementT

add

The returned type T is the type of the source element as known at compile time.

In 8.3.4.11 deepclone correct

Element::deepclone() : ElementT

add

The returned type T is the type of the source element as known at compile time.

Before 8.3.5.2 objectsOfType add

8.3.5.2 objectsOfKind
Model::objectsOfKind(type : Classifier) : Set(T)
Returns the list of the objects in the model extent that have the type given.
The returned Set element type T is the type specified as type.

In 8.3.5.2 objectsOfType correct

Model::objectsOfType(OclTypetype : Classifier) : Set(ElementT)
Returns the list of the objects in the model extent that have the exact type given. The returned Element type is the type denoted by the type _expression_.The returned Set element type T is the type specified as type.

in 8.3.5.7 createEmptyModel correct

Creates and initializes a model of the given type++.



Back to the top