liberty-eiffel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[Liberty-eiffel] Question about DBC / ensure clause


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

reply via email to

[Prev in Thread] Current Thread [Next in Thread]