StatementNode.st
author Claus Gittinger <cg@exept.de>
Mon, 19 Aug 1996 14:43:17 +0200
changeset 332 7ffd2016cf73
parent 263 3b21d0991eff
child 392 cce48e2f0778
permissions -rw-r--r--
added query if statementList ends in a return
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
     1
"
4
f6fd83437415 *** empty log message ***
claus
parents: 3
diff changeset
     2
 COPYRIGHT (c) 1989 by Claus Gittinger
52
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
     3
	      All Rights Reserved
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
     4
7ad01559b262 Initial revision
claus
parents:
diff changeset
     5
 This software is furnished under a license and may be used
7ad01559b262 Initial revision
claus
parents:
diff changeset
     6
 only in accordance with the terms of that license and with the
7ad01559b262 Initial revision
claus
parents:
diff changeset
     7
 inclusion of the above copyright notice.   This software may not
7ad01559b262 Initial revision
claus
parents:
diff changeset
     8
 be provided or otherwise made available to, or used by, any
7ad01559b262 Initial revision
claus
parents:
diff changeset
     9
 other person.  No title to or ownership of the software is
7ad01559b262 Initial revision
claus
parents:
diff changeset
    10
 hereby transferred.
7ad01559b262 Initial revision
claus
parents:
diff changeset
    11
"
7ad01559b262 Initial revision
claus
parents:
diff changeset
    12
7ad01559b262 Initial revision
claus
parents:
diff changeset
    13
ParseNode subclass:#StatementNode
261
0372e948ca2d commentary
Claus Gittinger <cg@exept.de>
parents: 148
diff changeset
    14
	instanceVariableNames:'expression nextStatement'
0372e948ca2d commentary
Claus Gittinger <cg@exept.de>
parents: 148
diff changeset
    15
	classVariableNames:''
0372e948ca2d commentary
Claus Gittinger <cg@exept.de>
parents: 148
diff changeset
    16
	poolDictionaries:''
0372e948ca2d commentary
Claus Gittinger <cg@exept.de>
parents: 148
diff changeset
    17
	category:'System-Compiler-Support'
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    18
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    19
332
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    20
!StatementNode  class methodsFor:'documentation'!
20
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    21
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    22
copyright
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    23
"
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    24
 COPYRIGHT (c) 1989 by Claus Gittinger
52
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
    25
	      All Rights Reserved
20
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    26
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    27
 This software is furnished under a license and may be used
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    28
 only in accordance with the terms of that license and with the
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    29
 inclusion of the above copyright notice.   This software may not
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    30
 be provided or otherwise made available to, or used by, any
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    31
 other person.  No title to or ownership of the software is
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    32
 hereby transferred.
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    33
"
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    34
!
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    35
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    36
documentation
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    37
"
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    38
    node for parse-trees, representing statements
261
0372e948ca2d commentary
Claus Gittinger <cg@exept.de>
parents: 148
diff changeset
    39
    This is a helper class for the compiler.
263
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    40
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    41
    [author:]
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    42
        Claus Gittinger
20
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    43
"
f8dd8ba75205 *** empty log message ***
claus
parents: 4
diff changeset
    44
! !
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    45
332
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    46
!StatementNode  class methodsFor:'instance creation'!
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    47
7ad01559b262 Initial revision
claus
parents:
diff changeset
    48
expression:e
7ad01559b262 Initial revision
claus
parents:
diff changeset
    49
    ^ (self basicNew) expression:e
7ad01559b262 Initial revision
claus
parents:
diff changeset
    50
! !
7ad01559b262 Initial revision
claus
parents:
diff changeset
    51
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    52
!StatementNode methodsFor:'accessing'!
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    53
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    54
expression
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    55
    ^ expression
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    56
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    57
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    58
expression:e
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    59
    expression := e
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    60
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    61
7ad01559b262 Initial revision
claus
parents:
diff changeset
    62
last
7ad01559b262 Initial revision
claus
parents:
diff changeset
    63
    "return the last statement in a list"
7ad01559b262 Initial revision
claus
parents:
diff changeset
    64
7ad01559b262 Initial revision
claus
parents:
diff changeset
    65
    |last this|
7ad01559b262 Initial revision
claus
parents:
diff changeset
    66
7ad01559b262 Initial revision
claus
parents:
diff changeset
    67
    "this could be done more elegant - but with lots of recursion"
7ad01559b262 Initial revision
claus
parents:
diff changeset
    68
    last := self.
