/[eiffelstudio]/branches/eth/eve/Src/library/time
ViewVC logotype

Log of /branches/eth/eve/Src/library/time

View Directory Listing Directory Listing


Sticky Revision:

Revision 92723 - Directory Listing
Modified Fri Jun 21 07:47:04 2013 UTC (6 years, 5 months ago) by jasonw
<<Merged from trunk#92722.>>

Revision 92684 - Directory Listing
Modified Fri Jun 7 15:28:53 2013 UTC (6 years, 6 months ago) by jasonw
<<Merged from trunk#92682.>>

Revision 91272 - Directory Listing
Modified Fri Feb 22 12:41:46 2013 UTC (6 years, 9 months ago) by jasonw
<<Merged from trunk#91270.>>

Revision 91117 - Directory Listing
Modified Fri Feb 1 08:57:09 2013 UTC (6 years, 10 months ago) by jasonw
<<Merged from trunk#91110.>>

Revision 89123 - Directory Listing
Modified Fri Jul 13 09:43:54 2012 UTC (7 years, 5 months ago) by jasonw
<<Merged from trunk#89122.>>

Revision 88634 - Directory Listing
Modified Fri Apr 20 14:53:03 2012 UTC (7 years, 7 months ago) by jasonw
<<Merged from trunk#88631.>>


Revision 88234 - Directory Listing
Modified Fri Jan 27 09:58:45 2012 UTC (7 years, 10 months ago) by jasonw
<<Merged from trunk#88233.>>

Revision 87613 - Directory Listing
Modified Wed Oct 26 06:49:40 2011 UTC (8 years, 1 month ago) by jasonw
<<Merged from trunk#87612.>>

Revision 87305 - Directory Listing
Modified Fri Sep 23 08:21:01 2011 UTC (8 years, 2 months ago) by jasonw
<<Merged from trunk#87304.>>

Revision 87220 - Directory Listing
Modified Thu Sep 15 08:09:35 2011 UTC (8 years, 3 months ago) by jasonw
<<Merged from trunk#87219.>>

Revision 84906 - Directory Listing
Modified Fri Nov 12 12:38:36 2010 UTC (9 years, 1 month ago) by jasonw
<<Merged from trunk#84905.>>

Revision 83441 - Directory Listing
Modified Sat Jun 5 13:52:53 2010 UTC (9 years, 6 months ago) by jasonw
Renamed branch eve3 to eve. The eve branch serves as the new branch for the EVE project.

Revision 83331 - Directory Listing
Modified Wed May 26 18:49:35 2010 UTC (9 years, 6 months ago) by jasonw
Original Path: branches/eth/eve3/Src/library/time
<<Breanched from trunk@83330>> Created a branch to upgrade Eiffel Transform library to trunk.

Revision 82581 - Directory Listing
Modified Tue Mar 16 03:07:44 2010 UTC (9 years, 9 months ago) by manus
Original Path: trunk/Src/library/time
Moved the experimental branch to be the default for libraries.


Revision 79839 - Directory Listing
Modified Sat Jul 18 04:24:31 2009 UTC (10 years, 5 months ago) by manus
Original Path: trunk/Src/experimental/library/time
Prevented useless copy if `other = Current'.


Revision 79533 - Directory Listing
Modified Wed Jul 1 09:00:56 2009 UTC (10 years, 5 months ago) by tedf
Original Path: trunk/Src/experimental/library/time
* Enabled automatic EIS entry on the time library.
* Added some manual entries.
* This opens the door in EiffelStudio to the document site, and need backing from the site. With this example, the site is easier to implement and test.

Revision 79262 - Directory Listing
Modified Fri Jun 12 23:25:45 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/time
Added some missing void-safe ECFs.
Added .NET target for libraries that have .NET specific code or that are using C externals.


Revision 79072 - Directory Listing
Modified Wed Jun 3 23:37:10 2009 UTC (10 years, 6 months ago) by manus
Original Path: trunk/Src/experimental/library/time
Copy of $EIFFEL_SRC/library that will contain the void-safe SPECIAL changes.


Revision 78680 - Directory Listing
Modified Thu May 14 00:35:57 2009 UTC (10 years, 7 months ago) by tedf
Original Path: trunk/Src/library/time
Removed attribute body. To make it compilable in void-safe mode, deferred DATE_TIME_VALUE which actually should never be instantiated.

Revision 78615 - Directory Listing
Modified Mon May 11 20:34:43 2009 UTC (10 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Use alias instead of infix/prefix.


Revision 78614 - Directory Listing
Modified Mon May 11 20:33:43 2009 UTC (10 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Added `make_from_epoch' which is useful when manipulating time stamp in seconds from epoch.


