[Top][All Lists]

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

Re: [Liberty-eiffel] Set initial values on deferred classes

From: Paolo Redaelli
Subject: Re: [Liberty-eiffel] Set initial values on deferred classes
Date: Sat, 18 Jun 2016 19:15:43 +0200
User-agent: K-9 Mail for Android

Initialization is a task of creation procedures.
Invariants are checked at the end of each feature call.

You may want to your checks them as a postcondition,

Il 18 giugno 2016 06:37:56 CEST, "Germán A. Arias" <address@hidden> ha scritto:
How can I set initial values for some features in deferred classes? For
example Objective-C have the method -init (and all its variants) that is
called each time an instance is created. Is there something similar in
Eiffel? My intention is add some invariants for some features in
deferred classes, but for this I need set some initial values. Any
advice about how is this achieved in Eiffel?


-- Inviato dal mio cellulare Android con K-9 Mail.
reply via email to

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