4 Commits

Author	SHA1	Message	Date
Ross Nicoll	13b040ecd6	Rework clauses to use composition ... Rework clauses so that rather than defining match/no-match behaviour themselves, they are now composed by nesting them within clauses that understand how to match their child clauses. This unifies a lot of the structure of clauses and removes corner cases needed for the first design, as well as moving towards a model which is easier to prove.	2016-08-26 17:35:52 +01:00
Ross Nicoll	03e120d04b	Add default values for ifMatched/ifNotMatched/requiredCommands	2016-08-23 11:23:47 +01:00
Ross Nicoll	162d19deeb	Change how clause verification is called ... Change away from extending ClauseVerifier for contracts which support clauses, and explicitely call clause verification code in the verify() function. This should make the flow of control easier to understand.	2016-08-11 15:39:11 +01:00
Ross Nicoll	1943b3633f	Add documentation on contract clauses	2016-07-12 17:47:51 +01:00