Subversion Repositories wimsdev

!if $casesplit!=$empty

 splitobj=!translate internal $\

$ to $	$ in $objects

 !if $goalsplit!=yes

  oldobject=0

  newobject0=!line 1 of $casesplit

  newobject0=!translate internal $	$ to $\

$ in $newobject0

 !else

  newobject=!line 1 of $casesplit

 !endif

!endif

shift=0

!distribute item <,>,= into lt,gt,eq

!for i in $oldobject

 newobject=!nonempty lines $(newobject$i)

 newobject=!trim $newobject

 no=!line 1 of $newobject

 !if $i=0

  ln=!replace internal $\

$ by $\

> $ in > $newobject

  newObject=$ln

  n=!linecnt $ln

  !for k=1 to $n

   l=!line $k of $ln

   !if $l notlineof $objects

    objects=!append line $objects to $l

    !advance shift

   !endif

  !next k

 !else

  l=!line $(methparm$i) of $(mtobj$i)

  d=!item 1 of $l

  !distribute words $d into l_,s_,e_

  l_=$[$l_+$shift]

  L=!line $l_ of $objects

  !reset l1,l2

  !if $s_>0

   l1=!char 1 to $s_ of $L

  !endif

  v_=!charcnt $L

  !if $e_<$v_

   l2=!char $e_+1 to -1 of $L

  !endif

  LL=$l1$newobject$l2

  !read deduc/objsimp.proc LL

  newObject=$LL

  D=!word 1 of $L

  impl=>

  bt=<

  !if $L=$empty or ($D=$impl and $i notitemof $forcereplace)

   !if $LL notlineof $objects and $newobject!=$empty

    objects=!append line $objects to $LL

    !advance shift

   !endif

  !else

   !if $newobject!=$empty

    objects=!replace line number $l_ by $LL in $objects

   !else

    objects=!replace line number $l_ by $ in $objects

   !endif

  !endif

 !endif

!next i

objects=!nonempty lines $objects

newObject=!trim $newObject

m_newobject=!translate internal $\

$ to $	$ in $no