eiffelroom - Start using Eiffel Information System (EIS) - Comments

It could be still shorter in some circumstances

colin-adams — Wed, 21 May 2008 12:03:44 -0700

That looks fine.

In fact, you can drop the eiffel: too in some cases. The application can set a base URI of eiffel: .

Colin Adams

No plan for now.

ted_eiffel — Tue, 20 May 2008 20:03:23 -0700

Thanks for the information, Colin.
I read more about this. Now I think "//" may not be needed. Since it is used ONLY when the syntax of the URI's <scheme-specific-part> contains a hierarchical structure. system/target/group/cluster/class/feature is kind of hierarchical structure, but not strict. Some parts are optional when certain parts present. It seems the best fit of current requirement is like "eiffel:?class=XXX&feature=XXX".

Are you going to register the Eiffel URI scheme?

colin-adams — Tue, 20 May 2008 00:17:25 -0700

I am puzzled as to how you are implementing these incoming links.

First, you talk about entering them in a browser. And the syntax looks like a URI but isn't.

I would suggest the following actions:

1) Read RFC 3986 - the definition of URI syntax. 2) If you still can't see why the examples are wrong, and why the design of the URI is poor, create a UT_URI object with one of those example "URI"s, and then stop in the debugger at the end of the creation procedure, and examine the attributes of the UT_URI object. 3) Read the procedures on registering a URI scheme (scheme - not protocol. Even the http URI scheme doesn't always mean the http protocol will be used). Even if you don't submit the scheme for registration (and I certainly think you should do so), considering the process should help a lot.

Colin Adams

The following link is

ted_eiffel — Sat, 17 May 2008 21:11:56 -0700

The following link is sufficient to locate {STRING_8}.is_equal
eiffel://system=ec&target=base&class=STRING_8&feature=is_equal

By your means, it would be:
eiffel:///bysystem/ec/base/STRING_8/is_equal

Note that `cluster' is omitted here. It means that we don't know what `STRING_8' is. It can be a cluster name and `is_equal' is a class name. So this could be interpreted as class `IS_EQUAL' is required in cluster `string_8'.

Path URI

nenieorg — Fri, 16 May 2008 08:01:34 -0700

Yes path URI sounds so much better than the name value mess, and is not exclusive with defaulting of various types, with say a magic word as first component:

eiffel:///byclass/STRING/is_equal eiffel:///bycluster/foo/STRING/is_equal

etc

Though I am not aware of

ted_eiffel — Wed, 14 May 2008 07:28:24 -0700

Though I am not aware of what kind of software processes the URI and how it would be useful picking up name/value pairs, it is would always be better to follow standard. Using eiffel:///? is OK for me, except that it looks uglier. Actually the .ecf is not needed for EIS incoming mechanism. Only optional system/system UUID is needed for locating project.

Perhaps a path

colin-adams — Tue, 13 May 2008 07:35:48 -0700

You would need eiffel:///?... if you expected generic URI processing software to pick up the name/value pairs.

or alternatively abandon the query parameters approach, and have a structured path (something like /system/target/cluster/class/feature). But that would make it hard to default the system and target.

I can't see how this is supposed to work anyway. Surely you need an ecf file? In which case the obvious syntax is:

eiffel:///path/to/my.ecf?class=my_class&feature=my_feature

and the authority field is then available for a future extension for non-local access.

Colin Adams

Indeed. I think eiffel:///

ted_eiffel — Tue, 13 May 2008 05:04:22 -0700

Indeed. I think eiffel:/// would be nicer.

Invalid URIs

colin-adams — Tue, 13 May 2008 03:18:33 -0700

The syntax of the eiffel: URIs is invalid.

That is, the presence of the // indicates that what follows is an authority segment:

According to RFC 3986, this is terminated by the first /, ? or # character.

None of those is present, so the remainder of the URI needs to match the authority production syntax. As there is no @ or : present, this in turn means matching the syntax for host. Clearly it does not.

I suggest that you appear to be parameter/value pairs, and that therefore this remainder should actually be part of the query segment.

Accordingly, change eiffel:// into eiffel://? in order to conform to URI syntax.

I assume that by protocol link you actually meant URI scheme.

Colin Adams

Start using Eiffel Information System (EIS)

ted_eiffel — Thu, 17 Apr 2008 06:52:22 -0700

In EiffelStudio 6.2, Eiffel Information System (EIS) will be introduced. The goal of EIS is to provide a unified mechanism for linking development objects — classes and features, or even targets and groups — of Eiffel systems with external information. This term refers to information other than Eiffel program texts. Usually the tools maintaining external information are separate tools, such as a browser; we call them external tools.

The main apparent addition is the Information tool. But don't be tricked. The basic mechanisms that EIS makes available to users, at least Windows users, include two categories: outgoing (from Eiffel to external tools), incoming (the reverse). The tool belong to the former one.

What can people do via EIS?

EIS Incoming

EIS incoming mechanism, as the name implies, enables users to reference components of an Eiffel system in external tools. For the moment, only available on Windows. The whole thing implemented is protocol link of "eiffel".

For example, one can use the following links to refer to {STRING_8}.is_equal in a system.

eiffel:?class=STRING_8&feature=is_equal
eiffel:?cluster=elks&class=STRING_8&feature=is_equal
eiffel:?target=base&cluster=elks&class=STRING_8&feature=is_equal
eiffel:?system=ec.D398E904-E3C8-4F8A-B9E7-6FE493CEA02F&target=base&cluster=elks&class=STRING_8&feature=is_equal

As you see, the later one turns out to be more precise. They all works if the project `ec' with UUID D398E904-E3C8-4F8A-B9E7-6FE493CEA02F has been opened. Once you put this in a browser and enter, or click a link in MS word document, the opening EiffelStudio automatically locates {STRING_8}.is_equal in an open editor.
What if no EiffelStudio has been opened?
For 1, 2 and 3, a new EiffelStudio will be launched, since no project(system) has been specified, users need to choose one by themselves. When the project is successfully loaded, {STRING_8}.is_equal will be opened.
For 4, EiffelStudio introduce a new preference eis_path. EiffelStudio will search projects under the path, finally if project `ec' is found, {STRING_8}.is_equal will be opened.

EIS Outgoing

This part of EIS is used for annotating Eiffel classes, features or even target and clusters to include references to external information. The tool mentioned (Information tool) belongs to this part.

Information tool

The basic function of the tool is to manage all annotations in current system. Users can add, modify, remove or navigate such annotations via the tool. All annotations are arranged either by location or tags being navigated through the tree. One can see that in the tool, choosing a class shows all annotations from the class and those from "inherited" clusters/targets.

The following is what the tool looks like now:

Annotation

Annotations if any either reside in actual code in the form of note/indexing or .ecf files in the form of note elements. Those annotations put in code are used to denote class/feature specific information. Those put in .ecf are actually binded to the target/cluster. If one add a piece of annotation into a target or a cluster - underlying info has been added into .ecf - he simply makes the annotation visible to all classes in Information tool. This is useful especially when a library developer want to share library-wide information to clients. The following are the examples of the actual written annotations.

code:

indexing

    EIS: "name=myDoc", "src=http://mysite.com/myDoc.pdf", "protocol=pdf", "nameddest=Chapter2", "tag=tagA, tagB"

note

    EIS: "name=myDoc", "src=http://mysite.com/myDoc.pdf", "protocol=pdf", "nameddest=Chapter2", "tag=tagA, tagB"

.ecf:

Protocol

Everything in Source is treated as an URL if no protocol is specified or unknown protocol is specified. Protocols supported now:

Raw URL: Nothing more is interesting other than navigating to the URL
PDF: PDF protocol supports three attributes now. "type" "page" and "nameddest".
- type: "file" is used to open PDF files in PDF reader. Otherwise in a browser.
- page: Specify the page number to navigate to.
- nameddest: Specify the named destination to navigate to.

Variable

In the value of Source(Shown in Information tool) variables can be used.
Types of variables , value is taken by priority from top to bottom if the same.

IDE user defined variables. (Unavailable) These variables are applied over all projects. The main use is to override following types of variables.
IDE built in variables. These variables are built-in and go with the release. Such variables are mostly used by ISE to share users helpful references related to ISE.
- ISE_WIKI = http://dev.eiffel.com
- EIFFELROOM = http://www.eiffelroom.com
Target variables. This kind of variables go with the .ecf file. They are mostly used by a library releaser or people who are working on the same project can share information with each other.
Environment variables.
Context related built in variables. They are feature_name, class_name, group_name and target_name.

One can use F1 in the editor to see if current position of the class has any usable annotations.