elogger API
Overview Classes Cluster Class Index          Top Features

time.date

Class DT_WEEK_DAY_FROM_SUNDAY


Direct ancestors

DT_WEEK_DAY, DT_WEEK_DAYS_FROM_SUNDAY, DT_SHARED_WEEK_DAYS_FROM_MONDAY

Creation

Features

Invariants

indexing

description

Days of the week which start on Sunday

pattern

Use features from DT_WEEK_DAYS_FROM_SUNDAY to get instances of this class

library

Gobo Eiffel Time Library

copyright

Copyright (c) 2004, Eric Bezault and others

license

Eiffel Forum License v2 (see forum.txt)

class DT_WEEK_DAY_FROM_SUNDAY

inherit

DT_WEEK_DAY
KL_IMPORTED_ANY_ROUTINES

create {DT_WEEK_DAYS_FROM_SUNDAY}

make_monday

-- Create a Monday.
-- (From DT_WEEK_DAY)

ensure

is_monday: is_monday

make_tuesday

-- Create a Tuesday.
-- (From DT_WEEK_DAY)

ensure

is_tuesday: is_tuesday

make_wednesday

-- Create a Wednesday.
-- (From DT_WEEK_DAY)

ensure

is_wednesday: is_wednesday

make_thursday

-- Create a Thursday.
-- (From DT_WEEK_DAY)

ensure

is_thursday: is_thursday

make_friday

-- Create a Friday.
-- (From DT_WEEK_DAY)

ensure

is_friday: is_friday

make_saturday

-- Create a Saturday.
-- (From DT_WEEK_DAY)

ensure

is_saturday: is_saturday

make_sunday

-- Create a Sunday.
-- (From DT_WEEK_DAY)

ensure

is_sunday: is_sunday

feature -- Access

code: INTEGER

-- Code for Current day
-- (From DT_WEEK_DAY)

ANY_: KL_ANY_ROUTINES

-- Routines that ought to be in class ANY
-- (From KL_IMPORTED_ANY_ROUTINES)

ensure

any_routines_not_void: Result /= Void

next_day: like Current

-- Week day after Current day
-- (From DT_WEEK_DAY)

ensure

next_day_not_void: Result /= Void
sunday_definition: is_sunday implies Result.is_monday
monday_definition: is_monday implies Result.is_tuesday
tuesday_definition: is_tuesday implies Result.is_wednesday
wednesday_definition: is_wednesday implies Result.is_thursday
thursday_definition: is_thursday implies Result.is_friday
friday_definition: is_friday implies Result.is_saturday
saturday_definition: is_saturday implies Result.is_sunday

previous_day: like Current

-- Week day before Current day
-- (From DT_WEEK_DAY)

ensure

previous_day_not_void: Result /= Void
sunday_definition: is_sunday implies Result.is_saturday
monday_definition: is_monday implies Result.is_sunday
tuesday_definition: is_tuesday implies Result.is_monday
wednesday_definition: is_wednesday implies Result.is_tuesday
thursday_definition: is_thursday implies Result.is_wednesday
friday_definition: is_friday implies Result.is_thursday
saturday_definition: is_saturday implies Result.is_friday

feature -- Comparison

same_week_day (other: DT_WEEK_DAY): BOOLEAN

-- Are Current and other the same week day?
-- (From DT_WEEK_DAY)

require

other_not_void: other /= Void

is_equal (other: like Current): BOOLEAN

-- Are Current and other the same week day?
-- (From ANY)

require

other_not_void: other /= Void

ensure

symmetric: Result implies other.is_equal (Current)
consistent: standard_is_equal (other) implies Result

feature -- Status report

is_friday: BOOLEAN

-- Is Current day a Friday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = friday_code)

is_monday: BOOLEAN

-- Is Current day a Monday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = monday_code)

is_saturday: BOOLEAN

-- Is Current day a Saturday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = saturday_code)

is_sunday: BOOLEAN

-- Is Current day a Sunday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = sunday_code)

is_thursday: BOOLEAN

-- Is Current day a Thursday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = thursday_code)

is_tuesday: BOOLEAN

-- Is Current day a Tuesday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = tuesday_code)

is_wednesday: BOOLEAN

-- Is Current day a Wednesday?
-- (From DT_WEEK_DAY)

ensure

definition: Result = (code = wednesday_code)

feature -- Conversion

as_week_day_from_monday: DT_WEEK_DAY_FROM_MONDAY

-- Version of Current day in a week that starts on Monday
-- (From DT_WEEK_DAY)

ensure

week_day_not_void: Result /= Void
is_monday: is_monday = Result.is_monday
is_tuesday: is_tuesday = Result.is_tuesday
is_wednesday: is_wednesday = Result.is_wednesday
is_thursday: is_thursday = Result.is_thursday
is_friday: is_friday = Result.is_friday
is_saturday: is_saturday = Result.is_saturday
is_sunday: is_sunday = Result.is_sunday

as_week_day_from_sunday: DT_WEEK_DAY_FROM_SUNDAY

-- Version of Current day in a week that starts on Sunday
-- (From DT_WEEK_DAY)

ensure

week_day_not_void: Result /= Void
is_monday: is_monday = Result.is_monday
is_tuesday: is_tuesday = Result.is_tuesday
is_wednesday: is_wednesday = Result.is_wednesday
is_thursday: is_thursday = Result.is_thursday
is_friday: is_friday = Result.is_friday
is_saturday: is_saturday = Result.is_saturday
is_sunday: is_sunday = Result.is_sunday

feature -- Codes

friday_code: INTEGER

-- Code for Friday
-- (From DT_WEEK_DAY)

monday_code: INTEGER

-- Code for Monday
-- (From DT_WEEK_DAY)

saturday_code: INTEGER

-- Code for Saturday
-- (From DT_WEEK_DAY)

sunday_code: INTEGER

-- Code for Sunday
-- (From DT_WEEK_DAY)

thursday_code: INTEGER

-- Code for Thursday
-- (From DT_WEEK_DAY)

tuesday_code: INTEGER

-- Code for Tuesday
-- (From DT_WEEK_DAY)

wednesday_code: INTEGER

-- Code for Wednesday
-- (From DT_WEEK_DAY)

feature -- Week day

Days_in_week: INTEGER

-- Number of days in a week
-- (From DT_WEEK_DAY)

ensure

definition: Result = 7

invariant

first_day: sunday_code = 1

-- From DT_WEEK_DAY
valid_code: code >= 1 and code <= Days_in_week
valid_monday: monday_code >= 1 and monday_code <= Days_in_week
valid_tuesday: tuesday_code >= 1 and tuesday_code <= Days_in_week
valid_wednesday: wednesday_code >= 1 and wednesday_code <= Days_in_week
valid_thursday: thursday_code >= 1 and thursday_code <= Days_in_week
valid_friday: friday_code >= 1 and friday_code <= Days_in_week
valid_saturday: saturday_code >= 1 and saturday_code <= Days_in_week
valid_sunday: sunday_code >= 1 and sunday_code <= Days_in_week

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

Documentation generated by edoc