"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko

                            SWING Research Group, Czech Technical University in Prague

 Parts of the code written by Claus Gittinger are under following

 license:

 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.

 Parts of the code written at SWING Reasearch Group [1] are MIT licensed:

 Permission is hereby granted, free of charge, to any person

 obtaining a copy of this software and associated documentation

 files (the 'Software'), to deal in the Software without

 restriction, including without limitation the rights to use,

 copy, modify, merge, publish, distribute, sublicense, and/or sell

 copies of the Software, and to permit persons to whom the

 Software is furnished to do so, subject to the following

 conditions:

 The above copyright notice and this permission notice shall be

 included in all copies or substantial portions of the Software.

 THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,

 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES

 OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND

 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT

 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

 FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR

 OTHER DEALINGS IN THE SOFTWARE.

 [1] Code written at SWING Research Group contain a signature

     of one of the above copright owners.

"

"{ Package: 'stx:libjava' }"

JavaBehavior subclass:#JavaClass

	instanceVariableNames:'classLoader fullName sourceFile binaryFilePath fields initValues

		staticFields annotations protectionDomain signatureJ'

	classVariableNames:'ArgumentConversionErrorSignal OrderOfClassInits'

	poolDictionaries:''

	category:'Languages-Java-Classes'

!

!JavaClass class methodsFor:'documentation'!

copyright

"

 COPYRIGHT (c) 1996-2011 by Claus Gittinger

 COPYRIGHT (c) 2010-2011 by Jan Vrany, Jan Kurs and Marcel Hlopko

                            SWING Research Group, Czech Technical University in Prague

 Parts of the code written by Claus Gittinger are under following

 license:

 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.

 Parts of the code written at SWING Reasearch Group [1] are MIT licensed:

 Permission is hereby granted, free of charge, to any person

 obtaining a copy of this software and associated documentation

 files (the 'Software'), to deal in the Software without

 restriction, including without limitation the rights to use,

 copy, modify, merge, publish, distribute, sublicense, and/or sell

 copies of the Software, and to permit persons to whom the

 Software is furnished to do so, subject to the following

 conditions:

 The above copyright notice and this permission notice shall be

 included in all copies or substantial portions of the Software.

 THE SOFTWARE IS PROVIDED 'AS IS', WITHOUT WARRANTY OF ANY KIND,

 EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES

 OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND

 NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT

 HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY,

 WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING

 FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR

 OTHER DEALINGS IN THE SOFTWARE.

 [1] Code written at SWING Research Group contain a signature

     of one of the above copright owners.

"

!

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:'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 setCategory:#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-04-1996 / 15:52:55 / cg"

    "Modified: / 03-01-1998 / 22:32:25 / cg"

    "Modified: / 26-11-2010 / 19:00:38 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

name:aString

    self shouldNotImplement

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

! !

!JavaClass class methodsFor:'boxing-unboxing'!

box: stArgumentsCollection to: typesCollection

    " box smalltalk arguments collection to Java arguments "

    ^ stArgumentsCollection with: typesCollection collect: [ :stObject :javaType |

        (JavaTypeBox  typeBoxForJava: javaType) box: stObject.

    ]

    "Created: / 25-09-2011 / 20:20:35 / Jan Kurs <kursjan@fit.cvut.cz>"

!

unbox:jObj returnType: returnType

    "JV@2011-02-04"

    "Hack for primitive types"

    "/    JK: it is hack, but it is fast :)

    (JavaDescriptor baseTypesByTypeName keys includes: returnType) ifTrue:[^jObj].

    ^ (JavaTypeBox typeBoxForJava: returnType) unbox: jObj.

    "Created: / 30-08-2011 / 22:13:41 / Jan Kurs <kursjan@fit.cvut.cz>"

! !

!JavaClass class methodsFor:'class initialization'!

initialize

    ArgumentConversionErrorSignal := Signal new notifierString:'argument conversion error'.

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

! !

!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

               ]

    "Created: / 06-11-1998 / 00:45:13 / cg"

    "Modified: / 20-10-2010 / 11:08:46 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

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 * -1) 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:"(-1 * 16r800000000000000) -->"-576460752303423488 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 isLimitedPrecisionReal ifTrue:[

            ^ arg asShortFloat

        ].

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

    ].

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

        arg isLimitedPrecisionReal 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 isLimitedPrecisionReal 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 isLimitedPrecisionReal 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:''

    ].

    expectedCls := Java classForName:type.

    (arg isKindOf:expectedCls) ifTrue:[

        "/ matches class and subclasses

        ^ arg

    ].

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

        "/ matches any

        ^ arg

    ].

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

        arg isString ifTrue:[

            ^ Java as_String:arg

        ].

        failValue := ''

    ].

    arg isNil ifTrue:[

        "/ matches any

        ^ arg

    ].

self halt.

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

    "Created: / 06-11-1998 / 00:46:19 / cg"

    "Modified: / 06-11-2001 / 13:28:29 / cg"

    "Modified: / 17-01-2011 / 10:08:04 / kursjan <kursjan@fit.cvut.cz>"

    "Modified: / 17-03-2011 / 14:09:56 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

convertToSmalltalk:jObj type:type

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

     Currently, only a few types are converted."

    "JV@2011-02-04"

    "Hack for primitive types"

    (JavaDescriptor baseTypesByTypeName keys includes: type) ifTrue:[^jObj].

    "jObj is registered for the specified type?"

    "

    (JavaObjectDictionary new reflectionOf: jObj class name)  = (Java classForName: type) ifTrue: [

        ^ jObj

    ].

    "

    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: / 06-11-1998 / 00:49:53 / cg"

    "Modified: / 11-11-1998 / 02:08:11 / cg"

    "Modified: / 17-01-2011 / 10:42:56 / kursjan <kursjan@fit.cvut.cz>"

    "Modified: / 08-04-2011 / 17:04:54 / Jan Vrany <jan.vrany@fit.cvut.cz>"

!

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|