ocl/docs/publications/OCL2021Validity/FixedExample.oclinecore - www.eclipse.org/modeling/mdt - Git at Google



 package example {
 	class FixedExample {
 		attribute count : Integer;
 		invariant PositiveCount: count <> null implies count > 0;
 	}
 }


	package example {
	class FixedExample {
	attribute count : Integer;
	invariant PositiveCount: count <> null implies count > 0;
	}
	}