• Home
• org.umlg
• ocl
• 2.0.16
• source code
• simple_allConstraints.ocl

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

constraints.simple_allConstraints.ocl Maven / Gradle / Ivy

package tudresden::ocl20::pivot::examples::simple

-- The age of Person can not be negative.
context Person
inv: age >= 0

-- Students should be 16 or older.
context Student
inv: age > 16

-- Professors should be at least 30.
context Professor
inv: not (age < 30)


-- Returns the age of a Person.
context Person
def: getAge(): Integer = age


-- Before returning the age, the age must be defined.
context Person::getAge()
pre: not age.oclIsUndefined()


-- The result of getAge must equal to the age of a Person.
context Person::getAge()
post: result = age

endpackage