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/$module_language/$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