mh, ok. I did not get it right. I still do not see how you planed the
globally cached thing, Paolo.
Why do we not have a class GLOBAL_CACHE which provides the one-and-only
global cache:
wrappers: HASHED_DICTIONARY [GLOBALLY_CACHED, POINTER] is
once
create {HASHED_DICTIONARY[GLOBALLY_CACHED,POINTER]}
Result.make
end
And insert this into class GLOBALLY_CACHED and all wrappers, which
retrieve globally cached wrappers?
The GLOBALLY_CACHED object would insert itself into this global cache
and e. g. the G_LIST which retrieves a wrapper obejct does a lookup for
the retrieved pointer or creates a new one.
Any comments?
Rapha
_______________________________________________
Eiffel-libraries-devel mailing list
[email protected]
https://mail.gna.org/listinfo/eiffel-libraries-devel
