I am looking into various validation methods and their implementation.
For example, validateAssume(...) method of Interface
org.eclipse.uml2.uml.PartDecomposition.
I see a place holder for its implementation in
org.eclipse.uml2.uml.internal.impl.PartDecompositionImpl
and its related operations
package
org.eclipse.uml2.uml.internal.operations.PartDecompositionOp erations.
Are these actually implemented?
Will the implementation be manual or somehow generated from OCL
constraints?