package PackCompany
context DepartmentMaxSalary
inv MaxSalary: self.employee->forAll(e: Employee | e.salary <= self.maxSalary)
endpackage
package PackCompany
context DepartmentMaxSalary::allInstances() : Set(OclAny)
body: uDepartmentMaxSalary::allInstances().ref->asSet()
endpackage
package PackCompany
context EmployeeMaxSalary2
inv MaxSalary2: self.salary <= self.employer.maxSalary
endpackage
package PackCompany
context EmployeeMaxSalary2::allInstances() : Set(OclAny)
body: uEmployeeSalary::allInstances().ref->union(iWorksIn::allInstances().refEmployee)->asSet()
endpackage