Revision 78475 - Directory Listing
Modified Fri May 1 21:42:03 2009 UTC (10 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Updated to 1-5-0 schema version of ECFs.


Revision 77353 - Directory Listing
Modified Thu Feb 26 11:37:29 2009 UTC (10 years, 9 months ago) by tedf
Original Path: trunk/Src/library/time
Disabled assertions of tests in irrelevant libraries.

Revision 77298 - Directory Listing
Modified Tue Feb 24 23:44:31 2009 UTC (10 years, 9 months ago) by manus
Original Path: trunk/Src/library/time
Use new syntax for object test and attached/detachable type.


Revision 77035 - Directory Listing
Modified Fri Feb 6 06:09:08 2009 UTC (10 years, 10 months ago) by tedf
Original Path: trunk/Src/library/time
Added missing preconditions.

Revision 76820 - Directory Listing
Modified Sat Jan 24 01:31:43 2009 UTC (10 years, 10 months ago) by fivaa
Original Path: trunk/Src/library/time
Updated all test project files (enabling assertions and adding {ANY}.default_create as creation routine)


Revision 76809 - Directory Listing
Modified Fri Jan 23 06:05:42 2009 UTC (10 years, 10 months ago) by tedf
Original Path: trunk/Src/library/time
Used regular expression end of line. Exclude EIFGENs instead of tests.

Revision 76743 - Directory Listing
Modified Sat Jan 17 00:48:24 2009 UTC (10 years, 10 months ago) by fivaa
Original Path: trunk/Src/library/time
Use non void safe options for now


Revision 76677 - Directory Listing
Modified Wed Jan 14 07:46:39 2009 UTC (10 years, 11 months ago) by tedf
Original Path: trunk/Src/library/time
- Void-safe time library conversion.
- Added test directory.

Revision 76537 - Directory Listing
Modified Thu Jan 1 13:54:46 2009 UTC (10 years, 11 months ago) by tedf
Original Path: trunk/Src/library/time
Cosmetics

Revision 76536 - Directory Listing
Modified Thu Jan 1 13:52:59 2009 UTC (10 years, 11 months ago) by tedf
Original Path: trunk/Src/library/time
Added .lic  files.

Revision 76535 - Directory Listing
Modified Thu Jan 1 13:51:03 2009 UTC (10 years, 11 months ago) by tedf
Original Path: trunk/Src/library/time
Update copyright info.

Revision 76534 - Directory Listing
Modified Thu Jan 1 12:38:30 2009 UTC (10 years, 11 months ago) by tedf
Original Path: trunk/Src/library/time
Removed trailing spaces.
Updated copyright info.

Revision 76431 - Directory Listing
Modified Mon Dec 29 23:08:48 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/time
Removed unnecessary files.


Revision 76420 - Directory Listing
Modified Mon Dec 29 20:27:11 2008 UTC (10 years, 11 months ago) by manus
Original Path: trunk/Src/library/time
Removal of `is' keyword.
Replacement of `is' by `=' for constant definitions.
Replaced `indexing' by `note'.


Revision 76156 - Directory Listing
Modified Mon Dec 15 05:04:58 2008 UTC (11 years ago) by manus
Original Path: trunk/Src/library/time
Adapted our libraries to use the alias names rather than infix/prefix since now EiffelBase is using the
  alias names for its operators.


Revision 74357 - Directory Listing
Modified Wed Aug 6 17:56:52 2008 UTC (11 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Changed signature of `zero' to take `like Current' to avoid flat degree 3 errors in descendant
  classes. We had to change the status to be a non-once as otherwise it would violate VFFD.


Revision 73945 - Directory Listing
Modified Fri Jun 27 20:20:14 2008 UTC (11 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Added `?' to argument of `set_xx' routines since `xx' can be set to Void.


Revision 73074 - Directory Listing
Modified Thu Apr 17 15:44:35 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
There is no point in making the result negative since it is already negative when `is_negative' is true.


Revision 73044 - Directory Listing
Modified Wed Apr 16 16:42:23 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Fixed {DATE_DURATION}.days_count for bug#14089 and eweasel test#time002 for which the duration was off
  by +-1 day. The issue is that a duration such as 1 year and 1month could not really be iterated through
  to find the number of days since it actually depends on when you are actually going over a leap year, and
  the previous code did not take this into account, only if the current year was a leap year even if you
  started after the 29 of february. The solution was simply to use the difference in `days' between the
  origin_date and the origin_date + duration.
Fixed {DATE}.month_add so that it works with leap years too (fixes eweasel test#time002 too).
Various speed optimization about 10% faster for some date operations.


Revision 73043 - Directory Listing
Modified Wed Apr 16 16:34:57 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Added `debug_output' to DATE_TIME and TIME to make it easier to debug.


Revision 73032 - Directory Listing
Modified Wed Apr 16 00:17:40 2008 UTC (11 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Cosmetics.


Revision 69634 - Directory Listing
Modified Tue Jul 24 04:00:29 2007 UTC (12 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Fixed all occurrences of `Current.whatever' by just `whatever' since they are semantically
  identical except for the invariant check.


Revision 68087 - Directory Listing
Modified Thu May 3 17:33:51 2007 UTC (12 years, 7 months ago) by paulb
Original Path: trunk/Src/library/time
Reformatted using resave tool, which mirrors how EiffelStudio's configuration UI save the settings.

Revision 67685 - Directory Listing
Modified Mon Apr 2 18:53:48 2007 UTC (12 years, 8 months ago) by paulb
Original Path: trunk/Src/library/time
Formatted using spaces.
Set namespace to create neat namespaces in accordance to new rules.

Revision 67480 - Directory Listing
Modified Fri Mar 23 00:17:09 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Previsous fix for eweasel test#datetimestring001 was actually breaking the test. Rewrote
  code to test for the range.


Revision 67478 - Directory Listing
Modified Thu Mar 22 23:28:51 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Fixed bug#10158 and eweasel test#datetimestring001.


Revision 67377 - Directory Listing
Modified Mon Mar 19 19:26:32 2007 UTC (12 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Fixed bug#12311 where we forgot to add trailing zeros for fractional seconds part
  when it is smaller than the requested precision.


Revision 66774 - Directory Listing
Modified Tue Feb 20 00:39:51 2007 UTC (12 years, 9 months ago) by paulb
Original Path: trunk/Src/library/time
Added default namespaces for .NET

Revision 66155 - Directory Listing
Modified Tue Jan 23 22:58:47 2007 UTC (12 years, 10 months ago) by manus
Original Path: trunk/Src/library/time
Fixed bug#11894 where a large duration would result in an integer overflow making the result incorrect.
  See eweasel test#duration004.


Revision 64911 - Directory Listing
Modified Thu Nov 9 00:36:43 2006 UTC (13 years, 1 month ago) by konradm
Original Path: trunk/Src/library/time
- Added compiler support for supplier preconditions.
- In finalized code the dynamic type is now used to detect whether assertions need to be checked.
- Implemented invariant checking in finalized code.
- Changed ecf files of libraries to not have any assertion checking.

Revision 64646 - Directory Listing
Modified Mon Oct 30 17:39:41 2006 UTC (13 years, 1 month ago) by patrickr
Original Path: trunk/Src/library/time
cleaned up various configuration files

Revision 63294 - Directory Listing
Modified Tue Sep 5 21:48:06 2006 UTC (13 years, 3 months ago) by patrickr
Original Path: trunk/Src/library/time
added german and french version of the time library

Revision 59839 - Directory Listing
Modified Thu Jun 15 23:27:52 2006 UTC (13 years, 6 months ago) by manus
Original Path: trunk/Src/library/time
Moved all classes from library.net/time into library/time since our new configuration file
  permits us to do that and it makes things nicer. Updated time.ecf accordingly.
Created classic and dotnet folder for C_DATE so that the above can be done.


Revision 59836 - Directory Listing
Modified Thu Jun 15 23:11:08 2006 UTC (13 years, 6 months ago) by manus
Original Path: trunk/Src/library/time
Removed because empty.


Revision 59835 - Directory Listing
Modified Thu Jun 15 23:10:46 2006 UTC (13 years, 6 months ago) by manus
Original Path: trunk/Src/library/time
Removed because empty.


Revision 59055 - Directory Listing
Modified Thu May 18 17:14:14 2006 UTC (13 years, 7 months ago) by patrickr
Original Path: trunk/Src/library/time
changed default assertion level of libraries to require only

Revision 59034 - Directory Listing
Modified Wed May 17 20:16:53 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Renamed all .acex file into .ecf file as requested to match the
  definition we currently give in the open dialog (Eiffel Config File).
  It also makes life easier when building Windows installation since
  we don't need to use the short name with the wrong extension (use ACE
  instead of ACEX).
Updated Eiffel code that was using the acex manifest constant to use a constant
  whenever it was possible.


Revision 58798 - Directory Listing
Modified Tue May 9 18:48:16 2006 UTC (13 years, 7 months ago) by raphaels
Original Path: trunk/Src/library/time
Updated to use new .NET specific implementation of C_DATE which doesn't rely on C externals.

Revision 58575 - Directory Listing
Modified Fri Apr 28 23:46:02 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Normalized the XML content to follow result of an XSL Transformation.


Revision 58513 - Directory Listing
Modified Thu Apr 27 18:57:08 2006 UTC (13 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Updated configuration file to include a description as well as the license type used for
  the library.
Removed indexing.txt in case they were one, since now description is taken from configuration file.


Revision 58277 - Directory Listing
Modified Tue Apr 18 22:02:15 2006 UTC (13 years, 8 months ago) by patrickr
Original Path: trunk/Src/library/time
updated configuration files for new conditionals

Revision 58038 - Directory Listing
Modified Wed Apr 5 17:39:28 2006 UTC (13 years, 8 months ago) by tedf
Original Path: trunk/Src/library/time
Modified subversion eol-style to be native.
Uses different preferences library on different platforms in editor library.

Revision 58013 - Directory Listing
Modified Tue Apr 4 00:25:14 2006 UTC (13 years, 8 months ago) by tedf
Original Path: trunk/Src/library/time
Modified and some existing acex.
First commit of library acex files.

Revision 56675 - Directory Listing
Modified Mon Jan 23 02:25:44 2006 UTC (13 years, 10 months ago) by manus
Original Path: trunk/Src/library/time
Added Eiffel Forum License Version 2 and missing copyright statments.


Revision 53034 - Directory Listing
Modified Tue Jul 5 23:51:50 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Updated code to properly handle the reading of AM/PM marker which fixed
  PR #4234 and #4367.


Revision 53033 - Directory Listing
Modified Tue Jul 5 23:51:14 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Fixed DATE_TIME_PARSER when handling time in 12h format, but internally we
  would convert it into 24h format thus making `is_time' and `is_date_time'
  return False where True was expected.
Updated code to properly handle the reading of AM/PM marker.


Revision 53032 - Directory Listing
Modified Tue Jul 5 23:45:54 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Fixed `is_correct_date' so that it checks that years are less than 65535.
Use `is_correct_date' in `compact_date_valid' and `ordered_compact_date_valid'
  to avoid code duplication.


Revision 53031 - Directory Listing
Modified Tue Jul 5 23:44:26 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Fixed `is_positive' with Thomas Beale suggestion in PR# 3665 and #4655.
Fixed post-condition error in `set_origin_date_time' reported in PR# 3211 and 3607.


Revision 53030 - Directory Listing
Modified Tue Jul 5 23:30:37 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Changed invariant so that year can be `0'.


Revision 53029 - Directory Listing
Modified Tue Jul 5 23:30:15 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Immune setting of `fractional_second' in `set_fine_second' by any potential
  redefinition of `set_second' which could override `fractional_second'.


Revision 53028 - Directory Listing
Modified Tue Jul 5 23:28:50 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Fixed bug PR #3629 in `make_by_fine_seconds' where `fractional_second' will be
  reset to `0' in the call to `make_by_seconds'.
Fixed "<" so that `fractional_seconds' is compared with a precision of 1.0e-10.


Revision 53027 - Directory Listing
Modified Tue Jul 5 23:12:57 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Added support for `[0]hh12' format.


Revision 53020 - Directory Listing
Modified Tue Jul 5 22:22:15 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Allowed hh12 as a standalone format string.


Revision 53019 - Directory Listing
Modified Tue Jul 5 22:21:32 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Added AM marker in format string as otherwise it does not get printed now with
  our new implementation which puts the AM/PM marker wherever it is specified.


Revision 53018 - Directory Listing
Modified Tue Jul 5 22:20:41 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Added support for `[0]hh12' format.


Revision 52976 - Directory Listing
Modified Tue Jul 5 16:43:52 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Use `ordered_compact_date' for storage to avoid obsolete warnings.


Revision 52692 - Directory Listing
Modified Tue Jun 28 14:16:27 2005 UTC (14 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Removed calls to obsolete routines from within the library.


Revision 51756 - Directory Listing
Modified Mon Jun 6 17:13:28 2005 UTC (14 years, 6 months ago) by manus
Original Path: trunk/Src/library/time
Updated indexing clause to get rid of `note' as it will be soon an identifier.


Revision 50300 - Directory Listing
Modified Thu Apr 21 22:38:19 2005 UTC (14 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Made it work under 64 bits platform where `time_t' is not necessarly an INTEGER_32.


Revision 48074 - Directory Listing
Modified Sat Jan 29 01:07:59 2005 UTC (14 years, 10 months ago) by manus
Original Path: trunk/Src/library/time
Fixed a VWEQ compiler error not detected before since it was disabled for Void.


Revision 45544 - Directory Listing
Modified Thu Sep 9 21:36:24 2004 UTC (15 years, 3 months ago) by manus
Original Path: trunk/Src/library/time
Fixed errors reported by gelint since our compiler does not do yet system
  validity checking.


Revision 45471 - Directory Listing
Modified Thu Sep 2 15:34:50 2004 UTC (15 years, 3 months ago) by manus
Original Path: trunk/Src/library/time
Fixed precondition violation with the following code:
	date: DATE
	create date.make_by_ordered_compact_date (131336222) -- 08/30/2004
	date.month_add (6)	-- Should yield 02/28/2005
It would fail because we were computing the maximum number of days in a month
in the current year and not after having added month which changes the year.


Revision 44027 - Directory Listing
Modified Wed Jun 30 01:22:04 2004 UTC (15 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Fixed incorrect comment on `get_time'.


Revision 43211 - Directory Listing
Modified Tue May 25 02:05:19 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/library/time
Reverted back to version 1.25 for computation of a negative `base_century'
  as it was making eweasel test `datetimestring001' fail in a precondition
  violation in `DATE_TIME.make_fine'. Instead when we want a year on 2 digits
  we don't care about base_century, we only care about the last two digits.
Optmized code for date displayed on 4 digits.


Revision 43194 - Directory Listing
Modified Mon May 24 17:17:40 2004 UTC (15 years, 6 months ago) by manus
Original Path: trunk/Src/library/time
`base_century' should be stored as a positive value otherwise the following code
gives incorrect result:
	l_date: DATE_TIME
	create l_date.make_now
	print (l_date.formatted_out ("[0]mm/[0]dd/yy"))


Revision 40761 - Directory Listing
Modified Thu Dec 11 23:12:52 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/library/time
Use `deep_twin' instead of `deep_clone' which is now made obsolete.


Revision 40722 - Directory Listing
Modified Thu Dec 11 19:00:29 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/library/time
Use `twin' instead of `clone' which is now made obsolete.
Use `as_lower' and `as_upper' whenever appropriate instead of cloning and
  then calling `to_lower' or `to_upper'.


Revision 40721 - Directory Listing
Modified Thu Dec 11 19:00:07 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/library/time
Use `as_upper' instead of cloning and then calling `to_upper'.


Revision 40720 - Directory Listing
Modified Thu Dec 11 18:53:41 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/library/time
Use `twin' instead of `clone' which is now made obsolete.
Added precondition to `to_canonical' to show that `start_date' cannot be Void.


Revision 40608 - Directory Listing
Modified Thu Dec 4 08:32:09 2003 UTC (16 years ago) by manus
Original Path: trunk/Src/library/time
Fixed signature of `gmtime' and `localtime' so that no errors in `peverify'
in IL code generation.


Revision 40230 - Directory Listing
Modified Tue Nov 4 22:56:26 2003 UTC (16 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Fixed typo on `careful'.


Revision 38749 - Directory Listing
Modified Thu Aug 28 01:06:26 2003 UTC (16 years, 3 months ago) by manus
Original Path: trunk/Src/library/time
Previous fix was incomplete as the problem still remained with millisecond_now.
So now we do not use `time' anymore, but `ftime'. Then we extract its `time_t'
entry in the timeb structure that we pass to `localtime' or `gm_time'.
Meaning that only one C calls is necessary to get the current time instead of
two. So it is faster and gives accurate values.


Revision 38744 - Directory Listing
Modified Wed Aug 27 23:48:13 2003 UTC (16 years, 3 months ago) by manus
Original Path: trunk/Src/library/time
Fixed C_DATE, so that all the queries `*_now' returns the time when C_DATE
object was created or when `update' is called. Not doing it, when DATE, or
DATE_TIME was made using `make_now' on 12/31/2003 at 23:59:59, we coud end
up with a date of 01/01/2003 which is one year off.


Revision 37579 - Directory Listing
Modified Thu Jun 5 23:32:19 2003 UTC (16 years, 6 months ago) by julieng
Original Path: trunk/Src/library/time
Change order in Precusor instruction.


Revision 36681 - Directory Listing
Modified Thu Apr 10 02:25:41 2003 UTC (16 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Introduced `ordered_compact_date' to be used as an attribute instead of
 `compact_date'. The reason is quite simple we have changed the encoding
 of date so that you can simply compare the integer values to compare
 DATE_VALUES. Before you had to extract the year, month and day separately
 and it was very inefficient, now it is much more efficient, but warning
 because the year is coded on the high bits of the integer value, the `compact_date'
 value might be negative and thus this particular test in `infix "<"' from
 DATE.
 We kept `compact_date' but made all features related to it obsolete.
 We have added redefinition of `correct_mismatch' so that we can retrieve
 old date format.


Revision 36680 - Directory Listing
Modified Thu Apr 10 02:21:42 2003 UTC (16 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Improved speed of TIME instance comparison, by using `compact_time' for fast
comparison, and then `fractional_second'. Note that I assumed that
`fractional_second' is strictly less than `1.0', but there does not seem to
be any invariant here and I was too afraid of adding it.


Revision 35805 - Directory Listing
Modified Fri Feb 7 18:29:18 2003 UTC (16 years, 10 months ago) by manus
Original Path: trunk/Src/library/time
Added `make_now_utc'.


Revision 34481 - Directory Listing
Modified Sat Sep 14 03:05:48 2002 UTC (17 years, 3 months ago) by neilc
Original Path: trunk/Src/library/time
Added 'make_now_utc'


Revision 33625 - Directory Listing
Modified Tue Aug 13 16:55:08 2002 UTC (17 years, 4 months ago) by raphaels
Original Path: trunk/Src/library/time
Fixed code of `make' and `correspond' so that formats that use 2 consecutive separators are accepted.


Revision 33624 - Directory Listing
Modified Tue Aug 13 16:53:28 2002 UTC (17 years, 4 months ago) by raphaels
Original Path: trunk/Src/library/time
Fixed bug in postcondition (missing parenthesis)


Revision 33549 - Directory Listing
Modified Fri Aug 9 02:17:35 2002 UTC (17 years, 4 months ago) by raphaels
Original Path: trunk/Src/library/time
Added postcondition to specify every checker. Made `is_fractional_second' more efficient.


Revision 33534 - Directory Listing
Modified Thu Aug 8 18:25:02 2002 UTC (17 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Added ability to generate date holding UTC values.


Revision 33327 - Directory Listing
Modified Wed Jul 31 16:37:56 2002 UTC (17 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Made `month_now' to return a sensible value, ie between 1 and 12.


Revision 32991 - Directory Listing
Modified Sat Jul 13 00:03:49 2002 UTC (17 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Added `set_date' in DATE_MEASUREMENT so that one can create a date with
sensible value from the beginning, otherwise it is a pain to have to figure
in which order you have to call `set_day', `set_month' and `set_year'.


Revision 32711 - Directory Listing
Modified Thu Jul 4 05:44:14 2002 UTC (17 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Updated readme content and version info.


Revision 32710 - Directory Listing
Modified Thu Jul 4 05:39:51 2002 UTC (17 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Use of new C_DATE class to get current date/time info instead of going through a C externals.
Updated to ELKS version of STRING.


Revision 32709 - Directory Listing
Modified Thu Jul 4 05:37:08 2002 UTC (17 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
New class that encapsulate calls to `localtime' and `ftime' so that we can
have access to current year, month, day, day, hour, minute, second and millisecond.


Revision 32708 - Directory Listing
Modified Thu Jul 4 05:35:47 2002 UTC (17 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
No need for C code now, everything is done in Eiffel in new C_DATE class.


Revision 32707 - Directory Listing
Modified Thu Jul 4 05:33:13 2002 UTC (17 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Removed C code as it could have been done entirely in Eiffel.


Revision 31499 - Directory Listing
Modified Mon Apr 15 00:30:23 2002 UTC (17 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Typo in last integration, I forgot to change some queries by a local
variable because name of local was very similar to name of query.


Revision 31289 - Directory Listing
Modified Thu Apr 4 02:03:25 2002 UTC (17 years, 8 months ago) by manus
Original Path: trunk/Src/library/time
Use `clone' instead of `deep_clone' in `infix "+"'.
Fixed use of `set_month' so that it is done after setting correct number
 of days and not before which could yield to a precondition violation in
 `set_month'.


Revision 29567 - Directory Listing
Modified Fri Dec 7 22:09:05 2001 UTC (18 years ago) by manus
Original Path: trunk/Src/library/time
Authorized exports of creation routine.


Revision 29261 - Directory Listing
Modified Wed Nov 21 16:40:34 2001 UTC (18 years ago) by pschoenb
Original Path: trunk/Src/library/time
- Minor bug fixed that has been reported by David Jenkins: When
  requesting a 2-digit year string, the leading zero was missing if
  the year was < 10.

- Minor code cleanup.


Revision 29111 - Directory Listing
Modified Wed Nov 14 02:42:23 2001 UTC (18 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Added export for all feature of TIME_UTILITY but `mod' and `div'.


Revision 28542 - Directory Listing
Modified Mon Oct 29 16:31:47 2001 UTC (18 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Fixed PLATFORM into ISE_PLATFORM.


Revision 28429 - Directory Listing
Modified Thu Oct 25 17:33:39 2001 UTC (18 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Incorporated Paul Crismer changes for compilation with no error with Borland.


Revision 26946 - Directory Listing
Modified Tue Aug 14 22:20:50 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Better Makefile for time.


Revision 26945 - Directory Listing
Modified Tue Aug 14 22:08:47 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
File should not have integrated at the first place.


Revision 26944 - Directory Listing
Modified Tue Aug 14 22:08:23 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Removed non-used local variable.


Revision 26943 - Directory Listing
Modified Tue Aug 14 22:03:42 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Renamed `bench' into `studio'.


Revision 26942 - Directory Listing
Modified Tue Aug 14 22:03:33 2001 UTC (18 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Use ISE_EIFFEL instead of EIFFEL5.
Got rid of reference to EIFFEL_SRC which is only internal to ISE.


Revision 26706 - Directory Listing
Modified Fri Jul 20 02:12:57 2001 UTC (18 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
Cosmetics.


Revision 26597 - Directory Listing
Modified Sun Jul 15 20:11:45 2001 UTC (18 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Cosmetics
Fixed problems with copyright update on file which did not have a finale newline


Revision 26596 - Directory Listing
Modified Sun Jul 15 20:08:25 2001 UTC (18 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Fixed end of class removal when updating copyright.


Revision 26517 - Directory Listing
Modified Sat Jul 14 11:29:34 2001 UTC (18 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Updated copyright notice with new ISE address and new support location


Revision 26330 - Directory Listing
Modified Thu Jul 12 20:36:39 2001 UTC (18 years, 5 months ago) by raphaels
Original Path: trunk/Src/library/time
Cosmetics (commit for Patrick).


Revision 26113 - Directory Listing
Modified Wed Jul 4 17:05:28 2001 UTC (18 years, 5 months ago) by manus
Original Path: trunk/Src/library/time
Updated to new Borland C++ 5.5.1


Revision 25650 - Directory Listing
Modified Sat Jun 16 01:14:25 2001 UTC (18 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Bug in `c_year' fixed.


Revision 25634 - Directory Listing
Modified Fri Jun 15 21:31:04 2001 UTC (18 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Accidentally truncated years to two digits.


Revision 25633 - Directory Listing
Modified Fri Jun 15 20:18:47 2001 UTC (18 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Several fixes, minor additions and cosmetics.


Revision 25601 - Directory Listing
Modified Thu Jun 14 23:51:27 2001 UTC (18 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Renamed feature that had an unclear name. Old feature obsoleted.

- Cosmetics


Revision 25472 - Directory Listing
Modified Tue Jun 12 16:29:32 2001 UTC (18 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Cosmetics


Revision 25444 - Directory Listing
Modified Mon Jun 11 19:09:41 2001 UTC (18 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Cosmetics


Revision 25256 - Directory Listing
Modified Sat Jun 2 19:44:12 2001 UTC (18 years, 6 months ago) by pichery
Original Path: trunk/Src/library/time
Rebuilt makefiles for Microsoft C compiler in a consistent way across all
libraries


Revision 25255 - Directory Listing
Modified Sat Jun 2 19:42:27 2001 UTC (18 years, 6 months ago) by pichery
Original Path: trunk/Src/library/time
Replaced `make_bcc' with `make_bcb' for new Borland C compiler


Revision 24587 - Directory Listing
Modified Thu Apr 12 18:49:17 2001 UTC (18 years, 8 months ago) by pschoenb
Original Path: trunk/Src/library/time
Commented-out code and obsolete comment removed.


Revision 24165 - Directory Listing
Modified Thu Mar 8 17:28:08 2001 UTC (18 years, 9 months ago) by rogers
Original Path: trunk/Src/library/time
Modified CFLAGS to use ISE_EIFFEL and ISE_PLATFORM.


Revision 24054 - Directory Listing
Modified Fri Mar 2 23:14:42 2001 UTC (18 years, 9 months ago) by pschoenb
Original Path: trunk/Src/library/time
`month_add' violated a precondition of `set_year'. This is fixed now.


Revision 23976 - Directory Listing
Modified Fri Mar 2 00:16:29 2001 UTC (18 years, 9 months ago) by pschoenb
Original Path: trunk/Src/library/time
Copyright updated.


Revision 23975 - Directory Listing
Modified Thu Mar 1 23:56:38 2001 UTC (18 years, 9 months ago) by pschoenb
Original Path: trunk/Src/library/time
Support for date and time formats added that have no separators between
the date/time parts (e.g. 20010101)


Revision 23838 - Directory Listing
Modified Tue Feb 20 00:57:46 2001 UTC (18 years, 9 months ago) by marina
Original Path: trunk/Src/library/time
Corrected external functions.


Revision 23762 - Directory Listing
Modified Wed Jan 31 23:43:14 2001 UTC (18 years, 10 months ago) by marina
Original Path: trunk/Src/library/time
Added header file and C++ protection.


Revision 23761 - Directory Listing
Modified Wed Jan 31 23:42:36 2001 UTC (18 years, 10 months ago) by marina
Original Path: trunk/Src/library/time
Created header file.


Revision 23760 - Directory Listing
Modified Wed Jan 31 23:42:17 2001 UTC (18 years, 10 months ago) by marina
Original Path: trunk/Src/library/time
Updated for 5.0


Revision 23661 - Directory Listing
Modified Fri Dec 22 01:38:33 2000 UTC (18 years, 11 months ago) by pschoenb
Original Path: trunk/Src/library/time
Precedence problem in the invariant fixed.


Revision 23660 - Directory Listing
Modified Fri Dec 22 00:35:17 2000 UTC (18 years, 11 months ago) by pschoenb
Original Path: trunk/Src/library/time
Updated fore ELKS 2000 compliance.


Revision 23659 - Directory Listing
Modified Thu Dec 21 22:37:08 2000 UTC (18 years, 11 months ago) by pschoenb
Original Path: trunk/Src/library/time
Fixed endless looop that was accidently introduced with the last patch.


Revision 23657 - Directory Listing
Modified Thu Dec 21 22:06:08 2000 UTC (18 years, 11 months ago) by pschoenb
Original Path: trunk/Src/library/time
Fix in `correspond': There was no check is `code' was Void. This can
lead to a call on void target.


Revision 23454 - Directory Listing
Modified Fri Nov 17 18:23:26 2000 UTC (19 years, 1 month ago) by pschoenb
Original Path: trunk/Src/library/time
File "config.sh" added so the customer can extract a Makefile from
Makefile.SH on Unices in case the C library needs to be recompiled for
some reason.


Revision 23268 - Directory Listing
Modified Thu Oct 12 17:00:53 2000 UTC (19 years, 2 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Bug fixed: The validity check for times did not work when the 12 hour
  format was chosen.

- Minor refactorings

- Minor bugfixes

- Code cleanup


Revision 23032 - Directory Listing
Modified Thu Aug 10 21:13:40 2000 UTC (19 years, 4 months ago) by pschoenb
Original Path: trunk/Src/library/time
In 'c_milliseconds_now', it was accidentally forgotten to assign a value
to 'msec'. This is fixed now.


Revision 23031 - Directory Listing
Modified Thu Aug 10 20:32:38 2000 UTC (19 years, 4 months ago) by pschoenb
Original Path: trunk/Src/library/time
'c_milliseconds_now' still overflowed the range of 0-999 on Linux
sometimes. This is fixed now.


Revision 22957 - Directory Listing
Modified Wed Jul 26 18:44:39 2000 UTC (19 years, 4 months ago) by pschoenb
Original Path: trunk/Src/library/time
Bug fix: The '*_now' functions now all call 'c_get_date_time()' to
obtain a fresh date. Otherwise, crashes may occur.


Revision 22940 - Directory Listing
Modified Mon Jul 17 14:19:04 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
Smart century correction fixed. So far there was only a downwards
correction, now it also corrects the century upwards, if necessary.


Revision 22938 - Directory Listing
Modified Sat Jul 15 14:57:37 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Calls to DATE_TIME_PARSER adapted to new interface.

- Some cosmetic corrections.


Revision 22937 - Directory Listing
Modified Sat Jul 15 14:56:30 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
Smart century completion added. 2-digit year specifications are not
interpreted as follows: If the difference between the specified year and
the current year is > 50, the previous century is assumed, otherwise
the next century is assumed.


Revision 22936 - Directory Listing
Modified Fri Jul 14 22:42:23 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
- "Base century" support added.

- Some incorrect postconditions removed.

- Several minor bug fixes.


Revision 22935 - Directory Listing
Modified Fri Jul 14 22:40:35 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
"Base century" support added.


Revision 22934 - Directory Listing
Modified Fri Jul 14 22:39:12 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
Feature `date_time_valid_with_base' added.


Revision 22933 - Directory Listing
Modified Fri Jul 14 22:38:03 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
Redundant feature `time_valid_default' removed.


Revision 22932 - Directory Listing
Modified Fri Jul 14 22:37:13 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Feature `date_valid_with_base' added.

- Redundant feature `date_valid_default' removed.


Revision 22931 - Directory Listing
Modified Fri Jul 14 22:35:16 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
Calls to redundant feature `time_valid_default' removed.


Revision 22930 - Directory Listing
Modified Fri Jul 14 22:33:58 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Features `make_from_string_with_base' and
  `make_from_string_default_with_base' added.

- Some creation features were not mentioned in the creation clause.
  Fixed.


Revision 22929 - Directory Listing
Modified Fri Jul 14 22:31:23 2000 UTC (19 years, 5 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Features `make_from_string_with_base' and
  `make_from_string_default_with_base' added.

- Calls to redundant feature `date_valid_default' removed.


Revision 22804 - Directory Listing
Modified Mon Jun 12 18:01:19 2000 UTC (19 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Branch 'dead_code_revival' integrated.


Revision 22713 - Directory Listing
Modified Mon May 22 11:05:43 2000 UTC (19 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Added postcondition to `c_millisecond_now'.


Revision 22712 - Directory Listing
Modified Sun May 21 21:52:30 2000 UTC (19 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Bug in 'c_millisecond_now' fixed. Windows counts milliseconds from 0
whereas Unix counts them from one. The C layer did not consider that and
an invariant violation in TIME was caused on Unix.


Revision 22707 - Directory Listing
Modified Sun May 21 12:01:58 2000 UTC (19 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Code cleanup in `date_valid'.


Revision 22705 - Directory Listing
Modified Sat May 20 21:19:48 2000 UTC (19 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Updated to new creation syntax: "!!" and "creation" -> "create".


Revision 22704 - Directory Listing
Modified Sat May 20 21:00:02 2000 UTC (19 years, 6 months ago) by pschoenb
Original Path: trunk/Src/library/time
Integrated branch "precondition_refactoring".


Revision 22460 - Directory Listing
Modified Tue May 2 16:17:14 2000 UTC (19 years, 7 months ago) by pschoenb
Original Path: trunk/Src/library/time
Coding style fixed and spelling mistaked in header comments corrected.


Revision 22310 - Directory Listing
Modified Thu Apr 27 22:21:50 2000 UTC (19 years, 7 months ago) by pschoenb
Original Path: trunk/Src/library/time
Copyright notices updated.


Revision 22246 - Directory Listing
Modified Wed Apr 26 22:25:40 2000 UTC (19 years, 7 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Spelling of comments fixed.
- Header comment to `relative_duration' added.


Revision 22238 - Directory Listing
Modified Wed Apr 26 22:08:43 2000 UTC (19 years, 7 months ago) by pschoenb
Original Path: trunk/Src/library/time
- Code duplication removed, new query `is_correct_date'.

- `date_valid' now checks for correctness of the date contained in the
  string.

- Coding style cleanup.


Revision 22173 - Directory Listing
Modified Tue Apr 25 23:12:47 2000 UTC (19 years, 7 months ago) by pschoenb
Original Path: trunk/Src/library/time
`compact_date_valid':
- Header comment added.
- Precondition `c_d /= Void' removed, since an INTEGER cannot be void.


Revision 21927 - Directory Listing
Modified Wed Apr 19 20:47:14 2000 UTC (19 years, 8 months ago) by pschoenb
Original Path: trunk/Src/library/time
Fixed postcondition `fine_seconds_set' of `make_by_fine_seconds'.
Equality does not hold for DOUBLEs because of rounding errors, so I
introduced a fault tolerance.


Revision 20002 - Directory Listing
Modified Thu Feb 24 00:32:24 2000 UTC (19 years, 9 months ago) by manus
Original Path: trunk/Src/library/time
Renamed `fractionnal' which was incorrectly spelled into `fractional'.


Revision 19895 - Directory Listing
Modified Mon Feb 21 19:45:24 2000 UTC (19 years, 9 months ago) by pascalf
Original Path: trunk/Src/library/time
new structure, differentiating the values and the duration, and adding a common abstract notion:
the measurement.
Still need some work, especially regarding the assertions.


Revision 19603 - Directory Listing
Modified Thu Feb 3 19:33:30 2000 UTC (19 years, 10 months ago) by pascalf
Original Path: trunk/Src/library/time
Several enhancements brought: optimization, one bug fix (reported by eric bezault) and some cosmetics adding.


Revision 19594 - Directory Listing
Modified Thu Feb 3 09:17:41 2000 UTC (19 years, 10 months ago) by manus
Original Path: trunk/Src/library/time
Fixed the Makefile so that it is correctly compiled when EIFFEL4 and PLATFORM are defined.


Revision 18982 - Directory Listing
Modified Fri Nov 19 00:53:05 1999 UTC (20 years, 1 month ago) by varsw
Original Path: trunk/Src/library/time
Removed a useless file.


Revision 18979 - Directory Listing
Modified Fri Nov 19 00:45:45 1999 UTC (20 years, 1 month ago) by varsw
Original Path: trunk/Src/library/time
config.sh should have never been integrated.


Revision 18978 - Directory Listing
Modified Fri Nov 19 00:44:26 1999 UTC (20 years, 1 month ago) by varsw
Original Path: trunk/Src/library/time
New Makefile to fix a ranlib problem.


Revision 18855 - Directory Listing
Modified Mon Nov 15 17:59:26 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
New readme for 4.5


Revision 18854 - Directory Listing
Modified Mon Nov 15 17:58:10 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Moved the doc of EiffelTime to the docs directory of the EiffelDelivery.


Revision 18853 - Directory Listing
Modified Mon Nov 15 17:51:44 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Reintegrate the bitmaps with -kb.


Revision 18852 - Directory Listing
Modified Mon Nov 15 17:47:12 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Files where badly integrated.


Revision 18681 - Directory Listing
Modified Tue Nov 9 19:37:45 1999 UTC (20 years, 1 month ago) by solal
Original Path: trunk/Src/library/time
Due to an "Oracle Bug" we now check if the year have 4 digits.
If not, we put "0" instead.


Revision 18670 - Directory Listing
Modified Tue Nov 9 18:51:42 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Added new checking by making sure that when `s' is empty in `correspond' we
return False.


Revision 18572 - Directory Listing
Modified Sat Nov 6 01:35:33 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Changed y>0 by y >= 0, since we can have 0 or positive values.


Revision 18132 - Directory Listing
Modified Mon Oct 25 20:39:29 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Put the default date year into 2 digits. So instead of `1' we now have `01'.


Revision 18131 - Directory Listing
Modified Mon Oct 25 19:49:17 1999 UTC (20 years, 1 month ago) by manus
Original Path: trunk/Src/library/time
Fixed a bug in `correspond' where it could return True if the entered value has
a length of `1' because it was not entering the loop and also because we were
setting `Result' to True at the entry.
At the end of the loop, Result is True only if the code matches the entered string
if and only if we are not at the end of the STRING.


Revision 17719 - Directory Listing
Modified Fri Oct 1 17:01:18 1999 UTC (20 years, 2 months ago) by pascalf
Original Path: trunk/Src/library/time
Precondition and invariant added to DATE and DATE_TIME.
Indeed, a year can not be negative, according to the internal representation.


Revision 17434 - Directory Listing
Modified Wed Sep 22 01:05:11 1999 UTC (20 years, 2 months ago) by manus
Original Path: trunk/Src/library/time
Introduced `time_valid_default' and `date_valid_default' so that it is
clear with the `make_with_string_default'.


Revision 16987 - Directory Listing
Modified Thu Sep 2 01:43:40 1999 UTC (20 years, 3 months ago) by manus
Original Path: trunk/Src/library/time
Fixed a problem with `month_back' where we should have checked the new number of days
in the new month before trying to change the month number because we can go out of bounds.
Fortunately enough for us we did have some useful assertions to help us finding this
error.


Revision 16801 - Directory Listing
Modified Thu Aug 26 02:02:10 1999 UTC (20 years, 3 months ago) by manus
Original Path: trunk/Src/library/time
Fixed a bug when adding a month when you are in a date with 31 days where it was
failing, because it did not check if the new day will be valid in the new month.


Revision 15711 - Directory Listing
Modified Mon Jul 26 16:57:56 1999 UTC (20 years, 4 months ago) by manus
Original Path: trunk/Src/library/time
Fixed the version number to 4.4.005


Revision 14370 - Directory Listing
Modified Tue May 11 02:19:50 1999 UTC (20 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Fixed some ANSI conformance bug
Fixed a Borland compatibility problem


Revision 14369 - Directory Listing
Modified Tue May 11 02:09:20 1999 UTC (20 years, 7 months ago) by manus
Original Path: trunk/Src/library/time
Fixed a bug where you can have two separators next to each other and it was making
it violate a precondition on `is_code' from `make' for DATE_CODE.


Revision 14270 - Directory Listing
Modified Fri May 7 17:26:38 1999 UTC (20 years, 7 months ago) by pascalf
Original Path: trunk/Src/library/time
The C calls were not correctly implemented.
Corrected by pascalf.
Some work may remain to to, but this seems quite ok now.


Revision 13975 - Directory Listing
Modified Mon Apr 12 20:18:27 1999 UTC (20 years, 8 months ago) by marina
Original Path: trunk/Src/library/time
 Modified Files:
	time_duration.e
		modified the attribute `second' into a routine
		to ensure validity of the class invariant.


Revision 13895 - Directory Listing
Modified Mon Apr 5 17:34:21 1999 UTC (20 years, 8 months ago) by manuelt
Original Path: trunk/Src/library/time
Remove <> and replace them with "" in include file declaration.


Revision 13673 - Directory Listing
Modified Wed Mar 10 18:21:43 1999 UTC (20 years, 9 months ago) by moinet
Original Path: trunk/Src/library/time
Feature make_from_string_default added as a creation procedure.


Revision 13527 - Directory Listing
Modified Mon Mar 1 17:14:25 1999 UTC (20 years, 9 months ago) by manus
Original Path: trunk/Src/library/time
PDF file of the postscript document.


Revision 13524 - Directory Listing
Modified Sat Feb 27 00:06:47 1999 UTC (20 years, 9 months ago) by delivery
Original Path: trunk/Src/library/time
Fixed the CFLAGS used on Unix, we do not need PLATFORM


Revision 10823 - Directory Listing
Modified Thu Jul 30 21:43:40 1998 UTC (21 years, 4 months ago) by sireude
Original Path: trunk/Src/library/time
*** empty log message ***


Revision 10819 - Directory Listing
Modified Thu Jul 30 21:03:40 1998 UTC (21 years, 4 months ago) by sireude
Original Path: trunk/Src/library/time
*** empty log message ***


Revision 10041 - Directory Listing
Modified Wed Apr 29 18:17:24 1998 UTC (21 years, 7 months ago) by fiat
Original Path: trunk/Src/library/time
Add eiffeltime documentation in word format.


Revision 9823 - Directory Listing
Modified Wed Apr 1 17:37:11 1998 UTC (21 years, 8 months ago) by sireude
Original Path: trunk/Src/library/time
Modification regarding make_from_string functions in DATE, DATE_TIME and TIME.


Revision 9725 - Directory Listing
Modified Thu Mar 19 02:50:55 1998 UTC (21 years, 9 months ago) by wong
Original Path: trunk/Src/library/time
*** empty log message ***


Revision 9627 - Directory Listing
Modified Wed Mar 11 18:43:28 1998 UTC (21 years, 9 months ago) by wong
Original Path: trunk/Src/library/time
*** empty log message ***


Revision 9610 - Directory Listing
Modified Tue Mar 10 17:00:05 1998 UTC (21 years, 9 months ago) by wong
Original Path: trunk/Src/library/time
I created a new function in DATE, TIME and DATE_TIME which is called make_from_string.
I updated all the copyright of each file.


Revision 9114 - Directory Listing
Modified Fri Jan 30 21:40:37 1998 UTC (21 years, 10 months ago) by fiat
Original Path: trunk/Src/library/time
Copyright updated


Revision 6341 - Directory Listing
Modified Wed Aug 14 10:46:17 1996 UTC (23 years, 4 months ago) by grator
Original Path: trunk/Src/library/time
^M removed


Revision 6340 - Directory Listing
Modified Wed Aug 14 10:45:32 1996 UTC (23 years, 4 months ago) by grator
Original Path: trunk/Src/library/time
n
^M removed


Revision 6339 - Directory Listing
Added Wed Aug 14 09:31:12 1996 UTC (23 years, 4 months ago) by grator
Original Path: trunk/Src/library/time
Initial revision


  ViewVC Help
Powered by ViewVC 1.1.23