Serialized Form

Package edu.berkeley.cs.jqf.instrument

Exception Class edu.berkeley.cs.jqf.instrument.InstrumentationException

class InstrumentationException extends RuntimeException implements Serializable

Package janala.logger.inst

Class janala.logger.inst.AALOAD

class AALOAD extends Instruction implements Serializable

Class janala.logger.inst.AASTORE

class AASTORE extends Instruction implements Serializable

Class janala.logger.inst.ACONST_NULL

class ACONST_NULL extends Instruction implements Serializable

Class janala.logger.inst.ALOAD

class ALOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.ANEWARRAY

class ANEWARRAY extends Instruction implements Serializable

Serialized Fields

type

String type

Class janala.logger.inst.ARETURN

class ARETURN extends Instruction implements Serializable

Class janala.logger.inst.ARRAYLENGTH

class ARRAYLENGTH extends Instruction implements Serializable

Class janala.logger.inst.ASTORE

class ASTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.ATHROW

class ATHROW extends Instruction implements Serializable

Class janala.logger.inst.BALOAD

class BALOAD extends Instruction implements Serializable

Class janala.logger.inst.BASTORE

class BASTORE extends Instruction implements Serializable

Class janala.logger.inst.BIPUSH

class BIPUSH extends Instruction implements Serializable

Serialized Fields

value

int value

Class janala.logger.inst.CALOAD

class CALOAD extends Instruction implements Serializable

Class janala.logger.inst.CASTORE

class CASTORE extends Instruction implements Serializable

Class janala.logger.inst.CHECKCAST

class CHECKCAST extends Instruction implements Serializable

Serialized Fields

type

String type

Class janala.logger.inst.D2F

class D2F extends Instruction implements Serializable

Class janala.logger.inst.D2I

class D2I extends Instruction implements Serializable

Class janala.logger.inst.D2L

class D2L extends Instruction implements Serializable

Class janala.logger.inst.DADD

class DADD extends Instruction implements Serializable

Class janala.logger.inst.DALOAD

class DALOAD extends Instruction implements Serializable

Class janala.logger.inst.DASTORE

class DASTORE extends Instruction implements Serializable

Class janala.logger.inst.DCMPG

class DCMPG extends Instruction implements Serializable

Class janala.logger.inst.DCMPL

class DCMPL extends Instruction implements Serializable

Class janala.logger.inst.DCONST_0

class DCONST_0 extends Instruction implements Serializable

Class janala.logger.inst.DCONST_1

class DCONST_1 extends Instruction implements Serializable

Class janala.logger.inst.DDIV

class DDIV extends Instruction implements Serializable

Class janala.logger.inst.DLOAD

class DLOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.DMUL

class DMUL extends Instruction implements Serializable

Class janala.logger.inst.DNEG

class DNEG extends Instruction implements Serializable

Class janala.logger.inst.DREM

class DREM extends Instruction implements Serializable

Class janala.logger.inst.DRETURN

class DRETURN extends Instruction implements Serializable

Class janala.logger.inst.DSTORE

class DSTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.DSUB

class DSUB extends Instruction implements Serializable

Class janala.logger.inst.DUP

class DUP extends Instruction implements Serializable

Class janala.logger.inst.DUP_X1

class DUP_X1 extends Instruction implements Serializable

Class janala.logger.inst.DUP_X2

class DUP_X2 extends Instruction implements Serializable

Class janala.logger.inst.DUP2

class DUP2 extends Instruction implements Serializable

Class janala.logger.inst.DUP2_X1

class DUP2_X1 extends Instruction implements Serializable

Class janala.logger.inst.DUP2_X2

class DUP2_X2 extends Instruction implements Serializable

Class janala.logger.inst.F2D

class F2D extends Instruction implements Serializable

Class janala.logger.inst.F2I

class F2I extends Instruction implements Serializable

Class janala.logger.inst.F2L

class F2L extends Instruction implements Serializable

Class janala.logger.inst.FADD

class FADD extends Instruction implements Serializable

Class janala.logger.inst.FALOAD

class FALOAD extends Instruction implements Serializable

Class janala.logger.inst.FASTORE

