org_aspectj_ajde_core_tests_model_SavedModelConsistencyTest_java
org.aspectj.weaver.bcel.BcelWorld
public BcelObjectType buildBcelDelegate(ReferenceType type, JavaClass jc, boolean artificial, boolean exposedToWeaver) {
        BcelObjectType ret = new BcelObjectType(type, jc, artificial, exposedToWeaver);
        return ret;
    }
 -> java.util.Collections.emptyList(): java.util.List -> java.util.Collections.emptyList(): java.util.List -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.List.removeAll(java.util.Collection): boolean -> java.lang.ref.WeakReference.clear(): void -> java.lang.ref.WeakReference.clear(): void -> java.lang.ref.WeakReference.clear(): void -> java.lang.ref.WeakReference.clear(): void -> java.util.List.size(): int -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.lang.String.charAt(int): char -> java.lang.String.startsWith(java.lang.String): boolean -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.startsWith(java.lang.String): boolean -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.length(): int -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.List.size(): int -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.lang.String.equals(java.lang.Object): boolean -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.substring(int,int): java.lang.String -> java.lang.String.replace(char,char): java.lang.String -> java.lang.String.indexOf(int): int -> java.lang.String.lastIndexOf(int): int -> java.lang.String.substring(int,int): java.lang.String -> java.lang.String.replace(char,char): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String
 [CALL] [CALL] [CALL] [EXIT] -> java.util.Collections.emptyList(): java.util.List -> java.util.Collections.emptyList(): java.util.List [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean -> java.util.List.removeAll(java.util.Collection): boolean [CALL] [EXIT] [CALL] -> java.lang.ref.WeakReference.clear(): void [EXIT] [CALL] -> java.lang.ref.WeakReference.clear(): void [CALL] [EXIT] [CALL] -> java.lang.ref.WeakReference.clear(): void -> java.lang.ref.WeakReference.clear(): void [EXIT] [CALL] [EXIT] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] -> java.util.List.size(): int [EXIT] [CALL] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] -> java.lang.String.charAt(int): char [CALL] [EXIT] -> java.lang.String.startsWith(java.lang.String): boolean [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char -> java.lang.String.startsWith(java.lang.String): boolean [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int -> java.lang.String.charAt(int): char [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [CALL] [EXIT] [CALL] [EXIT] -> java.lang.String.length(): int [EXIT] [CALL] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean [EXIT] -> java.util.List.size(): int [CALL] [CALL] [EXIT] [CALL] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] [CALL] [CALL] [EXIT] [CALL] [EXIT] [EXIT] -> java.util.List.iterator(): java.util.Iterator -> java.util.Iterator.hasNext(): boolean [EXIT] [CALL] [EXIT] [EXIT] [CALL] [EXIT] [CALL] -> java.lang.String.equals(java.lang.Object): boolean [CALL] [EXIT] [CALL] [CALL] [CALL] -> java.lang.String.charAt(int): char -> java.lang.String.length(): int -> java.lang.String.substring(int,int): java.lang.String -> java.lang.String.replace(char,char): java.lang.String [EXIT] [EXIT] -> java.lang.String.indexOf(int): int -> java.lang.String.lastIndexOf(int): int -> java.lang.String.substring(int,int): java.lang.String [EXIT] -> java.lang.String.replace(char,char): java.lang.String -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.append(char): java.lang.StringBuilder -> java.lang.StringBuilder.append(java.lang.String): java.lang.StringBuilder -> java.lang.StringBuilder.toString(): java.lang.String [CALL] [EXIT] [EXIT] [EXIT] [EXIT]