Subversion Repositories wimsdev

Rev

Rev 8167 | Go to most recent revision | Details | Compare with Previous | Last modification | View Log | RSS feed

Rev Author Line No. Line
20 reyssat 1
 
2
!if $method=$empty or $method=-
16113 bpr 3
  error=empty_data
4
  !exit
20 reyssat 5
!endif
6
 
7
!if $method notitemof $mthlist,prf/cleanhyp
16113 bpr 8
  error=illegal_method
9
  !advance penalty
10
  !exit
20 reyssat 11
!endif
12
 
13
meth=$method
14
!reset methtit
15
!read deduc/meth/$module_language/$meth.def
16
!if $methtit=$empty
16113 bpr 17
  error=bad_method
18
  !exit
20 reyssat 19
!endif
20
!if $methenv!=$empty and $m_environ notwordof $methenv
16113 bpr 21
  error=bad_env
22
  !exit
20 reyssat 23
!endif
7210 bpr 24
 
20 reyssat 25
!if $error1!=$empty
16113 bpr 26
  error=$error1
27
  !if $penalty1>0
28
    penalty=$[$penalty+$penalty1]
29
  !endif
30
  !read deduc/methreset erase
31
  !exit
20 reyssat 32
!endif
33
 
34
methparmcnt=!itemcnt $methparmtype
35
!for i=1 to $methparmcnt
16113 bpr 36
  l=!item $i of $methparmtype
37
  a=!word 1 of $l
38
  b=!word 2 to -1 of $l
8167 bpr 39
 
16113 bpr 40
  !if $a=parm
41
    mtobj$i=!exec mathexp extract $b\
20 reyssat 42
$objects
16113 bpr 43
    !if ERROR isin $(mtobj$i)
44
      badmeth=$methtit
45
      error=Fail
46
      !read deduc/methreset erase
47
      !exit
48
    !endif
49
    !if $objects=$empty or ($(mtobj$i)=$empty and $i notitemof $methparmrelax)
50
      badmeth=$methtit
51
      error=no_object
52
      !read deduc/methreset erase
53
      !advance penalty
54
      !exit
55
    !endif
56
  !else
57
    mtobj$i=
20 reyssat 58
  !endif
59
!next i