[ref_impl_eiffel] [410] Correct preconditions on has_xxx_code routines so as to check that codes are at least ac- and at- style codes.

Reference Implementation: Eiffel (archive)

svn1 19 December 2007 10:43 1

Revision: 410
Author: thomas.beale

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [409] AWB-13: Fix ARCHETYPE_TERM_CODE_TOOLS.is_valid_code, which was clearly wrong, because although it correctly checked whether the given code stated with "ac" or "at", it then ignored the result and returned True solely on the basis o Reference Implementation: Eiffel (archive)	0	7	15 December 2007
[ref_impl_eiffel] [525] AWB-15: Fix ARCHETYPE_VALIDATOR.validate_found_codes, which was not checking that at-codes were at the correct specialisation level. Reference Implementation: Eiffel (archive)	0	7	20 February 2008
[ref_impl_eiffel] [942] Correct errors: Reference Implementation: Eiffel (archive)	0	8	5 June 2010
[ref_impl_eiffel] [1863] Code restyling Reference Implementation: Eiffel (archive)	0	14	11 October 2012
[ref_impl_eiffel] [522] AWB-15: There is a precondition failure in ARCHETYPE_TERM_CODE_TOOLS.specialisation_depth_from_code if the code is invalid. Reference Implementation: Eiffel (archive)	0	15	19 February 2008
[ref_impl_eiffel] [362] Fix some weak conditions in archetype validity checking. Reference Implementation: Eiffel (archive)	0	9	10 September 2007
[ref_impl_eiffel] [880] Corrections to previous changes: Reference Implementation: Eiffel (archive)	0	12	27 July 2009
[ref_impl_eiffel] [1010] Fixes Reference Implementation: Eiffel (archive)	0	11	16 July 2010
[ref_impl_eiffel] [659] Add validation for C_CODE_PHRASE and C_DV_ORDINAL. Reference Implementation: Eiffel (archive)	0	9	1 June 2008
[ref_impl_eiffel] [1348] Minor corrections: Reference Implementation: Eiffel (archive)	0	11	4 January 2011