INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "JNI JavaVMOption (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_JAVAVMOPTION
inherit

ANY
redefine
out
end
creation

make
feature {NONE}-- Creation

make (value: STRING; extra: POINTER)
ensure
optionstring_set: optionstring = value
extrainfo_set: extrainfo = extra
feature -- Status

optionString: STRING

extraInfo: POINTER
feature -- Output

out: STRING
end -- class JNI_JAVAVMOPTION

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES