mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2026-04-05 09:39:31 +02:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2008-10-11T14:42:58.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@77 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
halw
2008-10-11 14:42:58 +00:00
parent 4e7cf603c4
commit c70f07f9a7
10 changed files with 52 additions and 18 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
documentation/current/eiffelstudio/eiffelstudio-reference/eiffel-information-system/eis-incoming/eiffel-scheme-syntax.wiki
View File

@@ -1,15 +1,21 @@
[[Property:title|Eiffel Scheme Syntax]]
[[Property:weight|0]]
[[Property:uuid|503b260c-99c5-06fb-2953-8899866c1c51]]
<code>'''eiffel:?<''eiffel-resource''>'''</code>
The Eiffel scheme syntax is:
<code lang="text">
eiffel:?<eiffel-resource>
</code>
<''eiffel-resource''> is a combination of following parts, connected by '''&''' if more than one part are required:
* <''systeme''>, in the form of system=to_be_replaced, '''to_be_replaced''' consists of system_name or uuid of the system, or both connected by "'''.'''".
* <''targete''>, in the form of target=to_be_replaced, '''to_be_replaced''' consists of target_name or uuid of the system, or both connected by "'''.'''".
* <''clustere''>, in the form of cluster=to_be_replaced, '''to_be_replaced''' is the name of the cluster.
* <''classe''>, in the form of class=to_be_replaced, '''to_be_replaced''' is the name of the class.
* <''featuree''>, in the form of feature=to_be_replaced, '''to_be_replaced''' is the name of the feature.
where <eiffel-resource> is a combination of following parts, connected by '''&''' if more than one part are required:
* <system>, in the form of system=to_be_replaced, '''to_be_replaced''' consists of system_name or uuid of the system, or both connected by "'''.'''".
* <target>, in the form of target=to_be_replaced, '''to_be_replaced''' consists of target_name or uuid of the system, or both connected by "'''.'''".
* <cluster>, in the form of cluster=to_be_replaced, '''to_be_replaced''' is the name of the cluster.
* <class>, in the form of class=to_be_replaced, '''to_be_replaced''' is the name of the class.
* <feature>, in the form of feature=to_be_replaced, '''to_be_replaced''' is the name of the feature.
{{note|All parts above are unordered. }}