From 3f952801afd2b8466d0502c450cf8a493e4ecffc Mon Sep 17 00:00:00 2001
From: halw <halw@abb3cda0-5349-4a8f-a601-0c33ac3a8c38>
Date: Mon, 28 Jun 2010 20:53:45 +0000
Subject: [PATCH] Author:halw Date:2010-06-28T20:53:45.000000Z

git-svn-id: https://svn.eiffel.com/eiffel-org/trunk@633 abb3cda0-5349-4a8f-a601-0c33ac3a8c38
---
 .../_images/contract-editor-edit-icon.png     | Bin 0 -> 1548 bytes
 .../contract-editor-edit-icon.png.data        |   3 +
 .../eiffelstudio/_images/contract-icon.png    | Bin 0 -> 1619 bytes
 .../_images/contract-icon.png.data            |   3 +
 .../_images/es_ref_contract_editor_01.png     | Bin 0 -> 11340 bytes
 .../es_ref_contract_editor_01.png.data        |   3 +
 .../eiffelstudio/_images/move-down-icon.png   | Bin 0 -> 1477 bytes
 .../_images/move-down-icon.png.data           |   3 +
 .../eiffelstudio/_images/move-up-icon.png     | Bin 0 -> 1479 bytes
 .../_images/move-up-icon.png.data             |   3 +
 .../eiffelstudio/_images/refresh-icon.png     | Bin 0 -> 878 bytes
 .../_images/refresh-icon.png.data             |   3 +
 .../show-hide-contract-placeholders.png       | Bin 0 -> 1612 bytes
 .../show-hide-contract-placeholders.png.data  |   3 +
 .../contract-editor-tool.wiki                 |  61 ++++++++++++++++++
 15 files changed, 82 insertions(+)
 create mode 100644 documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png
 create mode 100644 documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png.data
 create mode 100644 documentation/current/eiffelstudio/_images/contract-icon.png
 create mode 100644 documentation/current/eiffelstudio/_images/contract-icon.png.data
 create mode 100644 documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png
 create mode 100644 documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png.data
 create mode 100644 documentation/current/eiffelstudio/_images/move-down-icon.png
 create mode 100644 documentation/current/eiffelstudio/_images/move-down-icon.png.data
 create mode 100644 documentation/current/eiffelstudio/_images/move-up-icon.png
 create mode 100644 documentation/current/eiffelstudio/_images/move-up-icon.png.data
 create mode 100644 documentation/current/eiffelstudio/_images/refresh-icon.png
 create mode 100644 documentation/current/eiffelstudio/_images/refresh-icon.png.data
 create mode 100644 documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png
 create mode 100644 documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png.data
 create mode 100644 documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki

