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