From 464e3ed112b98547120eab106b68da3974325671 Mon Sep 17 00:00:00 2001 From: eiffel-org Date: Tue, 26 Jan 2016 22:38:22 +0000 Subject: [PATCH] Update wikipage Interval. (Signed-off-by:jocelyn). git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@1488 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../dates-and-times/eiffeltime/eiffeltime-tutorial/interval.wiki | 1 + 1 file changed, 1 insertion(+) 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 24508beb..cabb40f2 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 @@ -8,6 +8,7 @@ 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====