Once
Jump to navigation
Jump to search
A definition of once
A once feature is implemented by replacing the do keyword by once e. g.:
foo: INTEGER is once Result := 1 end
This has the effect, that code of the feature is only executed once in the system lifetime. If the feature is a function (i. e. has a return type) every call of the feature will return the same Result, be it an expanded value or a reference. For references, the references object may change over time, but the once function will always return the identical object.
Further Aspects
- once "manifest string"
- once per object (other eiffel compilers have once ("OBJECT") to execute the feature body once per object) in Liberty there are no plans to implement such a feature