| java.lang.Object gov.nasa.jpf.jvm.JPF_java_lang_Character
JPF_java_lang_Character | public class JPF_java_lang_Character (Code) | | MJI NativePeer class for java.lang.Character library abstraction
Whoever is using this seriously is definitely screwed, performance-wise
|
Method Summary | |
public static void | $clinit(MJIEnv env, int clsObjRef) | public static int | digit__CI(MJIEnv env, int clsObjRef, char c, int radix) | public static char | forDigit__II(MJIEnv env, int clsObjRef, int digit, int radix) | public static int | getNumericValue__C(MJIEnv env, int clsObjRef, char c) | public static int | getType__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isDefined__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isDigit__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isISOControl__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isIdentifierIgnorable__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isJavaIdentifierPart__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isJavaIdentifierStart__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isJavaLetterOrDigit__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isJavaLetter__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isLetterOrDigit__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isLetter__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isLowerCase__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isSpaceChar__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isSpace__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isTitleCase__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isUnicodeIdentifierPart__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isUnicodeIdentifierStart__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isUpperCase__C(MJIEnv env, int clsObjRef, char c) | public static boolean | isWhitespace__C(MJIEnv env, int clsObjRef, char c) | public static char | toLowerCase__C(MJIEnv env, int clsObjRef, char c) | public static char | toTitleCase__C(MJIEnv env, int clsObjRef, char c) | public static char | toUpperCase__C(MJIEnv env, int clsObjRef, char c) |
$clinit | public static void $clinit(MJIEnv env, int clsObjRef)(Code) | | |
digit__CI | public static int digit__CI(MJIEnv env, int clsObjRef, char c, int radix)(Code) | | |
forDigit__II | public static char forDigit__II(MJIEnv env, int clsObjRef, int digit, int radix)(Code) | | |
getNumericValue__C | public static int getNumericValue__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
getType__C | public static int getType__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isDefined__C | public static boolean isDefined__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isDigit__C | public static boolean isDigit__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isISOControl__C | public static boolean isISOControl__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isIdentifierIgnorable__C | public static boolean isIdentifierIgnorable__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isJavaIdentifierPart__C | public static boolean isJavaIdentifierPart__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isJavaIdentifierStart__C | public static boolean isJavaIdentifierStart__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isJavaLetterOrDigit__C | public static boolean isJavaLetterOrDigit__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isJavaLetter__C | public static boolean isJavaLetter__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isLetterOrDigit__C | public static boolean isLetterOrDigit__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isLetter__C | public static boolean isLetter__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isLowerCase__C | public static boolean isLowerCase__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isSpaceChar__C | public static boolean isSpaceChar__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isSpace__C | public static boolean isSpace__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isTitleCase__C | public static boolean isTitleCase__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isUnicodeIdentifierPart__C | public static boolean isUnicodeIdentifierPart__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isUnicodeIdentifierStart__C | public static boolean isUnicodeIdentifierStart__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isUpperCase__C | public static boolean isUpperCase__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
isWhitespace__C | public static boolean isWhitespace__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
toLowerCase__C | public static char toLowerCase__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
toTitleCase__C | public static char toTitleCase__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
toUpperCase__C | public static char toUpperCase__C(MJIEnv env, int clsObjRef, char c)(Code) | | |
|
|