- 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