[news.eclipse.modeling.mdt] Validation implementation

[shahar.maoz@xxxxxxxxxxxxxx (Shahar Maoz)]

Hi,

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.PartDecompositionOperations.

Are these actually implemented?
Will the implementation be manual or somehow generated from OCL 
constraints?

Please advise.

Shahar