"

 COPYRIGHT (c) 1988 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:#Behavior

       classVariableNames:'SubclassInfo'

       poolDictionaries:''

       category:'Kernel-Classes'

!

Behavior comment:'

COPYRIGHT (c) 1988 by Claus Gittinger

	      All Rights Reserved

'!

!Behavior class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1988 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.

"

!

version

"

"

!

documentation

"

    Every class in the system inherits from Behavior (via Class, ClassDescription);

    so here is where most of the class messages end up being implemented.

    (to answer a FAQ: 'Point basicNew' will be done here :-)

    Beginners should keep in mind, that all classes are instances (of subclasses)

    of Behavior, therefore you will find the above mentioned 'basicNew:' method 

    under the 'instance'-methods of Behavior - NOT under the class methods 

    ('Behavior new' will create and return a new class, while sending 'new' to 

    any instance of Behavior (i.e. any class) will return an instance of that class).

    Behavior provides minimum support for all classes - additional stuff is

    found in ClassDescription and Class. Behaviors provides all mechanisms needed

    to create instances, and send messages to those. However, Behavior does not provide 

    all the (symbolic) information needed to compile methods for a class or to get

    useful information in inspectors.

    In contrast to other ST implementations, the methods have been separated

    from the selectors (there is no Dictionary, but two separate Arrays)

    - this avoids the need for knowledge about Dictionaries in the runtime library (VM)

    (lookup and search in these is seldom anyway, so the added benefit from using a 

     hashed dictionary is almost void). 

    For ST-80 compatibility, this will be replaced by a single instance of

    MethodDIctionary (which will NOT be a true dictionary, but an Array with

    alternating selector/method entries).

    To be prepared for this change, please do NOT directly use the methodArray 

    and selectorArray instVars.

    Instance variables:

	superclass        <Class>           the receivers superclass

	otherSuperclasses <Array of Class>  experimental: other superclasses

					    a hook for experimental multiple inheritance

					    implementations

	selectorArray     <Array of Symbol> the selectors for which inst-methods are defined here

	methodArray       <Array of Method> the inst-methods corresponding to the selectors

	instSize          <SmallInteger>    the number of instance variables

	flags             <SmallInteger>    special flag bits coded in a number

					    not for application use

    flag bits (see stc.h):

    NOTICE: layout known by compiler and runtime system; be careful when changing

"

!

virtualMachineRelationship 

"

    Instances of Behavior and subclasses (i.e. in sloppy words: classes)

    play a special role w.r.t. the VM. Only objects whose class-slot is marked

    as being behaviorLike (in the flag-instvar) are considered to be classLike

    and a message lookup will be done for it in the well known way.

    Thus, if an object has a class for which its class does NOT have

    this flag bit set, will trigger an error on a message send.

    Why is this so:

    the above lets every object play the role of a class,

    which has been flagged as behaviorLike in its class's flag.

    Thus, you can create arbitrary new classLike objects and have the VM 

    play with them.

    This may offer the flexibility to create a totally different object scheme

    on top of ST/X (for example: Self like objects).

    object, it expects the object selector and methodDictionaries to be at

    the position as defined here.

    The VM (and the system) may crash badly, if this is not the case.

    Since every class in the system derives from Behavior, the flag setting

    Examples (only of theoretical interrest):

	take away the behaviorLike-flag from a class.

	-> The instances will not understand any messages, since the VM will

	   not recognize its class as being a class ...

	|newMeta notRecognizedAsClass someInstance|

	newMeta := Metaclass new.

	newMeta flags:0.

	notRecognizedAsClass := newMeta new.

	someInstance := notRecognizedAsClass new.

	someInstance perform:#isNil

    Example:

	creating totally anonymous classes:

	|newClass someInstance|

	newClass := Class new.

	someInstance := newClass new.

	someInstance inspect

    Example:

	|newMeta newClass someInstance|

	newMeta := Metaclass new.

	newClass := newMeta new.

	someInstance := newClass new.

	someInstance inspect

"

! !

!Behavior class methodsFor:'queries'!

isBuiltInClass

    "this class is known by the run-time-system"

    ^ true

! !

!Behavior class methodsFor:'creating new classes'!

new

    "creates and return a new behavior (which is like a class,

     but without the symbolic & name information).

     Not for normal applications.

     Sending the returned behavior the #new message gives you

     an instance if it.

     Notice: the returned class is given a superclass of Object;

     this allows for its new instances to be inspected and the like."

    |newClass|

    newClass := self basicNew.

    newClass setSuperclass:Object

		 selectors:#() "/ (Array new:0)

		   methods:#() "/ (Array new:0)

		  instSize:0

		     flags:(self flagBehavior).

    ^ newClass

    "

     Behavior new               <- a new behavior

     Behavior new new           <- an instance of it

     ClassDescription new       <- a new classDescription

     ClassDescription new new   <- an instance of it

     Class new                  <- a new class

     Class new new              <- an instance of it

     Metaclass new              <- a new metaclass

     Metaclass new new          <- an instance (i.e. a class) of it

     Metaclass new new new      <- an instance of this new class

    "

