note description: "Objects that represent cases that will throw exception" author: "Software Engineering Lab, York University" class interface ES_VIOLATION_CASE create make, make_with_tag end -- class ES_VIOLATION_CASE
Generated by ISE EiffelStudio