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

[Paolo Redaelli]

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? 

Thanks
Germán

-- Inviato dal mio cellulare Android con K-9 Mail.