org_aspectj_ajde_core_tests_model_SavedModelConsistencyTest_java
org.aspectj.weaver.patterns.PatternParser
private void checkLegalName(String s, IToken tok) {
        char ch = s.charAt(0);
        if (ch != '*' && !Character.isJavaIdentifierStart(ch)) {
            throw new ParserException("illegal identifier start (" + ch + ")", tok);
        }
        int len = s.length();
        for (int i = 1; i < len; ++i) {
            ch = s.charAt(i);
            if (ch == '*' || Character.isJavaIdentifierPart(ch)) continue;
            throw new ParserException("illegal identifier character (" + ch + ")", tok);
        }
    }
 -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierStart(char): boolean -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean
 [CALL] -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierStart(char): boolean -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean -> java.lang.String.charAt(int): char -> java.lang.Character.isJavaIdentifierPart(char): boolean [EXIT]