/**
 *	@description An example of a test library
 *	@author Joanna Chimiak-Opoka <joanna@opoki.com>
 */		
library querylib
	metamodel uml
    require ocl.deflib
	require ocl.conflib
	
	public queries
	context Class
	  /**
	  * @description 
	  *	 Checks if a number of the context class' attributes is higher than
      *	 the maximal allowed number
	  */
	  query numberOfAttributes:
		severity 1
        let queryresult : Integer = self.numberOfAttributes()
        trigger queryresult > maxNumberOfAttributes
        message "The number of attributes of class" 
                + self.name 
                + " is higher than maximal allowed number "
                + "(" + queryresult + ">" + maxNumberOfAttributes + ")"
        endmessage
	endqueries
endlibrary