org_aspectj_ajdt_internal_core_builder_AjBuildManagerTest_java
org.aspectj.org.eclipse.jdt.internal.compiler.util.Util
public static final int archiveFormat(String name) {
        int i;
        int lastDot = name.lastIndexOf(46);
        if (lastDot == -1) {
            return -1;
        }
        if (name.lastIndexOf(File.separatorChar) > lastDot) {
            return -1;
        }
        int length = name.length();
        int extensionLength = length - lastDot - 1;
        if (extensionLength == "java".length()) {
            i = extensionLength - 1;
            while (i >= 0) {
                if (Character.toLowerCase(name.charAt(length - extensionLength + i)) != "java".charAt(i)) break;
                if (i == 0) {
                    return -1;
                }
                --i;
            }
        }
        if (extensionLength == "class".length()) {
            i = extensionLength - 1;
            while (i >= 0) {
                if (Character.toLowerCase(name.charAt(length - extensionLength + i)) != "class".charAt(i)) {
                    return 0;
                }
                --i;
            }
            return -1;
        }
        if (extensionLength == "jmod".length()) {
            i = extensionLength - 1;
            while (i >= 0) {
                if (Character.toLowerCase(name.charAt(length - extensionLength + i)) != "jmod".charAt(i)) {
                    return 0;
                }
                --i;
            }
            return 1;
        }
        return 0;
    }
 -> java.lang.String.lastIndexOf(int): int -> java.lang.String.lastIndexOf(int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char
 [CALL] -> java.lang.String.lastIndexOf(int): int -> java.lang.String.lastIndexOf(int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char -> java.lang.String.charAt(int): char -> java.lang.Character.toLowerCase(char): char -> java.lang.String.charAt(int): char [EXIT]