Interpreter

Start of Interpreter for program ext3.tri at Sun Dec 12 23:12:43 2010
Program
# alen:=5
ARRAY a[alen]
a[0]:=23
a[1]:=85
a[2]:=10
a[3]:=47
a[4]:=62
i:=0
FORi: j:=(i+1)
FORj: IF (a[i]<=a[j]) THEN GOTO NOSWAP
t:=a[i]
a[i]:=a[j]
a[j]:=t
NOSWAP: j:=(j+1)
IF (ji:=(i+1)
IF (i<(alen-1)) THEN GOTO FORi#
Parsing tree
root
:=
alen 5
ARRAY
a alen
[]:=
a 0 23
[]:=
a 1 85
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
label
FORi
:=
j +
i 1
label
FORj
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
label
NOSWAP
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
Table of constants
c1=5 c2=0 c3=23 c4=1 c5=85 c6=2 c7=10 c8=3 c9=47 c10=4 c11=62
Table of identifiers
i1=alen i2=a i3=i i4=FORi i5=j i6=FORj i7=NOSWAP i8=t

label 'FORi' is address of the operator {omistamine} (00611468)
label 'FORj' is address of the operator {tingimus} (006114C8)
label 'NOSWAP' is address of the operator {omistamine} (00619E18)
Modified tree
root
:=
alen 5
ARRAY
a alen
[]:=
a 0 23
[]:=
a 1 85
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack id alen=0

Stack id alen=0 const=5
interpreting the operator alen:=5
:=
alen 5
ARRAY
a alen
[]:=
a 0 23
[]:=
a 1 85
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

alen:=5

Stack

Stack id a=0

Stack id a=0 id alen=5
interpreting the operator ARRAY a[alen]
ARRAY
a alen
[]:=
a 0 23
[]:=
a 1 85
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Created new array a
a 0 0 0 0 0

Stack

Stack id a=0

Stack id a=0 const=0

Stack id a=0 const=0 const=23
interpreting the operator a[0]:=23
[]:=
a 0 23
[]:=
a 1 85
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 23 to a[0]
a 23 0 0 0 0

Stack

Stack id a=0

Stack id a=0 const=1

Stack id a=0 const=1 const=85
interpreting the operator a[1]:=85
[]:=
a 1 85
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 85 to a[1]
a 23 85 0 0 0

Stack

Stack id a=0

Stack id a=0 const=2

Stack id a=0 const=2 const=10
interpreting the operator a[2]:=10
[]:=
a 2 10
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 10 to a[2]
a 23 85 10 0 0

Stack

Stack id a=0

Stack id a=0 const=3

Stack id a=0 const=3 const=47
interpreting the operator a[3]:=47
[]:=
a 3 47
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 47 to a[3]
a 23 85 10 47 0

Stack

Stack id a=0

Stack id a=0 const=4

Stack id a=0 const=4 const=62
interpreting the operator a[4]:=62
[]:=
a 4 62
:=
i 0
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

i:=0

Stack
FORi:
Stack id j=0

Stack id j=0 id i=0

Stack id j=0 id i=0 const=1
interpreting the operator (i+1)
+
i 1

1 = 0 + 1

Stack id j=0 tm=1
interpreting the operator j:=(i+1)
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[0]=23
Stack tm=23

Stack tm=23 id a=0

Stack tm=23 id a=0 id j=1
interpreting the operator a[j]
->
a j
a[1]=85
Stack tm=23 tm=85
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

23 <= 85 ?

Stack tm=1
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
goto NOSWAP
NOSWAP:
Stack id j=1

Stack id j=1 id j=1

Stack id j=1 id j=1 const=1
interpreting the operator (j+1)
+
j 1

2 = 1 + 1

Stack id j=1 tm=2
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=2

Stack

Stack id j=2

Stack id j=2 id alen=5
interpreting the operator (j<
j alen

2 < 5 ?

Stack tm=1
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORj:
interpreting the operator FORj:
label
FORj

Stack FORj:
interpreting the operator GOTO FORj
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[0]=23
Stack tm=23

Stack tm=23 id a=0

Stack tm=23 id a=0 id j=2
interpreting the operator a[j]
->
a j
a[2]=10
Stack tm=23 tm=10
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

23 <= 10 ?

Stack tm=0
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
a[0]=23
Stack id t=0 tm=23
interpreting the operator t:=a[i]
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a j
a[2]=10
Stack id a=0 id i=0 tm=10
interpreting the operator a[i]:=a[j]
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 10 to a[0]
a 10 85 10 47 62

Stack

Stack id a=0

Stack id a=0 id j=2

Stack id a=0 id j=2 id t=23
interpreting the operator a[j]:=t
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 23 to a[2]
a 10 85 23 47 62

Stack
NOSWAP:
Stack id j=2

Stack id j=2 id j=2

Stack id j=2 id j=2 const=1
interpreting the operator (j+1)
+
j 1

3 = 2 + 1

Stack id j=2 tm=3
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=3

Stack

Stack id j=3

Stack id j=3 id alen=5
interpreting the operator (j<
j alen

3 < 5 ?

Stack tm=1
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORj:
interpreting the operator FORj:
label
FORj

Stack FORj:
interpreting the operator GOTO FORj
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[0]=10
Stack tm=10

Stack tm=10 id a=0

Stack tm=10 id a=0 id j=3
interpreting the operator a[j]
->
a j
a[3]=47
Stack tm=10 tm=47
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

10 <= 47 ?

Stack tm=1
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
goto NOSWAP
NOSWAP:
Stack id j=3

Stack id j=3 id j=3

Stack id j=3 id j=3 const=1
interpreting the operator (j+1)
+
j 1

4 = 3 + 1

Stack id j=3 tm=4
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=4

Stack

Stack id j=4

Stack id j=4 id alen=5
interpreting the operator (j<
j alen

4 < 5 ?

Stack tm=1
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORj:
interpreting the operator FORj:
label
FORj

Stack FORj:
interpreting the operator GOTO FORj
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[0]=10
Stack tm=10

Stack tm=10 id a=0

Stack tm=10 id a=0 id j=4
interpreting the operator a[j]
->
a j
a[4]=62
Stack tm=10 tm=62
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

10 <= 62 ?

Stack tm=1
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
goto NOSWAP
NOSWAP:
Stack id j=4

Stack id j=4 id j=4

Stack id j=4 id j=4 const=1
interpreting the operator (j+1)
+
j 1

5 = 4 + 1

Stack id j=4 tm=5
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=5

Stack

Stack id j=5

Stack id j=5 id alen=5
interpreting the operator (j<
j alen

5 < 5 ?

Stack tm=0
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack id i=0

Stack id i=0 id i=0

Stack id i=0 id i=0 const=1
interpreting the operator (i+1)
+
i 1

1 = 0 + 1

Stack id i=0 tm=1
interpreting the operator i:=(i+1)
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

i:=1

Stack

Stack id i=1

Stack id i=1 id alen=5

Stack id i=1 id alen=5 const=1
interpreting the operator (alen-1)
-
alen 1

4 = 5 - 1

Stack id i=1 tm=4
interpreting the operator (i<(alen-1))
<
i -
alen 1

1 < 4 ?

Stack tm=1
interpreting the operator IF (i<(alen-1)) THEN
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORi:
interpreting the operator FORi:
label
FORi

Stack FORi:
interpreting the operator GOTO FORi
GOTO
label
FORi
goto FORi
FORi:
Stack id j=5

Stack id j=5 id i=1

Stack id j=5 id i=1 const=1
interpreting the operator (i+1)
+
i 1

2 = 1 + 1

Stack id j=5 tm=2
interpreting the operator j:=(i+1)
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[1]=85
Stack tm=85

Stack tm=85 id a=0

Stack tm=85 id a=0 id j=2
interpreting the operator a[j]
->
a j
a[2]=23
Stack tm=85 tm=23
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

85 <= 23 ?

Stack tm=0
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
a[1]=85
Stack id t=23 tm=85
interpreting the operator t:=a[i]
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a j
a[2]=23
Stack id a=0 id i=1 tm=23
interpreting the operator a[i]:=a[j]
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 23 to a[1]
a 10 23 23 47 62

Stack

Stack id a=0

Stack id a=0 id j=2

Stack id a=0 id j=2 id t=85
interpreting the operator a[j]:=t
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 85 to a[2]
a 10 23 85 47 62

Stack
NOSWAP:
Stack id j=2

Stack id j=2 id j=2

Stack id j=2 id j=2 const=1
interpreting the operator (j+1)
+
j 1

3 = 2 + 1

Stack id j=2 tm=3
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=3

Stack

Stack id j=3

Stack id j=3 id alen=5
interpreting the operator (j<
j alen

3 < 5 ?

Stack tm=1
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORj:
interpreting the operator FORj:
label
FORj

Stack FORj:
interpreting the operator GOTO FORj
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[1]=23
Stack tm=23

Stack tm=23 id a=0

Stack tm=23 id a=0 id j=3
interpreting the operator a[j]
->
a j
a[3]=47
Stack tm=23 tm=47
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

23 <= 47 ?

Stack tm=1
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
goto NOSWAP
NOSWAP:
Stack id j=3

Stack id j=3 id j=3

Stack id j=3 id j=3 const=1
interpreting the operator (j+1)
+
j 1

4 = 3 + 1

Stack id j=3 tm=4
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=4

Stack

Stack id j=4

Stack id j=4 id alen=5
interpreting the operator (j<
j alen

4 < 5 ?

Stack tm=1
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORj:
interpreting the operator FORj:
label
FORj

Stack FORj:
interpreting the operator GOTO FORj
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[1]=23
Stack tm=23

Stack tm=23 id a=0

Stack tm=23 id a=0 id j=4
interpreting the operator a[j]
->
a j
a[4]=62
Stack tm=23 tm=62
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

23 <= 62 ?

Stack tm=1
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
goto NOSWAP
NOSWAP:
Stack id j=4

Stack id j=4 id j=4

Stack id j=4 id j=4 const=1
interpreting the operator (j+1)
+
j 1

5 = 4 + 1

Stack id j=4 tm=5
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=5

Stack

Stack id j=5

Stack id j=5 id alen=5
interpreting the operator (j<
j alen

5 < 5 ?

Stack tm=0
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack id i=1

Stack id i=1 id i=1

Stack id i=1 id i=1 const=1
interpreting the operator (i+1)
+
i 1

2 = 1 + 1

Stack id i=1 tm=2
interpreting the operator i:=(i+1)
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

i:=2

Stack

Stack id i=2

Stack id i=2 id alen=5

Stack id i=2 id alen=5 const=1
interpreting the operator (alen-1)
-
alen 1

4 = 5 - 1

Stack id i=2 tm=4
interpreting the operator (i<(alen-1))
<
i -
alen 1

2 < 4 ?

Stack tm=1
interpreting the operator IF (i<(alen-1)) THEN
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORi:
interpreting the operator FORi:
label
FORi

Stack FORi:
interpreting the operator GOTO FORi
GOTO
label
FORi
goto FORi
FORi:
Stack id j=5

Stack id j=5 id i=2

Stack id j=5 id i=2 const=1
interpreting the operator (i+1)
+
i 1

3 = 2 + 1

Stack id j=5 tm=3
interpreting the operator j:=(i+1)
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[2]=85
Stack tm=85

Stack tm=85 id a=0

Stack tm=85 id a=0 id j=3
interpreting the operator a[j]
->
a j
a[3]=47
Stack tm=85 tm=47
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

85 <= 47 ?

Stack tm=0
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
a[2]=85
Stack id t=85 tm=85
interpreting the operator t:=a[i]
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a j
a[3]=47
Stack id a=0 id i=2 tm=47
interpreting the operator a[i]:=a[j]
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 47 to a[2]
a 10 23 47 47 62

Stack

Stack id a=0

Stack id a=0 id j=3

Stack id a=0 id j=3 id t=85
interpreting the operator a[j]:=t
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 85 to a[3]
a 10 23 47 85 62

Stack
NOSWAP:
Stack id j=3

Stack id j=3 id j=3

Stack id j=3 id j=3 const=1
interpreting the operator (j+1)
+
j 1

4 = 3 + 1

Stack id j=3 tm=4
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=4

Stack

Stack id j=4

Stack id j=4 id alen=5
interpreting the operator (j<
j alen

4 < 5 ?

Stack tm=1
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORj:
interpreting the operator FORj:
label
FORj

Stack FORj:
interpreting the operator GOTO FORj
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[2]=47
Stack tm=47

Stack tm=47 id a=0

Stack tm=47 id a=0 id j=4
interpreting the operator a[j]
->
a j
a[4]=62
Stack tm=47 tm=62
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

47 <= 62 ?

Stack tm=1
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi
goto NOSWAP
NOSWAP:
Stack id j=4

Stack id j=4 id j=4

Stack id j=4 id j=4 const=1
interpreting the operator (j+1)
+
j 1

5 = 4 + 1

Stack id j=4 tm=5
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=5

Stack

Stack id j=5

Stack id j=5 id alen=5
interpreting the operator (j<
j alen

5 < 5 ?

Stack tm=0
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack id i=2

Stack id i=2 id i=2

Stack id i=2 id i=2 const=1
interpreting the operator (i+1)
+
i 1

3 = 2 + 1

Stack id i=2 tm=3
interpreting the operator i:=(i+1)
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

i:=3

Stack

Stack id i=3

Stack id i=3 id alen=5

Stack id i=3 id alen=5 const=1
interpreting the operator (alen-1)
-
alen 1

4 = 5 - 1

Stack id i=3 tm=4
interpreting the operator (i<(alen-1))
<
i -
alen 1

3 < 4 ?

Stack tm=1
interpreting the operator IF (i<(alen-1)) THEN
IF
<
i -
alen 1
GOTO
label
FORi

Stack

Stack FORi:
interpreting the operator FORi:
label
FORi

Stack FORi:
interpreting the operator GOTO FORi
GOTO
label
FORi
goto FORi
FORi:
Stack id j=5

Stack id j=5 id i=3

Stack id j=5 id i=3 const=1
interpreting the operator (i+1)
+
i 1

4 = 3 + 1

Stack id j=5 tm=4
interpreting the operator j:=(i+1)
:=
j +
i 1
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
->
a j
a[3]=85
Stack tm=85

Stack tm=85 id a=0

Stack tm=85 id a=0 id j=4
interpreting the operator a[j]
->
a j
a[4]=62
Stack tm=85 tm=62
interpreting the operator (a[i]<=a[j])
<=
->
a i
->
a j

85 <= 62 ?

Stack tm=0
interpreting the operator IF (a[i]<=a[j]) THEN
IF
<=
->
a i
->
a j
GOTO
label
NOSWAP
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a i
a[3]=85
Stack id t=85 tm=85
interpreting the operator t:=a[i]
:=
t ->
a i
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF

a j
a[4]=62
Stack id a=0 id i=3 tm=62
interpreting the operator a[i]:=a[j]
[]:=
a i ->
a j
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 62 to a[3]
a 10 23 47 62 62

Stack

Stack id a=0

Stack id a=0 id j=4

Stack id a=0 id j=4 id t=85
interpreting the operator a[j]:=t
[]:=
a j t
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Writed value 85 to a[4]
a 10 23 47 62 85

Stack
NOSWAP:
Stack id j=4

Stack id j=4 id j=4

Stack id j=4 id j=4 const=1
interpreting the operator (j+1)
+
j 1

5 = 4 + 1

Stack id j=4 tm=5
interpreting the operator j:=(j+1)
:=
j +
j 1
IF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

j:=5

Stack

Stack id j=5

Stack id j=5 id alen=5
interpreting the operator (j<
j alen

5 < 5 ?

Stack tm=0
interpreting the operator IF (jIF
<
j alen
GOTO
label
FORj
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

Stack id i=3

Stack id i=3 id i=3

Stack id i=3 id i=3 const=1
interpreting the operator (i+1)
+
i 1

4 = 3 + 1

Stack id i=3 tm=4
interpreting the operator i:=(i+1)
:=
i +
i 1
IF
<
i -
alen 1
GOTO
label
FORi

i:=4

Stack

Stack id i=4

Stack id i=4 id alen=5

Stack id i=4 id alen=5 const=1
interpreting the operator (alen-1)
-
alen 1

4 = 5 - 1

Stack id i=4 tm=4
interpreting the operator (i<(alen-1))
<
i -
alen 1

4 < 4 ?

Stack tm=0
interpreting the operator IF (i<(alen-1)) THEN
IF
<
i -
alen 1
GOTO
label
FORi
program ext3.tri is completed
THE VARIABLES:
alen=5
a=0
i=4
j=5
t=85
ARRAYS:
a 10 23 47 62 85
Interpreter ended at Sun Dec 12 23:12:43 2010