Serialized Form

Package de.uzl.its.swat.symbolic

Class de.uzl.its.swat.symbolic.ClassDepot

class ClassDepot extends Object implements Serializable

Serialized Fields

templates

Map<String,de.uzl.its.swat.symbolic.ClassTemplate> templates

Map that contains Classnames and their corresponding templates Each Template contains the classes fields and static fields (names)

Class de.uzl.its.swat.symbolic.ClassNames

class ClassNames extends Object implements Serializable

Serialized Fields

classDepot

ClassDepot classDepot

classList

List<ObjectInfo> classList

nameToIndex

Map<String,Integer> nameToIndex

Class de.uzl.its.swat.symbolic.FieldInfo

class FieldInfo extends Object implements Serializable

Serialized Fields

classDepot

ClassDepot classDepot

className

String className

fieldId

int fieldId

fieldName

String fieldName

isStatic

boolean isStatic

Class de.uzl.its.swat.symbolic.ObjectInfo

class ObjectInfo extends Object implements Serializable

Serialized Fields

classDepot

ClassDepot classDepot

className

String className

fieldList

ArrayList<FieldInfo> fieldList

fieldNameToIndex

Map<String,Integer> fieldNameToIndex

nFields

int nFields

nStaticFields

int nStaticFields

staticFieldList

ArrayList<FieldInfo> staticFieldList

staticFieldNameToIndex

Map<String,Integer> staticFieldNameToIndex

statics

Object[] statics

Package de.uzl.its.swat.symbolic.instruction

Class de.uzl.its.swat.symbolic.instruction.AALOAD

class AALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.AASTORE

class AASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ACONST_NULL

class ACONST_NULL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ALOAD

class ALOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.ANEWARRAY

class ANEWARRAY extends Instruction implements Serializable

Serialized Fields

type

String type

Class de.uzl.its.swat.symbolic.instruction.ARETURN

class ARETURN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ARRAYLENGTH

class ARRAYLENGTH extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ASTORE

class ASTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.ATHROW

class ATHROW extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.BALOAD

class BALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.BASTORE

class BASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.BIPUSH

class BIPUSH extends Instruction implements Serializable

Serialized Fields

value

int value

Class de.uzl.its.swat.symbolic.instruction.CALOAD

class CALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.CASTORE

class CASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.CHECKCAST

class CHECKCAST extends Instruction implements Serializable

Serialized Fields

type

String type

Class de.uzl.its.swat.symbolic.instruction.D2F

class D2F extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.D2I

class D2I extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.D2L

class D2L extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DADD

class DADD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DALOAD

class DALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DASTORE

class DASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DCMPG

class DCMPG extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DCMPL

class DCMPL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DCONST_0

class DCONST_0 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DCONST_1

class DCONST_1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DDIV

class DDIV extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DLOAD

class DLOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.DMUL

class DMUL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DNEG

class DNEG extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DREM

class DREM extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DRETURN

class DRETURN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DSTORE

class DSTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.DSUB

class DSUB extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DUP

class DUP extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DUP_X1

class DUP_X1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DUP_X2

class DUP_X2 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DUP2

class DUP2 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DUP2_X1

class DUP2_X1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.DUP2_X2

class DUP2_X2 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.F2D

class F2D extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.F2I

class F2I extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.F2L

class F2L extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FADD

class FADD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FALOAD

class FALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FASTORE

class FASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FCMPG

class FCMPG extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FCMPL

class FCMPL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FCONST_0

class FCONST_0 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FCONST_1

class FCONST_1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FCONST_2

class FCONST_2 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FDIV

class FDIV extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FLOAD

class FLOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.FMUL

class FMUL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FNEG

class FNEG extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FREM

class FREM extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FRETURN

class FRETURN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.FSTORE

class FSTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.FSUB

class FSUB extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETFIELD

class GETFIELD extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class de.uzl.its.swat.symbolic.instruction.GETSTATIC

class GETSTATIC extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_boolean

class GETVALUE_boolean extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_byte

class GETVALUE_byte extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_char

class GETVALUE_char extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_double

class GETVALUE_double extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_float

class GETVALUE_float extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_int

class GETVALUE_int extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_long

class GETVALUE_long extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_Object

class GETVALUE_Object extends Instruction implements Serializable

Serialized Fields

i

int i

v

int v

val

T val

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_primitive

class GETVALUE_primitive extends Instruction implements Serializable

Serialized Fields

i

int i

v

Object v

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_short

class GETVALUE_short extends GETVALUE_primitive implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GETVALUE_void

class GETVALUE_void extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.GOTO

class GOTO extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.I2B

class I2B extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.I2C

class I2C extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.I2D

class I2D extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.I2F

class I2F extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.I2L

class I2L extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.I2S

class I2S extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IADD

class IADD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IALOAD

class IALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IAND

class IAND extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IASTORE

class IASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_0

class ICONST_0 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_1

class ICONST_1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_2

class ICONST_2 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_3

class ICONST_3 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_4

class ICONST_4 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_5

class ICONST_5 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ICONST_M1

class ICONST_M1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IDIV

class IDIV extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IF_ACMPEQ

class IF_ACMPEQ extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ACMPNE

class IF_ACMPNE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ICMPEQ

class IF_ICMPEQ extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ICMPGE

class IF_ICMPGE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ICMPGT

class IF_ICMPGT extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ICMPLE

class IF_ICMPLE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ICMPLT

class IF_ICMPLT extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IF_ICMPNE

class IF_ICMPNE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFEQ

class IFEQ extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFGE

class IFGE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFGT

class IFGT extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFLE

class IFLE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFLT

class IFLT extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFNE

class IFNE extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFNONNULL

class IFNONNULL extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IFNULL

class IFNULL extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.IINC

