Subversion Repositories wimsdev

Rev

Rev 20 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed

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