INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

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

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES