The example can be translated into something like that:
class MY_CONSTANTS feature
user_active: INTEGER = 0
when_something: INTEGER = 1
where_hand: INTEGER = 2
where_active: INTEGER = 3
where_good: INTEGER = 4
end
class SOMETHING
feature -- Access
user: INTEGER
where: INTEGER
somethingelse: INTEGER
feature -- Modification
set_user (u: like user) do user := u end
set_where (w: like where) do where := w end
set_somethingelse (s: like somethingelse) do somethingelse := s end
end
deferred class DECISION feature
init (s: SOMETHING; who: INTEGER; factor: REAL_64) deferred end
end
class DECISION_1 inherit DECISION feature
init (s: SOMETHING; who: INTEGER; factor: REAL_64)
do
...
end
end
class DECISION_2 inherit DECISION feature
init (s: SOMETHING; who: INTEGER; factor: REAL_64)
do
...
end
end
class MY_CLASS inherit
MY_CONSTANTS
... -- user_active, when_something, etc. can be used here
feature
something: SOMETHING
decision: DECISION
...
-- Somewhere in the code
create something
if ... then
create {DECISION_1} decision
else
create {DECISION_2} decision
end
...
decision.init (something, ..., ...)
...
end