diff --git a/documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png b/documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png
new file mode 100644
index 0000000000000000000000000000000000000000..4c8bd97815effefc5b87c5059af2893ed98d7a59
GIT binary patch
literal 1548
zcmeAS@N?(olHy`uVBq!ia0vp^LO?9Y!3-pyxA2^1U|?nl@Ck8cC{|^d#=x+Xf#E*`
zcj`5s#4~)chxyWP3PkP_i9aSDvqL=PqEyyx`Q!ug#qZUk7Hec5*RT3$SbWa7;e%!3
zJj<$U_KlyMn(lhuVekTi)-T>&Py9Q+1OzYyPka;A_cdnb=eP-9v!{J4E@r5zs;Zgy
zqhaCCwzjs8j*iY{zq-1*dU|?#dwcu(`X&Lv>R&*&Oq<3qZQbvA^X4sCes;;$KdV-)
zS_cH{cW(rN-J3V>-f7FQb0@>zy=V9CJA2^3fg?xG9zA;W+_`gCE}XdI$#CZm!_#N~
zpMk*tXV3pXfARmt%l|Kd=+*yMul~P&{r}CI|8L*^fA{YHyZ8U!1JQ^7AAsoN|BpcQ
z>HjAX`2Xqi|Ic6kfBE|Ve<(1(M!~QRfy~4Q6$}iF3?)H+!T+fM7^q;zKp9c6rDhW_
zqB#pZB8wRq_>O=u<5X=vX`mo`iKnkC`z<yZJ~i!rru(4uz+U1SQQ}xyl96A;uyWlQ
z51<eaNXR9%IJqdZpd>Rtk3pDIQ5h)C1rm48FQ_caOwTA`Si^tD3Mk447A;Cm1SwT0
z$;?e<F#XQY36$Xk$pq)8m6RtIr82}8{0AxL1{<DPoSc&gR9eKa{lJ!fpfCqWI6Sc^
zFEcNl;ehnBcAyy8X~FrWMaiiQU;j71hADH-&&^HED`EI{X4-zB7#m1yNM=b+D#MC*
zm(+nG`#oJ8LnNlAUN|arD1e9c!uPJ-yMyoC?XK?L{r&&`rb(L|-sz>kOEGf%yMMv?
z#?+e!&A;l|ZoBwHrE%(kpZc5jaXdGc5iP#B;C?c@Vgc8Ssyn%1EczB7qUPJ#yxYEA
zL0m@gR*};lSLP?t{l{-AvS~^*&N=<L(j%~Aa+o`3%DnR1np)mU;d^%mGrWB9_+FZ_
zXUIz5a3h7UOQQ5tA8+)S;b~BFy1@3WdAFpkY~e(P%Da5sp6f$TE=}6#@#D9Qoxg~a
WZ41|t?M^_iFnGH9xvX<aXaWH5jCJb(

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png.data b/documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png.data
new file mode 100644
index 00000000..b10a36a6
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/contract-editor-edit-icon.png.data
@@ -0,0 +1,3 @@
+title=contract-editor-edit-icon
+author=halw
+path=content/contract-editor-edit-icon
diff --git a/documentation/current/eiffelstudio/_images/contract-icon.png b/documentation/current/eiffelstudio/_images/contract-icon.png
new file mode 100644
index 0000000000000000000000000000000000000000..d9dd26d8577d4fe5dac8d718225bf11ab5133a67
GIT binary patch
literal 1619
zcmeAS@N?(olHy`uVBq!ia0vp^f<P?9!3-q3)Q_eyFfcO&_=LD}r(WYpJi`~VkuUbJ
zK*SD#$X!Cw`-Ec;3&$N5O*$i<dRZdvs$}LZsjR!Q`OoBw->a5>&?x<&TmI3w;*)X1
z2b0QA=9Qmpsz2LRe|D+);%;5w(euf(?rT89x0soqV}*oL1qCzOerEIX7RksKDJxe7
z<Ww0L*39@>tEJu0^S4n)r_m>%Sy{PRSHIQHv9-0eLrJMSthl?oyT{wVCnB~_RdwRT
ziIcL5Cwuu#2ZGhVXC$W2G%%dy<~CPff9~A5^9xHBT39Vi%UxMmv9h>&O=R@i%Et9s
zIUD!?*%Y6>rM-X4mS;Qa+IE*!@0mPrZ$-nw=}QhC{eQTz<7jpD(U}X6E?jf;<o}aB
zJtxonKXd8d+2tF~Uig20<Bkj0{$0HM|MLE$S1z2mzT?D=eJ5^S`*7>>^V`#>-<~z=
z&VmJZ?|!>?{Mx+>kM2MG|KQR8hnF5aeDL$(<NuEye0u~WpZtHkYSrUY=N~`(`S|Jo
zCqVS<|I?d~p90C}|DQek^X%FGXD|Lgzw_cbkbL?7#jF1>AHRR~>i?_P|6jlP{|1QO
z{(lQZ@BY7g{qr4=eE<LbhyNdd=;QxSpZ<UT{Qt|TQ(wOP|N8C!x7)XWUB3M5*MA@Y
zM(!veDFni*46ZUTFfx<``2~YQkd}afmWEToY@=%d1;D`LEbxddW?<ku0>X?_wfUrh
zg6t)pzOL-I*klBR1SZe+UI`X*jVN&}Ey>6)VpzHEj0aGNrvxbEl3JWxlvz-cnV-iX
z%&Djh6z2koJLeZv7G<VqlrXH}KVt<H<pYZrr6z)uDwJgArZSj*=jQ~<aDrrl^V3So
z6N^$AVhjF*lyid(&n!;PNdzh_V%UCQOFvMU10)=tSd^EUm(FlN`dK?rj2)uCv?w{1
z;p_kA*Dz(y`MJ5Nc_j?r&P>}66k`J^3&||WNo82^?vgq%9k6-2IEF|}P4;kL=i%hs
zI#Dj{m66b)rmn7li8nfH=dR@yZEfr_u259E_f?heWAJhxuE}!^nuT>1y_zNUMlRUW
z&`Br#5Kq~H6DfyJ8mBMQRQK(;7BWTjF?&}<)wwyA#k2Cu<6~k<TqHbFHeLHN)41FD
zSJiH-Temj-ba>`*b6NZ9im$h#XGy+%{<+CT<*ewGC(R97QL|^A+Tp15NV960RNu^8
z1=Fi@6a+5@aZ3v`*DvTgcFb+UTTZ9SV`b;Ec6IhTnCh-k5Nzbhm6bQ&->_@dr%z=Y
zIO;cTo$MXv>nIxF%Wv%Avcyu$e9PXgD;MtCvtquWijunSp~FW{9z1sF$f+|Y7=#>|
Z878bvljF2rvmO{m44$rjF6*2UngB;o1}gvn

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/contract-icon.png.data b/documentation/current/eiffelstudio/_images/contract-icon.png.data
new file mode 100644
index 00000000..87ced1b3
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/contract-icon.png.data
@@ -0,0 +1,3 @@
+title=contract-icon
+author=halw
+path=content/contract-icon
diff --git a/documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png b/documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png
new file mode 100644
index 0000000000000000000000000000000000000000..63ee01364246bfa8545b7b6105f17f45f18beedd
GIT binary patch
literal 11340
zcmb7qby!s2*Y6n`Q4pjXq@+U{1f`J_hDJ(|9J(ZC3?xKQx<L?-8M+&!5s(;Z2SlVB
zq+{;k`~AK5KJR_*^FGi0<J3C)?7hy~Yp?jM9jT|IcIyWH4FCXcX{akd0RS8nct1dd
z1D<;*w8y~<v4^^;Hvo`!T_2D{K2ipdNa&-XtwK0Mz(^@3*+Qsv`436O#OI-}kE6R6
zP*ggo4w7#AfFxymZ#yq14<9FY7;uM}?Jh{aaZOip_XzZIdhX~06q60gfK<|ds9yFq
z*G*Y{oZRdI@nbS#@D1_x8v}O-AAcJ!d%)5Id)=JmpU$1U?ObiZrd~i@dvz>GCb}jY
z+jzm8V9$YehUIXOM)>ddzFv0rz#;ba#(y<aa(8pHhxq_UgGp^5jo`YOp_7lRJ@93F
zj2i%00S)Dch5;E{n4kcv@fOM5`OU|1nRs}kTtB;SQ@x~bX00_840#tI{YY2ZUA~3K
z*2SvXrbNEBH|y=+=B(BuzaKMRI_AasB|B?@t3l;P4>#GYi+V^naTaWecyjQFZufm}
z{XX~tYtmmXdMtk)mnlC#+?iK3`LxPG`$+D<yvkvS-^tj81OfnvVLXDS>sb*ddUOF7
zOD?AS`2u`Wv}tZQ@*6V)Z-HN5n)ywrNt2TC2L>K>c#ZI4LY7}`z49B1ZMuFP`i2@j
zBUnD+U$<4GB?K>e$}!4iYccu5T~9E3KK}f^TuIw8`Av33+W}`<{D)0K{mZCK|I@L8
z_sV}aUoTcy=j$@E<vwSi8A-+Th>!f+MWfwXma<IJlQ<_8eOf#I+t&7M_b8H(0|JCM
z1>I&&To+&UvZQq8Js=kd`Q5ijHW*mz32~>Ry|wTFp`dVlsvEpr_u7&KWX(e6&SQ))
zN|X~d)Ao7rq+`-}r^<A1YVFSj9gW;odq%#lD_btuml(VUKfTu9bg9k-a&g))>@px|
zSF-ZOwK3NOf|A*#8l?w28yjKLReSX{NnnFBk|VP9^gUtQ@g+A$B&>1G!4?T!k#Cz=
z(Z`lpg}&v6&CDJ48JHJu<CxR}Q5*#_6Q5{#LB0FHhp8|WR)0s0$>sel>U?peP#j==
z`n|R@TBN|N7FZpG%@GCEdVc-!?k&0gY>>RfLUyqkV6<S>#IrJ==0~xsywzyIr&(7D
zb&4UkoD|97oA)ta1@#K?>G$OO$&1a3N|J%IXhvzT;Vk*=4F7SI`MiTxjXC=MnE4y{
zH%CSU?ZX=TbV>|wV@6NFX62BLt71x0nYro-A%I|8I6JSqn3a!z1<}xt6fxUR#TRoJ
z3|P{gH4Gy+a5eg)gbg4B$hBJ>X<6>DK44<~wxh0S>B2fd;RU?|vXDE@^ceqDwaq09
zR5e=P)O1?1^)%D?>FMGv$)Asq_ACGyHh6XZu5Km+u_Ky@XQT>{nA`?cCTA_CaG=BI
zKtK}3Tf{415m1$@iPWrobmR|lR!w@RgiU%-v9w3H{3Dvb?wk7@PP-*&JP;2(xssd%
zcHN#pZFvo#J%+Y7ig@jKtG01Rvd$;pUdf;TlDaan?it3}RYjcWYgITiItE4`pS-Wz
z>K-dLsxEpx?uYpSvYjJE?0!k|Z1;DoSkrmqS(vrE7P&@~nYnrj-))e&;)I^fcK6bj
z%v~dE@DWbm;f_xL06gW-G&KqmvgW>)stIPeKz1L1D+=JTnF)dayj~5vcdNlOa6u$+
zeNlJ>DkIPyyFZR&(gf@L!B;wDu<(m6lm<X#49pjamvL|XenG!GzRP4u$jN>->p8q!
z`-i-VEaS!HVa33XY?@5T`TE_ZycllX7kqx}c2y^j)DkG>-TIMHDg`h8a<X)F6fVZ)
z>Z#k(WDZYx4&38XdBPK?#TDQGjQyiJ2gRtP;g+Q9lrVc^!0!~fNhYA(s!^vm{$Sbn
zFP!oG;=uQg3*%&^D<nf|JYJ`;=0M6WI=d@U9SYrAOcAkL7o<;5muFp<;j#3ycRO&8
zjX%|TJC{$&GS>pLoa~P`*go6u*C)@Cy1MYhFg%rMu_FvwBYFDGaNvbeHl_`Zjox`W
zP0rZ}pO|7vR=>+Cb1{}YPrMT($^5P;>d_NLWYH}vOaE!A@gSy2?ffU><Ks{$R7+90
zrKKe^Gc(yL^mL-cyevyZ04oatg!@4IBF$hBWV`8Vu@zad_}n0}I^zTS`m_{arqfrM
zvcHcT7hd9%88h5)4m+E9bf!c|?ps~wZc!a!aUX}@99Z*_VI<W}yB|pyv}ITt24|mX
z2|C_e?Dd|)i8xk|<aylV4V{zjr2Z)-#th#wZd;#jI-YUAG??tp<4%g5I@ogOBxA|i
z9}kxi6Y`j$s)B9i9G2bj9TAg!Aa;~IAZjL`k5}t9tEy~l=?gU-ft7MIkR=XlX5|>t
zbjwEOYiN&RFB6Wr)Ls6Ly<HDc_9^!IR#5k2u3n1+YDCa9%o8;@7bFDL*Vl*l2PTfu
zoqO3<nD9`>*`Mw%bk@|=+*OPDBY;q3{h(7wrIIQibc8Bvl{rAhz9{7d+CO+m6l}}$
zbK7&?<I^zJK}8KxhTY@6r}gABf}W_{`a=hQP9>1X`Z3v~JZP?2TJEB*?jQkQnSn+C
z>Eatflq7(7CQ5gc01CZ@hx1Yq5fMOw5Hi5#KfO<XsArjJ-09DV;XBOuK$%J*&rerq
zb#<u2sj?Dl*U-r1p%pdyJB+1_sp@jF%{l0|)y7VJ-quob)A3f*Q4tH=<Ed#uen`uU
zq!Uk5+i5ZX2k|DggCPcAT3SL*b{CMy?Wu~+1ANbYy!Vc*akyHf9~h-}Q3-Wk^;Q>q
zgO-w3USGeoXFt{D<EMQ0Et7>=Vef0}zVKt@N0Q#*sV1QYcdeml8&Uy;QaGs!`$zpe
zRj8pMqpY8ne!}|t`u@HbyJjJJ%_l9QwC(C_C|z>6v4Ac81};F^kVVTkl5{olaBFME
z5<%KjyaJkRib&<azy>5Tj)R=MEqW2VL;}j<nDCj|@B~@ugY;+e#1rv)k*mnZuhnGp
z*CxlAWpjkXY@bg@H_&{!L2gIrpZzyjR<SM-O?>F{%D1=hsRz1uC;0LsP3!4UMNQ2?
zR_NKTN7Jql^_UfoU3SS+D>X^Kku%a<(p;Hb(kRuu?Qp}-35xFSJFBC421SPV>9y}c
z+%Z6rAiFecCUP00s@0FgS5zKy=j>Sestyh0=ViJ4Mf<K6dx6S}T*cgh&SPV1$;Ht!
zK^^x8OYy=wKIu7*eb%^0!iKYi)_bpfrxSBXNKC}XdAZOT&LZW3sKX6NSFHBK5VV#*
z+w0)>f0Mji$#^Uc0YtqdN*|o~Q$>?w3y*|^6Qd)&TMv@zN}@xqPT#+y9zTTt`Q)^D
zFf3c@IEh0m;hKU(ezl%|qhedWA^?yrWS@6niHa`aIM96U+5F{sX5F59bcJ-@LIFW`
zG#VWEJinISMl2bfSV{XRpP}CsjxBgRg6d|<sdT!C@&0+`MnTu1K<?}37y7-ZO$9wS
z_Y?}Hx)C<E=Hu&IvjRg*5qAAi6sB5cflfbY5=+DnI8g|Z$y%Q~?=1W4>ulj=vopL?
z#xApJ(s91iX7%*x_f7@!_n>#YIN1Zuj53GD7%1QxbM>I3&C!x3@Xu>DB<@Q{Q0ULf
zx<6|WdQ2^p@uIs%aKJPB4$$6`MQaz${?U8yDa}a{oQ<B-_QuELa%0Jgg2mGnNkOyE
z`Ojo2^cc^$V^(sn3J@F`b7nxHEfPtfwBQYofM5OI7KiIl<Rz6DBX5w8idSL1I#tf)
zC}CAp1)>wJi`_yPaxE@y`F%7Awz@HY4Gv##nD;4Yw4@fj5Ras$?SQLY{*E~sE@>XO
z?|!1mO8stpVuFi;m>r2ku5WD(RWtnBu}bZxjC-W)#rk1;qsRKj<(79<iYE3DKQ<3y
zM#fG5iYl_6z5jXjZrk?Zc8xj3UDfE-f&0I63*D<2r9?b`cWuqq_1ac^`=-ghzP1*r
z%-&o<8>w84tD0n={<?50Q?mLBSl^+zUG}5K-m(s&J9&k&pI91A)Kb>g*6z8vN(&(P
zTPDX*JXEs&c)hwmt6hdK1_Y;njLGbLD@sqBPg4l$DWJiMVhyS!N-+1a6S}Tu2m8(X
zAGsr&<xV7PY$gnI-z(dho1dteRYye3$i?FRTCgIyusxYH1DZoV6d8yV(3>e`V@;&V
zTaI`|5+ha>=83KbcF^Xn)S#Z0*tE-^SW*XlnY~fueByC_7PJ%N=WBT}>=L>+XK!`!
zZSbAZe9)h@!bkq*I*}az2)0k|VyE<?<{abh?p{`0d^7A(RPJqZyJ94g7Y#%7nXu=M
z*6E$LdWX;&!07LM=xnkIoDY$f*+YBr`RdYAr-&aZ<u1s1?)l!u8JkWb6MXO^uSa(v
zPi-pk_GcfNOqh!cgCxvCG<9=zHATvk-EI>!;xl3|qjD{R_qt;U$#!nC<`xuiF-Ldv
z`L+%U{q2^MyU=a<ZFY6L#EIFizmall&D^fHy^%&Df`tZq%ZwPXzL%wgitf>#^09%g
zY@+<baA#p>UElXd((43*3)%mkVY26#@0|~HX3rX#?yWS6xMR`lsK{oEwwjt+EhbvJ
znhAt_6Ez~22Z;prN8>gTUNts~33r=GN<gfpcx6+cJ*s!H|CuOrtkwNB&7KIunbrnA
z+FS-fzH?zCHJ`rvv(gFb5^`&*tC|u<1wRBlA$L?s0ed>@<|dYOx#;rgF;_HM=;wmv
zd<K^6^Ye2dc{+u0Y;cY?6h8BignH!9d*%DA7ec3-wb`!0y-Tfy35x6=zZ4Z|<Ua{U
z;FE*izuUGVx)EZeJAXQjmCW=t##<6Ch~vFuz{8X5hF!e!wVKn2>J8*mQ;X4i^_^=~
zVb+e<fW}JlRfG=bqY|}VL!%_gXkK^Dfh&rkz?DoI((w7f6()Au=sgUhB&;1lntWHi
zD?s;h!E}-?$FlO^i+gjV^<W;KX)?PX1+BnUdYIW=V1WhL>_$5kj9FdD>?CdY$B!`@
zm)Vb<W&P#mIkAeB3l^mhvBO?nx?qEJ-7h9c!rkT?vEf!(JNA4A3=W{EKa3F3&d%&V
z?BwrNMPPQtq0r;4SsK!Gi--eq%v^?sFf<>zKB{bJs)7_|{axf<Eq`nlM~)FMyP$D5
zc`GtUR8EYYF%qobwFNo<Gxs`tF64N>vGFw;Mw%4X)>{5n<ZOmBerN7*9KI#<Fpo>h
z$oDJG`f5({#_HSmhss-W7xUQm+I`U%3j4(D#ygbGpn`w-LPYSo85bdmq_q<l7pL>Z
zRo8U)mG^~dN4MI;PmlVw*tpPNJI@DHKl~BDPzW*S)>pw6ww8wVm6OL_2F>n@h=r4p
z7#SIKo<tq%aBL3PL~EzrFRH6c_CNIZ^?gq-&Px%=DC48Pf%^r8I`AXWXs(|WJT7Wu
z$VP|3(Q-xs4toU%a(6t|3tU8=vY8Q`rL>!Y$(f5qqfVRzpDQW8)z!pZ?!?)w42cZt
zTZNq283#?v%GJkwRa{ROKau4KU69aR&ZvPBJ+MSr3rmGw1Z@2r>Lp|Zomj-TZ{OrH
zdYj^r-yA2uPmVdjnik$gf6V<57d1_3%X0PJ{9gRhTbEK|0-Q;!$7S17eJ1lpb1|_p
zfop-V8`BkwMURC-a`Ilcs%|N4ezE#F8aioNb~~@gpv>@zti^T^Z=!89ll%*xzpJCc
zi~xD2lxN4%dhR&dUoa4Mb~>q_`bdilT7aHiJ1q;?0a$YnS#&Vf;u9gRlfO4`B(0eA
z`BX~+a!Xvh?C+|n@}iXX=AJ2fZRhJj#VK!ub=qjef&Ax=u14PB=F&<Lw&}p5fN=-b
zhgCn@dsH%?<t_F~2(2G_(erZRyYSHKT`~Zc5!Fi-HsO|qZF_(@S``w+{z+6w2|9$g
zRdG|iS1r6%*tlRQnI$7DYo6wADc5$o^*Z*sVZh|t$u}#G#q7X`SIJXk$&YEGqw7yK
z|BMi}(_Wh@*4tplfJ8FO1$>C$(#hb_pn%)!sg5r-#%n>H)~jQ0(NYyrklhM?sIRVZ
z>>%d$vfs!-@K4yh@bV2eK1_eYkWts8*5j5Pw<!;F!abqAGFaOp6*T`|vQ?@+^m(w)
z4RSXZH?;5TpaA)p&wsNdGj&>Ymg+XiV3`+JqnAr7K|8=N=kR<!-p?ex+Lp&NM~4E1
z@oRZBF)h`8gKD7I9%?+5D{J2P{Nk5N_;b>3&%BT7pX=(5K~D}w#>J(jq1emgK-tRH
z*10LaKbW0HTKCWR4s)#KWm>9%U3;%-35b9OuTJ0eZ?9)t&zEXJyGeYCjMWXgWI5ik
zx}UM$gEl<9NiLA3TXFL9?VcFs7y{-J3Kgw>J-x&8{yd?(om08)@bcvayWoqqA!C^&
z0pO}$LBWbUUL$mE_`LKKhlTUkg8OKuVXCIN1oojmrD+m+t(t$JlK&lx0yZrC)dDa3
zjyvICKPagrLCY6^`pBV~Wyp1`{&-8!oSEOGB>X&`CGZRK$WLV}uP($wK4hgZJ2mvm
zmr{TA$L!zmpvrYnz34jUFd=IREkSqexGd>zjzk>10*wh1GOGMktV6s)eldJB8P<@{
zx6K(fGcpQ>^`zl0&d%Qk2J9+Ke0{}t2+G+>zoPTg1sRM*hEkoF(`^s{Ko?nvjvgI;
zno{?-VEOr#)ZzE^G~>42(R@is-L}(lmQWj==g+yx<xhS!F<1o#Y%%;edq@xh_=ifi
zI*#@wF%>rEd6_w^#AfgMW6KZA+E5i(&E8UcJ$?OAG`chB>N=|oJ<k>?5O{Vn$;#en
zonmOI?Y%PhVp}@M^W~vsX76jN>1x2MlFE{;ve@dfwhi8=1g+spI2xUOpsBfYIyq7_
zsS&wTRxdnD3czMelGGEJHnhYNyKOb??X53TMtZpmQNu^_t;6$-uCI420|Ns&C_dT;
zZcbG!c%(?aIMD-C^aUIKP@sLgb2c2Nukva$^qKKOfxg55Gb5<8Sr2VqfxVV}wHKXT
zw2`3QdS=L{KZNtiNkZK0FBXp{8-z?hn$CVbnNCSdf+pfv_JYtBI>u@Z%o<9wMBL6}
z<mL4C&~+RdhlhvCpOHxZ0p%ZP^x`LSVSArl_*L<Wvf<_KlqXaNsre)^UP}Y1shJr6
z(nI-{$`8FaVZ34j(ktevqA~$1Lb_aWkpb*<x*XkMpDFZ|$l3Sxpbse95Axd_5C3M?
zUHQlutcIOeZ2`YZzs$|<77fhHQpKfG-W=;AVlYpQVh))MAqIch>dY7l&6E!^3OZ)7
z)7rrOrNmlQCIBdkJpQ~SJs<ck<y(rT7F(jwmoCE|%2qvQ3th7L`e5l0tk`5z8_Dh>
z)qZE&1GXw4kxapN({OlhVg+urbCMW?kpe=|Ge6WG_`M%6qYqh}kx(-G@Fh+?I!|=e
zbU3|l+-UH|#|YjxA_w2YXf1;dspyvK*zUCm1?PuFcu`zQ`vo5>w|>5z&$BK}h5+OG
z@z#*@Cq<MjvXyXbsM`o`w!^Ct5T1lj?E;6oM|aAZ1Scw;$BP?f=r=By+a7?JMd)sK
zUhIQFnNM$=f6Kds%BVJ>-47CD&XcEc>qVV9R=<|w0PVNES7^jSNy}ljL-30}x$4<q
z&bSjhUl8vM^e$OK?Sa5d&V5Jn`SV3T@K)I8KVYWgHJ)=q{tpZq>a%SMV2ZCXPrVns
z-1D6@1ah}h;{AVsXsOO%x@1{HLtwcJB)<T8^|Uny&H_A*yaDLltPVtan7w5ji{a~#
z0zU=d|3QH)YJdXq!Lh5Qrbhr^EwoZ-n=yOY-+(V%Vlx2-R$JNUxZSgCVYuW#j&SvX
z09;<~M7zfy;*kUPkpS#?<F3=kHlq;S&LwzuxfT6RY3vTF>9|1q$AK!8NLY5hw(e*F
zw;vB3vpF!c@CX;T7WQz!&SHegucszD9|9omEjIjE-gHj0HH%ooNw~Qa0;s}BNz-R9
z8pmty()Ka}iW1Qw0P{rHSo{Dr;;tnwTBNO%4n(lB>|YSPjZ5BBZ@*xYY>cas)s=bz
z0V-cs@uYZxxLddN*2Kp}JB}W{06Qtkq`Q7sb|=K(a2TiQbqnXj-28XXog_iVI4Q8H
z&jn5I%wi3CXrC(H0!1}ZI$Iuiu)MtNkded|4nFO+%rnBhx3=EY;oySvaOdB7_{>7c
z`kjFY0A7<8+V{mn1Q6gyw~XXLY>fycydF5k5>x{c?sIZP;@1fGqoNE~M~H9_L6ImZ
zJ3UtD;qg9xG#=jn!RL5l4{+4|ODGg7#|IATK(J1sJ&?+)uN1%Bd7KwjmLyasyLlEf
z`W9ay&8pXcdFIF0JD$xrKmg)^_fLir3&QDhofF+{1+DYg(Qv=x!ikB|j-?-s`i(A$
zYhQUaw3WL|@=#{a+0t)O6~_SpJJ||UgMRlT*`WlN^F5=1-|I=^@qec+N(CLzOAA(X
zBtOQ{SsWTLf(A*ACw8BDIwUnH$Q!0J&NE~LkJG$DX%uC(&SOTu$3UzmC-&reUe{RL
zQ0*}QZ<F}Hqc}9U*y6dP0)1Q}H{#ebHc;HRBG7atr2|}V1uVO}GJaPEN!YZ0SeU=8
zrKfYL#G;=I94`WAqy`uf=l517-ev*RcWQhDK31rr?b9;~ri*#4+kF4x0g5l}Up(a;
zQ!^Nr>oRjkZTxPW@Ea93`WX)2dy*3VL?B0kRI5&N6yMd(fv-TiTV^WRI!(>Epfu~Z
zakNM>2KYXVqmC=RJWOf#zQ+-nA2B+~%OLdiej$f=q)O^rxAgH63i2yRPJ&6;IKS?x
zbS&*$=~a=!eTk#&?QS2-oN=%H-7<XRtB=^Kw)=J8?oE6hTL0bHBU&@&gB^<SW>G9~
zzwyG+fN&>KbaZ<3c$g0}u3$A{S-G(vk3MW1S_gn`*0L4o_rF^1&1xT<Qm2cvRs?sW
zmzs2+s`-1m|7@Jn+Vi`6x7QyswZ1fFiTYBj125mttEze}BRlm@q0fuYc92?VM83;w
z81=3NTm`2FDF?`<iI%5+E~utwGFgbq)>}5;%=`GKJRo-~I;34A)Is<-!f`oHyk$#a
zG^FlYlb%B?<ZtmX7hh@{F4{OpHyPEPzCS)G(G;e3tYJGJ$G9>9Ie@54*-^=F+lbKC
zY<!P~-0{X9k!V;H)i)Lo*`Ld$ZAmbCE8n`ge$4w|Q3k>fqw5ki6#fs5(-v6~$g`k%
ziy&F)TA+BM&K>d>`Y6adY)b^J!U--kr;#5Ici*xEz3S#RPCfB~#BSUT0P(XUQ2cH_
z(^UzKuzr3+u9b=w05sn^)%UMTz$H*LZ0YCt_$Kn`!Gdce3_Le|o6g3xsclb(AoR5O
zMBt4JQcp&I{e}D@557j@^`#r!At7MP|GO&muOZc6le@L*z`XI$1}cJ*7L(hF7=NeW
z{lyX6N9TE=l-L8KPu&iHfQ3LFoqRN*UiFF)D#|_$7F)-CqHwI6>To9KJbLv}>~}p)
zcUw9$Glzuyqh=-vK#yLtkWA688G*K3ilEa<-V%b8IFyOP`dZ)ixE9O~p%1@Y-e-tO
zA2?=_zH7VWtMDepQOn=d>*HpDQ{qpoM?qByCET14*f0EH2Fy$k)hl*T#SSqh#N07E
zaFvU#cU7oLD#a7cXzKQgPWA4)&t+eoh;#8#j2&iH=j-X+L*!OA<tKK|62l)e_@re6
z0vu_U;D5L@9W>|v{8QUDbLYxr5ueX~YLjP|Wm-S$%A&hAeH!awBtT(zP5@lwfTO1F
zQ_FQdhF9<mw+w|9%C4;({>YweQ!Ow)IxW>`4ZK<?F1;c@gao5}%z%pvzN6!`BeXM#
zQA^i$kg_%dq|v>b&G;FSp>6K=n3cald&Pr-rnNpL7E!9B*iCgl3u6ttA#LxpiBClS
z2EFE~J&-$d*HXTfkH)z@Yz5m+q$gCe_aV6NP&*%GXIqe3)xT!?65Ge@Y>zD&D4|(_
zIo!+3BL!LY$sz#lCU6W2oRvlEJl=B%eB=ZK09m3V(6%B83h~=b7IR!_Kx4duT;EwD
z`KKQEOYOgT(*INpPnS#qjX0ChHl%SJ2fOG58o6(D$|QcMus9;64v%Bo^S=F&Lwpb4
z-Of1t8;o9@Sof<VVSf&b1n|K;)Cm&sfShKZ<2!BqAhTjM5&;bj(jG&2H_lcC>TvVZ
zQz#IUi%fhG$B`>}ir2Ju7>;J5WhMiE+7|rj5nHy{cQeF>S~LdLyZvbG<kMFbcqrv_
z-pEr-F)V)Q@A|xVG6EO#j6lMhjh0ub`>*#04{hDc<ikdw%yOgY=0$fyx*06Xw_VM~
z7_-R=B$SWQ5w;IU&P1BX8L#Uk&k!fW?QdqxR2mhO-gdJ*M|rsUV&ImgFtb3rp)IlJ
zD(N@XBr{`9h8vd+pZ&vWA66e8J^83L<x9xY)TvcQQ|b^|p;O%7W1IlZ_^l*}HPOAy
z2M8^DI)1UOP#U4znZv)f{~#IDZ{4O^eNri`peA8?Cas^7C%D1#y}EN=iWLCfR*$XW
z_OYQ3ic`MhNvNa}IPKXAp3f|2N-UL}j2`AcJMud8u5YVkp_G<eul_j~Ds>LTJ_P48
z&*u#2YAT$8cLT1?!$@=La|cchQNLPq%P!fhnD@9%UE?L|_Z;rr@im{k;V(^!@LzEr
zfZ5Y-zS~{-)p^zh1JHsH4QJ6Irx_Se2j>2EEy@)KeHV`m2S~^obAp&;A0Mt2NLu-_
zxb0853!-lX%xWe<dD}IbrQoFJDEOXv@+BT9;b}2uHlhn4pV0q04!igQvPF=*rv3Ai
zXF3Z21QQD&ekzuOHOo)<|2FvVb+&&@*8eWS4dXoHtV8daCOQP?TPK+djUP8H1^X#)
z)gV+3*%yMfaqf)_5r2NnU(rd>UN?f%7q#Ys^?sT*^lnAYwWWVnc_*&dX_@3+odV%u
zo4Qmu{<5;ef7hxB9N`ep#!JHu32E&W9~$o&tME0hSjnUeec~P;$w=uB-IU%chu$OY
zkwDiP!Z)&~cwWK|+-^W}y%)fz(Dt2+WX;d!5eQ4zP!lg6plPh}9{2Xj&pWzhW>HdB
z?*!AGbhe^hYZ@=}X*aU_)Q+u=@3d?<JGS|v2Tl87X{Wa5(qG`ViXulYY*t!>j?`b-
ze-81(rAjr%=1G3tOQEODd6r<v0*IySzt3=h`bVcp&{<^0oNweLE`|#9MlIE%XX_#C
zJIQe>C*FVZ9=8$siw&^E^fmvNF2$|m=3H%9JEW+M2W&yh&uDcg3MOB5zYEN8$coxr
z>0ABw;I2wdx@}GKrN<G3`8DWBR5cDEDRa-nvyw3!&hiz{WDA>WEzhf(MP7UQE=KR$
zN{Ea)ZwR_mNTv;4ZSx-p8@VbFvP^LM;imWzt3Qc%(n0wtRcsY_)@2^teD>nauZLjy
z-QbA;fVz{bBIlt)sW20q=u{#%*=z2Q*OAc$YF~NV8BLq-ysqAxrd0Vw@>lI-dM`A$
z1VQZq>h+(50IzxSR!%@=B49ED8eUqH0e}+8_O)yKuOR<FrfJEO5%G6bb?<JF>%*&B
zeBc+MRM{ia=^DVO#LWJ1e1B=c&FD|BV@T&KmcjMMf%W-9<h^_V;=0v$>A#Q^)feeW
z5OR%J*pHae_iASpG|_nsb*<{kd`8VDf8ur1ip4$Bk}mokl<-j;0HSZbxzYOPtM_W^
zFMRTx?zTHS6YaT;(qs5OGp#TFPE62_Q&xU|Iqk#3)DW`4`HT$=Q>r@?Sn_5*zF3@~
zI>z{0{gaKKt>(qbAEm&$Uxh)t+yPp%;_s-H9}}q(I6fbr(kz}{d{kbc?&{hU7oFg6
zeR@nD^>DivvfF7Wry6(yKU*t2?LFUaa_^3!GSfwPe)AJ;F1M6Sl!d!Bc}{Z`I!T~z
zOt~}3LjXPNo&zL<T!t)xuR!d;u6wi0<fEqa$H8_EmP()6jBa9p)8z|(#QhI-L%S&K
zVU_k7R(r)+EVBl~n?Ce;=l2^yqxg=746(TiMgZ~qxi?9>d9_>I=bkI{mvmGx^J4dI
zS;_VlGvv>k>$pz4Jlx#zYrQuM7^K-AZBB!w&&SDvm#SN%-}@iS%F4R9xU3AOR@o0E
zX`xU}XDcKU@vSb}c<G`CBG2UjMbfqJsNAFPq`$F)lm+vckmFX*`-mx+B1ulWS1=7i
zzE<&t&)rePtp2TAx4=3xgM_Q2o12@Xqe<nn{>|wsuwMQvkgtdMsdmr~hGxmeH+{_(
z0(kZPZPt`Ky0f=CY_y@~_HOcT<3<ozCvdHg{VB)Ywk=s&`Zzpz;8F^4^*ZrOZA=7=
zvh~GUelk5hz0aw3XM+f>xr)WP#(W7*b5ho5#-6Ri8#us2iwUgJ#pbs;op9SQ0>qh+
zf|g6$(3NjDo0Z%d_tYMhA^b+m9*@3iSz`q{ssQ|j5u9@P?(hwkIAoA_cSjgW-sox^
z=VK5%L<~}UVt8K<<v_yCOrLoxJa0aCg8+Y$u9}_6&(B504(w4~{7NNz9T+Z^V=BQj
z!jG0D?N>DlF(-SCw%zZ{G(lj<>K8691Yo_ZvcI2=W09GMn*-bs5mIz<;j{XM0YFii
z*TDqZ{lK-<uF1TD|0^qazhByWnHDWC2c~8K&=7Y_4X{mtc^f6mAnDEPtwH~<7~nsN
zc31#)PRdX`2fOn&{P4|oUL8)AX^U{NpSQZ<+}j^u{nh1fJ&B-kavBGSDTGHKn*|)A
z)|994?M`29F@D!4115qogzdOlv<H>3a3%IvX3!_e56XnmQHQ<doAz`mmZeV(7qTmz
z_K2$Ne)&!U4-7$LFq2=hmMDKK+Cy%1NTtow7k$gr{*L#|Gru-pJN#(Q*`22Ikm{n^
zP^zm@6<qb`<KmBdv1Yln!#<HS-KBfT$-gpFCIwL9?Xs))iTAhl3piJuIUR&c3e%Bh
zlkNNaW|A+HBpxQiG-2n;^iyTlG8+Ygqo281)BD#U?Jbri0$_r0jU#AwSmZV+H&UYQ
z7u9;@dhG3pVMcXDaoSEj<K3A<K1!+EO(BUt^AfpGQe4gh)p1?+lJoS*zUg9?m`lNW
z)9wPzZ9exJHM;Sa#0qqynz@M%re|Z_H-k+d*J<7_{cTcUCl6t*yB<ji4jN>SA&0uU
zs(T|ohYmfWjV`4Fo2{A>(&>apkbu5lFKZX)2yR6fHy+VcHoDk~VC)x+Bx#B@%T2rO
z<uS+X0aJ~2>r2#aPb4#i4YclO+A;u9+QhX$v>YC9@3^JvLzLV$D#2-~`-2cn=G;Lq
z39kBns?hCbs#)$yNqArK(mGwm{9Sa0V5Io)F|)=KgHl!803PmeF#1mZ42negzIT7x
z+)?&TKl@7i=6kSsm@gqF<h#Q=PoMy`(NPG6T5cz3=bG@@{gC8p{ONCZc{uJTN!q@i
z)G#g|WY9AJvvfcY*rOS?3T7*#&;`>!$#BZQxyJL5ntJ@aD@ny#8BE=NsnR@z2|@cT
zMnLS?a61$Tz_nojy==MO;G<cL|4Zrh;l-RD99AwxwJP2DJGQLbN(u2v%LQ_B=G6X4
zN7ACrnn7TfI^@x@mNGLH+(Y1s9w!0MDjJt3)adoCtx5U>l!t=F*>f2j5pERCtP25<
z^XC)39_7Vtqwo(M&89?vwa3D>Px{}R=KhD35elat@e#zhW)1OuPhPTbv*PSo@@ZH3
z_PeI_&sx~UG_*^&!W~N!fFe`eJMblGr!A?<)+!^)bM=(aB+!5Pv^5>OwT>g~@CO$W
zonT1P?$g0snKGvuoL@T75a_!6tD;{Omx0<Sm8lL^rDh}xt4W6)sT&8PQ<E%UnAZJ}
zpW6J&I`JD3RfiGi^;M(EeDk5l&tyc%tZLIt`a+G^(1C9-x`JBI`~%%GT-03H>vcIq
zQw95~3m-ndzea2gdILbIy>uc8oZQ6t9UD#?!BGo#%c!-=y*xYS#mWjiNz|-if5H9p
z@ouKNdF^z0(V?PQgJbhyuX*iJO;JH}&NPQ|>=$#1p?g=8CTRoTWMP;_N;ZWO4l}2u
zd?Cxh_T(BLl=32PjJ?dn9Uw|`=}%C=s!-7bpmf?}>7#vb>-ghyv31M3#%RA`PxEcQ
zcx~b#YDvw_$suqAs$bgYFil|{sKww(V&nGr77=nuN-)pCGY3>n->Ra=1C{+<@l2Nb
zADEF*d-^wb?|*9AG3p8;6l8#$(!OKW&~Bh7Uj3B82x9_nD9wz|JW>WR#Wgo<zqK)!
zd4Yds$=LhI#(?FNs%cwB#M*je`Ew{VS=L?**}l$~KJIp;-;2a;pPlIL3XaBQts?P}
zM5Q}arR@z5u>y8WEwQ+)1J5Bpt-5A^VkEUCV`zn`MOiQGZUc(sC}i95P)(gdWDOVz
ze>z!o*_*uG-djx#%n{)U|DgO=D-pUq5K09yyNw)2Q;ZN#ur>g==75@bd-E~zD|z51
zasBm{wExjE{|~D9|M@DcIv+$R2rHPuA@$V9K%Mwn3c3e?lK$TaY!pivXI3n}kzun1
PQUMJW9p%zT*025-<wK64

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png.data b/documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png.data
new file mode 100644
index 00000000..532656d5
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/es_ref_contract_editor_01.png.data
@@ -0,0 +1,3 @@
+title=es ref contract editor 01
+author=halw
+path=content/es-ref-contract-editor-01
diff --git a/documentation/current/eiffelstudio/_images/move-down-icon.png b/documentation/current/eiffelstudio/_images/move-down-icon.png
new file mode 100644
index 0000000000000000000000000000000000000000..6a4d7d62e22f66e7682cec97b2d8482412e44f52
GIT binary patch
literal 1477
zcmeAS@N?(olHy`uVBq!ia0vp^JV4CP!3-py+uy5ZU|?nl@Ck8MNMlgUWKhasP|jme
zDP&MBVNfe$P_JarsAbTsW6*41&}wARZeh@AXVB?j(Cuc>?P1WL$e=%&!C)GL@mvP8
zWek?<80-%*xLs%PxX<ACh{Nw0o8K!I|94FOpBMt}@C9yG2|O+pv`r=GnsD%8`H)>I
zAr~b>_o;*(R0%sR7jaZ2^0><7%a^ZQI01CnC>RX^I)^~|!y<hK21bUGAiv=MqyPp|
z6b}uxQ5PPs1qMH7fk$L90|Va?5N4dJ%_j{MWH0gbb!ETBCc|g0<Fr3>Gg!zqqQtSZ
zBqP6wVdc6r9zY?U5}=SvYH@N=W<g12ejbA`r=l`YoC_rGoL^8`l$oAU!mx(_j1^Fn
z4=h@gng~*=P?DLO%3%7PpA#s<36crUPb(=;EJ|gFE%*;o&J8v^vp6{?5va6?Vf%qC
z{Xk(3kZ^cnQC?<VI>Q0!XYD{Sc8LDcqU2PDum780!<0Ga=jNv7l`woeGi^Umj18nL
zB(o$Zm0`uZOX@(83Qrfu5RRF?XW03g4R}~DFr-eMxb2Okm%@dlclEYD93A?RpDs`L
zy%x>kH*e|1*;*;N!QqWgw+xQewECa5toOR`A(T^5=Cq57=kLQc?Ba}ZJO4b-G)dTh
zkn8)6sr(1@mTkQL@JCzdesQ4>8dkg_8zvoPyucA-v6(Stt;Cy)acNROH!yg*`njxg
HN@xNAtt7;E

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/move-down-icon.png.data b/documentation/current/eiffelstudio/_images/move-down-icon.png.data
new file mode 100644
index 00000000..b33052dd
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/move-down-icon.png.data
@@ -0,0 +1,3 @@
+title=move-down-icon
+author=halw
+path=content/move-down-icon
diff --git a/documentation/current/eiffelstudio/_images/move-up-icon.png b/documentation/current/eiffelstudio/_images/move-up-icon.png
new file mode 100644
index 0000000000000000000000000000000000000000..32a410574532a9d0adade1421b85968efc375638
GIT binary patch
literal 1479
zcmeAS@N?(olHy`uVBq!ia0vp^JV4CP!3-py+uy5ZU|?nl@Ck8MNMle0qI3quOa`S4
z2Bj<pr5pz3JO-5l29-hvm0|`}ASz){D`QZvWYDN#(5z$7Y-G@CWYBJ7(CJ{%?Pf5Z
z%V4&Q!Q(!I=VCd(M;!he6#PFi1iWAm+^iCKTq^J`U(hy{pzTV*hvh?dsf3)63Eih0
zx=$tSpi0D1mB`~NmoHzwa^VEfRij`u1n3_Ej>6mr7#J8CN`m}?|C0b1NKiXel=AJi
z)B(l-XMsm#F#`kN5fEmas?8@26l5>)^mS#w#U{gNrmM3!BLytv8d2g{T9T1p#ISPR
z84sWkPYF=SCAB!YD6^m>Ge3_(m{U<1D9!~Ecg`=UEXqvJC}CK`f5r+Z$_ExLN=*bQ
zRVc~KO=U3s&d&*y;RMM9=ckpFCl;kL#1{MqDdz?oo>`onlL%B=#IXIqmVTfx2S_+P
zu_!MyFP-6l^s{!L7&}CNX;E@2!`J`KuVKoZ^K)}k^GX=Lotd^DD8>d-7Lr+#lghB-
z-6eIPNR_9HV+hAg-*dVAO$s8c30G=Pn;7$Qc&i@%@acbjyg1w1&kys?pDQct{K>tM
zU5Lp(pembrLCSd+8x2|UaK#0Qw|AvHXgHc4o$Ja|@;!EOkwd~l!^^8(dH$A$cwPN^
za&4?!(5X}Y^V1bw9v0RVp9}7{@#YVdspJ01)N@-RuK(teDxfPEJYD@<);T3K0RYek
BzRv&v

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/move-up-icon.png.data b/documentation/current/eiffelstudio/_images/move-up-icon.png.data
new file mode 100644
index 00000000..3052edbf
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/move-up-icon.png.data
@@ -0,0 +1,3 @@
+title=move-up-icon
+author=halw
+path=content/move-icon
diff --git a/documentation/current/eiffelstudio/_images/refresh-icon.png b/documentation/current/eiffelstudio/_images/refresh-icon.png
new file mode 100644
index 0000000000000000000000000000000000000000..1fcae4ee65196b037067eada1cdabc34314bb7bf
GIT binary patch
literal 878
zcmeAS@N?(olHy`uVBq!ia0vp^LO?9c!31J`IJFc=v6Te*1vC5yLGuXdTA&DLfk$L9
z0|Va?5N4dJ%_j{MWH0gbb!ETBCc`hywZif3b+C|YM2TZ*Nk)DV!^(AMJb*$xB|ssU
z)Z*l#%z~24{5%F>PDN#)I2TCVIlrK?C^J2ygkcT;87rVDA6T>~H4&s#p(HammBI8o
zKPOOz6C@LypH@<ySd_{TTks#GoEvO-W^r;(B2Z}&!}bGP`hmh6AmQ-DqP)z!bcO@c
z&)R`v>=6B>MaiiQU;j71hADH-&&^HED`EI{X4-zB7#m1gNM=b+D#MC*m(&>;nAAO8
z978O6=T1KDFB~XwbiXzKGUF|&S-QE)m5#cb9AfG@f2DOp;_V$F<#`?T44j+H^iozA
zK0MUhX{a`1g`-lVL~BFu#?ICfot3U{xQ|HQvMRoP?o4Um{L5_`>7}2a{+U$lS0t#&
z@-P01o&-ZeRNQs5DQk{tSsD2z2ynhvJl?d<o_B@ilS}TUbyKI>znGOaQ%!;EC-a-m
z<`+pz4$FP|x93*HnPp!7NgL)FGfYspu#EMp)X9{rPMxl!lfO+UpPwh}^sQ>;%o&M7
zZmT6)?;J}DdlnJ2wIcqyL(sZYlm4d^Z{I1AW;rYW`IfGU=fyl#w-)GgF-$h@oXtPY
zwLX5~nOnPg`_{JB@?Cs=L91=ii=}sFKi{tZ=klbFrFZ<TH{>ZL{}wO)d+y8P=@BAF
z<<$&r$`}9E_X+Q@Sn)gd%FF=11=|Z{<RzC~=sx<U(LdEYyyt=cA9JxM_RMWUZS9(8
zl`cP4KFshT>t(KuJ}1-l_fH=!xV3w0h?Q>q+=w#o<u-D01xByL&gCRkpXgk9>P@z<
zuG*sXl^3<2-#@+jdY<a-Ba3<6{)a7{a5ZUC!|Hbh3itQjJI?)nnV9<O(kI-qoE~$V
zCNG>QDEnkzPUOpUQ|q#ybJA7Az0@{dDW0>;;mra@hXSLwHj+{a?R>i#85C2FGc3?|
zG04*vdv!!<RvH)6RaL`@&R;LvzH56J<dS21(re$GpItmn8B#VjoSa|Z`T2j2vew<%
eT=vs<KQrIVuTwbuQi0iofx*+&&t;ucLK6TP>}t&b

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/refresh-icon.png.data b/documentation/current/eiffelstudio/_images/refresh-icon.png.data
new file mode 100644
index 00000000..f258be97
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/refresh-icon.png.data
@@ -0,0 +1,3 @@
+title=refresh-icon
+author=halw
+path=content/refresh-icon
diff --git a/documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png b/documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png
new file mode 100644
index 0000000000000000000000000000000000000000..69e4581d1e7f97c1a728d7c0fafb0f41a95f5113
GIT binary patch
literal 1612
zcmeH^`%jZs7{^Z$gi^rWWGE~Gx|u<APJ%NoBXdB63<=?qiCjj3QcACs*UhoHjiNJP
z5pco+o0w%6aBfUSGeDUIB-+$+T?+(@!%`@;fb{adEk${D%ChV);J1DAeV&ti&i6b&
zJf|Wl@tCjoPH%*eZ+u)#GCp6x^_<rh+<AU}p$Kh3NeQX3fw}jBauvHWWV<qd-<8!F
zoP8_!{Xc?p<RQ%7ki0t~`FBHE_d;2U&;sS|g8O^es#mbGJ6<gs2<Hy%;|=dG=sO@7
zi72Xy5UL~D6_JA4L&cgyV)Yw^6>ky~Z+$Qx6%`eIS{qY38CUx7-A|_y&P*qLrb{k+
zlv<`wKWj)or_cOiKBvNvi&e3hU%AARAoe-Lt}=2f5ce+ds?Gchh+n%T5D0`9QE?3_
zDM3V?`Qrv#StCty#ePu@)y<BY?`ie*=*kV})mGY1H`iJ_X}@+$+jJo7lXmt$?dn3e
z``r2mr2{Irfid~exO{j*J~Am+4=dCF8m)YMO8($4xmJs&XXMj*xo!q#^q`-G**Taq
zz}$R~!2pJNFg(qlpNIJcSim;+EEvIvZR#;vZyMKlCKH$zVG(-?mavy$8T&Cj#$JJy
z6)>B@Yypc|Wx?GF7MsFiFSFRot=9Wio6=?j8+D$v4U*&ql2no;P__ZeHbjxb6a{v&
z+D?wzsZqNf9HiPoY8>R4!vU+S;I!5|sWB%t?sNiBEnxov9N)oe6RchZX9KL&!P*Ku
zsfG1QSeF9e|NmeAZ9pJv^+bq<h~&f+*aV?Xn7LUavwA=2#+#vw;?heH^6PgMtuEXz
z5JOKQ{&=kC<kp~P_8!zL6>A$P_5^YC6j3M?qie0IIE;J<jAB?Nd18);;0Oiid3wlh
z%)MPaS}6KR%wZQ2=;v*!BbfSaP%(??iUt!LJ_|+Kx6$zp-F1^9EFeB)idiU21g<z^
zV>qWIkH^GOG3w}%Rb%Ys!tXJ~0*-)<dIIOpW9IqK`%~gP79yeC^lvO$$mg>J1fo>+
za?G~6VyPU0$3iX3qkA!d_?V-q0d;v^y>0;_uhLsxhbO-_a=9&G%6Kp9>z{i}E%N!Q
zDnh1CyR2vRpFQ0x*+1d_5;rVdS;?@rkEVR7o5>B4P<0W_i4DVlj$~$}rDyNF<Lj>u
zHxE(AiE43`$h(~(yX3|w@-I*|MzM9;_0=iH$rsZyBpw=zmYrbYUBBKjoTeB^5B2j;
z9h5drX&$I^n7Zj}HKT<-{+AO)jl5ZnuGuubBW$|ugnw8-6nnJ$_NsT&w+xSZS)jxt
zR`-i!U%ARny4~IVn=?LpdL>WV-X8zTf4iRb<I5SZk<WTC4q7atV)2dkw%-m!&`%z7
g=FpFD*+Gx!=%HFPbJ&Ny1Fr(b$0o+KzLO*Q8#^~SRR910

literal 0
HcmV?d00001

diff --git a/documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png.data b/documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png.data
new file mode 100644
index 00000000..517c6f87
--- /dev/null
+++ b/documentation/current/eiffelstudio/_images/show-hide-contract-placeholders.png.data
@@ -0,0 +1,3 @@
+title=show-hide-contract-placeholders-icon
+author=halw
+path=content/show-hide-contract-placeholders-icon
diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki
new file mode 100644
index 00000000..1f6a70db
--- /dev/null
+++ b/documentation/current/eiffelstudio/eiffelstudio-reference/contract-editor-tool.wiki
@@ -0,0 +1,61 @@
+[[Property:title|Contract Editor tool]]
+[[Property:weight|-11]]
+[[Property:uuid|867bcb6b-1052-b28f-bd18-243532816dfd]]
+{{UnderConstruction}}
+
+
+
+[[Image:es ref contract editor 01]]
+
+
+=Overview=
+
+As a rule, in EiffelStudio, class text can only be edited in the Editing tool, and then only when the Basic Text view is selected. The Contract Editing tool is an exception to this.
+
+The Contract Editor tool gives you the ability to examine and edit class contracts in a context that is isolated from the full class text. In other words, when you use the Contract Editor tool, you see and edit the contracts without having to work around other elements of the software text such as implementation. For routines, you can edit pre- and postconditions, and for classes, you can edit class invariants. The tool provides views of inherited contracts as well as immediate ones. 
+
+Also included is a set of templates for creating common assertion patterns. By using these templates whenever possible, you add consistency to your class text.
+
+You can target the Contract Editor tool by picking a routine name or class name and dropping it into the tool. Within the Contract Editor tool window, a single contract element is shown. A contract element here means either a precondition or a postcondition for a routine, or a class invariant for a class. Each assertion clause for a particular contract element is editable individually. 
+
+The Contract Editor tool can be helpful during analysis and design phases of development, when class specification is a primary concern.
+
+
+=Invoking the Contract Editor tool=
+
+If the Contract Editor tool is not currently visible, it can be made visible by following the menu path:
+
+<code lang="text">
+View --> Tools --> Contract Editor
+</code>
+
+Once visible, the tool can be [[Customizing the tools layout and toolbars#Docking|docked]] to an appropriate location, if desired.
+
+
+=Toolbar=
+
+The Contract Editor toolbar contains the following items:
+
+: [[Image:16x16--general-save-icon]] ''Save modifications to the associated class.'' Becomes enabled when changes have been made to a contract. Clicking will cause changes to be saved.
+
+: [[Image:16x16--general-add-icon]] ''Add a new contract.'' Allows you to add a new contract assertion clause to the currently selected contract element (precondition, postcondition, or invariant). Clicking will provide a choice of creating from a template or creating a custom assertion clause. 
+
+: [[Image:metrics-tool--general-remove-icon]] ''Remove selected contract.'' Will delete the currently selected assertion clause from the contract element being edited.
+
+: [[Image:contract-editor-edit-icon]] ''Edit selected contract.'' Will place the currently selected assertion clause in edit mode. Clauses can also be edited by double-clicking the clause itself, or right-clicking on a selected clause and choosing "Edit".
+
+: [[Image:move-up-icon]] and [[Image:move-down-icon]] ''Move selected contract up (or down).'' Use to move the selected assertion clause up or down in relation to the other clauses for this contract element.
+
+: [[Image:refresh-icon]] ''Refresh the current contracts to include any unsaved, undetected editor changes.'' EiffelStudio updates the Contract Editor tool display whenever class text is saved. However, if you edit a class in the Editing tool and have not saved it, there will be a difference between the Editing tool's display and the Contract Editor tool's display for the edited code. Clicking this icon will update the Contract Editor tool to include unsaved changes from the Editing tool.
+
+: [[Image:contract-icon]] ''Select the type of contracts to edit.'' Use to select the contract element to edit. The name of the element (precondition, postcondition, or invariant) is listed to the right of the icon. If the Contract Editor tool is targeted to a routine, you can choose between Precondition and Postcondition by clicking this icon. If the tool is targeted to a class, then Invariant is selected and this icon is disabled in the toolbar.
+
+: [[Image:show-hide-contract-placeholders-icon]] ''Show/hide the hidden contract place holders for inherited contracts.'' In addition to the assertion clauses that are coded immediately on the target routine or class, the Contract Editor tool also shows any assertion clauses inherited from a class's proper ancestor classes. These clauses are labeled with the name of the class from which they are inherited. By default, any classes in the inheritance graph which do not contribute clauses to a contract element are not shown. Toggling this icon down will show placeholders for these classes that are in the graph but do not contribute assertion clauses. Toggling the icon up will re-hide the placeholders.
+
+: [[Image:feature-callers-icon]] or [[Image:class-descendents-icon]] ''Show the callers of the currently edited feature.'' The icon shown here is dependent upon whether the tool is targeted to a routine or class. If the tool is targeted to a routine, then the icon shown will be the feature callers icon ([[Image:feature-callers-icon]]). If the tool is targeted to a class, then the icon shown will be the class descendants icon ([[Image:class-descendents-icon]]). In either case, clicking the icon does not effect the display in the Contract Editor tool. Rather, the action is shown in either the Feature tool (in the case of routines) or the Class tool (in the case of classes). 
+ 
+
+=Editing contracts=
+
+You edit contracts one assertion clause at a time. 
+