mirrors/eiffel-org
1
0
Fork 0
mirror of https://github.com/EiffelSoftware/eiffel-org.git synced 2025-12-08 15:52:26 +01:00
Code Issues Packages Projects Releases Wiki Activity

Author:halw

Browse Source 
Date:2010-02-18T20:05:01.000000Z


git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@463 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
This commit is contained in:
alexk
2010-02-19 12:42:09 +00:00
parent 9b66f286ac
commit 1bc5948bfa
5 changed files with 7 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

BIN
documentation/current/eiffelstudio/_images/es_gt_class_field_01.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 13 KiB

3
documentation/current/eiffelstudio/_images/es_gt_class_field_01.png.data Normal file
View File

@@ -0,0 +1,3 @@
title=es gt class field 01
author=halw
path=content/es-gt-class-field-01

BIN
documentation/current/eiffelstudio/_images/es_gt_string_01.png Normal file
View File

Binary file not shown.
Side by Side

After

Width:  |  Height:  |  Size: 45 KiB

3
documentation/current/eiffelstudio/_images/es_gt_string_01.png.data Normal file
View File

@@ -0,0 +1,3 @@
title=es gt string 01
author=halw
path=content/es-gt-string-01

2
documentation/current/eiffelstudio/eiffelstudio-reference/metrics-tool/definitions/criterion-references.wiki
View File

@@ -133,7 +133,7 @@ The related concepts of descendants, proper descendants, heirs, indirect heirs f
</code> </code>
<br/> <br/>
Then both <eiffel>STRING</eiffel> and <eiffel>FILE</eiffel> are suppliers of class <eiffel>A</eiffel>. <eiffel>STRING</eiffel> is normal supplier because a feature make_empty in <eiffel>STRING</eiffel> is invoked in class <eiffel>A</eiffel>, but <eiffel>FILE</eiffel> is a syntactically referenced supplier because no feature from <eiffel>FILE</eiffel> is called from <eiffel>A</eiffel>. Classes explicitly listed in inherit clause of a class are also considered as syntactically referenced suppliers. Then both <eiffel>STRING</eiffel> and <eiffel>FILE</eiffel> are suppliers of class <eiffel>A</eiffel>. <eiffel>STRING</eiffel> is normal supplier because a feature make_empty in <eiffel>STRING</eiffel> is invoked in class <eiffel>A</eiffel>, but <eiffel>FILE</eiffel> is a syntactically referenced supplier because no feature from <eiffel>FILE</eiffel> is called from <eiffel>A</eiffel>. Classes explicitly listed in inherit clause of a class are also considered as syntactically referenced suppliers.
Concepts of direct/indirect, normally referenced/syntactically referenced clients follow the same rule expect in the other direction. Concepts of direct/indirect, normally referenced/syntactically referenced clients follow the same rule except in the other direction.
'''supplier_is'''<br/> '''supplier_is'''<br/>