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