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