class FASTORE extends Instruction implements Serializable

Class janala.logger.inst.FCMPG

class FCMPG extends Instruction implements Serializable

Class janala.logger.inst.FCMPL

class FCMPL extends Instruction implements Serializable

Class janala.logger.inst.FCONST_0

class FCONST_0 extends Instruction implements Serializable

Class janala.logger.inst.FCONST_1

class FCONST_1 extends Instruction implements Serializable

Class janala.logger.inst.FCONST_2

class FCONST_2 extends Instruction implements Serializable

Class janala.logger.inst.FDIV

class FDIV extends Instruction implements Serializable

Class janala.logger.inst.FLOAD

class FLOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.FMUL

class FMUL extends Instruction implements Serializable

Class janala.logger.inst.FNEG

class FNEG extends Instruction implements Serializable

Class janala.logger.inst.FREM

class FREM extends Instruction implements Serializable

Class janala.logger.inst.FRETURN

class FRETURN extends Instruction implements Serializable

Class janala.logger.inst.FSTORE

class FSTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.FSUB

class FSUB extends Instruction implements Serializable

Class janala.logger.inst.GETFIELD

class GETFIELD extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class janala.logger.inst.GETSTATIC

class GETSTATIC extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class janala.logger.inst.GETVALUE_boolean

class GETVALUE_boolean extends Instruction implements Serializable

Serialized Fields

v

boolean v

Class janala.logger.inst.GETVALUE_byte

class GETVALUE_byte extends Instruction implements Serializable

Serialized Fields

v

byte v

Class janala.logger.inst.GETVALUE_char

class GETVALUE_char extends Instruction implements Serializable

Serialized Fields

v

char v

Class janala.logger.inst.GETVALUE_double

class GETVALUE_double extends Instruction implements Serializable

Serialized Fields

v

double v

Class janala.logger.inst.GETVALUE_float

class GETVALUE_float extends Instruction implements Serializable

Serialized Fields

v

float v

Class janala.logger.inst.GETVALUE_int

class GETVALUE_int extends Instruction implements Serializable

Serialized Fields

v

int v

Class janala.logger.inst.GETVALUE_long

class GETVALUE_long extends Instruction implements Serializable

Serialized Fields

v

long v

Class janala.logger.inst.GETVALUE_Object

class GETVALUE_Object extends Instruction implements Serializable

Serialized Fields

isString

boolean isString

string

String string

v

int v

Class janala.logger.inst.GETVALUE_short

class GETVALUE_short extends Instruction implements Serializable

Serialized Fields

v

short v

Class janala.logger.inst.GETVALUE_void

class GETVALUE_void extends Instruction implements Serializable

Class janala.logger.inst.GOTO

class GOTO extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.HEAPLOAD

class HEAPLOAD extends Instruction implements Serializable

Serialized Fields

field

String field

objectId

int objectId

Class janala.logger.inst.I2B

class I2B extends Instruction implements Serializable

Class janala.logger.inst.I2C

class I2C extends Instruction implements Serializable

Class janala.logger.inst.I2D

class I2D extends Instruction implements Serializable

Class janala.logger.inst.I2F

class I2F extends Instruction implements Serializable

Class janala.logger.inst.I2L

class I2L extends Instruction implements Serializable

Class janala.logger.inst.I2S

class I2S extends Instruction implements Serializable

Class janala.logger.inst.IADD

class IADD extends Instruction implements Serializable

Class janala.logger.inst.IALOAD

class IALOAD extends Instruction implements Serializable

Class janala.logger.inst.IAND

class IAND extends Instruction implements Serializable

Class janala.logger.inst.IASTORE

class IASTORE extends Instruction implements Serializable

Class janala.logger.inst.ICONST_0

class ICONST_0 extends Instruction implements Serializable

Class janala.logger.inst.ICONST_1

class ICONST_1 extends Instruction implements Serializable

Class janala.logger.inst.ICONST_2

class ICONST_2 extends Instruction implements Serializable

Class janala.logger.inst.ICONST_3

class ICONST_3 extends Instruction implements Serializable

