BinaryNode.st
author Claus Gittinger <cg@exept.de>
Fri, 28 Mar 2003 16:37:31 +0100
changeset 1387 ddc5f8d9b562
parent 1384 0db9682870d9
child 1388 ae2d6b7d38d7
permissions -rw-r--r--
selector handling
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: 49
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
1079
2a996e0def30 category change
Claus Gittinger <cg@exept.de>
parents: 1035
diff changeset
    13
"{ Package: 'stx:libcomp' }"
2a996e0def30 category change
Claus Gittinger <cg@exept.de>
parents: 1035
diff changeset
    14
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    15
MessageNode subclass:#BinaryNode
253
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    16
	instanceVariableNames:''
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    17
	classVariableNames:''
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    18
	poolDictionaries:''
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    19
	category:'System-Compiler-Support'
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    20
!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    21
20
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    22
!BinaryNode class methodsFor:'documentation'!
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    23
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    24
copyright
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    25
"
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    26
 COPYRIGHT (c) 1989 by Claus Gittinger
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
    27
	      All Rights Reserved
20
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    28
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    29
 This software is furnished under a license and may be used
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    30
 only in accordance with the terms of that license and with the
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    31
 inclusion of the above copyright notice.   This software may not
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    32
 be provided or otherwise made available to, or used by, any
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    33
 other person.  No title to or ownership of the software is
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    34
 hereby transferred.
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    35
"
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    36
!
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    37
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    38
documentation
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    39
"
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    40
    node for parse-trees, representing binary message sends
261
0372e948ca2d commentary
Claus Gittinger <cg@exept.de>
parents: 253
diff changeset
    41
    This is a helper class for the compiler.
263
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    42
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    43
    [author:]
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    44
        Claus Gittinger
3b21d0991eff documentation
Claus Gittinger <cg@exept.de>
parents: 261
diff changeset
    45
20
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    46
"
f8dd8ba75205 *** empty log message ***
claus
parents: 13
diff changeset
    47
! !
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    48
7ad01559b262 Initial revision
claus
parents:
diff changeset
    49
!BinaryNode methodsFor:'accessing'!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    50
7ad01559b262 Initial revision
claus
parents:
diff changeset
    51
arg
7ad01559b262 Initial revision
claus
parents:
diff changeset
    52
    ^ argArray at:1
7ad01559b262 Initial revision
claus
parents:
diff changeset
    53
! !
7ad01559b262 Initial revision
claus
parents:
diff changeset
    54
7ad01559b262 Initial revision
claus
parents:
diff changeset
    55
!BinaryNode methodsFor:'code generation'!
7ad01559b262 Initial revision
claus
parents:
diff changeset
    56
596
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    57
codeForSideEffectOn:aStream inBlock:b for:aCompiler
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    58
    "generate code for this statement - value not needed"
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    59
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    60
    selector == #= ifTrue:[
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    61
        receiver isVariable ifTrue:[
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    62
            aCompiler 
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    63
                warning:'possible typing error: ''='' instead of '':=''' 
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    64
                position:selectorPosition to:selectorPosition.
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    65
        ]
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    66
    ].
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    67
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    68
    ^ super codeForSideEffectOn:aStream inBlock:b for:aCompiler
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    69
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    70
    "Created: 5.8.1997 / 02:32:55 / cg"
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    71
    "Modified: 5.8.1997 / 02:50:18 / cg"
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    72
!
7e1d73e3bc06 watch out for possible '=' vs. ':=' typing error.
Claus Gittinger <cg@exept.de>
parents: 263
diff changeset
    73
104
claus
parents: 103
diff changeset
    74
codeOn:aStream inBlock:b for:aCompiler
96
claus
parents: 76
diff changeset
    75
    |arg1 recVal argVal code|
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
    76