class IINC extends Instruction implements Serializable

Serialized Fields

increment

int increment

var

int var

Class de.uzl.its.swat.symbolic.instruction.ILOAD

class ILOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.IMUL

class IMUL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.INEG

class INEG extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.INSTANCEOF

class INSTANCEOF extends Instruction implements Serializable

Serialized Fields

type

String type

Class de.uzl.its.swat.symbolic.instruction.Instruction

class Instruction extends Object implements Serializable

Serialized Fields

iid

int iid

mid

int mid

Class de.uzl.its.swat.symbolic.instruction.INVOKEDYNAMIC

class INVOKEDYNAMIC extends Instruction implements Serializable

Serialized Fields

desc

String desc

lambda

String lambda

name

String name

owner

String owner

Class de.uzl.its.swat.symbolic.instruction.INVOKEINTERFACE

class INVOKEINTERFACE extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class de.uzl.its.swat.symbolic.instruction.INVOKEMETHOD_END

class INVOKEMETHOD_END extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.INVOKEMETHOD_EXCEPTION

class INVOKEMETHOD_EXCEPTION extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.INVOKESPECIAL

class INVOKESPECIAL extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class de.uzl.its.swat.symbolic.instruction.INVOKESTATIC

class INVOKESTATIC extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class de.uzl.its.swat.symbolic.instruction.INVOKEVIRTUAL

class INVOKEVIRTUAL extends Instruction implements Serializable

Serialized Fields

desc

String desc

name

String name

owner

String owner

Class de.uzl.its.swat.symbolic.instruction.IOR

class IOR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IREM

class IREM extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IRETURN

class IRETURN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ISHL

class ISHL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ISHR

class ISHR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.ISTORE

class ISTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.ISUB

class ISUB extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IUSHR

class IUSHR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.IXOR

class IXOR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.JSR

class JSR extends Instruction implements Serializable

Serialized Fields

label

int label

Class de.uzl.its.swat.symbolic.instruction.L2D

class L2D extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.L2F

class L2F extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.L2I

class L2I extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LADD

class LADD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LALOAD

class LALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LAND

class LAND extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LASTORE

class LASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LCMP

class LCMP extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LCONST_0

class LCONST_0 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LCONST_1

class LCONST_1 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LDC_double

class LDC_double extends Instruction implements Serializable

Serialized Fields

c

double c

Class de.uzl.its.swat.symbolic.instruction.LDC_float

class LDC_float extends Instruction implements Serializable

Serialized Fields

c

float c

Class de.uzl.its.swat.symbolic.instruction.LDC_int

class LDC_int extends Instruction implements Serializable

Serialized Fields

c

int c

Class de.uzl.its.swat.symbolic.instruction.LDC_long

class LDC_long extends Instruction implements Serializable

Serialized Fields

c

long c

Class de.uzl.its.swat.symbolic.instruction.LDC_Object

class LDC_Object extends Instruction implements Serializable

Serialized Fields

c

int c

Class de.uzl.its.swat.symbolic.instruction.LDC_String

class LDC_String extends Instruction implements Serializable

Serialized Fields

address

int address

c

String c

Class de.uzl.its.swat.symbolic.instruction.LDIV

class LDIV extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LLOAD

class LLOAD extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.LMUL

class LMUL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LNEG

class LNEG extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LOOKUPSWITCH

class LOOKUPSWITCH extends Instruction implements Serializable

Serialized Fields

dflt

int dflt

keys

int[] keys

labels

int[] labels

Class de.uzl.its.swat.symbolic.instruction.LOOP_BEGIN

class LOOP_BEGIN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LOOP_END

class LOOP_END extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LOR

class LOR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LREM

class LREM extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LRETURN

class LRETURN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LSHL

class LSHL extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LSHR

class LSHR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LSTORE

class LSTORE extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.LSUB

class LSUB extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LUSHR

class LUSHR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.LXOR

class LXOR extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.MAKE_SYMBOLIC

class MAKE_SYMBOLIC extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.MONITORENTER

class MONITORENTER extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.MONITOREXIT

class MONITOREXIT extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.MULTIANEWARRAY

class MULTIANEWARRAY extends Instruction implements Serializable

Serialized Fields

desc

String desc

dims

int dims

Class de.uzl.its.swat.symbolic.instruction.NEW

class NEW extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

type

String type

Class de.uzl.its.swat.symbolic.instruction.NEWARRAY

class NEWARRAY extends Instruction implements Serializable

Serialized Fields

atype

int atype

Class de.uzl.its.swat.symbolic.instruction.NOP

class NOP extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.POP

class POP extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.POP2

class POP2 extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.PUTFIELD

class PUTFIELD extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class de.uzl.its.swat.symbolic.instruction.PUTSTATIC

class PUTSTATIC extends Instruction implements Serializable

Serialized Fields

cIdx

int cIdx

desc

String desc

fIdx

int fIdx

Class de.uzl.its.swat.symbolic.instruction.RET

class RET extends Instruction implements Serializable

Serialized Fields

var

int var

Class de.uzl.its.swat.symbolic.instruction.RETURN

class RETURN extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.SALOAD

class SALOAD extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.SASTORE

class SASTORE extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.SIPUSH

class SIPUSH extends Instruction implements Serializable

Serialized Fields

value

int value

Class de.uzl.its.swat.symbolic.instruction.SPECIAL

class SPECIAL extends Instruction implements Serializable

Serialized Fields

i

int i

Class de.uzl.its.swat.symbolic.instruction.SWAP

class SWAP extends Instruction implements Serializable

Class de.uzl.its.swat.symbolic.instruction.TABLESWITCH

class TABLESWITCH extends Instruction implements Serializable

Serialized Fields

dflt

int dflt

labels

int[] labels

max

int max

min

int min

values

int[] values