Class janala.logger.inst.ICONST_4

class ICONST_4 extends Instruction implements Serializable

Class janala.logger.inst.ICONST_5

class ICONST_5 extends Instruction implements Serializable

Class janala.logger.inst.ICONST_M1

class ICONST_M1 extends Instruction implements Serializable

Class janala.logger.inst.IDIV

class IDIV extends Instruction implements Serializable

Class janala.logger.inst.IF_ACMPEQ

class IF_ACMPEQ extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ACMPNE

class IF_ACMPNE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ICMPEQ

class IF_ICMPEQ extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ICMPGE

class IF_ICMPGE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ICMPGT

class IF_ICMPGT extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ICMPLE

class IF_ICMPLE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ICMPLT

class IF_ICMPLT extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IF_ICMPNE

class IF_ICMPNE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFEQ

class IFEQ extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFGE

class IFGE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFGT

class IFGT extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFLE

class IFLE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFLT

class IFLT extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFNE

class IFNE extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFNONNULL

class IFNONNULL extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IFNULL

class IFNULL extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.IINC

class IINC extends Instruction implements Serializable

Serialized Fields

increment

int increment

var

int var

Class janala.logger.inst.ILOAD

class ILOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.IMUL

class IMUL extends Instruction implements Serializable

Class janala.logger.inst.INEG

class INEG extends Instruction implements Serializable

Class janala.logger.inst.INSTANCEOF

class INSTANCEOF extends Instruction implements Serializable

Serialized Fields

type

String type

Class janala.logger.inst.Instruction

class Instruction extends Object implements Serializable

Serialized Fields

iid

int iid

mid

int mid

Class janala.logger.inst.INVOKEINTERFACE

class INVOKEINTERFACE extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class janala.logger.inst.INVOKEMETHOD_END

class INVOKEMETHOD_END extends Instruction implements Serializable

Class janala.logger.inst.INVOKEMETHOD_EXCEPTION

class INVOKEMETHOD_EXCEPTION extends Instruction implements Serializable

Serialized Fields

exception

Throwable exception

Class janala.logger.inst.INVOKESPECIAL

class INVOKESPECIAL extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class janala.logger.inst.INVOKESTATIC

class INVOKESTATIC extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class janala.logger.inst.INVOKEVIRTUAL

class INVOKEVIRTUAL extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class janala.logger.inst.IOR

class IOR extends Instruction implements Serializable

Class janala.logger.inst.IREM

class IREM extends Instruction implements Serializable

Class janala.logger.inst.IRETURN

class IRETURN extends Instruction implements Serializable

Class janala.logger.inst.ISHL

class ISHL extends Instruction implements Serializable

Class janala.logger.inst.ISHR

class ISHR extends Instruction implements Serializable

Class janala.logger.inst.ISTORE

class ISTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.ISUB

class ISUB extends Instruction implements Serializable

Class janala.logger.inst.IUSHR

class IUSHR extends Instruction implements Serializable

Class janala.logger.inst.IXOR

class IXOR extends Instruction implements Serializable

Class janala.logger.inst.JSR

class JSR extends Instruction implements Serializable

Serialized Fields

label

int label

Class janala.logger.inst.L2D

class L2D extends Instruction implements Serializable

Class janala.logger.inst.L2F

class L2F extends Instruction implements Serializable

Class janala.logger.inst.L2I

class L2I extends Instruction implements Serializable

Class janala.logger.inst.LADD

class LADD extends Instruction implements Serializable

Class janala.logger.inst.LALOAD

class LALOAD extends Instruction implements Serializable

Class janala.logger.inst.LAND

class LAND extends Instruction implements Serializable

Class janala.logger.inst.LASTORE

class LASTORE extends Instruction implements Serializable

Class janala.logger.inst.LCMP

class LCMP extends Instruction implements Serializable

Class janala.logger.inst.LCONST_0

class LCONST_0 extends Instruction implements Serializable

Class janala.logger.inst.LCONST_1

class LCONST_1 extends Instruction implements Serializable

Class janala.logger.inst.LDC_double

class LDC_double extends Instruction implements Serializable

