tests/org.eclipse.ocl.examples.xtext.tests/models/uml/Fruit.ocl

import 'Fruit.uml'

package fruit
context Fruit
inv: true

context Fruit::color : Color
init: Color::black

context Fruit::preferredColor() : Color
body: Color::red

endpackage