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====