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