"

 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.

"

Object subclass:#ExecutableFunction

!

!ExecutableFunction 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

"

    This is an abstract class, to merge common attributes of all kinds of

    executable code objects; i.e. non-ST functions, Blocks and Methods

    and whatever there might be in the future.

    Instance variables:

      code        <not_an_object>   the function pointer to the machine code.

				    Not accessable from smalltalk code.

				    (notice the '*' in the instVarNames definition)

    Class variables:

      ExecutionErrorSignal          parent of all execution errors

				    (not raised itself)

      InvalidCodeSignal             codeObject is not executable

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

"

! !

!ExecutableFunction class methodsFor:'initialization'!

initialize

    InvalidCodeSignal isNil ifTrue:[

	ExecutionErrorSignal := ErrorSignal newSignalMayProceed:true.

	ExecutionErrorSignal nameClass:self message:#executionErrorSignal.

	ExecutionErrorSignal notifierString:'execution error'.

	InvalidCodeSignal := ExecutionErrorSignal newSignalMayProceed:true.

	InvalidCodeSignal nameClass:self message:#invalidCodeSignal.

	InvalidCodeSignal notifierString:'invalid code-object - not executable'.

    ]

! !

!ExecutableFunction class methodsFor:'Signal constants'!

executionErrorSignal

    "return the parent-signal of all execution errors"

    ^ ExecutionErrorSignal

! !

code

    "return the code field. This is not an object but the address of the machine instructions. 

     Therefore an integer representing the code-address is returned"

%{  /* NOCONTEXT */

    extern OBJ __MKUINT();

    unsigned addr;

    if (_INST(code_) != nil) {

	addr = (int)_INST(code_);

	if (addr <= _MAX_INT) {

	    RETURN ( __MKSMALLINT(addr) );

	}

	RETURN ( __MKUINT(addr));

    }

%}.

    ^ nil

! !

! !

!ExecutableFunction methodsFor:'error handling'!

invalidCode

    "this error is triggered by the interpreter when something is wrong

     with the code object (any error not handled by Method-signals).

     In this case, the VM sends this to the bad method/block (the receiver).

     Can only happen when the Compiler/runtime system is broken or

     someone played around."

    ^ InvalidCodeSignal raise.

! !

!ExecutableFunction methodsFor:'printing & storing'!

printOn:aStream

    |addr|

    addr := self code.

    addr isNil ifTrue:[^ super printOn:aStream].

    aStream nextPutAll:self class name; nextPutAll:'(address: 0x';

	    nextPutAll:(addr printStringRadix:16); nextPutAll:')'

! !

! !