import dummy : 'OCLTest.ecore#/'

package OclTest
	context Fruit
		inv not_black: self.color <> Color::black
		inv not_foo: self.name <> 'Foo'
		inv not_pink: color <> Color::pink
endpackage

package OclTest
	context Fruit
		def property_helper:
			otherFruits : Set(Fruit) = Fruit.allInstances()->excluding(self)
		def operation_helper:
			getOtherFruits(dummy : Boolean) : Set(Fruit) = Fruit.allInstances()->excluding(self)
	context Apple
	    inv second_classifier_context: label.oclIsUndefined() implies true
	context Color
	    inv third_classifier_context: self <> Color::black implies true
endpackage

package OclTest
	context Fruit
		inv not_black1: self.color <> Color::black
		inv not_foo1: self.name <> 'Foo'
		inv not_pink1: color <> Color::pink
		def property_helper1:
			otherFruits1 : Set(Fruit) = Fruit.allInstances()->excluding(self)
		def operation_helper1:
			getOtherFruits1(dummy : Boolean) : Set(Fruit) = Fruit.allInstances()->excluding(self)
			
	context Apple::preferredLabel(text : String) : String
		pre text_not_null: not text.oclIsUndefined()
		pre text_not_label: text <> label
		body compute_label: if text = label then '' else text endif
		post label_is_changed: label = label@pre
		post label_is_set: label = text
		
	context Apple::name : String
		init: ''
		derive: if label.oclIsUndefined() then '' else label endif
endpackage