VALIDITY VTBT

ETL2 p.210 and ETR p.47:
----------------------------------------------------------------------
A Bit_type declaration is valid if and only of its Constant is of
type INTEGER, and has a positive value.
----------------------------------------------------------------------


TEST DESCRIPTION:
----------------------------------------------------------------------
Class BB inherits from CC [BIT -32], but '-32' is not a positive
value. Validity VTBT is violated.
----------------------------------------------------------------------


TEST RESULTS:
----------------------------------------------------------------------
ISE Eiffel 5.0.016:    FAILED    Does not report VTBT but complains
                                 that 'BIT 32' does not conform to 
                                 'BIT -32'.
SmallEiffel -0.76:     OK        The error message doesn't state that
                                 the constant should be positive.
Halstenbach 3.2:       FAILED    Does not report VTBT but complains
                                 that 'BIT 32' does not conform to 
                                 'BIT -32'.
gelint:                OK
----------------------------------------------------------------------


TEST CLASSES:
----------------------------------------------------------------------
class AA

creation

	make

feature

	make is
		local
			b: BB
		do
			!! b
			b.f
		end

end -- class AA
----------------------------------------------------------------------
class BB

inherit

	CC [BIT -32]

feature

	f is
		local
			b: BIT 32
		do
			item := b
		end

end -- class BB
----------------------------------------------------------------------
class CC [G]

feature

	item: G

end -- class CC
----------------------------------------------------------------------
