| import 'http://www.eclipse.org/emf/2002/Ecore' |
| |
| package ecore |
| |
| context EPackage |
| |
| inv epackage_constraint : Tuple{ |
| status: Boolean = false, |
| severity: Integer = 0, |
| message : String = 'epackage_constraint: Number of eClasses: ' + self.oclContents()->size().toString() |
| }.status |
| |
| inv epackage_constraint_2 : Tuple{ |
| status: Boolean = false, |
| severity: Integer = 0, |
| message : String = 'epackage_constraint_2: Number of eClasses: ' + self.oclContents()->size().toString() |
| }.status |
| |
| context EClass |
| inv eclass_constraint : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'eclass_constraint: Number of eClasses: ' + self.ePackage.oclContents()->size().toString() |
| }.status |
| |
| context EAttribute |
| inv eattribute_constraint : Tuple{ |
| status: Boolean = false, |
| severity: Integer = -1, |
| message : String = 'eattribute_constraint: Number of attributes: ' + self.oclContainer().oclContents()->size().toString() |
| }.status |
| |
| endpackage |
