import 'ecoreTest.ecore'

package ecoreTest

context Eclass1

inv eclass1_constraint : Tuple{
		status: Boolean = false,
		severity: Integer = 0,
		message : String = 'ecoreTest: eclass1_constraint '+self.toString()
	}.status
	
context EClass2

inv eclass2_constraint : Tuple{
		status: Boolean = false,
		severity: Integer = 0,
		message : String = 'ecoreTest: eclass2_constraint '+self.toString()
	}.status
	
endpackage