49
02660b790c3e *** empty log message ***
claus
parents: 32
diff changeset
    77
    receiver isSuper ifFalse:[
253
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    78
        (aCompiler isBuiltInBinarySelector:selector forReceiver:receiver) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    79
        "/ ( #(== ~~ = ~= + - < <= > >=) includes:selector) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    80
            arg1 := argArray at:1.
76
55d64cb1ffea *** empty log message ***
claus
parents: 52
diff changeset
    81
253
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    82
            receiver isConstant ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    83
                recVal := receiver value.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    84
                (receiver type == #Integer) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    85
                    ((selector == #==) or:[selector == #~~]) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    86
                        recVal == 0 ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    87
                            arg1 codeOn:aStream inBlock:b for:aCompiler.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    88
                            (selector == #==) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    89
                                code := #eq0
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    90
                            ] ifFalse:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    91
                                code := #ne0
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    92
                            ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    93
                            aStream nextPut:code.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    94
                            ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    95
                        ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    96
                    ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    97
                ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
    98
                recVal == nil ifTrue:[
797
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
    99
                    ((selector == #==) or:[selector == #~~]) ifTrue:[
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   100
                        arg1 codeOn:aStream inBlock:b for:aCompiler.
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   101
                        (selector == #==) ifTrue:[
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   102
                            code := #isNil 
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   103
                        ] ifFalse:[
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   104
                            code := #notNil 
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   105
                        ].
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   106
                        aStream nextPut:code. 
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   107
                        ^ self
dec188dd71d5 oops - nil + 5 generated wrong code.
Claus Gittinger <cg@exept.de>
parents: 596
diff changeset
   108
                    ]
253
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   109
                ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   110
                (selector == #+) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   111
                    (recVal == 1) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   112
                        arg1 codeOn:aStream inBlock:b for:aCompiler.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   113
                        (selector == #+) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   114
                            code := #plus1
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   115
                        ] ifFalse:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   116
                            code := #minus1
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   117
                        ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   118
                        aStream nextPut:code; nextPut:lineNr.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   119
                        ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   120
                    ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   121
                ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   122
            ].
76
55d64cb1ffea *** empty log message ***
claus
parents: 52
diff changeset
   123
253
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   124
            receiver codeOn:aStream inBlock:b for:aCompiler.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   125
            arg1 isConstant ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   126
                argVal := arg1 value.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   127
                (arg1 type == #Integer) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   128
                    ((selector == #==) or:[selector == #~~]) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   129
                        (argVal == 0) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   130
                            (selector == #==) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   131
                                code := #eq0
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   132
                            ] ifFalse:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   133
                                code := #ne0
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   134
                            ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   135
                            aStream nextPut:code.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   136
                            ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   137
                        ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   138
                    ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   139
                    selector == #> ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   140
                        argVal == 0 ifTrue:[ 
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   141
                            aStream nextPut:#gt0; nextPut:lineNr.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   142
                            ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   143
                        ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   144
                    ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   145
                    ((selector == #+) or:[selector == #-]) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   146
                        (argVal == 1) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   147
                            (selector == #+) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   148
                                code := #plus1
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   149
                            ] ifFalse:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   150
                                code := #minus1
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   151
                            ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   152
                            aStream nextPut:code; nextPut:lineNr.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   153
                            ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   154
                        ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   155
                    ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   156
                ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   157
                argVal isNil ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   158
                    (selector == #==) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   159
                        aStream nextPut:#isNil.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   160
                        ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   161
                    ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   162
                    (selector == #~~) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   163
                        aStream nextPut:#notNil.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   164
                        ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   165
                    ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   166
                ]
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   167
            ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   168
            arg1 codeOn:aStream inBlock:b for:aCompiler.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   169
            aStream nextPut:selector.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   170
            (aCompiler hasLineNumber:selector) ifTrue:[
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   171
                aStream nextPut:lineNr.
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   172
            ].
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   173
            ^ self
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   174
        ]
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   175
    ].
104
claus
parents: 103
diff changeset
   176
    ^ super codeOn:aStream inBlock:b for:aCompiler
253
759ba0ddb672 oops - must check for receiver when attempting built-in basicNew
Claus Gittinger <cg@exept.de>
parents: 199
diff changeset
   177
885
fa0caaff10b0 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 860
diff changeset
   178
    "Modified: / 4.7.1999 / 19:05:13 / cg"
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   179
! !
7ad01559b262 Initial revision
claus
parents:
diff changeset
   180
1035
8848672cb893 category rename
Claus Gittinger <cg@exept.de>
parents: 885
diff changeset
   181
!BinaryNode methodsFor:'evaluation'!
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   182
1384
0db9682870d9 evaluate -> evaluateIn:
Claus Gittinger <cg@exept.de>
parents: 1079
diff changeset
   183
evaluateIn:anEnvironment
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   184
    receiver isSuper ifTrue:[
1384
0db9682870d9 evaluate -> evaluateIn:
Claus Gittinger <cg@exept.de>
parents: 1079
diff changeset
   185
        ^ super evaluateIn:anEnvironment
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   186
    ].
1384
0db9682870d9 evaluate -> evaluateIn:
Claus Gittinger <cg@exept.de>
parents: 1079
diff changeset
   187
    ^ (receiver evaluateIn:anEnvironment) 
0db9682870d9 evaluate -> evaluateIn:
Claus Gittinger <cg@exept.de>
parents: 1079
diff changeset
   188
        perform:selector 
0db9682870d9 evaluate -> evaluateIn:
Claus Gittinger <cg@exept.de>
parents: 1079
diff changeset
   189
        with:((argArray at:1) evaluateIn:anEnvironment)
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   190
! !
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   191
1079
2a996e0def30 category change
Claus Gittinger <cg@exept.de>
parents: 1035
diff changeset
   192
!BinaryNode methodsFor:'printing & storing'!
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   193
7ad01559b262 Initial revision
claus
parents:
diff changeset
   194
printOn:aStream indent:i
7ad01559b262 Initial revision
claus
parents:
diff changeset
   195
    |needParen|
7ad01559b262 Initial revision
claus
parents:
diff changeset
   196
7ad01559b262 Initial revision
claus
parents:
diff changeset
   197
    needParen := false.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   198
    receiver isMessage ifTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   199
	receiver isUnaryMessage ifFalse:[
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   200
	    needParen := true
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   201
	].
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   202
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
   203
    needParen ifTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   204
	aStream nextPutAll:'('
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   205
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
   206
    receiver printOn:aStream.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   207
    needParen ifTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   208
	aStream nextPutAll:') '
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   209
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
   210
7ad01559b262 Initial revision
claus
parents:
diff changeset
   211
    aStream space.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   212
    selector printString printOn:aStream.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   213
    aStream space.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   214
7ad01559b262 Initial revision
claus
parents:
diff changeset
   215
    needParen := false.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   216
    self arg isMessage ifTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   217
	self arg isUnaryMessage ifFalse:[
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   218
	    needParen := true
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   219
	].
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   220
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
   221
    needParen ifTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   222
	aStream nextPutAll:'('
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   223
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
   224
    self arg printOn:aStream.
7ad01559b262 Initial revision
claus
parents:
diff changeset
   225
    needParen ifTrue:[
52
d80ec10c3321 *** empty log message ***
claus
parents: 49
diff changeset
   226
	aStream nextPutAll:') '
0
7ad01559b262 Initial revision
claus
parents:
diff changeset
   227
    ].
7ad01559b262 Initial revision
claus
parents:
diff changeset
   228
! !
140
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   229
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   230
!BinaryNode methodsFor:'queries'!
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   231
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   232
isBinaryMessage
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   233
    ^ true
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   234
! !
1ef1d1395146 checkin from browser
Claus Gittinger <cg@exept.de>
parents: 135
diff changeset
   235
148
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   236
!BinaryNode class methodsFor:'documentation'!
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   237
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   238
version
1387
ddc5f8d9b562 selector handling
Claus Gittinger <cg@exept.de>
parents: 1384
diff changeset
   239
    ^ '$Header: /cvs/stx/stx/libcomp/BinaryNode.st,v 1.31 2003-03-28 15:37:31 cg Exp $'
148
ef0e604209ec version method at the end
Claus Gittinger <cg@exept.de>
parents: 140
diff changeset
   240
! !