Rev 20 | 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 $wims_read_parm=erase |
||
3 | !goto erase |
||
4 | !endif |
||
5 | |||
6 | !if $opt notwordof newstep |
||
16204 | bpr | 7 | !read deduc/objects.put $currstep |
8 | statusline=!item 1 to $currstep of $statusline |
||
9 | statusline=!append item ($newobject) to $statusline |
||
10 | statusLine=!item 1 to $currstep of $statusLine |
||
11 | statusLine=!append item ($newObject) to $statusLine |
||
12 | stepcases=!item 1 to $currstep-1 of $stepcases |
||
13 | stepcases=!append item $thiscase to $stepcases |
||
14 | stepcounting=!char 1 to $currstep-1 of $stepcounting $ |
||
15 | !if $stepnocount!=yes |
||
16 | stepcounting=$(stepcounting)1 |
||
17 | !else |
||
18 | stepcounting=$(stepcounting)0 |
||
19 | !endif |
||
20 | reyssat | 20 | |
16204 | bpr | 21 | methods=!line 1 to $currstep-1 of $methods\ |
20 | reyssat | 22 | \ |
23 | \ |
||
24 | \ |
||
25 | |||
16204 | bpr | 26 | !default methexp=??? |
27 | methods=!append line $methexp to $methods |
||
28 | laststep=!itemcnt $statusline |
||
29 | laststep=$[$laststep-1] |
||
20 | reyssat | 30 | !else |
16204 | bpr | 31 | newobject=!item $currstep of $statusline |
32 | newobject=!char 2 to -2 of $newobject |
||
33 | newObject=!item $currstep of $statusLine |
||
34 | newObject=!char 2 to -2 of $newObject |
||
35 | !read deduc/objects.get $currstep-1 |
||
20 | reyssat | 36 | !endif |
37 | |||
38 | :erase |
||
39 | !for i=1 to $methparmcnt |
||
16204 | bpr | 40 | methparm$i= |
20 | reyssat | 41 | !next i |
42 | |||
43 | !reset method, methparmtype, resultlist, contextlist,methparmrelax,\ |
||
16204 | bpr | 44 | m_context, m_equivalence,\ |
45 | shcontext, shresult, listcontext, listresult,\ |
||
46 | goodcontext, goodresult, repcontext, represult,\ |
||
47 | casesplit, splitobj, stepnocount |
||
20 | reyssat | 48 | |
49 | !if fixedgoal notwordof $m_options |
||
16204 | bpr | 50 | !reset m_goal |
20 | reyssat | 51 | !endif |
52 | |||
53 | t=!char 1 of $newobject |
||
54 | !distribute item <,>,= into lt,gt,eq |
||
55 | !if $t iswordof $lt $gt |
||
16204 | bpr | 56 | no=!char 3 to -1 of $newobject |
20 | reyssat | 57 | !else |
16204 | bpr | 58 | no=$newobject |
20 | reyssat | 59 | !endif |
60 | m_newobject=!translate internal $\ |
||
61 | $ to $ $ in $no |
||
62 | !distribute items 1,1 into methstep,methsubstep |
||
63 | methlist=$mthlist |
||
64 | titlist=$mtitles |
||
65 | |||
66 | n=!linecnt $objects |
||
67 | !for i=1 to $n |
||
16204 | bpr | 68 | l=!line $i of $objects |
69 | w=!word 1 of $l |
||
70 | m=!word 2 to -1 of $l |
||
71 | imp=> |
||
72 | gl=< |
||
73 | !if $w=$imp |
||
74 | m_context=!append line $m to $m_context |
||
20 | reyssat | 75 | !else |
16204 | bpr | 76 | !if $w=$gl |
77 | !if fixedgoal notwordof $m_options |
||
78 | m_goal=!append line $m to $m_goal |
||
79 | !endif |
||
80 | !else |
||
81 | m_equivalence=!append line $l to $m_equivalence |
||
82 | !endif |
||
20 | reyssat | 83 | !endif |
84 | !next i |