| import 'http://www.eclipse.org/emf/2002/Ecore' |
| |
| package ecore |
| |
| context EClass |
| |
| --- Metrics --- |
| inv class_num : Tuple{ |
| status: Boolean = false, |
| severity: Integer = 1, |
| message : String = 'Number of eClasses: ' + self.ePackage.oclContents()->size().toString() |
| }.status |
| |
| inv class_ok_num : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'Number of eClasses: ' + self.ePackage.oclContents()->size().toString() |
| }.status |
| |
| context EClass |
| inv class_ok_num_1 : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'Number of eClasses: ' + self.ePackage.oclContents()->size().toString() |
| }.status |
| |
| context EPackage |
| inv package_num : Tuple{ |
| status: Boolean = false, |
| severity: Integer = 0, |
| message : String = 'Number of eClasses in the package: ' + self.oclContents()->size().toString() |
| }.status |
| |
| |
| inv package_ok_num : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'Number of eClasses in the package: ' + self.oclContents()->size().toString() |
| }.status |
| |
| context EPackage |
| inv package_ok_num_1 : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'Number of eClasses in the package: ' + self.oclContents()->size().toString() |
| }.status |
| |
| context EAttribute |
| inv attributes_num : Tuple{ |
| status: Boolean = false, |
| severity: Integer = -1, |
| message : String = 'Number of attributes: ' + self.oclContainer().oclContents()->size().toString() |
| }.status |
| |
| inv attributes_ok_num : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'Number of attributes: ' + self.oclContainer().oclContents()->size().toString() |
| }.status |
| |
| context EAttribute |
| inv attributes_ok_num_1 : Tuple{ |
| status: Boolean = true, |
| severity: Integer = -1, |
| message : String = 'Number of attributes: ' + self.oclContainer().oclContents()->size().toString() |
| }.status |
| |
| endpackage |