tests/org.eclipse.ocl.examples.xtext.tests/models/standalone/eclipse_ocl_rule.ocl

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