"

 COPYRIGHT (c) 1989-93 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:#Method

       instanceVariableNames:'code flags byteCode literals

                              source sourcePosition category'

       classVariableNames:''

       poolDictionaries:''

       category:'Kernel-Methods'

!

Method comment:'

COPYRIGHT (c) 1989-93 by Claus Gittinger

             All Rights Reserved

this class defines protocol for executable methods;

both compiled and interpreted methods are represented by this class.

Compiled code has a non-nil code field, while interpreted methods have

a nil code field and non-nil byteCode field.

The methods source-code is represented by source and sourcePosition: 

if sourcePosition is a Number, the source-field is the fileName and

sourcePosition is the character offset of the source-chunk in this source file.

If sourcePosition is nil, the source is the string in the source field.

The flags field defines things like the number of method-locals,

method arguments and stack size need (for interpreted methods).

WARNING: layout known by compiler and runtime system - dont change

%W% %E%

written spring 89 by claus

'!

!Method methodsFor:'accessing'!

instVarAt:index

    "redefined to catch access to code-field - it is a non-object"

    index == 1 ifTrue:[^ nil].

    ^ super instVarAt:index

!

instVarAt:index put:value

    "redefined to catch access to code-field - it is a non-object"

    index == 1 ifTrue:[^ nil].

    ^ super instVarAt:index put:value

!

code

    "return code field - since its a non-object return address as integer"

%{

    RETURN ( _MKSMALLINT((int)(_MethodInstPtr(self)->m_code)) );

%}

!

code:anAddress

    "set the code field - you should know what you do if doing this -

     should only be done by compiler.

     Smalltalk can crash badly if playing around here ..."

%{

    if (_isSmallInteger(anAddress)) {

        _MethodInstPtr(self)->m_code = (OBJFUNC)_intVal(anAddress);

        RETURN ( self );

    }

%}

.

    self primitiveFailed

!

source

    "return the sourcestring for the receiver"

    |aStream junk|

    source notNil ifTrue:[

        sourcePosition isNil ifTrue:[^ source].

        aStream := Smalltalk systemFileStreamFor:('source/' , source).

        aStream notNil ifTrue:[

            aStream position:sourcePosition.

            junk := aStream nextChunk.

            aStream close

        ]

    ].

    ^ junk

!

source:aString

    "set the methods sourcestring"

    source := aString.

    sourcePosition := nil

!

sourceFileName

    "return the sourcefilename if source is extern; nil otherwise"

    sourcePosition notNil ifTrue:[^ source].

    ^ nil

!

sourcePosition

    "return the sourceposition if source is extern; nil otherwise"

    ^ sourcePosition

!

sourceFileName:aFileName position:aNumber

    "set the methods sourcefile/position"

    source := aFileName.

    sourcePosition := aNumber

!

literals

    "return the methods literal array"

    ^ literals

!

literals:anArray

    "set the methods literal array"

    literals := anArray

!

byteCode

    "return the methods byteCode array"

    ^ byteCode

!

byteCode:aByteArray

    "set the methods byteCode array"

    byteCode := aByteArray

!

category

    "return the methods category or nil"

    ^ category

!

category:aStringOrSymbol

    "set the methods category"

    category := aStringOrSymbol asSymbol

!

flags

    "return the flags (number of method variables, stacksize)"

    ^ flags

!

flags:newFlags

    "set the flags (number of method variables, stacksize)

     - should only be done by the compiler"

    flags := newFlags

!

numberOfMethodVars:aNumber

    "set the number of method variables

     - should only be done by the compiler"

    |newFlags|

    newFlags := flags.

%{

    /* made this a primitive to get define in stc.h */

    newFlags = _MKSMALLINT((_intVal(newFlags) & ~F_NVARS)

                           | (_intVal(aNumber) << F_NVARSHIFT));

%}

.

    flags := newFlags

!

stackSize:aNumber

    "set the depth of the local stack

     - should only be done by the compiler"

    |newFlags|

    newFlags := flags.

%{

    /* made this a primitive to get define in stc.h */

    newFlags = _MKSMALLINT((_intVal(newFlags) & ~F_NSTACK) 

                           | (_intVal(aNumber) << F_NSTACKSHIFT));

%}

.

    flags := newFlags

! !

!Method methodsFor:'queries'!

containingClass

    "return the class I am defined in"

        (aClass containsMethod:self) ifTrue:[^ aClass]

    ].

    ^ nil

!

methodArgNames

    "return a collection with the methods argument names.

     Uses Parser to parse methods source."

    |parser sourceString|

    sourceString := self source.

    sourceString notNil ifTrue:[

        parser := Parser parseMethodSpecification:sourceString.

        parser isNil ifTrue:[^ nil].

        ^ parser methodArgs

    ].

    ^ nil

    "(Method compiledMethodAt:#printOn:) methodArgNames"

