Eiffel Media API
Overview Cluster Class Classes Index      Previous Next      Top Features

kernel.misc

Class KI_SYSTEM_CLOCK


Known direct descendants

KL_SYSTEM_CLOCK

Features

Invariants

indexing

description

Interface for system clocks (precision to the millisecond)

library

Gobo Eiffel Kernel Library

copyright

Copyright (c) 2001-2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

date

$Date: 2004/11/14 15:09:43 $

revision

$Revision: 1.6 $

deferred class

KI_SYSTEM_CLOCK

feature -- Access

day: INTEGER

-- Day

ensure
day_large_enough: Result >= 1
day_small_enough: Result <= 31
hour: INTEGER

-- Hour

ensure
hour_large_enough: Result >= 0
hour_small_enough: Result < 24
millisecond: INTEGER

-- Millisecond

ensure
millisecond_large_enough: Result >= 0
millisecond_small_enough: Result < 999
minute: INTEGER

-- Minute

ensure
minute_large_enough: Result >= 0
minute_small_enough: Result < 60
month: INTEGER

-- Month

ensure
month_large_enough: Result >= 1
month_small_enough: Result <= 12
second: INTEGER

-- Second

ensure
second_large_enough: Result >= 0
second_small_enough: Result < 62
year: INTEGER

-- Year

feature -- Setting

set_local_time

-- Set clock to current local time.

set_utc_time

-- Set clock to current UTC time.

invariant

-- From ANY
reflexive_equality: standard_is_equal (Current)
reflexive_conformance: conforms_to (Current)

end