! !

!Behavior class methodsFor:'private '!

subclassInfo

    SubclassInfo notNil ifTrue:[^ SubclassInfo].

    d := IdentityDictionary new.

    Smalltalk allClassesDo:[:aClass |

	|superCls|

	aClass isMeta not ifTrue:[

	    superCls := aClass superclass.

	    superCls notNil ifTrue:[

		(d includesKey: superCls) ifFalse:[

		    d at:superCls put:(Set with:aClass).

		] ifTrue:[

		    (d at:superCls ) add:aClass

		]

	    ]

	].

    ].

    SubclassInfo := d.

    ^ d

    "

     Class subclassInfo

    "

!

flushSubclassInfo

    SubclassInfo := nil.

    "

     Class flushSubclassInfo

    "

! !

!Behavior methodsFor:'initialization'!

initialize

    "to catch initialize for classes which do not"

    ^ self

!

postAutoload

    "for autoloaded classes, gives them a second chance"

    ^ self

!

reinitialize

    "to catch reinitialize for classes which do not"

    ^ self

! !

!Behavior methodsFor:'copying'!

deepCopy

    "return a deep copy of the receiver

     - return the receiver here - time will show if this is ok"

    ^ self

!

deepCopyUsing:aDictionary

    "return a deep copy of the receiver

     - return the receiver here - time will show if this is ok"

    ^ self

!

simpleDeepCopy

    "return a deep copy of the receiver

     - return the receiver here - time will show if this is ok"

    ^ self

! !

!Behavior methodsFor:'creating an instance of myself'!

uninitializedNew

    "create an instance of myself with uninitialized contents.

     For all classes except ByteArray, this is the same as new."

    ^ self basicNew

!

uninitializedNew:anInteger

    "create an instance of myself with uninitialized contents.

     For all classes except ByteArray, this is the same as new."

    ^ self basicNew:anInteger

!

niceBasicNew:anInteger

    "same as basicNew:anInteger, but tries to avoid long pauses

     due to garbage collection. This method checks to see if

     allocation is possible without a pause, and does a background

     incremental garbage collect first if there is not enough memory

     available at the moment for fast allocation. 

     This is useful in low-priority background processes which like to 

     avoid disturbing any higher priority foreground process while allocating

     big amounts of memory. Of course, using this method only makes

     sense for big or huge objects (say > 200k).

     EXPERIMENTAL: this is a non-standard interface and should only 

     be used for special applications. There is no guarantee, that this

     method will be available in future ST/X releases."

    |size|

    size := self sizeOfInst:anInteger.

    (ObjectMemory checkForFastNew:size) ifFalse:[

	"

	 incrementally collect garbage

	"

	ObjectMemory incrementalGC.

    ].

    ^ self basicNew:anInteger

!

new

    "return an instance of myself without indexed variables"

    ^ self basicNew

!

new:anInteger

    "return an instance of myself with anInteger indexed variables"

    ^ self basicNew:anInteger

!

basicNew

    "return an instance of myself without indexed variables.

     If the receiver-class has indexed instvars, the new object will have

     a basicSize of zero - 

     i.e. 'aClass basicNew' is equivalent to 'aClass basicNew:0'.

     ** Do not redefine this method in any class **"

%{  /* NOCONTEXT */

    OBJ new();

    REGISTER OBJ newobj;

    REGISTER char *nextPtr;

    unsigned int instsize;

    REGISTER unsigned int nInstVars;

    /*

     * the following ugly code is nothing more than a new() followed

     * by a nilling of the new instance.

     * Unrolled for a bit more speed since this is one of the central object 

     * allocation methods in the system

     */

    nInstVars = _intVal(_INST(instSize));

    instsize = OHDR_SIZE + __OBJS2BYTES__(nInstVars);

    newobj = (OBJ) newNextPtr;

    nextPtr = ((char *)newobj) + instsize;

    /*

     * dont argue about the goto and the arrangement below - it saves 

     * an extra nil-compare and branch in the common case ...

     * (i.e. if no GC is needed, we fall through without a branch)

     */

    if (nextPtr < newEndPtr) {

	_objPtr(newobj)->o_size = instsize;

	/* o_allFlags(newobj) = 0;              */

	/* _objPtr(newobj)->o_space = newSpace; */

	o_setAllFlags(newobj, newSpace);

#ifdef ALIGN4

	newNextPtr = nextPtr;

#else

	if (instsize & (ALIGN-1)) {

	    newNextPtr = (char *)newobj + (instsize & ~(ALIGN-1)) + ALIGN;

	} else {

	    newNextPtr = nextPtr;

	}

#endif

ok:

	_InstPtr(newobj)->o_class = self;

#ifndef PRE_16_03_95

	__STORE(newobj, self);

#endif