From ec40496d9d068bfb0d841dea5c6f9f358491f7b7 Mon Sep 17 00:00:00 2001 From: halw Date: Fri, 31 Jul 2009 02:36:36 +0000 Subject: [PATCH] Author:halw Date:2009-07-31T02:36:36.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@266 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../_images/disambiguated-name-icon.png | Bin 0 -> 450 bytes .../_images/disambiguated-name-icon.png.data | 3 +++ .../_images/feature-signatures-icon.png | Bin 0 -> 538 bytes .../_images/feature-signatures-icon.png.data | 3 +++ .../hide-non-matching-entries-icon.png | Bin 0 -> 561 bytes .../hide-non-matching-entries-icon.png.data | 3 +++ .../_images/obsolete-items-icon.png | Bin 0 -> 535 bytes .../_images/obsolete-items-icon.png.data | 3 +++ .../_images/remember-list-size.png | Bin 0 -> 600 bytes .../_images/remember-list-size.png.data | 3 +++ .../_images/show-descriptions-icon.png | Bin 0 -> 577 bytes .../_images/show-descriptions-icon.png.data | 3 +++ .../class-name-auto-complete.wiki | 22 +++++++++++++----- ...afety-background-definition-and-tools.wiki | 2 +- 14 files changed, 35 insertions(+), 7 deletions(-) create mode 100644 documentation/current/eiffelstudio/_images/disambiguated-name-icon.png create mode 100644 documentation/current/eiffelstudio/_images/disambiguated-name-icon.png.data create mode 100644 documentation/current/eiffelstudio/_images/feature-signatures-icon.png create mode 100644 documentation/current/eiffelstudio/_images/feature-signatures-icon.png.data create mode 100644 documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png create mode 100644 documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png.data create mode 100644 documentation/current/eiffelstudio/_images/obsolete-items-icon.png create mode 100644 documentation/current/eiffelstudio/_images/obsolete-items-icon.png.data create mode 100644 documentation/current/eiffelstudio/_images/remember-list-size.png create mode 100644 documentation/current/eiffelstudio/_images/remember-list-size.png.data create mode 100644 documentation/current/eiffelstudio/_images/show-descriptions-icon.png create mode 100644 documentation/current/eiffelstudio/_images/show-descriptions-icon.png.data diff --git a/documentation/current/eiffelstudio/_images/disambiguated-name-icon.png b/documentation/current/eiffelstudio/_images/disambiguated-name-icon.png new file mode 100644 index 0000000000000000000000000000000000000000..f004e07b68d4ada69c16e4e115d23764102e3caa GIT binary patch literal 450 zcmeAS@N?(olHy`uVBq!ia0vp^{2(?56OjB_vsesBaTa()7BevL9RXp+soH$fKtc8r zPhVH|o9yz8T3lxj8_x#|xki*YmX>7X7cs0{cg6!K#8Uzka!D;tF3Kz@$;{7V5av`= z28wfm#GUgCDvL7HGfEiN@Sm{)it>R)i&7IoN)<{nb5j{izw>hfWjH}H!TD(=<%vb9 z46z0OLCU$ohG!Nh=OhA^7BOr;u%#a;%mES(Pb|vI%u8oDApNWzD8>%aUs{x$%JB7n z^J|zg=ltB<)VvagZ)c|M2a2(Ql!auLYb&c20u3d1m&d2Vwj*{0(-f7nkTSz9~+Hii! yH7}Qr8}BNs$~Bip27A@2rDwOFjQs!mw0@Ow$%@-i<=cP`WAJqKb6Mw<&;$S;YMn*^ literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/disambiguated-name-icon.png.data b/documentation/current/eiffelstudio/_images/disambiguated-name-icon.png.data new file mode 100644 index 00000000..a2aebe33 --- /dev/null +++ b/documentation/current/eiffelstudio/_images/disambiguated-name-icon.png.data @@ -0,0 +1,3 @@ +title=disambiguated name icon +author=halw +path=content/disambiguated-name-icon diff --git a/documentation/current/eiffelstudio/_images/feature-signatures-icon.png b/documentation/current/eiffelstudio/_images/feature-signatures-icon.png new file mode 100644 index 0000000000000000000000000000000000000000..ffaea53f1a525b7a8ebb8ce6778591a0eea04dcf GIT binary patch literal 538 zcmeAS@N?(olHy`uVBq!ia0vp^0zk~i!2~2%`f}d|Qk(@Ik;OoFdgVlU<%sLxx-Ni4R!FHKN3^v?L?Hh+*ZrGaf)8o)VytOKNd)QD#9&W_})nFsGt2 zP@D@S?wnsxS(KTcQNpl>|BMw-ln*Rgl$r=qs!)=do62DNou3mZ!wHfJ&QB{TPb^Ah zh%NXJQqB!FJhM1CClRQ$h++GIE&V`Y4v=toVo_dZUOK}8>1XXgF?NXl(xT*4hOhsd zU&E9+=jZ08=9MsfJ2P!RP>c=ztoR*6u^@mR3%DDz>U>pOZ( jTi7Ng&6;@S2s^`Rdwu=e{ZWNL4>NeW`njxgN@xNA#1qPQ literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/feature-signatures-icon.png.data b/documentation/current/eiffelstudio/_images/feature-signatures-icon.png.data new file mode 100644 index 00000000..ea61119c --- /dev/null +++ b/documentation/current/eiffelstudio/_images/feature-signatures-icon.png.data @@ -0,0 +1,3 @@ +title=feature signatures icon +author=halw +path=content/feature-signatures-icon diff --git a/documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png b/documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png new file mode 100644 index 0000000000000000000000000000000000000000..953835a7449ab5507601e07554e55570fa185b90 GIT binary patch literal 561 zcmeAS@N?(olHy`uVBq!ia0vp^{6NgZ!2~3Y6bd#2Db50q$YKTtz9S&aI8~cZ8YswK z;_2(kev@6E(Ll}LZ0T~akZVMVV`)i7ei6gUb!R+)LOdlvA(zzRDRDIsA;)yE~<_WfL5em?J-SN)GKX4w~oWjptS75;wSKmUIIHLugBPQ~r5 z5IUN(qfLDMd;(ksPnOjw0P&;H*d}V9Y6EGBh!rG?zDg`#_C%Mz;Iyj MboFyt=akR{0Il8chX4Qo literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png.data b/documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png.data new file mode 100644 index 00000000..77296650 --- /dev/null +++ b/documentation/current/eiffelstudio/_images/hide-non-matching-entries-icon.png.data @@ -0,0 +1,3 @@ +title=hide non-matching entries icon +author=halw +path=content/hide-non-matching-entries-icon diff --git a/documentation/current/eiffelstudio/_images/obsolete-items-icon.png b/documentation/current/eiffelstudio/_images/obsolete-items-icon.png new file mode 100644 index 0000000000000000000000000000000000000000..dc163fa59b3aad7a7832d1918e5731a8f7c68f11 GIT binary patch literal 535 zcmeAS@N?(olHy`uVBq!ia0vp^{2(?56OjB_vsesBaTa()7BevL9RXp+soH$fKtc8r zPhVH|o9yz8+L~qii`RgKTq8;xOG`5Hix^g}JL3Tq;wb?Nxug~+7iAWdWaj5F2y-eb z1I4*O;?DU6l|`B986^yB_|I4YMft#@MX8A(r3xjPxv31M-}yO#GMpfp;QX|b^2DN4 zhS-AtAm!X(!!wJMa}t3{ix{>a*wPOa<^TzYCl=*p=A|iB1I5@t%0eEtt2RaK5~t!qNwvshOq;dD9*NbP+t>g1yVq4b z>%fDhrL&*zuoq=`Fh}i-O@KQ?fn}cV@zAQhclnpktP1{l-t(UB>B7^SOni;cf1dZ> z=ld?fi5(p)o--ftD2>nmo+5vxRCj64EH=UGv+rifO1CXETBMv|nJ2)qEmz$2;F&Wz zOW*KCPW!p<{`+;Sw0NAAoLtU-UZf%9lyU3$3VpR#w`w+~q%q9!JGOu3mfYJ**$oq) kS@f00{!jaKKi-bP;fNxG#?kk(K;JTWy85}Sb4q9e0C4cbMgRZ+ literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/obsolete-items-icon.png.data b/documentation/current/eiffelstudio/_images/obsolete-items-icon.png.data new file mode 100644 index 00000000..c57df0db --- /dev/null +++ b/documentation/current/eiffelstudio/_images/obsolete-items-icon.png.data @@ -0,0 +1,3 @@ +title=obsolete items icon +author=halw +path=content/obsolete-items-icon diff --git a/documentation/current/eiffelstudio/_images/remember-list-size.png b/documentation/current/eiffelstudio/_images/remember-list-size.png new file mode 100644 index 0000000000000000000000000000000000000000..85fb095fa323b6acafae95fdebd7a851b2231513 GIT binary patch literal 600 zcmeAS@N?(olHy`uVBq!ia0vp@K+Mm<1SB^&UQz&3oCO|{#S9F5M?jcysy3fAP>{XE z)7O>#Cc8YNKHv76%!k23t`Q}Ur6n2pMGPy~o$&w)@st3CTvCgZi!uvJGV}8oggF(J zf#O^sap(Mk%A(Blj1q=5{Aa9yqI_V{qSQo?QiYPt+*AhB@BExV8BUN)aDG}zd16s2 zLu|o+kaBLY;hDwBIf+1}MGV^yZ0QFIbAW`y6N~aP^U@g(NIz=_im^lVmlh?bGJO5t z{2HdrIX^cyHLrx>+nH(mfnsbRWg(d*IjIaQ-d$2>U|>}Cba4#PnAkhX(ED(JNb7m- zrUe%iUtC&P;%_M86?B2GOzY)?NBtk%e=x_)DJ|;h=3t%r&PwHiVxx`VT{+XTNn1ok z=0CIA0N3ce+IE!zA~f@gc B>AC;_ literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/remember-list-size.png.data b/documentation/current/eiffelstudio/_images/remember-list-size.png.data new file mode 100644 index 00000000..af340b3d --- /dev/null +++ b/documentation/current/eiffelstudio/_images/remember-list-size.png.data @@ -0,0 +1,3 @@ +title=remember list size icon +author=halw +path=content/remember-list-size-icon diff --git a/documentation/current/eiffelstudio/_images/show-descriptions-icon.png b/documentation/current/eiffelstudio/_images/show-descriptions-icon.png new file mode 100644 index 0000000000000000000000000000000000000000..0704a548a17696830c68d40a6033685c314349e8 GIT binary patch literal 577 zcmeAS@N?(olHy`uVBq!ia0vp^d>}Rl6Oa_!cR~Y5aTa()76ZkPfH31!Z9ZwBAbW|Y zuPggac6ml!OWU9$eqbTjh!V%rl8pQ!hL!8icmRcXN`OKxsl~}fnFS@8`FRY&oQldo zaW0U!bACZ(QD%BZ3BwxxGgd%RKCoy}Y9dIfLP=(BDud~FeomkaCrBnZKdq!Zu_%=x zw%|WVIXBqw%;MynM4-|lhV2Ko^aF)CK*HgPMR}Qd=?n*?pS1(U*dh8$i;`0rzW#51 z4O8ZvpPQSSSHke^%(VSLF*cC0kj#>tRE8DrE~zsxF!Ff1IEH9U?Csr{)f^zwRvbrIpD|8JV|p6r<-ID?b_i#k9$Zot0NaO6WqFhUP-YkI%B+y)5X_km^PPziyJfdUdvIz7Ue7h2n-)Jm-}c!hi!JhUzyGS= zp4a0hIPp*9>7}N#1Nj}K+WTJTnr(R78MMB1?mWNhr7VG0O{$dwMLZsVNUHsRpy0Nkdn|ZHQ+0;L`p!i=HW|5u%-#9TBT}i? zS+|pEn^gJt)l*9?7OXzV@YwKL_L=81GiP}$Qs`t-+I3Fnv>5jfyNag$JNmx;o%Zwm cFYWz|ZNK~%tZUh#0}Lq!Pgg&ebxsLQ0QL*pA^-pY literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/show-descriptions-icon.png.data b/documentation/current/eiffelstudio/_images/show-descriptions-icon.png.data new file mode 100644 index 00000000..292cb5a2 --- /dev/null +++ b/documentation/current/eiffelstudio/_images/show-descriptions-icon.png.data @@ -0,0 +1,3 @@ +title=show descriptions icon +author=halw +path=content/show-descriptions-icon diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/automatic-completion/class-name-auto-complete.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/automatic-completion/class-name-auto-complete.wiki index 5a2eb88c..57aa48da 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/automatic-completion/class-name-auto-complete.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-editor/automatic-completion/class-name-auto-complete.wiki @@ -18,24 +18,34 @@ Class name auto-completion is also available in the parents "Entry:" text box on
==The class auto-completion window== -The class auto-completion window will pop up and display the list of class names which begin with the string `LI'. So, you can imaging the auto-completion as a search for class names using the characters you type followed by a wild card character (*). The first item of the list will be selected. You can select a class name from the list by double-clicking a name in the list or by using the keyboard Up and Down buttons to navigate the list, then pressing Enter to select a highlighted class name. The auto-completion window can be cancelled by clicking outside the window or pressing Esc. +The class auto-completion window will pop up and display the list of class names which begin with the string `LI'. So, you can imaging the auto-completion as a search for class names using the characters you type followed by a wild card character, the asterisk (`*'). Of course, you don't have to put the asterisk at the end, it's always there by implication. Once you've triggered the auto-completion, you can however use the wild card character in the middle of a string, like this: + + a_variable_name: LI*R + +which would list all class names starting with `LI' and containing the character `R' appearing at some point after the `LI'. + +When the list appears, the first list item will be selected. You can select a class name from the list by double-clicking a name in the list or by using the keyboard Up and Down buttons to navigate the list, then pressing Enter to select a highlighted class name. The auto-completion window can be cancelled by clicking outside the window or pressing Esc. [[Image:editor-class-auto-completion-window]] Figure 1. The class name auto-completion window - -===Options=== +===Auto-completion list display options=== At the bottom of the auto-completion window you will find a row of icons labeled "Options:". These icons help you control which choices are presented to you and the format of their presentation. Each icon can be toggled between an "up" position and a "down" position by clicking on it. You can also toggle the option icons up and down by using the function keys F1 through F7. -Not all of the options are applicable to class name auto-completion. Some apply only to feature name completion. +Note that not all of the options are applicable to class name auto-completion. Some apply only to feature name completion. -* [[Image:filter]] (F1) Filter: When down, you will see only those class names whose first characters match the string you have typed. When up, you see all classes in your system's universe. -* +* [[Image:hide non-matching entries icon]] (F1) Hide non-matching entries. +* [[Image:query return type icon]] (F2) Show query return types. +* [[Image:feature signatures icon]] (F3) Show feature signatures. +* [[Image:disambiguated name icon]] (F4) Show disambiguated names. +* [[Image:obsolete items icon]] (F5) Show obsolete items. +* [[Image:show descriptions icon]] (F6) Show description of selected item. +* [[Image:remember list size icon]] (F7) Remember the size of the completion list between triggerings. diff --git a/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki b/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki index 086034e9..da8418c4 100644 --- a/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki +++ b/documentation/current/method/void-safe-programming-eiffel/void-safety-background-definition-and-tools.wiki @@ -202,7 +202,7 @@ where x is the formal argument for r, then if x is of Stable attributes are really stable ''detachable'' attributes, as adding the concept of stability is meaningful only for detachable attributes. Declaring a detachable attribute as stable, means that it behaves like a detachable attribute except that its assignment rules mimic those of attached attributes. In other words, a stable attribute can never be the target of an assignment in which the source is Void or a detachable type. - test: detachable TEST + my_test: detachable TEST note options: stable attribute