Serialized Fields

c

double c

Class janala.logger.inst.LDC_float

class LDC_float extends Instruction implements Serializable

Serialized Fields

c

float c

Class janala.logger.inst.LDC_int

class LDC_int extends Instruction implements Serializable

Serialized Fields

c

int c

Class janala.logger.inst.LDC_long

class LDC_long extends Instruction implements Serializable

Serialized Fields

c

long c

Class janala.logger.inst.LDC_Object

class LDC_Object extends Instruction implements Serializable

Serialized Fields

c

int c

Class janala.logger.inst.LDC_String

class LDC_String extends Instruction implements Serializable

Serialized Fields

address

int address

c

String c

Class janala.logger.inst.LDIV

class LDIV extends Instruction implements Serializable

Class janala.logger.inst.LLOAD

class LLOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.LMUL

class LMUL extends Instruction implements Serializable

Class janala.logger.inst.LNEG

class LNEG extends Instruction implements Serializable

Class janala.logger.inst.LOOKUPSWITCH

class LOOKUPSWITCH extends Instruction implements Serializable

Serialized Fields

dflt

int dflt

keys

int[] keys

labels

int[] labels

Class janala.logger.inst.LOR

class LOR extends Instruction implements Serializable

Class janala.logger.inst.LREM

class LREM extends Instruction implements Serializable

Class janala.logger.inst.LRETURN

class LRETURN extends Instruction implements Serializable

Class janala.logger.inst.LSHL

class LSHL extends Instruction implements Serializable

Class janala.logger.inst.LSHR

class LSHR extends Instruction implements Serializable

Class janala.logger.inst.LSTORE

class LSTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.LSUB

class LSUB extends Instruction implements Serializable

Class janala.logger.inst.LUSHR

class LUSHR extends Instruction implements Serializable

Class janala.logger.inst.LXOR

class LXOR extends Instruction implements Serializable

Class janala.logger.inst.MAKE_SYMBOLIC

class MAKE_SYMBOLIC extends Instruction implements Serializable

Class janala.logger.inst.METHOD_BEGIN

class METHOD_BEGIN extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

obj

Object obj

owner

String owner

Class janala.logger.inst.METHOD_THROW

class METHOD_THROW extends Instruction implements Serializable

Class janala.logger.inst.MONITORENTER

class MONITORENTER extends Instruction implements Serializable

Class janala.logger.inst.MONITOREXIT

class MONITOREXIT extends Instruction implements Serializable

Class janala.logger.inst.MULTIANEWARRAY

class MULTIANEWARRAY extends Instruction implements Serializable

Serialized Fields

desc

String desc

dims

int dims

Class janala.logger.inst.NEW

class NEW extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

type

String type

Class janala.logger.inst.NEWARRAY

class NEWARRAY extends Instruction implements Serializable

Class janala.logger.inst.NOP

class NOP extends Instruction implements Serializable

Class janala.logger.inst.POP

class POP extends Instruction implements Serializable

Class janala.logger.inst.POP2

class POP2 extends Instruction implements Serializable

Class janala.logger.inst.PUTFIELD

class PUTFIELD extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class janala.logger.inst.PUTSTATIC

class PUTSTATIC extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class janala.logger.inst.RET

class RET extends Instruction implements Serializable

Serialized Fields

var

int var

Class janala.logger.inst.RETURN

class RETURN extends Instruction implements Serializable

Class janala.logger.inst.SALOAD

class SALOAD extends Instruction implements Serializable

Class janala.logger.inst.SASTORE

class SASTORE extends Instruction implements Serializable

Class janala.logger.inst.SIPUSH

class SIPUSH extends Instruction implements Serializable

Serialized Fields

value

int value

Class janala.logger.inst.SPECIAL

class SPECIAL extends Instruction implements Serializable

Serialized Fields

i

int i

Class janala.logger.inst.SWAP

class SWAP extends Instruction implements Serializable

Class janala.logger.inst.TABLESWITCH

class TABLESWITCH extends Instruction implements Serializable

Serialized Fields

dflt

int dflt

labels

int[] labels

max

int max

min

int min