INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Access to JNI"
project: "Java Native Interface Support Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: jni_support
class JNI_OBJECT
inherit

JNI_SERVER
end
creation -- Objects of this class are never created
feature -- Access

this: JNI_JOBJECT
feature -- Creation

make_from_java_object (object: JNI_JOBJECT)
require
non_void_object: object /= void
ensure
this_set_properly: this = object
invariant

non_void_this: this /= void
end -- class JNI_OBJECT

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES