org_aspectj_ajde_core_tests_model_SavedModelConsistencyTest_java
org.aspectj.apache.bcel.classfile.Code
@Override
    public final void dump(DataOutputStream file) throws IOException {
        super.dump(file);
        file.writeShort(this.maxStack);
        file.writeShort(this.maxLocals);
        file.writeInt(this.code.length);
        file.write(this.code, 0, this.code.length);
        file.writeShort(this.exceptionTable.length);
        for (CodeException codeException : this.exceptionTable) {
            codeException.dump(file);
        }
        file.writeShort(this.attributes.length);
        for (Cloneable cloneable : this.attributes) {
            ((Attribute)cloneable).dump(file);
        }
    }
 -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void
 [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void -> java.io.DataOutputStream.write(byte[],int,int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [EXIT] [CALL] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeInt(int): void [EXIT] -> java.io.DataOutputStream.writeShort(int): void [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [CALL] -> java.io.DataOutputStream.writeShort(int): void -> java.io.DataOutputStream.writeShort(int): void [EXIT] [EXIT] [EXIT]