INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "JNI JavaVMInitArgs (since JDK 1.2)"
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_JAVAVMINITARGS
inherit

JNI_JAVAVMINITARGS_HEADER
redefine
out
end
creation

make
feature {NONE}-- Creation

make
-- Create arguments object
feature -- Status

version: INTEGER

options: ARRAY [JNI_JAVAVMOPTION]

ignoreUnrecognized: BOOLEAN
feature -- Status setting

set_options (value: ARRAY [JNI_JAVAVMOPTION])
ensure
options_set: options = value

set_ignoreUnrecognized (value: BOOLEAN)
ensure
ignoreunrecognized_set: ignoreunrecognized = value
feature -- Output

out: STRING
end -- class JNI_JAVAVMINITARGS

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES