INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |
-- Access to JNI
-- Converts "dot"ed class name to "slash"ed class name, e.g.
-- java.lang.String yields java/lang/String
-- Returns object, representing Java class
-- Raises an exception if no class is found
-- Returns Java method identifier
-- Raises an exception if no method is found
-- Returns Java field identifier
-- Raises an exception if no field is found
-- Returns Java field identifier
-- Raises an exception if no field is found
-- Check whether there is no pending exception
-- Raise an Eiffel exception otherwise
INDEX | CLUSTER | FEATURES | SHORT | FRAMES | NO FRAMES |