INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "JNI JDK1_1InitArgs (since JDK 1.1)"
project: "Java Native Interface Library"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: jni
class JNI_RAW_JDK1_1INITARGS
inherit

JNI_RAW_JAVAVMINITARGS_HEADER
redefine
make
end

JNI_CONSTANTS
end
creation {JNI_JAVA_VIRTUAL_MACHINE}

make_default
creation {JNI_JDK1_1INITARGS}

make
feature {NONE}-- Creation

make_default
-- Create empty binary area to be filled by the JVM

make (peer: JNI_JDK1_1INITARGS)
end -- class JNI_RAW_JDK1_1INITARGS

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES