[ref_impl_eiffel] [983] Correct subtle validation error - when occurrences we redefined to same constraint (due to AE using .adl specialisations), VSONIR was being triggered, but it should have gone via the VSONCO path in the code, which in non-strict mod

Reference Implementation: Eiffel (archive)

svn1 5 July 2010 00:04 1

Revision: 983
Author: thomas.beale
Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [822] Improve VSONIR error message Reference Implementation: Eiffel (archive)	0	2	24 February 2009
[ref_impl_eiffel] [721] Further refinements to the validation code. Reference Implementation: Eiffel (archive)	0	0	1 October 2008
[ref_impl_eiffel] [879] Various validation improvements: Reference Implementation: Eiffel (archive)	0	0	27 July 2009
[ref_impl_eiffel] [833] Correct two errors found by AML: Reference Implementation: Eiffel (archive)	0	3	5 March 2009
[ref_impl_eiffel] [942] Correct errors: Reference Implementation: Eiffel (archive)	0	2	5 June 2010
[ref_impl_eiffel] [881] Minor corrections to do with VATDF and VACDF validity rules. Reference Implementation: Eiffel (archive)	0	2	29 July 2009
[ref_impl_eiffel] [933] Corrected small bug to do with VCATU error checking in CADL parser, where it was testing if an attribute already existed under an object by name (e.g. Reference Implementation: Eiffel (archive)	0	2	24 May 2010
[ref_impl_eiffel] [1357] Further corrections: Reference Implementation: Eiffel (archive)	0	2	7 January 2011
[ref_impl_eiffel] [710] Slight refactoring of validation logic to improve maintainability. Reference Implementation: Eiffel (archive)	0	0	21 September 2008
[ref_impl_eiffel] [1320] Small fix to avoid Void-ref in BMM schema generic parameter validation. Reference Implementation: Eiffel (archive)	0	1	8 December 2010