/[eiffelstudio]
ViewVC logotype

Revision 91621


Jump to revision: Previous Next
Author: manus_eiffel
Date: Thu Oct 16 00:06:12 2008 UTC (11 years, 1 month ago)
Changed paths: 1
Log Message:
Ensured that `argument_array' is using object_comparison and added an invariant showing that at all
  time `argument_array' should be equal to the `internal_argument_array' one. This can highlight bugs
  in code of people who would be tempted to modify `argument_array' and thus breaking the ARGUMENTS class.


Changed paths

Path Details
DirectoryFreeELKS/trunk/library/kernel/arguments.e modified , text changed

  ViewVC Help
Powered by ViewVC 1.1.23