- 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