|
From: | Hans Zwakenberg | Ocean Consulting GmbH |
Subject: | [Liberty-eiffel] Question about DBC / ensure clause |
Date: | Tue, 2 Sep 2014 16:42:44 +0200 (CEST) |
Hi,
how do I formulate an ensure-clause that ascertains that an object's feature indeed used each of the parameters to calculate the result, i.e. result 'depends' on arg1 and arg2 and that both have indeed been used to arrive at result?
confused,
Hans
|
[Prev in Thread] | Current Thread | [Next in Thread] |