Contracts for item method of STATE_DEPENDENT_FUNCTION

jocelyn-monitor / eiffel-state

Automatically exported from code.google.com/p/eiffel-state

0 stars 0 forks source link

Contracts for item method of STATE_DEPENDENT_FUNCTION #1

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago

Pre- and postconditions should be introduced. They should check if function
is defined in current state and if any predicate holds true for current
arguments.

Original issue reported on code.google.com by dkochel...@gmail.com on 12 May 2009 at 1:07