7ad01559b262 Initial revision
claus
parents:
diff changeset
    69
    this := self.
7ad01559b262 Initial revision
claus
parents:
diff changeset
    70
    [this notNil] whileTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
    71
	last := this.
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
    72
	this := this nextStatement
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    73
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
    74
    ^ last
7ad01559b262 Initial revision
claus
parents:
diff changeset
    75
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    76
7ad01559b262 Initial revision
claus
parents:
diff changeset
    77
nextStatement
7ad01559b262 Initial revision
claus
parents:
diff changeset
    78
    ^ nextStatement
7ad01559b262 Initial revision
claus
parents:
diff changeset
    79
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    80
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    81
nextStatement:s
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    82
    nextStatement := s
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    83
! !
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    84
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    85
!StatementNode methodsFor:'code generation'!
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    86
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    87
codeForSideEffectOn:aStream inBlock:b for:aCompiler
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    88
    "generate code for this statement - value not needed"
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    89
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    90
    expression codeForSideEffectOn:aStream inBlock:b for:aCompiler
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    91
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    92
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    93
codeOn:aStream inBlock:b for:aCompiler
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    94
    "generate code for this statement"
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    95
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    96
    expression codeOn:aStream inBlock:b for:aCompiler
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    97
! !
7ad01559b262 Initial revision
claus
parents:
diff changeset
    98
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
    99
!StatementNode methodsFor:'evaluating'!
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   100
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   101
evaluate
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   102
    |lastValue thisStatement|
52
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   103
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   104
    "this could be done more elegant - but with lots of recursion"
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   105
    thisStatement := self.
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   106
    [thisStatement notNil] whileTrue:[
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   107
	lastValue := thisStatement evaluateExpression.
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   108
	thisStatement := thisStatement nextStatement
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   109
    ].
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   110
    ^ lastValue
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   111
!
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   112
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   113
evaluateExpression
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   114
    ^ expression evaluate
52
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   115
! !
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   116
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   117
!StatementNode methodsFor:'printing'!
7ad01559b262 Initial revision
claus
parents:
diff changeset
   118
7ad01559b262 Initial revision
claus
parents:
diff changeset
   119
printAllOn:aStream 
7ad01559b262 Initial revision
claus
parents:
diff changeset
   120
    self printAllOn:aStream indent:4
7ad01559b262 Initial revision
claus
parents:
diff changeset
   121
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
   122
7ad01559b262 Initial revision
claus
parents:
diff changeset
   123
printAllOn:aStream indent:i
7ad01559b262 Initial revision
claus
parents:
diff changeset
   124
    |thisStatement|
7ad01559b262 Initial revision
claus
parents:
diff changeset
   125
7ad01559b262 Initial revision
claus
parents:
diff changeset
   126
    thisStatement := self.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   127
    [thisStatement notNil] whileTrue:[
98
claus
parents: 52
diff changeset
   128
	aStream spaces:i.
52
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   129
	thisStatement printOn:aStream indent:i.
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   130
	thisStatement nextStatement notNil ifTrue:[
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   131
	    aStream nextPut:$..
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   132
	    aStream cr.
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   133
	].
d80ec10c3321 *** empty log message ***
claus
parents: 33
diff changeset
   134
	thisStatement := thisStatement nextStatement
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   135
    ]
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   136
!
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   137
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   138
printOn:aStream indent:i
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   139
    expression printOn:aStream indent:i.
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   140
! !
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   141
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   142
!StatementNode methodsFor:'queries'!
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   143
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   144
isConstant
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   145
    nextStatement notNil ifTrue:[^ false].
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   146
    ^ expression isConstant
332
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   147
!
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   148
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   149
listEndsWithReturn
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   150
    |thisStatement lastStatement|
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   151
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   152
    thisStatement := self.
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   153
    [thisStatement notNil] whileTrue:[
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   154
        lastStatement := thisStatement.
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   155
        thisStatement := thisStatement nextStatement
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   156
    ].
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   157
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   158
    ^ lastStatement isReturnNode
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   159
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   160
    "Created: 19.8.1996 / 14:32:47 / cg"
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   161
! !
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   162
332
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   163
!StatementNode  class methodsFor:'documentation'!
148
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   164
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   165
version
332
7ffd2016cf73 added query if statementList ends in a return
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
   166
    ^ '$Header: /cvs/stx/stx/libcomp/StatementNode.st,v 1.16 1996-08-19 12:43:17 cg Exp $'
148
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   167
! !