import ecore : '.....uriEcore' ;

package testsTypes : testsTypes = '....uriTestsType....'
{
	class Diagram
	{
		property Objects : Object[*|1];
	}
	class Object
	{
		attribute Name : String[?];
	}
	class Link
	{
		attribute Name : String[?];
	}
}

import '...uriTestsType....'
import '...uriEcore'
import '...uriOclPivot'
import '...uriOclLibrary'

package testsTypes

context Object
def: nomNull : String = ''

context Diagram 

-- number = 'a' for all objects
inv TypeDefini('acces to a property user defined') : self.Objects -> collect(obj|obj.oclAsType(Object)) ->  forAll(obj | obj.Name = obj.nomNull)
inv TypeDefini2('lool') : self.Objects -> collect(obj | obj.oclAsType(Object)) -> forAll(true)
inv TypeLibrary('acces to a property user defined') : self.Objects -> collect(obj|obj.oclAsType(Collection)) ->  forAll(true)
inv TypePivot('acces to a property user defined') : self.Objects -> collect(obj|obj.oclAsType(OclVoid)) ->  forAll(true)
inv TypeLink('acces to a property user defined') : self.Objects -> collect(obj|obj.oclAsType(Link)) ->  forAll(true)

endpackage