"

 COPYRIGHT (c) 1997 by eXept Software AG

              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:libjava' }"

Class subclass:#JavaClass

	instanceVariableNames:'constantPool interfaces accessFlags classLoader fullName

		sourceFile binaryFilePath fields initValues staticFields'

	classVariableNames:'InitialValuePerType A_OBSOLETE A_INTERFACE A_PUBLIC A_FINAL

		A_ABSTRACT A_INITIALIZED A_SMALLTALK A_ABSTRACT_OR_INTERFACE

		ArgumentConversionErrorSignal OrderOfClassInits'

	poolDictionaries:''

	category:'Java-Classes'

!

!JavaClass class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1997 by eXept Software AG

              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

"

    fields upTo-and-including accessFlags are known & used by the VM

    only add fields after those and keep their order intact.

"

!

examples

"

    (Java at:'java.util.Stack') new inspect

    (Java at:'java.util.Vector') new inspect

"

! !

!JavaClass class methodsFor:'initialization'!

initialize

    "/ those are defined in Java and read from the classFile

    A_PUBLIC      := 16r000001.

    "/ A_PRIVATE     := 16r000002.

    "/ A_PROTECTED   := 16r000004.

    A_STATIC      := 16r000008.

    A_FINAL       := 16r000010.

    "/ A_SUPER         := 16r000020.

    "/ A_SYNCHRONIZED  := 16r000020.

    "/ A_VOLATILE      := 16r000040.

    "/ A_TRANSIENT     := 16r000080.

    A_NATIVE        := 16r000100.

    A_INTERFACE   := 16r000200.

    A_ABSTRACT    := 16r000400.

    A_OBSOLETE    := 16r008000.

    "/ those are local to the ST/X implementation

    A_INITIALIZED := 16r100000.

    A_SMALLTALK   := 16r200000.

    A_ABSTRACT_OR_INTERFACE := A_ABSTRACT bitOr:A_INTERFACE.

    InitialValuePerType := IdentityDictionary new.

    InitialValuePerType at:$B put:0.

    InitialValuePerType at:$C put:0.

    InitialValuePerType at:$D put:0.0.

    InitialValuePerType at:$F put:(0.0 asShortFloat).

    InitialValuePerType at:$I put:0.

    InitialValuePerType at:$J put:0.

    InitialValuePerType at:$S put:0.

    InitialValuePerType at:$Z put:0.

    InitialValuePerType at:$L put:nil.

    InitialValuePerType at:$[ put:nil.

    ArgumentConversionErrorSignal := ErrorSignal newSignal mayProceed:true.

    "

     JavaClass initialize

    "

    "Modified: / 13.11.1998 / 14:09:52 / cg"

! !

!JavaClass class methodsFor:'instance creation'!

fullName:aString

    self shouldNotImplement.

    ^ self new flags:0; setFullName:aString

!

fullName:aString numStatic:nStatic

    |meta cls s ns nameComponents|

    "/ check for a JAVA nameSpace to exist

    JAVA isNil ifTrue:[

        NameSpace name:'JAVA'

    ].

    "create the metaclass first"

    meta := Metaclass new.

    meta setSuperclass:(self).

    meta instSize:(JavaClass instSize + nStatic).

"/    meta setName:(aString , 'class') asSymbol.

"/    meta setClassVariableString:''.

    meta flags:(meta flags bitOr:Behavior flagJavaClass).

"/    meta setSuperclass:JavaObject class.

    "then let the new meta create the class"

    cls := meta new.

    cls setSuperclass:JavaObject.

    cls instSize:0.

    cls setName:('JAVA::' , aString).

    cls flags:0.

    cls setAccessFlags:0.

"/    cls setClassVariableString:''.

    cls setInstanceVariableString:''.

    cls category:#java.

    cls setFullName:aString.

    "/ java classes do not really have a category;

    "/ simulate one by separating its name into individual components,

    "/ prepending 'java'"

    nameComponents := aString asCollectionOfSubstringsSeparatedBy:$/.

    nameComponents size > 1 ifTrue:[

        cls category:((nameComponents asStringWith:$/ from:1 to:(nameComponents size - 1))

                            replaceAll:$/ with:$. ).

    ].

    nameComponents size > 1 ifTrue:[

        cls setPackage:((nameComponents copyWithoutLast:1) asStringWith:$/) asSymbol

    ] ifFalse:[

        cls setPackage:aString asSymbol

    ].

    "/ break up the package and create nameSpaces

    "/ for each package component.

    "/ This allows java.foo.bar to be visible in ST/X

    "/ under the name JAVA::java::foo::bar

    ns := JAVA.

    nameComponents size > 1 ifTrue:[

        s := '' writeStream.

        s nextPutAll:'JAVA'.

        nameComponents from:1 to:(nameComponents size - 1) do:[:aPart |

            s nextPutAll:'::'.

            s nextPutAll:aPart

        ].

        Metaclass confirmationQuerySignal answer:false do:[

            Class updateChangeFileQuerySignal answer:false do:[

                ns := NameSpace fullName:(s contents).

            ]

        ]

    ].

    ns isNameSpace ifTrue:[

        ns at:nameComponents last asSymbol put:cls.

    ].

    "/ for ST/X browsing

    Smalltalk at:('JAVA::' , aString) asSymbol put:cls.

    ^ cls

    "Created: / 15.4.1996 / 15:52:55 / cg"

    "Modified: / 3.1.1998 / 22:32:25 / cg"

!

name:aString

    self shouldNotImplement

    "Created: 15.4.1996 / 15:52:55 / cg"

! !

!JavaClass class methodsFor:'constants'!

A_NATIVE

    ^ A_NATIVE

    "Created: / 16.5.1998 / 01:18:43 / cg"

!

A_PUBLIC

    ^ A_PUBLIC

    "Created: / 13.5.1998 / 13:03:18 / cg"

!

A_STATIC

    ^ A_STATIC

    "Created: / 16.5.1998 / 00:02:07 / cg"

! !

!JavaClass class methodsFor:'method lookup'!

canConvertArgsToJava:argArray asSpecifiedIn:argSigSpecArray

    "given a smalltalk argument array, return true, if these can be converted to java objects as appropriate."

    argArray 

        with:argSigSpecArray 

        do:[:arg :type | 

                self 

                    convertToJava:arg 

                    type:type 

                    ifFail:[:msg :default| ^ false]].

    ^ true

    "Created: / 5.11.1998 / 18:25:05 / cg"

    "Modified: / 6.11.1998 / 00:45:58 / cg"

!

convertArgsToJava:argArray asSpecifiedIn:argSigSpecArray numArgs:na

    "given a smalltalk argument array, convert to java objects as appropriate.

     Currently, only Strings and booleans are converted."

    |sigIndex newArgIndex newArgArray|

    sigIndex := newArgIndex := 1.

    newArgArray := Array new:na.

    argArray do:[:arg |

        |type newArg|

        type := argSigSpecArray at:sigIndex.

        sigIndex := sigIndex + 1.

        newArg := self convertToJava:arg type:type.

        newArgArray at:newArgIndex put:newArg.

        newArgIndex := newArgIndex + 1.

        (type == #long or:[type == #double]) ifTrue:[

            newArgIndex > na ifTrue:[

                self halt:'should not happen'

            ].

            newArgArray at:newArgIndex put:nil.

            newArgIndex := newArgIndex + 1.

        ]

    ].

    ^ newArgArray

    "Created: / 5.11.1998 / 18:30:57 / cg"

    "Modified: / 6.11.1998 / 00:45:00 / cg"

!

convertToJava:arg type:type

    "given a smalltalk argument, convert to a java object as appropriate."

    ^ self 

        convertToJava:arg 

        type:type 

        ifFail:[:msg :default |

                    ArgumentConversionErrorSignal 

                        raiseWith:arg

                        errorString:msg.

                    default

               ]

    "Modified: / 5.11.1998 / 18:43:33 / cg"

    "Created: / 6.11.1998 / 00:45:13 / cg"

!

convertToJava:arg type:type ifFail:failBlock

    "given a smalltalk argument, convert to a java object as appropriate.

     Currently, only a few types are converted."

    |expectedCls f failValue|

    type == #boolean ifTrue:[

        arg == true ifTrue:[

            ^ 1

        ].

        arg == false ifTrue:[

            ^ 0

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0

    ].

    type == #int ifTrue:[

        arg isInteger ifTrue:[

            (arg between:-16r8000000 and:16r7FFFFFFF) ifTrue:[

                ^ arg

            ].

            ^ failBlock value:('integer range; cannot convert argument to ' , type) value:0.

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0

    ].

    type == #long ifTrue:[

        arg isInteger ifTrue:[

            (arg between:-16r800000000000000 and:16r7FFFFFFFFFFFFFFF) ifTrue:[

                ^ arg

            ].

            ^ failBlock value:('integer range; cannot convert argument to ' , type) value:0

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0

    ].

    (type == #float) ifTrue:[

        arg isReal ifTrue:[

            ^ arg asShortFloat

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0.0.

    ].

    (type == 'java.lang.Float') ifTrue:[

        arg isReal ifTrue:[

            f := (Java at:'java.lang.Float') new.

            f perform:#'<init>(F)V' with:(arg asShortFloat).

self halt.

            ^ f.

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0.0.

    ].

    (type == 'java.lang.Double') ifTrue:[

        arg isReal ifTrue:[

            f := (Java at:'java.lang.Double') new.

            f perform:#'<init>(D)V' with:(arg asFloat).

self halt.

            ^ f.

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0.0.

    ].

    (type == #double) ifTrue:[

        arg isReal ifTrue:[

            ^ arg asFloat

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0.0.

    ].

    (type == #char) ifTrue:[

        arg isCharacter ifTrue:[

            ^ arg asciiValue

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:0

    ].    

    (type = 'char[]') ifTrue:[

        arg isString ifTrue:[

            ^ arg

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:''

    ].    

    (type = 'int[]') ifTrue:[

        (arg isArray or:[arg isMemberOf:SignedIntegerArray]) ifTrue:[

            ^ arg

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:''

    ].    

    (type = 'long[]') ifTrue:[

        (arg isArray or:[arg isMemberOf:SignedIntegerArray]) ifTrue:[

            ^ arg

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:''

    ].    

    (type = 'float[]') ifTrue:[

        (arg isArray or:[arg isMemberOf:FloatArray]) ifTrue:[

            ^ arg

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:''

    ].    

    (type = 'double[]') ifTrue:[

        (arg isArray or:[arg isMemberOf:DoubleArray]) ifTrue:[

            ^ arg

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:''

    ].    

    (type endsWith:'[]') ifTrue:[

        (arg isArray or:[arg isNil]) ifTrue:[

            ^ arg

        ].

        ^ failBlock value:('cannot convert argument to ' , type) value:''

    ].

    (type = 'java.lang.Object') ifTrue:[

        "/ matches any

        ^ arg

    ].

    (type = 'java.lang.String') ifTrue:[

        arg isString ifTrue:[

            ^ Java as_String:arg

        ].

        failValue := ''

    ].

    expectedCls := Java classForName:type.

    (arg isKindOf:expectedCls) ifTrue:[

        "/ matches class and subclasses

        ^ arg

    ].

    arg isNil ifTrue:[

        "/ matches any

        ^ arg

    ].

self halt.

    ^ failBlock value:('cannot convert argument to ' , type) value:failValue

    "Created: / 6.11.1998 / 00:46:19 / cg"

    "Modified: / 28.1.1999 / 17:55:17 / cg"

!

convertToSmalltalk:jObj type:type 

    "given a java return value, convert to a smalltalk object as appropriate.

     Currently, only a few types are converted."

    type == #boolean ifTrue:[

        jObj == 0 ifTrue:[

            ^ false

        ].

        ^ true

    ].

    type == #void ifTrue:[

        ^ nil

    ].

    (type = 'java.lang.String') ifTrue:[

        ^ Java as_ST_String:jObj

    ].

"/    (type = 'java.lang.Float') ifTrue:[

"/        ^ jObj instVarNamed:'value'

"/    ].

"/    (type = 'java.lang.Double') ifTrue:[

"/        ^ jObj instVarNamed:'value'

"/    ].

    (type == #char) ifTrue:[

        jObj isInteger ifTrue:[

            ^ Character value:jObj

        ].

    ].    

    ^ jObj

    "Created: / 6.11.1998 / 00:49:53 / cg"

    "Modified: / 11.11.1998 / 02:08:11 / cg"

!

lookupMethod:selector numArgs:nargs in:aClass static:staticMethod

    "lookup a method"

    |method cls sel|

    sel := selector.

    (sel includes:$:) ifTrue:[

        sel := sel copyTo:(sel indexOf:$:)-1    

    ].

    sel := sel asSymbolIfInterned.

    sel notNil ifTrue:[

        cls := aClass.

        [cls notNil 

        and:[cls ~~ JavaObject

        and:[cls ~~ JavaClass]]] whileTrue:[

            cls methodDictionary keysAndValuesDo:[:jSel :m |

                |aMethod|

                aMethod := m.

                aMethod isWrapped ifTrue:[

                    aMethod := aMethod originalMethod