A new feature of the 6.1 release of EiffelStudio appears in the Console tool. Basically in addition of what you could do before, you can also insert the following:
-
{A}
-
@{A}
-
{A}.f
where A is an Eiffel class and f a feature of A.
The meanings are:
-
{A}: location of a file containing a copy of the text of class A.