... I would like to avoid changing existing classes. ... I am looking att the parameters of the trace feature at the page:...
19032
Emmanuel Stapf
manus_eiffel
Mar 13, 2012 3:27 pm
If you use the new Eiffel tracing facility, you can inherit from STRING_TRACING_HANDLER and implement the following routine: trace (a_type: TYPE [detachable...
19033
Thomas Beale
twbeale
Mar 13, 2012 5:57 pm
... actually just adding the precursor class qualifier works. I guess the difference between using undefine and redefine is that if redefine is used, and a...
19034
andersoxie
Mar 13, 2012 8:55 pm
Hi I have implemented a class EXAMPLE_HANDLER according to the documentation at the page http://docs.eiffel.com/book/eiffelstudio/tracing. Within the trace...
19035
Emmanuel Stapf
manus_eiffel
Mar 13, 2012 9:40 pm
Sorry I had misunderstood the original question. I thought you were talking about how to identify objects and not how to get objects from the tracing facility....
19036
Peter Gummer
peter_gummer
Mar 13, 2012 10:40 pm
... My reading of Alexander's reply is that just adding the precursor qualifier works for you, Thomas, because you're still using an old version of...
19037
Emmanuel Stapf
manus_eiffel
Mar 13, 2012 11:09 pm
... Initially the syntax was: {{A}} Precursor (...) then simplified to {A} Precursor (...) This is the syntax you can see in the second edition of...
19038
Jimmy Johnson
boxer41a
Mar 14, 2012 8:15 pm
What must I do to make this compile in void-safe mode? (Version 7.0, full void-safety, attached by default, standard syntax, OS-X) Can a pattern not detect...
19039
Thomas Beale
twbeale
Mar 14, 2012 11:28 pm
... hm... I guess that will be systemic... I wonder if other code will break. I am still not that convinced that the semantics are that clear... using undefine...
19040
Peter Gummer
peter_gummer
Mar 15, 2012 12:27 am
... You were talking about export {NONE} in your previous reply, Thomas, but I didn't understand your point. What does export {NONE} have to do with it?...
19041
Alexander Kogtenkov
kogtenkov
Mar 15, 2012 4:45 am
Dear Jimmy, From your code I infer that the type of the attribute `first' is detachable. There is no CAP that covers your example. The reason is that in a ...
19042
brucemount@...
brucemount
Mar 15, 2012 11:05 am
I am baffled how to use COMPARABLE when comparing objects that are both subclasses of a common parent, due to the semantics of tilde (~). In simplified terms,...
19043
brucemount@...
brucemount
Mar 15, 2012 11:36 am
I am (finally) writing my own SCOOP example. In my simple example, I will be reading all the lines from multiple files and parsed each line into an object....
19044
Jimmy Johnson
boxer41a
Mar 15, 2012 12:47 pm
okay, that makes sense. I added a non-exported feature "first_imp: detachable ..." and defined "first" as: first: like first_imp do check attached...
19045
Alexander Kogtenkov
kogtenkov
Mar 15, 2012 1:01 pm
Of course, it has some overhead, but I do not think this is critical. On the other hand, if "first" is never Void, it could be declared as attached and no...
19046
Emmanuel Stapf
manus_eiffel
Mar 15, 2012 2:24 pm
... I'd say this is not the right way of doing it because `first' has no precondition that the client can check to find out if `first_imp' is attached. Meaning...
19047
Jimmy Johnson
boxer41a
Mar 15, 2012 2:47 pm
... So, would the same pattern be employed with HASH_TABLE at *every* call to `item' ? As below, where objects containing a pixmap is stored in the table: ...
19048
Emmanuel Stapf
manus_eiffel
Mar 15, 2012 4:20 pm
... Yes assuming that `has (a_key)' implies `table.has (a_key)'. ... If your code will be used externally by non-void safe projects, it might be a good idea to...
19049
Emmanuel Stapf
manus_eiffel
Mar 16, 2012 4:17 am
... That's correct. ... You cannot change the `same type' semantics of the operator but you can redefine `is_equal'. ... No, the assumptions on COMPARABLE was...
19050
Thomas Beale
twbeale
Mar 16, 2012 5:56 pm
... well, if the programmer's need is to get rid of the routine f from from a parent that is export {NONE}, which indicates no expectation of type ...
19051
Ian Joyner
i.joyner@...
Mar 17, 2012 12:49 am
A lot of people are now using result as a variable name for the return value in many languages. I believe this first came from Eiffel, but can't find proof. Or...
19052
Paul Cohen
pacoispaco
Mar 17, 2012 6:57 am
Hi, ... I use this convention in Python. I definitely took it from Eiffel, so your hypothesis is true for at least one case! :-) /Paul -- Paul Cohen ...
19053
Peter Gummer
peter_gummer
Mar 17, 2012 8:49 am
... I don't know the answer to your question, Ian, but I'm one those people you mention. I've been doing it for at least 20 years ... in C, C#, Visual Basic,...
19054
Peter Gummer
peter_gummer
Mar 17, 2012 10:07 am
... Okay, that's what I thought you meant. You're talking about the case where a client object calls 'f'. In that situation then it's true that the parent 'f'...
19055
Thomas Beale
twbeale
Mar 17, 2012 11:26 am
... sure - I agree with that. It is the 'undefine' statement that says I am throwing out the default_create routines in 2 out of 3 ancestors not the export...
19056
Ian Joyner
i.joyner@...
Mar 17, 2012 12:30 pm
I think the function return value being assigned to the name of the function predates Pascal to ALGOL. I have a Burroughs ALGOL manual dated 1977, which shows...
19057
Gerrit
gerrit_leder
Mar 17, 2012 1:13 pm
OK, I can only answer one question regarding SCOOP processors: when the maximum number mentioned below is exceeded it yields a runtime exception. There should...
19058
brucemount
Mar 17, 2012 4:39 pm
Gerrit: ... Thanks! That really helps me. Now I know not to architect a solution that assumes Eiffel will queue large numbers of concurrent requests. Maybe I...
19059
Simon
simonvharvey
Mar 18, 2012 6:28 am
My EIFFEL info is: Installation information: Version = EiffelStudio 7 (7.0.8.8046 GPL Edition - macosx-ppc) $ISE_EIFFEL =...
19060
larry_rix
Mar 18, 2012 12:34 pm
The earliest mention I can locate of a Return is at the point the notion of subroutine ("subprogram") came into being in assembler. The Wiki article on...
