INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Java object generator"
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
deferred class JNI_OBJECT_FACTORY
inherit

JNI_SERVER
end
feature -- Object creation

create_from_java_object (object: JNI_JOBJECT): JNI_OBJECT
-- Creates object representing Java 'object'
require
non_void_object: object /= void
ensure
non_void_result: Result /= void

frozen checked_create_from_java_object (object: JNI_JOBJECT): like create_from_java_object
-- Creates object representing Java 'object'
-- Void 'object' yields Void Result
ensure
consistent_result: (object /= void) = (Result /= void)

frozen create_from_CallObjectMethod (object: JNI_OBJECT; method_id: JNI_JMETHODID; args: ARRAY [ANY]): like create_from_java_object
require
non_void_object: object /= void
valid_method_id: method_id /= void

frozen create_from_GetObjectField (object: JNI_OBJECT; field_id: JNI_JFIELDID): like create_from_java_object
require
non_void_object: object /= void
valid_field_id: field_id /= void
feature -- Conversion

frozen create_array_from_java_object (object: JNI_JOBJECT): ARRAY [like create_from_java_object]
-- Creates ARRAY of objects using supplied Java array
require
non_void_object: object /= void
array_object:
ensure
non_void_result: Result /= void
consistent_result_count: Result.count = jni.getarraylength (object)
consistent_result_items:

frozen create_array_from_CallObjectMethod (object: JNI_OBJECT; method_id: JNI_JMETHODID; args: ARRAY [ANY]): ARRAY [like create_from_java_object]
require
non_void_object: object /= void
valid_method_id: method_id /= void
end -- class JNI_OBJECT_FACTORY

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES