From 7e03c4f429b46fe9cc2acbe7e7273feaf7ec4d08 Mon Sep 17 00:00:00 2001 From: halw Date: Tue, 29 Jun 2010 14:55:38 +0000 Subject: [PATCH] Author:halw Date:2010-06-29T14:55:38.000000Z git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@635 abb3cda0-5349-4a8f-a601-0c33ac3a8c38 --- .../_images/es_ref_contract_editor_03.png | Bin 0 -> 9742 bytes .../es_ref_contract_editor_03.png.data | 3 ++ .../_images/es_ref_contract_editor_add_01.png | Bin 0 -> 9283 bytes .../es_ref_contract_editor_add_01.png.data | 3 ++ .../es_ref_edit_contract_dialog_01.png | Bin 0 -> 4949 bytes .../es_ref_edit_contract_dialog_01.png.data | 3 ++ .../contract-editor-tool.wiki | 34 ++++++++++++++++-- 7 files changed, 41 insertions(+), 2 deletions(-) create mode 100644 documentation/current/eiffelstudio/_images/es_ref_contract_editor_03.png create mode 100644 documentation/current/eiffelstudio/_images/es_ref_contract_editor_03.png.data create mode 100644 documentation/current/eiffelstudio/_images/es_ref_contract_editor_add_01.png create mode 100644 documentation/current/eiffelstudio/_images/es_ref_contract_editor_add_01.png.data create mode 100644 documentation/current/eiffelstudio/_images/es_ref_edit_contract_dialog_01.png create mode 100644 documentation/current/eiffelstudio/_images/es_ref_edit_contract_dialog_01.png.data diff --git a/documentation/current/eiffelstudio/_images/es_ref_contract_editor_03.png b/documentation/current/eiffelstudio/_images/es_ref_contract_editor_03.png new file mode 100644 index 0000000000000000000000000000000000000000..4f1c2ccca74c812b205400e97c407bee5fb238d6 GIT binary patch literal 9742 zcmeHtcTf~v^X`~HlprWcl9G`mB9cMLIS0uSmL+GF3@S+^39=wrL|AgpOAyI%C5I(S z4!cNNGTiZf>#O>H_x^F~{(q-xcBcCD={ft%IZyX=p9l>#d7?WH?*ITmq^KaH1pwEP z;63{Gb@2DM-C!h7&M08hehayRs`Ga1ftU-xq0PyR^iYdJ8E@p4WYr_(J+-s}w8wlRk+59(2 zej+pqpds4G1TEZqbE^9K)`+`m1&{c^PQlwBRh>RUQvAY6UJhFcm6@@;au?PX6?;?5(?=e|KmxYNqlH0|Q{F+mTI?$GH+gGG>-5b#4$L?7{UiA4*WBB@G zN0$Y@gOK2xz*pmx-?k$Ou|emSy<|C%MZrsyzSHYJo4K{seowGV2~O=IivT5w4ON+K)WP6g?8odK_fI{(v%#_X3CX5q-QZwdU8N4Tqwos&BCZ z>RrKz%f_>B4A+5QM&}lb%b7Fe;(XJq$4jyE6_CDggsMMwr_`qSyrw^u@J{5xn^6l;cnJ9>waU&(2q+o%PaTn7N_ zm$Y`H4HS?wp(;tQ-&-e zWVZDlaX5FMmXffSPDAi}{^l%qc?sWPX?%P3i8ycqS_*WGJl4)IK85DU+DFJ`n;|cZ z)Fm(0B6&`~6dgc+BGi_F31{g@a6q@=~@NkXL-U4+OYWU@8AjLU>kK~i7CZ*CMfy#lojE85$$7V!A+{@>7>|ud zDEkpy3;RpMWtmC;;u^3{F|d1ZOk+lxBg0voFs@X^qGVg_u_%G(H&xKnrR!& zb(bhGs%r^`A1wNBe_VIh!W!RXR_n#Ei59zx(AIK{W;Y#dp``d%m_(O`O-lzY$Ux$s zxAJ4MU@BBojrEw}U{2cQ#JY~9T?OXfVkbk?SL;!>E|Xg{G!w<~*WJxP(yndhLmw(D zmpq8mA8(?Fka@z%Ss0U7Qc_a%&ykn+K`uK^p&jd4R;qpQ8!B-fcpINHVoS=WI)b&; zQ1WS@m}#TGk#TYx0A{poIpH;ihR8Fa-gZeA@5UsmZ3)m*{0fJQ5ofJGCjZM#a^Ttp zTK}@dBdQ3Ho^EaxwU;gLvUR2N=X`!5-*fDB?QO+Yqqcpli0x4kk~1^XxH<^&m@$)T zSHs7izU(AAn73KTzcmSlAn}4kNX+(g}J4vKstP~ZIoDiKizv- z<7XKc0nO>?JHs7rAxHuG$LHKeq*;sm%c-CeA3?NTzMgWe;pWe!LYZY{%2Ld-B|eZ~ z*4kdS^G2EVvto``kJYne6}w^#@`Y@Bv)4$Vu)}1TCW4rEVrYBbHci01`=c2Ke$MZn z$a8^1r!oZjU%k6wSyGStL7)p;?0(0Tl5yUbMMSf_pUIu0M(*gd@CS!M(=>~l%d0H+ zX@>{3#D;{uz8X?5j&%qSCynLoBV)26q$f*$zFFjMXLff6=KNV=U&nH^C%2+q%fdiY zIikX9&1kQ?a^uV?I>UDR9Nx9&@`evXh~M5Mz~=!nzsMTJ~n$-Ho$YxLTgd&U|j6B!q^ zq4Ul7un93AWw6Fd#u;?EpEzNfx_20a4m$m%{RGe9q;o>sxkY?6HD-ehy=PM{2$hGe4-4vWx(bv-(Pxmpd9@;iTl?Xn>mzSOjMqZtEm$I6; zZER@ImBMYfom)7gZ8L35HT?_qKWJf3A~4rEt$SZ8LB{)Rm3|C<%gVaGw2)HQVU5XZSA$wGx4}v2fpbp zt8O_y$@RNJU<(Rgh#%^Vj2CNT&n`u~WYI=weS1WM*`WGh(4S5G&--hX4CytF=<$}I zpq$Y#A{thK(b^-xAz39iH@DMAW+Fq}PpPmAHzFx$#(&oTiY?^w)S`2E(VGi>jGYVE zaVY+u-((tGtr7=8`>xa*W~|Sn_48e%rWvWxL{hq;ZYrw#vW5 zJ=;Qq6Ii|-4i4ZeHH$4y^<{k*Nf=d)a1G|U{4vHmheM#986>Q_s~FA~FqeU@ttLHj z534RcFvFV9?8CWcA6H0QC3F)tDP zl>c6_`u?-1Apb*G1#*5W+Y*g!vCaF?*j&1bjCFeWw63|Fh4JFtPDp_6Ayx4gpAmgK zR&@z!tFwzE-sa2cE&5Bxfls81W&I*qt1W@aPAW!7?WyU{o3b?xwZ#lqro@~TyF7mU z&id;miOko&T7}==>{Qpas7?>J5DCu)Y6z;u__ac$vdDhF$5b*96fy-tlzR56 zJ3%f{WnqSY3cHKnRN>Gw-W?bET1Cc)5#xljFoGQ5t2<4{Po37z4*$|S zj_z8!T*QqXda3#>$I0_v4gGKnNP8dADn2^IFB;nPhDy#>b+olktCvuI?kw``2;~@f ze3D>eaCk(}OGcV}-b%?M;%Tp;ia|%}89Jl?w6B#u)6O4pIva`z3V1X2?do{FG-&F} z;E2ac@%JkwY3t?oP&!X{m;>^6YSIIrH@2J)V!Of#spC~xWxs>Vs=B(mX_nAl(81O0 zafNNMnPKHCnZfkq=HG>GMn^EWMuTLP*K##e5qD!-CaadGmfv2xF|GH|Ws_u;g7%p2 z;Iwc2=C->2GJnEsjJbWw%WK%_D7lwa?)X^{P8U z)x~^qUq)U8wm2{#-dMPxpe*ucu`Xo6>1@+mZ;T7mst%Kn^gnd>uE}tc#&zkXUY#IS z=C)=swEeTRE1|sKbe1uW%B3wlH9=P!SC@a(=f$?%&4i9d@k{0pgU^0Wkf*)xGf}*P zhbdgvmDQh8b_AV+(@j@j|8HPt_kO$qL>Gj1$VNv7kC^rg7!Ln@6^s|reR**fS=zenV=)QYWsuyCGBI+IhIqulvF)<5 zgQZcVO!Q60ruo}gvU+N8D0dFh7x4S8P0Jw>=1b{?vTB?=UAxMJIESeot6>*{P^rPp z%MlBTz0Ry6y`jW5q%3os!gsBF8AjJl+xt}%niaU@3+vZBBAlmA{t4Yi^{HrtHFPS7 z*YBv&yydw?c`df(3a*;^aCN@?ng41J)4*pulFPm#B=7lbl01U~t(aR&4l3)?CcOX4 zV<^}Cxa{9QA(^K8ZIG?V^KDzs1Qk|%68bbX1m+qeqn5Vz{n#$_*noz<{?TS(sbS*E zvM{-<<~_8Zr;5`?&?c$bax-M|&u@IVAEzRx^CB7P$ahsC?(^o|RXO>I8Rg5&xNfVe zc*;vYj3vV~*Z9YflyA{F+{ybL=WUL)^dCC(oadVZdgg1YSb2oY=lO%?15wo@XiXot zT4vl6$A}6UsH{{A1qp5@4vBi>`)zxFq2jX|e&Rb{X;(D1%r^CE- z4ryE_u4YGrChITGlEXp_{_vOvTP$ZTJCie6J??EMMpv* zt2jstZZQ6vX7Hz~?#tbAIOQ|tVy(?+!MS^JHqQ;E7^Jn8IJjxdOp<$`SlP@GLoVea zj~PV#5BCx%?~nuRe7VP({UD2DZzc?4Sc_SKw-eyYQPRq6mRPlgoyo;En|Be{%ht?R zW;+eWI8GSvSJ_YtI=zR_X)Hr)yPja@n*7#(W#NSINT+H`6S}C!#>R@xTAG8dF4ff4 z?d`Wh2=0rxiS7)0b#Y($HQJ&&h1Wu@)eE%XZ2l{AszcYHbV2^Qo{mC8DR-z_;cW1d zP06w##}*saVv)kYBW2$0^Pt%DfWDu~k|(mHu9q!&DpKFuk({$;<9;bWESY$Ku9)D6 z5J=AwO6BTzPAc|%W0FMucrNtwWlf;6E*C}N4sZ5pUtZks;++W8531b3`O5w}`Kh)RvaC*khS8y$|;0QM2AqHp$pmF=A-f_79|4 z8tlm`PjX<`84gB7n%hTnDjZXW(j-J%iIZh%b3SM^PjhTMaq?~=i(YOu(}?NvR9`(m zrkD32ET%FkS7#c^i&bjgPu~$cS?;jxJnsnH>MhLBQ|gRL|5YMgomp08JLy5jGcoX@frIS z&vxDWbH!FmGrvD7{S9uHfd{aqXokWqNJnPvd=zy`XN0nUXbI z;MdCz(HiF~?;vUctxia)tks}L1RD>ndx_an*3H5Y8DK< zFHGE5Y8kx}*Mc9Y5aO07wgYb==h3E#OwzR5n#3&I6&yKL@zBhZY>2^>!;8;7R+Zpo zEAS*4HRm8_C!-W}YH5J`U1BxY=!1k|wCozRHd_*W9sBzBOY1N6Th4dLh{t?mG=-MWSovpv9+tubd8zsU)iB|gbeQ2ho zmT31Ak4w|M2Bfx*xgHcme+7Op#r4>5OP-8W`B0X6|3NL4G<$d42=bk8oZ=kJxR?>o zZ2DSWt|{ZxxO)gupKq|LF7iVJ1Q6Ch=DXcjh5h<%W5xDtE{^LNhsjZvw?m~s#^UDY z9{eMclOXQ@${xd&P}cYAB5K;O{?AY4IlsYoey?f+&eXra=@bbeQ;~>xhjHY|OrJB) zqDFf6N+TDBUrtq5TigBkk9m#`Gug%){NUoiIyKg8zlZ#W8{RVoCB)IR6qi4!lc(E^ zw#m2I6weem(^YfuGllBxCc9V1$9po*q*fH$DmJS0Dwb;<0|@U@%w+vMkx#w;kAr~6 z%kEc?SJ*V`88!=>*>lgQm5z-$s`eZ;+jG5s#8`3awFY;cNV=MfxC_yK%BNzNXNEM7 zoGqK0k05HxD=fTEnxpd~l{_vnF_BEF?F$&ApMQs#sWc&>rM2*8pD+%fNu}gO`)G;%9dU_6? zKY;i=IuWiejlNo+6eJ0&oPMe*+^j@Ws@4T-G4&@3KBc~Ky3xaLP4rMOaAI2jG?psA zD&(iGVGrcWEm-ecRfyELpSp}H+}FPHDqB}j`fovol^;nKl?zCCAnj^p~}7v#pL7N`y!I`JzS|zzX54)xeFwitfd?JjVdB5$-t!7y7GS|ZJ5B6 z?%Ovzvz$Yg45K6f(3^7_6~yh>mW?gp>f;XuzAojerq)<=e8fuJ`ASldk8G|YYC>7A z3wyZ&Le|_q=Zb#s_{lU(2YK}gsJg(6(EB(l0C-vUjZFIDIDb$b%5V=jW-1T(fj|1o5iGUs60cUoMOVZT*Sadm?g#ISvdRno$+!hgpSgwF zvBT=sS6_QsGBff46~W@HIH$A+`j3j?Gb%UoeVP@1mDbAoeR~w|leh6JIKG53Zh*tt z;`XxQ?z=6&W=`Ox?X=(CwNHh!ObntsNdwxI?kAtjoB@`lo7WSRT^NE91F({-TXU%i zXz5Sr^R@A%W~$aNOhCOD^t%)yPKrgX{_Li1zc7(dCpB)T6HL_8&R;SW3#hx||H34S zT`u#Z#40U1?hGot^a1hf**SOH`6q1$=XJat-UhOPfPlc5ypHZahmMX+_K*UzMM|!1 zN|r|VQ^E`~qW^&WbVn#GrazbfSm~f9SQm~_A{@z8-6~lE020vn8kNzswLD80G{YyC zP##PW`W9^Ri=GytVvnX7Rew+cm3}g3D%prvMrI zO2*FK9xNtke6J~b8rT`6&Hzc8Y4i^_QE&npR9-Sj&si;eW_B1ceQsgIGRr)4ZEsJE z`+yH%hr13~uyM{bo+xa5(tPIruE@yRxKc>)IaQ}7FGh2=K2%LH3v#r2iv;zjL~nT& zJ0`X@>Aa%1E<70Xl!BV^8)c&T52QI&2Vt6-71dp&o&N=6+r2monErVRy=>s7M6Py; zQhQDBI!VS%6-(uzGjeuCIf;in?lqSj!;QBVLatfdoX@dBo0!Mh+n#RH!LxO%FUnzA zesm~3tRoBJlI>}hxw&pDpCHGb4hCV%rNhe@hZr& z&O^yUK~S;5z*f1USRPKPL=aZqZ7}Yeg=pvKH^L?e^@ZNq$KHNPGC@HpX3(01IOI0K zN3Z@CJX!|Ww!D9;zA<)@dP{eE#^g4(_KxH47VAs#hGsjoYUv2TE7s7c5rKGzGO7R6 zXx|Xq+7i~d<-K`8i#X#hKIEGmxaaScP0MTTla$L>_%Zi)kOl~tYijP*lFzK8O z?OYDOqAG%1xpTc*otDz;7OF15 zP_t{KdclFL&iWCOL%gCImgM))8mbCrv!lx|hA(%oHqC5QkN6%`*88DnMAE0lg6J#X zpHY28X$)*Zw&m5pM8Z(wcj70Ip2;ccYL;&YgVoWOXo`_QG#wuHGT7q9Zjqt};G2}1 zv{P0pu{>0ljX_xMWh}du8dTK|#yFVH{m{%iL5Zeh@t5d5D2*&7^%fyBS_Z3xvQcqB z&g2HcAXQT_X$wfeLje!Er<6q?>Ij99_-1}XErP#DY+>#l>1UC1xiC$Y%O zM_%Tz=zr|)O?m-lje2`~Q&LhknF{_no;-Q-ZODe13{3MsAJAa8qLO=Q!CobKwZ<1! zH$&yO`^&-D(WGWAeg1H~MH>+B^;37*8@RJ>(bRz9B8zBMBMj7MnLhi%8Xmy+QwcZT zq6&!LBeCC1_H}MEh>}WTJH;V*zPo3TIrglw!Dt>6$cpCp0_#dXM$s@L?e*@}u4kEB zlqO|9e)`yb5f(ldmg_IghFkT5#uJASEb=Kg9>5Cys9=%pqfW0M-`vEpuREn;5kly9RudhPs1d>P<_mN`TZEt zMQH%d8WWK~C=v)9;39Ok*EZ3TA$Y(#Y}VZi!p8CZe$>eF%|YrV{v?$w@5TA2YbFCD zmnS=Y?#mLPmt70|m}tMy#y-rn2_OE_I;I>Ch@lI3!dHhDMzmwcVRIFfcZ!qIZ&yk- zO1dhI`yc!CUO-Xqyvt6eQH{Djuw}`Sk}G@%UdHRdffm^Bffi1$Aoyarp1XG7szSlm zZ#(fWqr|!;@YZzmivl6bpDT-WQO|&$LuBD5!2lE*OSMjrNeXDZmw;2HjSsqCn{$G@ zC#|ga;WCI%q&$6lFSZUi`Y&oQ^-A$Z>-7qn{r5i3pfZju8}K=W^ciQmrVhCS=9X>( z9!a2uJJC{q%y^o^)VR5ni9*MBi+0SQsEz$~9Eh&a>B1}=ER}BmA3*^#9st~n0&D;O z@#zwWVqwh%{Pb2jb5o2W1nMr=-)00$gqeQjpYDs_+OCK|Bx4=|z7I~R8eU;XzTQ}C z!FHR9jkr+=v(=%hCN8zTDTOb*_&9F>zQmx;yZtc(H*3f4bnl-Al_5x|sE_n8&hrm#y=|MzR;Y#{cML4HN z8jH%9stkzc$M#=iX&c|^e9)F_T2gaUC6SBGRg01%UJH$rSdOv_wmw{f*Ud_k8!uy} zEY|TZF=l*~ZeCWr9Vh}GVJ0enJFKRl2N(v$#DO~s9yufUG{DN%z~8+9{}#FajhFs+ zX#Sn2o%>Y2?@SLKWzPt6h?p8tbKV3JqWM82y^-+P-#Lro%G-s zYucaUv(^DCrT#+oCE^a?%RweB=u+Dy!7t?DKUmPXuTgh59incYB`_PFI=CG3Sj!Kg?7@IGZRe9>%?K; zCIbV#=MSqV%8wSmb8W3F4G>@~ zdmsXncJ|_*3?P)SeAuo=h$Y5DP^8+XoZj}rBtrgvovb&dmE#Wz$sUD9%(TXuA0=X6 zFC?I|TD7YK6yJk<_mX$TgGeZ=mH&7sz)@;1#?nQ9+2ctazSM9l*vPQZ+|jz&OuuL< ze6>%t4NuF!Llxgw;`r;Tn$r2Lhp6jqx^5i_;Xze*bR!zGS~*-Rt|x)utz%}yudC^~ zTzYif+Vxq@u9FJhC$vRUtU;0jz-A2?mWDZf{nJr=NZeV!JjWjgJmF_sA%0+K{lHF5 z2&@6rWwb7s;)uNyn9}hx+`RN2@qnN}>qN=jkQ8%g{LcG34^{_=>Q}(`B)CVY_lEuprICA}msp(o#zbg5&}#A>Az?ASEF2C8Rqf zr2gygectmtGk4}QXYM`co;&y6bI!!*>%Jf%q$dObfJ8%G#SmQ{qK_0WS-pYAuCGaG82=w^_R8DC*~1Cw zV%UsEV|f4XeP3^T2=M12eDD9WDSNuRLp)%>#dky}8pHj^X6y`eg8*fRlUxA60%)ix z8vExS1i?RmX0o<2(!pRS=3T^e^t2LQ0x%RFA>lqA)feCnmt9SFI*G^25so_{u5^>3 z)ds}NW*`{(b9r!t%G-Ne-Np&4nF$ZF4*Z8q=!Kevl8lKz0E}ev|Jp0?Cw)nH^!mA z_nY}6pSc86S5FH&pQs?Zqs$&c-)Q4y+3Q{1@|N=p>wOx1gUP{B0t{qc78G)`l=DAk zai{~2)NY$*DR5I7QmPt)*@V=K4Pgl!KgD!ROmwD{3O*Fos@Mt%2`S7L=&PH|e8U#g zAreXt`Lnq7a31C4Buzyw8u7h`E8wlXRwEL*+rpGIm^#D(c#Yka-BxVL>CJMcl(+?K z1Q}>66o{?FrTk>ZKEJq_^pyZ5s(r4nuLnLkXXjVRy!d7yM&iSoOfHHgB1EZ55Z!y? z4+8X`NB6GY8VmH<8>U{lTGuC#X&9w&&$dPuQ5BbHnY8}iO3-pSgonOhf=9Fjp#_}v zRW(>U@fXPO0YwXo<5+-;Fs*K6pzUjfJDjF534;sdr^9|$T1mt2{Q{G6EnN>vKmnOg}kcqkDFr4224!OzH}>K*{YHAuo_?s zFoi2@cu9arqX)S(3EPkC&hnR!E3b-vTxR$9AJ~3z=F{XmFVv$a?6=UA;tV6o-C}so z`^2~wi6jJI2mkTS@@ahs`&SWJ&87}H*xTFt{EyHVGE5n9GMt-IXzH^tR}$0U9B>m@p#OT(yYRox^I6e6b%L0b<4L|Rlh5dfvrBeb5`*N5YNvl ztY&?!l2q7MyZ=%S7K`|udp4OMPmd)BQ0U{1ZqO(eCuW(*Fj{`Qi>}~%$3PRxadh*E3^z`ME z=TcI?e*HoUP5q%DQ*9&D>f2dXY!f23pE>26(p&>6*KQO}WgY9ALP0+$JKElz-76Qj z%~fCRielZKv-F1iCuLvChlFh{AF#sr0JoVhU(59w%L2?DjXw-KjVEk)OHPTA z^a>G&FXI7$%$^n&7JM%wvAELW1U;AU+~oPI(!N16OXg>1ow7GmIJMY*`EM$(Uj6u? zFBOEUFE1d@QX@qO+Q^BEi%Uqn&fY9IT+cvRgC~r~=?&{ELV{Tq@1otF^n&oxK1@!7 zI_zfpGdPndgBn9JZN6H9>$M@I62zbvezZb(y15a|?T$f50zudRJ^kDNU+zvrBya{45YNKYxnP%s%Bh z|7qcg(G^9)0DG3?8EtqxczNSZ(WMD~;L1qjA_OiVRRu%$_4O>paOy zlv;Yzzku!m^gO^QAKV5bc#*_ZRaFIvZ$BH8HmkIep224EZnk7g?h3#N?da$@{mqhh zy_GB&v|AXNP!MwGKDKK91ag_TBmcHVntby~+*22ekfMcs4|j7Lqln>7xMTEVhL(N# z!1F@?-*a*DwJ!##ZQ4poAmt@WNzP>GH6l0IMR_D6`0m%oRguXdTIDJ?u&F?X^3r~z z$e2*PI!6z!@(4Xq+&=m5udmC~67NdC&_27)>>eb>1sF^#WZQ?MQSOJ*hhBIhp9Aj( zBEMs--1Zf8*FH@snBaGugMxsrH~SK#9z{Echl%}mG&X@yiQj455gdJX!V3-0bQtLA zYx%Wiefg&*ryL~x0RR^#4ggo>E+@B&?iYRF|!hilWoqU;Q zJW`tok_^-1A0d1(!$SbSIcS8|8vhmsXroS6D+C3FU!jex!$F>1vf&i0k%Cy-Tt*64ua%X9*401=j2FA~5ALJfZ@qxAzDKA{$xaVk^QE=<@m*JWd zK4D0V+kzUkVeQiqslcmh2zVqzkQoGW^YCB-fn zzepNbhw4oI5L(IQB9AHOb+nqr_*77!DCR~jV2Phbhc)=iR<=@_tR7{%s7{_b!CSdlyz0Z+3)**M{LjJHxx$$7at7%L`GWwx*!*LoMj|Kep?sDtBLFtXYfx$j` zsPRfCDlgF*w+0(=#Mc}i9=4e~X|{uC)QHDuIZ~bikMschE#I@tL&>W}h9`JelO^9o zJGE$1LftOp{V=Iq#OQH=v1aG&a${sk$rJQGMX3NXf`E>hp)8v{|C1YpvgH0}r^fmc zQ%6Uq+}Nc*mTGBf2?&+x_?@CvePdy_oWvwcpP*)9qM9E6>z&W?^t2dfe`N(feL`Y< zyqK6+W=V{UZs`;fiIDwzd9@XQQApu8dSz2ta=-cjuWtB*{6+sPFT&S-;&N=W;1hoM z*=Xa^v!8$7RBqiBR0rQW$%9W%^k%=>oKD8+C7X8aY~JJs;zsFxY@uFZ|8{Y9rmKP* zg+#i$yZgtvgbGJt>9wFT3eux>1|(qZH);aRa+fg-l6Zp{gTq(&JORP6?hAmBjEpw2 z0zD=T(gp?wy1NwvduT@->tcFj^5IQ-m#Z6w}CokQV-D}nKIOh9Z-v&SAP{;?bD*Jidd=F`- z0^SSqXW($ph*Qk+g;zU(7ok=vd_H3t0#@{dk;J{W@gF6in1Ddj3Z|-o7in={(R*5P zN&9NYgJ@L?I$zPQtH|}xR4u(h9(j=_6pHi-@f{8k^@^SZHwFdcd-6z-Tp%q#9)o=k zTaBc_RIsvIN~`40?eTYgP@I);q+@($1v&8#gu%WR6tL!umP|S8Obwe3z2D5X6hrcx zw``_AzqoTd`jE8;{_5cCv$y7NXhijPq~u!{i}bzGh|T*UiFI3E&D^>M1Sg)$-tyIs ze7(n_W#|1a&Hd`zvh>bd$n>!4Rd~M5Q4}|9Jtl4)W+kWux%DV~GN4Cm-5Wu7a7tn% z6{Ryk*VeGbCH7J)^#knYS}@RxgbNtXzf@lM)Y)m1>qxW3PiN0(TKQ=9^A!=e*&FgC zRq>vaJSI6g*`&f0-9?3Ej|90%U>4R)=r8f|=)a^`$#hNkx$0L^ymY|N+1u40yIP4L zVRJJ}RMe*qU7S#VL#@6m-@RU)tX}tLUL*NcxZDz97y#~i!+H@FXO5;7*r;_i)neCt z;jbR3!ou&*pZs>lvur;oG=?jE!>V?FD@~k|Q1$afO^xth1^dRwfW#KeKyy)mztSK@ zW3K6BYAYJiPb7y*uXBM(8LN>I#L);w1)fQ>5cj7EsHBBAqGwpa&yUn;ejFHcvcS^O z+DuFs47`*8<&|ivRa*6sC?D;OLI*_YxR}W5>s^?eg)%_0@fcp-3wYG)4bIP=y2REu zBos}VEnhWG^j9@NptyqV5~y^~)&seceoc*}S(P{L96X13>#=`a(d!Pa7N|nUfbuIT zG@c$ne+|QB-?Yr9JFjf)os9OiZRG28HZ#AAH`|L0+BMJ-4rWr@o5#DJlxtEat8=up zw0NBxSmH#|NU-rGO3{#eZ~tKZE*Kn{OQ1gxM|grcy0J6<8c=xqR=R2<6D_|bLZfwXVXVf zTaXf~tvT_hE0OrUMz;(4;jcPWz9cB~i@NlnpC$bF$LYmeqmge>a@+6{%svd2!(YH> z$O{aB4^gkZ^@ot~WNnvEpdyXi3NmY5&jj%H*kd2b!!WER0qUaI%4V7ie|q>q58vL%N(C98ke%4MXbWnvQ6uG=?Z zt|Njmh5p2GhK$sD@hGm8=gPHIY^RdZiwx#{ySe>6WYivXw_{9ic01~YEJ;G$y`A{( z1>(vWi5bJvlntv*vsyC2sTG~*@XaQFRQyeYdFk25ZAV6Qc%dn`AFFG=E*#J|GmCqX zi}x7a9k)sH*EsO`LJ#J&HPNy9KV{pxMIuV342oM2x|LkM*fl#J@tkKmBTx`&x6x39 z{KNU+!}W~pGSh0>V7gP@M-`RiHiwYfSzpjdZYk!|onTfu>|ejy63iGe@m_1uB&5YoG10q* zC&a?Brbii`d*mKO7~__uKw()?zr%!4xv&4z4B2S6ZfW@_7t`NFXf-Y)vGw+1KdT?x zn6L@R-@L7zcYBgLI!gW)7hGA z-f0-5nOO&;nwxo;;&9Fbg%-C;oz2DQt12oin!HvERpU~I95l=&ztF#trS#kh`1z+X zf~YL#@_zF_bc2vEnYJce;bG?P5BQ*O?>GU=v*ZVfg&`h_LJQ(wwYzfb=62RfuyFKl z$Hvve#k|=Y?&CAHUxJirvcv~Mw^h4zAQ?CDv7x%Y>0CYI#6M9CHoCvf2jDA9>_;E> zCEu*wwX{erg2fohD}=UPMPr6@#NCl<4l0nCtcXJHIkSQtVO4{lmEiD>VyM=lTPc)q zuFffG1ezy~Rlh*`05fJ)z<3Ng1F0)P1l*#AZUI`n~n7~?VYCWFUv5fJ0 z+LW`~nvVRH^-3E~a1m1R`LnX|cXoCon6t#7g0A!D32r!;w9Pb6W2Hs@#7_4WX)qj# z;mr_jjP~QcIm%bv{!Z1S{=3t#;8CH(cGfFRLRvgeh05O+VlrUCJzhrKGjbceA1@I( z%ARWzL}X?vb&Go}z88m>nVA_#`cOFVy&d;Dmfj~$&Zw26eBt)DDrFbfmG(Tq|Ey&A z@=1H{g%f<4#0pN6&=k!3w<%J(pRXs_+xeBTg);*tDtaXrX8YlQQ8g6=+_kEab!byPR~t3`~~ zm5H~-VQB(OWA%hNjsdrwTxe$3enS$kv56%1+N?nL^j(>*XI#HUZ`*bnhreM61%z&} zJRfexdV~8@u2SZ~X^Iz;0T*I4Fj1|~$x6B`5*EmQx@430P-6Y9yl$5aDEn7`@U|I*mFX()#pV(-f=F)e4&Tnej_9)lcvVie z^iZ0dFPUB3W99?^W2EfRo&QJ)1B5Z$n z7w#?$cl;0|VUdBZK~L(oO2a#EN6au*uD3Qel_GE-;o;*2jYPWgO;ffln^9+%V5k5t z7j9}*gH6b*K+8g|&pYMK1`AQolYt5k@auz3OaKxV z>__F+{L+4MK{F;UL9##>$@8vAnhvk6k2WZ4ShwQqHNp4W03Zd9UYuAfEChe5E#y{m zHr3)JBj$Gf*`@Ow0|1*kfYAHrf+#Mzn(=_QZ#ZpFNy&*n zt<3dbaSv#7x@}gw&Y~DRv90h%=u2xM?@+x7&wEf-M#rgPd4(OU zvsCRb_4Eqnh#-N;8k(oF4{fd0?m0IElHIiVg979x0Q8up(i{izEM^#iQ(>yeIxAD? z`>t!8@1DxUit=TpATg*m@tnaW%r9<{y}8COmGz zd-SV*4`DIT>EPW(88PfkZ>blbzRm zXhXQO=VNSt$C0)DfkBF{<{gHV&(MZfYd{6Be6uNdDKsz-bGi zA0zw;x_;od?0alkxF))3#jx!b&M&P`b*9jYVd5GN7224am~f(%#5VsOV~x<@L>mMf z3zh2I_h%S}UHmUw5*;_V70n;f9>hWe*ZdBpT&wXHH}3A1C~TJ3BrvjGiT%`PX>56# zw)WBR8=<391EG_qAaCs2hA?;tofx{`l?yX8pafm9bgIP`?k~5uHa7a%+OAaC-0|N1 zT?r>MTxsL!B^rY}Ih9_1L&k=ZYv@TyOP^qBb?5XjO27GG(Ij#F4v)!;U?^^EOqVzu zK9qBb#`ouHu!yS4v{enz*`2^)ed5i8uW8(x8Ji^HCaav9WB-_uf|<5U%4D)C7z39v z5lRwX@9-qv<0S)K@U@mT$9OOzU9%V$5AWvhKf=Yuo!mKp-f==QcKta?E_M{((~9Tq z`NWH4PL5cg;D@`*jF(Fzi@CjU^ML^0oIhi?y?qpbt?YX-}r z6^L+z;d5(8?U&ZGkDjEDCo)QZi^f-5nwVfE->Vs9GBTlha+^Kh5QOFkbJ9*Ty#Jw0 zwyJmeUx@sD1iYxEn0vUFOrDrxs_u%7dL4aPsqOa3jB*3jdRS;?DQw4&N-2fc-W;}$ zThJuQ{pCivU;S+C*a$GtCPPT}v#A~Yr2^g@F7lx63oyCPx=d6YWZuu4nLHzp;UJGe zJEUkA7ES1A2S@7AYcV9!rQ39jc4WhQ2Nv-9by;U;=a(->i_JbeuwM-aUqbHolH~6t z>Z2??+f67>r;YR`dV-N=mA}yKlS#h&%(XV=IWYIL%AzLukrkz?qKEA1H+Ex_!eTwv zeo=zKh3(%1<=XKT>t+N1Xi%}#zS%NSIO-|Wpr1#_wd2?|S;&?0Ak?E}=gHXhdXju1 z_>ru1_itfc&`Muh6UWr^WWt{to7v<%R=3WY+aNIE*?va|>6YECFL2%R-8 z$+AZsU#O{}M+_b=?$}4^j3EbFdn9trpNW^Xh9u@sAD2SjE@-eDdqRe!7HmNIz0^7T z9Hn(*i1F(2ik`90oKTs|i4~33YYsyb6MpciL_)-8K^nrV92vUE9QL!bqgG2-<0Cwj@n`2Vpa%(|+TlXgr|(INjCd zACbqXh|%|x>)$514(`54_W)CG$(1bO;25y@*8E1Saz>5V0ZCWbQ$$|w;<9uM8?oduY` z(CxFUaS+K;=U_|5ukGfebB<28g&l^ePoma`j?M#m@BQ zhBWC=s1)yGHafcC>1<16-Hng(rGabDcIn~voR&T z_-vpvMQdN;Tr#x-lS;5G6thkEAi1gx;UDss(T!E!zrHr0JA0I%R)a65BT5|ZBS6ij z7BxWut-)8}wV&DamQ*!>Sta$`Woob?wr}a?W3Ic?-s2)NHTWe8MF_rYL1?t9Pgsi8 z{n&D>Y}_404YC%E?Ae5uRoLEXVwP(=Q1RuIX&WCGhy-n@yp8f!86~G84C>hNSuGaH zQY+IbYqFFJt}bRx=eaBD5!OhPt|^G>eZ^bTW-Lz3&XmMOPB0}VOf>!0$6(&o_Wgg$ z8hZi}&By{_NtAlt`SXZ{)TK+7ma*^Z-tM+G*y% zLf5rtLhqBO57?;$g0Y88aSPbv$ao&s#IYwY`+RxX#W6%4@gx^Aahkt(|IP_^D5X{4 zzxaX8P2?c-K7DO>(@rw=f^CJu5Sx;5C)m)<4mK^%9v(4`X9)f}QuBMrwpe?@hnGTR zMt`)NqGF+sm*N?Z>|^;VlqLrw;XN)cJ^~9Na;j#WuslYWZDd?>Ri${xiZq#6rWuJN zV1GtgA2-a#D9q-@S~y8%QU3B#8r%-+NzU-Mbe>9FV^JhhD)IAPi~7b72eUv9nJ*5R z+g}Zcpa$S985MTZBK6mvhRs4hSVcm)bthK&?4ZpNKL!=|^Y#DMXhihB+Wi<;M`g!9 sUC`Ik^-|~vPE{B;ESLNJ?cD=LAL%r8mSU9+`d=A9LseG=rDPlSewVuFv_N@BKaJe7?)MpPHNMGoQYA8UO%hLjxTP z0H9f*zT+59Q19n*H#4XY#y|smC;+gu9$z%c5-dDakUq%JM3;Vyj*nTI>81?BrQeXQ zUC>Qf(7gZ%fGX`aph8SRR7l4Q>H+Z$4Dt;C0p}R62vYIW$GCPtAOhm+b1w)eX6;s? zqAb5rh?m>3D1VTzzZY<0hn11q!+6|d8Q>iRcY}BV&VfhA;%9y<_l0`+xlu(S0Orf5 z1S-sM4BNUvK)xU!;0w=OEES{wukkR5hZnGQ^oaDAn0A1_zZWP7*zSJQM8)Wi#jJdT z{Jeld@}LL+u=5-0+_VbGSRo)1d1n#WwSt0B?;F>q=(x{LB`Fo3dg_5>qN@~3i4I); zYHek4hef0aV!?7(M-(*e<>zb*b7d?$c=NFK#; zWhEuM@8Vf;*Idi*gW72U155E_9U-O`gSu%Yu|E(?nq@1a%K9xQfIRs}j=EL%QRj&+ z&?l#Wj$5(S(@M!xp?ZO?!3R4_quJAOanO)vHvJcwOPQ**)48VY?tT);tNQQoaoYyt zupp5KSX?k4(Pp>QBQ_m2B9C?P#pSWJM}9@-_Kur>L*}ijtZ^YLNUg3qOQkQ5J2>Da zitSy}5!Lnk7J9>RDXzOQdbMZHgl<7DJXteY9E#UWcLF!9Ef2#rm?GEETH%qinW#q* zf&HwkyUjQ(XHy;87{;T_&qdx#w@=^!_yyc9q%Hcjf4ZOWdZM%Wpt-CC+8fyGGDX)& zc}R(9W)=E5TM*FsbxNv6V*K+TBf6|kY7ni%jT!wWiqt4`4)g%LIxwobv$b`A`>=v+ z=Vus-o>p3;#HSo<+dkakVn4KHt9@i>m6f5totI_5PmBj z1&15E4)H9&T)~SGxF234@lWzz;{{X+C!{8$`$a$|fvRg?Gd#4Ovi1zE5#Gz@9I(GY zPtZS~;8H(hhBZwTWZkjXY&Xuz{x0= zqshjSIX%v-P|GPw#KCmrS)@lw03{@(GLClyYFytJ8+u9Za#qlQ|7gO|N+xSu#}p3k z<0?#knH#}oKWtm%BM7LN_kF_&xHp!|POvK~E2B14Qo3d#%6y~9T1TC)GPfDXM`OEX z^PKs07+ZCBnS?<7E5Ki~go;zCYK8x+tlcAJ0#0)-@!=b=;W`$AMXTz*xQ!XxFCjYu^dt zR!-ctT1qe$x#KdrIU$j5+PKNGH6+#mf7YQY?Z4mloONN@rGA&Jo#OQ@uES9}%s61_ zg#_8UZ+|(m@z?kHM(}X5EAhz5P^Y)CNYi2hjY?vAPaDN;6>MBJ#ED#617pEfo}pRu zh^$(z{tY$QEjfr7e7)1KY4x!4)loQBzE7=IYq%JhZ}z<7#n9nC*CkEZ+90col%7qo ziuEA7u~d`(e3?C%_KQ>hY*m)Lp`wDqhj0FU8(~D&Xf4+h_vSul?ez+SywsSa9YP5M zB2o^OdU|>@s7hVEH;Y3W8{Li(>$|0Aq^eu9FaGi6io!s8A5mJs#|ga3o!yARdC~&C%op=82+ncZOl|FB+=~|- zB^72PV(u^V9v_(iI7JyddQ|(T~=0>%GyV&3@5Ck($_N8tmW8Z zoZH4<3(_99k*vtWb43TN8b_2q;@I9mS;XN~Z$ab!Y~3^mMj6}ivpzinvx6j(O|l3Y zRX#1)mh@>65i>h5iRwDL`C#2iLoPzq!aF>57bo}1Ko*kO)ic{hwjZv!z((+@m-|IT z1pBfg+D0bA4i7v0I_+(@S0hWW%Y{ck7JbN$4`7Q_S2Hy|QD`0JF4Se!xv)?;kN6el z(wF#FMEnuIxrhk59tu%oc*GyF6iPfAB9+yRgn`y4Upk*j7@Mg!Hg&BHUb&2lR#&XF zTXhN6-fWi?(9eWh&ag<&%|>Cj{bWGbpnoz_9gaBeHPD99B`-kM^Wh7Z3S5ENJ#n$-BkqUBQt{QVq316c%MbCPhzQf8$qu#8IAxE^59`uu{0Q z*_q`lG3D>DLog@d7^ z@)s{(wndc)IQD@^2=>%Q55qCX2{XF|-b$He=gRGvSqb9A*7}|2W@m17BHCmUNk>1? zZu~bzYckG`1N|c-w)33dW-H>VOVLYYN_`c=Tke+%h)wy(bH`YdDH1Wc1kXC)f2*QM zS+$KuJ?+nC*oVm6Kz4D_mR$&G>sNi(`{P8^$`pJr{qg3ipG_eO+0wfZu zR%o@gwMoMz8)^Z~(WeLmg8pp@&gX6JZQ>6wLaXwEiVeQLW-1I!uF zMyG$Ii}Idw5&rvpi@L!9c#ZxHFz_V|M}lI^o={k-LDE_#-%Pyzcg@c~AB!}60ydsR#3^7tN3oC!um z3jLVEDSqPvYv*#d*Vb#$+&!8cf@ev!^|Qqx1wm={Kou37<=WYyt_SJJmkY2SzI-OJ zb@l0`r;id6c!4n!S`aC%uov=qxc~YQTYq7D8T$Eg0OS>-jJV|LQL+L=0W3E~luLjG9S+;Yp+KZ9-us;;vAtd_fZtEIy<-5}|VHz)ghLugq5yAP+JL{||0n z`HR3;EdzIook|)j0x%zXneEvC6`d`(>2|S`IyL=N{#MFap4OWPgrLhjb4*3m^F z-hbnT=jnm0#;$^5Md_oi71@q^2a`tU4UFGWghd~;QKG3io))<76S5OOD`5lPvjOfk z`s3-JJb5x);y90(h(2|uwyrMWtpk4`K)1(;E8K(@V{@QFK0G{Z-QFYDnMKkARu| z#VeQ>%hsmnD}xB zf;XR!N&Hut<&jZ!G!8#0@N}fe7|ibG&jsV-Z9x zT4g<}(j|-1L1s=iXVxUG?%%$M`*GezH%KT2=9MX1hTo8Z1>j)q+SBHhy!=smzQeqj zY2KodZcWIRd8Bntk}ftiRSDTYP@bP9SJ}OM7bIW7)=*mW{`C7LTUR;09u-uN-hma4 zJ84_3`#}WQq4TNf+rl>%OIb8lgT>Dr4-ks^foQ0Aj!_~Xd3aJ{=?`2+OYsp`ijo9- z_A*_fGqgsig%Y&L<-4dN ztWx&b@h@szhUGs9ssfT5{Bu*-LTa3@3@#lKDbFXI9oN$TqXiMAXIR`UD7mI#V?{ox z*k2Q5_4xrm^xd%bbK7zM=aY0QDN?uaRiBFW^MZRD-S>_}tBX#)ofmjKU*EkzkxlFK zzP%EHsgi6!RX_aI*ZsM5D2rYfzJCE`{4K-qo5NsxzG5?TP)rD&uEUr@UWKu8dq-*~ z#ZnCK+mg*>`5$TR-)a0u5qpkvcU$Z^hrAZnrmIw|ICpn<9n@oNmVUOBaWpf3dMuf) zSoMIRWavk%tHj)2k@X+Q^Fl-*-vWhe0RYcgLiLYcn*eZ`R2*TanJuEED&(Cj2=6B8Os2&2m6@k<^Nu@x&i-r*GjuU*?JB+1oOzyug zB|XSW>6;HHav}K{<~9w0oO3gfnlO#*zIpXNsI#JaD2Mc}(Rooy5K`+PqIrO}u24!H*xRCy0H`86Ksx0`F@Pg6E@4>oO# zcZ3bX;4=cR_!+3%c#l8a;ZC-b70SOCOv)NSCABUOOR7|)iqJ&S$&ozxMtAE{$CB22 z4P`4Fo36O{>uUOqU7`81@9i>Ba83=J)%vsvY9a3QUGh6zPL>M*UcQrepvPPo0i|~h zK$GO0jr7NQI<9`ExhwTnIJmxFV_#kNG0ej~42!1$V9#!Q7JL$+$0TW_m;}>mz1R7w fGI$BGeMF;7chzJ6v*7W6GQd#RRHyXT-ROS-kZod| literal 0 HcmV?d00001 diff --git a/documentation/current/eiffelstudio/_images/es_ref_edit_contract_dialog_01.png.data b/documentation/current/eiffelstudio/_images/es_ref_edit_contract_dialog_01.png.data new file mode 100644 index 00000000..ea83f3d8 --- /dev/null +++ b/documentation/current/eiffelstudio/_images/es_ref_edit_contract_dialog_01.png.data @@ -0,0 +1,3 @@ +title=es ref edit contract dialog 01 +author=halw +path=content/es-ref-edit-contract-dialog-01 diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki index 1f6a70db..41d4aeab 100644 --- a/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki @@ -5,7 +5,7 @@ -[[Image:es ref contract editor 01]] +[[Image:es ref contract editor 01|center]] =Overview= @@ -57,5 +57,35 @@ The Contract Editor toolbar contains the following items: =Editing contracts= -You edit contracts one assertion clause at a time. +You edit contracts one assertion clause at a time. When you make a selection in the Contracts column of the Contract Editor tool, an entire assertion clause will be selected. In the depiction below, the clause minute_valid is selected from the class invariant of class TIME_OF_DAY. + + +[[Image:es ref contract editor 02]] + + +This applies to multi-line assertion clauses, too, as shown below. + + +[[Image:es ref contract editor 03]] + + +The selected clause can be moved up or down relative to the other clauses by using the up and down arrows in the toolbar. + +To make changes to the text of the currently selected assertion clause, click the Edit button ([[Image:contract-editor-edit-icon]]) on the toolbar, or just double-click the selected clause. The clause appears in the Edit Contract dialog box. + + +[[Image:es ref edit contract dialog 01]] + + +You can edit the tag for your assertion clause and the assertion itself. + +Assertion clause tags must be valid identifiers. The Contract Editor tool will check your input as you type and alert you if entered a character string that would not be a valid identifier. The tag is optional, so you can leave it empty if you wish. + +After editing the assertion clause itself, you can click OK. At this point the Contract Editor tool will perform a syntactical analysis on your assertion clause in order to help you avoid some types of errors. If your assertion clause appears syntactically sound, the Edit Contract dialog box will be dismissed and your changes will be visible in the Contract Editor tool display. + +At this point, the changes have not been saved to the class text. To save the changes click the Save icon ([[Image:16x16--general-save-icon]]) in the toolbar. + + + +