Subversion Repositories wimsdev

Rev

Rev 7210 | Go to most recent revision | Details | Last modification | View Log | RSS feed

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