INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES

indexing

title: "Java class member ID representation"
project: "Java Native Interface Library"
copyright: "Object Tools, 1999-2003"
revision: "$Revision: 1.1 $"
copyright: "Copyright (C) 1996-2005 Object Tools Group"
license: "http://visual-eiffel.com/license"
cluster: jni
class JNI_MEMBERID
creation -- Objects of this class cannot be created
invariant

valid_id: id /= default_pointer
end -- class JNI_MEMBERID

INDEX CLUSTER FEATURES SHORT FRAMES NO FRAMES