[ref_impl_eiffel] [798] Implemented existence and cardinality reference model checking.

Reference Implementation: Eiffel (archive)

svn1 9 February 2009 23:47 1

Revision: 798
Author: thomas.beale

Log Message:

Topic		Replies	Views	Activity
[ref_impl_eiffel] [782] Initial cut of reference model checker. Reference Implementation: Eiffel (archive)	0	0	2 February 2009
[ref_impl_eiffel] [875] Make occurrences, cardinality and existence optional. Reference Implementation: Eiffel (archive)	0	0	15 July 2009
[ref_impl_eiffel] [877] Minor corrections to error processing of cardinality etc; currently the compiler is strict on everything. Reference Implementation: Eiffel (archive)	0	0	16 July 2009
[ref_impl_eiffel] [808] Improve semantics of multiplicity_interval and cardinality classes. Reference Implementation: Eiffel (archive)	0	0	22 February 2009
[ref_impl_eiffel] [789] Initial basic checking now working. Reference Implementation: Eiffel (archive)	0	0	3 February 2009
[ref_impl_eiffel] [792] Various improvements and changes to RM checker: Reference Implementation: Eiffel (archive)	0	0	8 February 2009
[ref_impl_eiffel] [998] Changes: Reference Implementation: Eiffel (archive)	0	0	8 July 2010
[ref_impl_eiffel] [826] Correct a bug that caused a Void reference violation for a C_ATTRIBUTE that should have been declared with a cardinality but wasn't Reference Implementation: Eiffel (archive)	0	0	28 February 2009
[ref_impl_eiffel] [791] The basic class and attribute checks appear to be working, based on current archetypes, including specialised ones. Reference Implementation: Eiffel (archive)	0	0	4 February 2009
[ref_impl_eiffel] [1017] Changes: Reference Implementation: Eiffel (archive)	0	0	18 July 2010