Subversion Repositories wimsdev

Rev

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