!

methodVarNames

    "return a collection with the methods local-variable names.

     Uses Parser to parse methods source."

    |parser sourceString|

    sourceString := self source.

    sourceString notNil ifTrue:[

        parser := Parser parseMethodArgAndVarSpecification:sourceString.

        parser isNil ifTrue:[^ nil].

        ^ parser methodVars

    ].

    ^ nil

    "(Method compiledMethodAt:#printOn:) methodVarNames"

!

methodArgAndVarNames

    "return a collection with the methods argument and variable names.

     Uses Parser to parse methods source."

    |parser sourceString argNames varNames|

    sourceString := self source.

    sourceString notNil ifTrue:[

        parser := Parser parseMethodArgAndVarSpecification:sourceString.

        parser isNil ifTrue:[^ nil].

        argNames := parser methodArgs.

        varNames := parser methodVars.

        argNames isNil ifTrue:[^ varNames].

        varNames isNil ifTrue:[^ argNames].

        ^ (argNames , varNames)

    ].

    ^ nil

    "(Method compiledMethodAt:#printOn:) methodArgAndVarNames"

!

methodComment

    "return the methods comment, nil if there is none"

    |text line nQuote index qIndex qIndex2 comment|

    text := self source asText.

    (text size < 2) ifTrue:[^nil].

    line := (text at:2).

    nQuote := line occurrencesOf:(Character doubleQuote).

    (nQuote == 2) ifTrue:[

        qIndex := line indexOf:(Character doubleQuote).

        qIndex2 := line indexOf:(Character doubleQuote) startingAt:(qIndex + 1).

        ^ line copyFrom:(qIndex + 1) to:(qIndex2 - 1)

    ].

    (nQuote == 1) ifTrue:[

        qIndex := line indexOf:(Character doubleQuote).

        comment := line copyFrom:(qIndex + 1).

        index := 3.

        line := text at:index.

        nQuote := line occurrencesOf:(Character doubleQuote).

        [nQuote ~~ 1] whileTrue:[

            comment := comment , Character cr asString , line withoutSpaces.

            index := index + 1.

            line := text at:index.

            nQuote := line occurrencesOf:(Character doubleQuote)

        ].

        qIndex := line indexOf:(Character doubleQuote).

        ^ comment , Character cr asString , (line copyTo:(qIndex - 1)) withoutSpaces

    ].

    ^ nil

    "(Method compiledMethodAt:#methodComment) methodComment"

!

referencesGlobal:aGlobalSymbol

    "return true, if this method references the global

     bound to aGlobalSymbol."

    literals isNil ifTrue:[^ false].

    ^ (literals identityIndexOf:aGlobalSymbol startingAt:1) ~~ 0

!

sends:aSelectorSymbol

    "return true, if this method contains a message-send

     with aSelectorSymbol as selector. 

     - due to the simple check in the literal array, also simple uses 

     of aSelectorSymbol as symbol will return true."

    ^ self referencesGlobal:aSelectorSymbol

! !

!Method methodsFor:'error handling'!

invalidMethod

    "this error is triggered by the interpreter when an invalid method

     is about to be executed.

     When recompiling classes after a definition-change, all

     uncompilable methods will be bound to this method here,

     so that evaluating such an uncompilable method will trigger an error.

     Can also happen when Compiler/runtime system is broken."

    self error:'invalid method - not executable'

!

invalidByteCode

    "this error is triggered when the bytecode-interpreter tries to

     execute an invalid bytecode.

     Can only happen when Compiler/runtime system is broken."

    self error:'invalid byteCode in method - not executable'

!

receiverNotBoolean

    "this error is triggered when the bytecode-interpreter tries to

     execute ifTrue:/ifFalse or whileTrue: type of expressions where the

     receiver is neither true nor false."

    self error:'if/while on non-boolean receiver'

! !

!Method methodsFor:'executing'!

valueWithReceiver:anObject arguments:argArray

     This method is provided for debugging- and breakpoint-support;

     not for general use. The receiver must be a method compiled in

     anObjects class or one of its superclasses 

     - otherwise strange things (and also strange crashes) can occur. 

     Be warned."

%{

    OBJFUNC code;

    OBJ searchClass;

    static struct inlineCache dummy = _DUMMYILC0;

    code = _MethodInstPtr(self)->m_code;

    searchClass = dummy.ilc_class = _Class(anObject);

        case 0:

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy) );

        case 1:

#ifdef PASS_ARG_REF

#else

#endif

        case 2:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 3:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 4:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 5:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 6:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 7:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 8:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 9:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else

#endif

        case 10:

#ifdef PASS_ARG_REF

            RETURN ( (*code)(anObject, nil, SND_COMMA searchClass, &dummy, &a1) );

#else