From 4284d7efe91b69052423b15afbe41005552acf73 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Tue, 26 Jan 2016 22:40:09 +0000 Subject: [PATCH] Update wikipage Interval. (Signed-off-by:jocelyn). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1489 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../eiffeltime/eiffeltime-tutorial/interval.wiki | 7 +------ 1 file changed, 1 insertion(+), 6 deletions(-) diff --git a/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki b/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki index cabb40f2..ed53b427 100644 --- a/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki +++ b/documentation/trunk/solutions/dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki @@ -4,12 +4,7 @@ Class INTERVAL [G -> ABSOLUTE] deals with intervals between two instances of the same class (an actual generic parameter substituting for G) which conforms to ABSOLUTE (specifically: DATE, TIME, DATE_TIME). ====Creation==== -The creation procedure - - make (s, e: G) - - -takes as arguments two instances of type G (or G's actual type from a declaration, e.g., my_time_interval: INTERVAL [TIME] ), which will become the start bound and the end bound of the INTERVAL. The start bound argument must be "before" the end bound argument (i.e., s <= e). make creates twins of its arguments so that the objects referenced as arguments will not change even if the values in the INTERVAL change. +The creation procedure make (s, e: G) takes as arguments two instances of type G (or G's actual type from a declaration, e.g., my_time_interval: INTERVAL [TIME] ), which will become the start bound and the end bound of the INTERVAL. The start bound argument must be "before" the end bound argument (i.e., s <= e). make creates twins of its arguments so that the objects referenced as arguments will not change even if the values in the INTERVAL change. ====Interval measurement====