"
 COPYRIGHT (c) 1994 by Claus Gittinger
	      All Rights Reserved

 This software is furnished under a license and may be used
 only in accordance with the terms of that license and with the
 inclusion of the above copyright notice.   This software may not
 be provided or otherwise made available to, or used by, any
 other person.  No title to or ownership of the software is
 hereby transferred.
"
"{ Package: 'stx:libbasic' }"

"{ NameSpace: Smalltalk }"

Block variableSubclass:#CheapBlock
	instanceVariableNames:'selfValue method'
	classVariableNames:''
	poolDictionaries:''
	category:'Kernel-Methods'
!

!CheapBlock class methodsFor:'documentation'!

copyright
"
 COPYRIGHT (c) 1994 by Claus Gittinger
	      All Rights Reserved

 This software is furnished under a license and may be used
 only in accordance with the terms of that license and with the
 inclusion of the above copyright notice.   This software may not
 be provided or otherwise made available to, or used by, any
 other person.  No title to or ownership of the software is
 hereby transferred.
"
!

documentation
"
    CheapBlocks are blocks which do not need their home-context
    (i.e. blocks that do not access any method arguments 
     or method locals).

    CheapBlocks are never created explicitely; the only creation
    is done by the compilers, when some sourceCode is compiled to either
    machine or byteCode, and the generated block is found to neither access
    any variables from its homeContext nor does a method-return.
    CheapBlocks create less overhead to the runtime system, in that they
    do not keep the creating context from being reclaimed (but, don't expect
    too much of a difference ;-)

    Since they have no reference to the home, they must store their
    creating method explicitely - otherwise, the system had no 
    chance of finding the source-position of the block.

    [Instance variables:]

      selfValue   <Object>          copied self value
                                    (if it's a copying block)

      method      <Method>          method where block was created 

    NOTICE: layout known by runtime system and compiler - do not change

    [author:]
        Claus Gittinger

    [see also:]
        Block Context Method
        ( contexts, stacks & unwinding :html: programming/contexts.html )
"
! !

!CheapBlock class methodsFor:'queries'!

isBuiltInClass
    "return true if this class is known by the run-time-system.
     Here, true is returned for myself, false for subclasses."

    ^ self == CheapBlock

    "Created: 16.4.1996 / 11:25:23 / cg"
    "Modified: 23.4.1996 / 15:56:46 / cg"
! !

!CheapBlock methodsFor:'accessing'!

homeMethod
    "return the receiver's home method.
     That's the method where the block was created."

    ^ method

    "Created: 19.6.1997 / 16:14:35 / cg"
    "Modified: 19.6.1997 / 16:15:44 / cg"
!

selfValue
    "return the copied self"

    ^ selfValue
!

setMethod:aMethod
    "set the receiver's home method.
     This is a private entry for the compiler"

    method := aMethod

    "Created: 21.10.1996 / 13:58:29 / cg"
! !

!CheapBlock methodsFor:'conversion'!

asVarArgBlock
    "convert myself into a varArg block;
     this one has 1 formal argument, which gets the list
     of actual arguments when evaluated."

    nargs ~~ 1 ifTrue:[
        self error:'vararg blocks must take exactly 1 argument - the arg list'.
        ^ nil
    ].

    self changeClassTo:VarArgCheapBlock.
    ^ self

    "
     |b|

     b := [:argList | argList printCR] asVarArgBlock.
     b value.
     b value:'arg1' value:'arg2' value:'arg3' value:'arg4'
    "

    "Created: 23.1.1997 / 13:35:28 / cg"
    "Modified: 23.1.1997 / 13:35:48 / cg"
! !

!CheapBlock methodsFor:'printing & storing'!

printOn:aStream
    "append a a printed representation of the block to aStream"

    |who|

    "
     cheap blocks have no home context, but a method instead
    "

    aStream nextPutAll:'[] in '.
    "
     find out, for which class this method was for ...
    "
    method notNil ifTrue:[
        who := method who.
        who notNil ifTrue:[
            aStream nextPutAll:(who methodClass name , '>>' , who methodSelector).
            aStream nextPutAll:' (optimized)'.
            ^ self
        ].
    ].
    "
     currently, some cheap blocks don't know where they have been created
    "
    aStream nextPutAll:' ??? (optimized)'.
    ^ self

    "Modified: 1.11.1996 / 16:21:19 / cg"
! !

!CheapBlock methodsFor:'testing'!

isCheapBlock
    ^ true
! !

!CheapBlock class methodsFor:'documentation'!

version
    ^ '$Header$'
! !