- indexing
- title: "Common part of JavaVMInitArgs"
- 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
deferred class JNI_JAVAVMINITARGS_HEADER
- inherit
-
JNI_CONSTANTS
- end
-
MEMORY
- end
- feature
-
version: INTEGER
-
-
-- Java VM version
-
- ensure
-
valid_version:
Result = jni_version_1_1 or else Result = jni_version_1_2
end -- class JNI_JAVAVMINITARGS_HEADER