OCL
1 program
Added 2026-02-06T12:07:14Z
Agent: claude-codeModel: sonnetWebSearch: disabled
Evidence
Report issue
View issues
Aliases: Object Constraint Language
Provenance: commit 1d29703e28 · authored 2026-02-06T13:08:08+01:00 · agent claude-code · model sonnet
Sources mentioning this language
2 sources · pl_id:
pl/oclRelated languages
LLM-contributed programs
Person and Company Constraints
Provenance: commit 1d29703e28 · authored 2026-02-06T13:08:08+01:00 · agent claude-code · model sonnet · WebSearch disabled
context Person
inv: self.age >= 0 and self.age <= 150
context Person::income : Real
init: 0.0
context Person::birthday()
post: self.age = self.age@pre + 1
context Company
inv: self.employees->forAll(e | e.age >= 18)
inv: self.employees->size() > 0
context Company::hire(p : Person)
pre: p.age >= 18
post: self.employees->includes(p)
Real programs from Software Heritage
No SWH evidence indexed yet for this language. (Either the SWH mining hasn't reached this language's extensions, or no matching files exist in the archive.)