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