Class DT_SHARED_SYSTEM_CLOCK |

    indexing

>     description:

>         "Shared system clocks"

>     pattern:    "Singleton"
>     library:    "Gobo Eiffel Time Library"
>     author:     "Eric Bezault <ericb@gobosoft.com>"
>     copyright:  "Copyright (c) 2001, Eric Bezault and others"
>     license:    "Eiffel Forum License v2 (see forum.txt)"

    class interface

>     DT_SHARED_SYSTEM_CLOCK

    feature -- Access

>     system_clock: DT_SYSTEM_CLOCK
>             -- Local system clock
>         ensure
>             system_clock_not_void: Result /= Void

>     utc_system_clock: DT_UTC_SYSTEM_CLOCK
>             -- UTC system clock
>         ensure
>             utc_system_clock_not_void: Result /= Void

    end -- class DT_SHARED_SYSTEM_CLOCK