Changes between Version 8 and Version 9 of Contracts

Contracts

v8	v9
40	40	within contracts:
41	41
42		* '''result''' - available in '''~~require''' and '''~~ensure''',
	42	* '''result''' - available in '''ensure''',
43	43	provides a fixed name for the return value of any method or property
44	44
45		* '''old''' - avail in '''ensure''',
46		provides an object reference that captures the original state of the ~~object~~ before the method/property executed.
	45	* '''old''' - available in '''ensure''',
	46	provides an object reference that captures the original state of the expression before the method/property executed.
47	47	Use to validate a state change.
48	48