"

 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.

"

"{ Package: 'stx:libbasic' }"

String variableByteSubclass:#Symbol

	instanceVariableNames:''

	classVariableNames:''

	poolDictionaries:''

	category:'Collections-Text'

!

!Symbol 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.

"

!

documentation

"

    Symbols represent unique strings - every symbol with same printString

    exists exactly once in the system; Symbols are used for selectors, global

    variable-keys etc. Symbols can also be used to represent things which are

    enumeration type values in other programming languages (since symbols are

    created at compile time, comparing them using == is a fast pointer compare).

    A symbol may not change its characters - i.e. it is constant over its lifetime.

    Other than that, symbols behave much like strings.

    [author:]

	Claus Gittinger

"

! !

!Symbol class methodsFor:'instance creation'!

basicNew:size

    "redefined to return a string instead of a symbol -

     this allows all copy methods inherited from String to

     return strings containing the symbols characters.

     Real symbols are only created with #intern: or #asSymbol."

    ^ String new:size

    "Modified: 26.2.1996 / 12:51:38 / cg"

!

fromString:aString

    "same as intern: for Symbol, but may be used to create interned instances

     of subclasses.

     Notice: this fails, if you try to intern an instance of a subclass, AND

     a symbol with the same name already exists. In this case, the original

     symbol is returned. To use it for enum-type symbols, make certain, that the

     names are unique (for example by including the classes name as a prefix-string)."

    |sym len|

    sym := aString asSymbolIfInterned.

    sym notNil ifTrue:[

	^ sym

    ].

    "

     create a new uninterned instance first

    "

    len := aString size.

    sym := super basicNew:len.

    sym replaceFrom:1 to:len with:aString.

    "now, intern it"

%{

    sym = __INTERNSYMBOL(sym, (OBJ *)0, __context);

%}.

    ^ sym

!

intern:aString

    "return a unique symbol with printname taken from the String-argument"

%{  /* NOCONTEXT */

    OBJ newSymbol;

    if (__isSymbol(aString)) {

	RETURN (aString);

    }

    if (__isStringLike(aString)) {

	newSymbol = __MKSYMBOL(__stringVal(aString), (OBJ *)0);

	if (newSymbol != nil) {

	    RETURN (newSymbol);

	}

    }

%}.

    (aString class ~~ String and:[aString class ~~ ImmutableString]) ifTrue:[

	"only allowed to intern strings"

	^ self mustBeString

    ].

    ^ ObjectMemory allocationFailureSignal raise.

!

internCharacter:aCharacter

    "return a unique symbol with printname taken from the Character-argument"

    ^ self intern:(aCharacter asString)

!

new:size

    "redefined to return a string instead of a symbol -

     this allows all copy methods inherited from String to

     return strings containing the symbols characters.

     Real symbols are only created with intern: or asSymbol."

    ^ String new:size

! !

!Symbol class methodsFor:'queries'!

findInterned:aString

    "for ST-80 compatibility - if the argument, aString is known

     as Symbol, return this symbol. Otherwise return nil."

    ^ aString asSymbolIfInterned

!

hasInterned:aString

    "return true, if the argument, aString is known as Symbol;

     false otherwise"

    ^ aString knownAsSymbol

!

hasInterned:aString ifTrue:trueBlock

    "for ST-80 compatibility - if the argument, aString is known

     as Symbol, evaluate the block with the corresponding symbol

     as argument and return true; otherwise return false"

    |sym|

    (sym := aString asSymbolIfInterned) notNil ifTrue:[

	trueBlock value:sym.

	^ true

    ].

    ^ false

!

hasSharedInstances

    "return true if this class has shared instances, that is, instances

     with the same value are identical.

     True returned here - there is only one of each symbol (per contents)."

    ^ true

! !

!Symbol methodsFor:'Compatibility-Squeak'!

isUnary

    "same as isUnarySelector - for squeak compatibility"

    ^ self isUnarySelector

!

