Subversion Repositories wimsdev

Rev

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