+
Point of view
All features
class CAR
Summary
top
Direct parents
Insert list: ANY
Overview
top
Creation features
{PARKING}
Features
{ANY}
{}
number: INTEGER_32
writable attribute
{ANY}
top
The number of the CAR.
arrival_time: DATE
writable attribute
{ANY}
top
Of this CAR in the parking.
price (departure_time: DATE, hour_price: REAL_64): REAL_64
effective function
{ANY}
top
Compute the price to pay according to departure_time and hour_price.
require
make (n: INTEGER_32, at: DATE)
effective procedure
{}
top
require
  • n > 0
  • at /= Void
ensure