precedence

    "the precedence in an expression; 0 is highest;

	unary < binary < keyword"

    self size = 0

	ifTrue: [^ 0].

    self first isLetter

	ifFalse: [^ 2].

    self last = $:

	ifTrue: [^ 3].

    ^ 1

    "

     self assert:(#foo precedence < #+ precedence).

     self assert:(#+ precedence < #key: precedence).

     self assert:(#foo precedence < #key: precedence).

    "

    "Created: / 12-09-2011 / 14:53:54 / cg"

! !

!Symbol methodsFor:'Compatibility-VW'!

<< catalogID

    "create and return a new UserMessage, with the receiver as key,

     and the argument as cataglogID.

     VW compatibility."

    ^ UserMessage key:self catalogID:catalogID

    "

     (#theFooMessage << #myMessages)

     (#theFooMessage << #myMessages >> 'cannot read subclass of metaclass')

     (#theFooMessage >> 'cannot read subclass of metaclass')

    "

!

>> aString

    "create and return a new UserMessage, with the receiver as key,

     and the argument as defaultString.

     VW compatibility."

    ^ UserMessage key:self defaultString:aString

    "

     (#theFooMessage << #myMessages)

     (#theFooMessage << #myMessages >> 'cannot read subclass of metaclass')

     (#theFooMessage >> 'cannot read subclass of metaclass')

    "

! !

!Symbol methodsFor:'accessing'!

basicAt:index put:something

    "report an error if an interned symbol is about to be changed

     - interned symbols may NOT be changed.

     For uninterned symbols, this is allowed."

    self knownAsSymbol ifTrue:[

    ].

    "

     uninterned - allow change

    "

    ^ super basicAt:index put:something

    "Modified: 19.4.1996 / 11:16:10 / cg"

!

nameSpace

    "if I have the format of a namespace-selector,

     retrieve the namespace. Otherwise, return nil.

     Also return nil, if that namespace does not exist.

     Namespace selectors have a special, fix defined format, which

     They must be of the form :<ns>::<sel>,

     where <ns> is the namespace and <sel> is the raw selector."

     ^ self isNameSpaceSelector

    "

     #':foo:' nameSpace       -> nil (bad format)

     #':foo::bar' nameSpace   -> nil (non existing)

    "

    "Created: / 20-07-2010 / 10:41:53 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

nameSpaceAndSelector

    "return a two element tuple consisting of the namespace and the raw selector.

     If I do not have the format of a namespace-selector, or the namespace is non-existing,

     the first element of the returned tuple will be nil.

     Namespace selectors have a special, fix defined format, which

     They must be of the form :<ns>::<sel>,

     where <ns> is the namespace and <sel> is the raw selector."

     |nsPart selPart idx ns|

    self isNameSpaceSelector ifFalse:[

    ].

    idx := self indexOf:$: startingAt:3.

    nsPart := self copyFrom:2 to:idx - 1.

    ns := Smalltalk at:nsPart asSymbol.

    selPart := self copyFrom:idx + 2.

    ^ Array with:ns with:selPart asSymbol

    "

     #':foo:bar' nameSpaceAndSelector     -> #(nil #':foo:bar')

     #':foo::bar' nameSpaceAndSelector    -> #(nil #bar)

     #':Tools::foo' nameSpaceAndSelector  -> #(Tools (* NameSpace *) #foo)

    "

    "Created: / 20-07-2010 / 10:23:36 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

selector

    "if I have the format of a namespace-selector,

     retrieve the raw selector. Otherwise, return myself.

     Namespace selectors have a special, fix defined format, which

     They must be of the form :<ns>::<sel>,

     where <ns> is the namespace and <sel> is the raw selector."

     ^ self isNameSpaceSelector

    "

     #':foo:' selector       -> #':foo:' (bad format)

    "

    "Created: / 20-07-2010 / 10:41:32 / Jan Vrany <jan.vrany@fit.cvut.cz>"

! !

!Symbol methodsFor:'comparing'!

= something

    "return true, if the receiver and argument consist of the same characters.

     Redefined here, for more efficient #= comparison of symbols

     (which ought to be compared using #==).

     If the argument is a symbol, we use a quick pointer compare, instead of

     the inherited value compare."

%{   /* NOCONTEXT */

    OBJ cls;

    if (! __isNonNilObject(something)) RETURN(false);

    if ((cls = __qClass(something)) == Symbol) {

    }

    if (cls == String || cls == ImmutableString) {

    }

%}.

    "fall back; could be a TwoByteString, or a collection of Characters"

    ^ super = something

!

identityHash

    "interned symbols can return a better hash key"

%{  /* NOCONTEXT */

    REGISTER unsigned INT val;

    REGISTER unsigned char *cp;

    int l;

    if (__qIsSymbol(self)) {

    }

%}.

     ^ super identityHash.

     "

    "

    "Modified (comment): / 26-12-2011 / 14:32:10 / cg"

!

~= something

    "return true, if the receiver and argument do not consist of the same characters.

     Redefined here, for more efficient #~= comparison of symbols

     (which ought to be compared using #~~).

     If the argument is a symbol, we use a quick pointer compare, instead of

     the inherited value compare."

%{   /* NOCONTEXT */

    OBJ cls;

    if (! __isNonNilObject(something)) RETURN(true);    /* cannot be equal */

    if ((cls = __qClass(something)) == Symbol) {

    }

    if (cls == String || cls == ImmutableString) {

    }

%}.

    "fall back; could be a TwoByteString, or a collection of Characters"

    ^ super ~= something

! !

!Symbol methodsFor:'converting'!

asString

    "return a string with printname taken from mine"

%{  /* NOCONTEXT */

    OBJ s;

    s = __MKSTRING_ST(self);

    if (s != nil) {

	RETURN (s);

    }

%}.

    ^ (String new:(self size))

	replaceFrom:1 with:self startingAt:1

!

asSymbol

    "Return a unique symbol with the name taken from the receivers characters.

     Since I am a symbol - just return myself"

    ^ self

!

asSymbolIfInterned

    "If a symbol with the receivers characters is already known, return it. Otherwise, return nil.

     Since I am a symbol - just return myself"

    ^ self

! !

!Symbol methodsFor:'copying'!

copy

    "return a copy of myself

     - reimplemented here since symbols are immutable."

     ^ self

!

copyReplaceAll:oldElement with:newElement

    "return a copy of the receiver as a string, where all elements equal to oldElement

     have been replaced by newElement."

"/    'Warning: #copyReplaceAll:with: will change semantics as defined in ANSI soon' errorPrintCR.

    ^ self asString replaceAll:oldElement with:newElement

    "Created: / 18.7.1998 / 23:03:38 / cg"

!

copyReplacing:oldElement withObject:newElement

    "return a copy of the receiver, where all elements equal to oldElement

     have been replaced by newElement.

     ANSI version of what used to be #copyReplaceAll:with:"

    ^ self asString replaceAll:oldElement with:newElement

!

deepCopy

    "return a copy of myself

     - reimplemented here since symbols are immutable."