HOL-OCL
/
ocl-examples
Archived
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Cleanup: outdated commented stuff.

This commit is contained in:
Achim D. Brucker 2016-10-05 08:01:04 +01:00
parent d031448347
commit c51543c886
1 changed files with 8 additions and 8 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

16
vehicles/vehicles.ocl
View File

@ -35,15 +35,15 @@ package Vehicles
self.truck->forAll( t:Truck | self.isAllowedToDriveTruck(
self.driversLicense.licenseClass, t.oclAsType(Vehicles.Vehicle).tons))
-- context Person
-- inv FeatureOfLicenseClassCE:
-- Truck::allInstances()->forAll( t : Truck |
-- self.isAllowedToDriveTruck( 'CE', t.tons ) )
context Person
inv FeatureOfLicenseClassCE:
Truck::allInstances()->forAll( t : Truck |
self.isAllowedToDriveTruck( 'CE', t.tons ) )
-- context Person
-- inv NoPersonMoreThan18Points:
-- self.ticket->iterate( t : Ticket ; sum : Integer = 0 |
-- sum + t.points ) <= 18
context Person
inv NoPersonMoreThan18Points:
self.ticket->iterate( t : Ticket ; sum : Integer = 0 |
sum + t.points ) <= 18
context
Person::isAllowedToDriveTruck(licenseClass:String, tons:Real):Boolean