Subversion Repositories wimsdev

!if $method=$empty or $method=-

  error=empty_data

  !exit

!endif

!if $method notitemof $mthlist,prf/cleanhyp

  error=illegal_method

  !advance penalty

  !exit

!endif

meth=$method

!reset methtit

!read deduc/meth/$modu_lang/$meth.def

!if $methtit=$empty

  error=bad_method

  !exit

!endif

!if $methenv!=$empty and $m_environ notwordof $methenv

  error=bad_env

  !exit

!endif

!if $error1!=$empty

  error=$error1

  !if $penalty1>0

    penalty=$[$penalty+$penalty1]

  !endif

  !read deduc/methreset erase

  !exit

!endif

methparmcnt=!itemcnt $methparmtype

!for i=1 to $methparmcnt

  l=!item $i of $methparmtype

  a=!word 1 of $l

  b=!word 2 to -1 of $l

  !if $a=parm

    mtobj$i=!exec mathexp extract $b\

$objects

    !if ERROR isin $(mtobj$i)

      badmeth=$methtit

      error=Fail

      !read deduc/methreset erase

      !exit

    !endif

    !if $objects=$empty or ($(mtobj$i)=$empty and $i notitemof $methparmrelax)

      badmeth=$methtit

      error=no_object

      !read deduc/methreset erase

      !advance penalty

      !exit

    !endif

  !else

    mtobj$i=

  !endif

!next i