org_eclipse_winery_topologygraph_matching_patterndetection_ToscaPatternMatcherTest_java
org.yaml.snakeyaml.emitter.Emitter$ExpectBlockMappingSimpleValue
@Override
    public void expect() throws IOException {
        Emitter.this.writeIndicator(":", false, false, false);
        Emitter.this.states.push(new Emitter.ExpectBlockMappingKey(Emitter.this, false));
        Emitter.this.expectNode(false, true, false);
    }
 -> java.lang.String.length(): int -> java.io.Writer.write(java.lang.String): void -> java.util.ArrayList.add(java.lang.Object): boolean -> java.lang.String.length(): int -> java.lang.String.startsWith(java.lang.String): boolean -> java.lang.String.startsWith(java.lang.String): boolean -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.Boolean.booleanValue(): boolean -> java.lang.Boolean.booleanValue(): boolean -> java.util.ArrayList.add(java.lang.Object): boolean -> java.lang.Integer.intValue(): int -> java.lang.Integer.valueOf(int): java.lang.Integer -> java.io.Writer.write(char[]): void -> java.lang.String.length(): int -> java.io.Writer.write(java.lang.String): void -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.indexOf(int,int): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.indexOf(int,int): int -> java.io.Writer.write(java.lang.String,int,int): void -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.io.Writer.write(java.lang.String): void -> java.util.ArrayList.size(): int -> java.util.ArrayList.remove(int): java.lang.Object -> java.util.ArrayList.size(): int -> java.util.ArrayList.remove(int): java.lang.Object
 [CALL] [CALL] -> java.lang.String.length(): int -> java.io.Writer.write(java.lang.String): void [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] -> java.util.ArrayList.add(java.lang.Object): boolean [EXIT] [CALL] [CALL] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] -> java.lang.String.length(): int -> java.lang.String.startsWith(java.lang.String): boolean -> java.lang.String.startsWith(java.lang.String): boolean -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.Character.charCount(int): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.codePointAt(int): int -> java.lang.String.indexOf(int): int [CALL] [EXIT] -> java.lang.Character.charCount(int): int [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int [CALL] [EXIT] [EXIT] [CALL] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] -> java.lang.Boolean.booleanValue(): boolean [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [CALL] -> java.util.ArrayList.add(java.lang.Object): boolean [EXIT] -> java.lang.Integer.intValue(): int -> java.lang.Integer.valueOf(int): java.lang.Integer [EXIT] [CALL] [CALL] [CALL] -> java.io.Writer.write(char[]): void -> java.lang.String.length(): int -> java.io.Writer.write(java.lang.String): void [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.length(): int [CALL] [CALL] [EXIT] -> java.lang.String.indexOf(int,int): int [EXIT] -> java.io.Writer.write(java.lang.String,int,int): void -> java.lang.String.length(): int [CALL] -> java.lang.String.length(): int -> java.io.Writer.write(java.lang.String): void [EXIT] [EXIT] [EXIT] [CALL] -> java.util.ArrayList.size(): int -> java.util.ArrayList.remove(int): java.lang.Object [EXIT] [CALL] -> java.util.ArrayList.size(): int -> java.util.ArrayList.remove(int): java.lang.Object [EXIT] [EXIT]