Uses of Class
gov.nasa.jpf.jvm.bytecode.FieldInstruction

Packages that use FieldInstruction

Package	Description
gov.nasa.jpf.jvm.bytecode
gov.nasa.jpf.listener

Uses of FieldInstruction in gov.nasa.jpf.jvm.bytecode

Subclasses of FieldInstruction in gov.nasa.jpf.jvm.bytecode

Modifier and Type	Class and Description
class	GETFIELD Fetch field from object ..., objectref => ..., value
class	GETSTATIC Get static fieldInfo from class ..., => ..., value
class	InstanceFieldInstruction class abstracting instructions that access instance fields
class	PUTFIELD Set field in object ..., objectref, value => ...
class	PUTSTATIC Set static field in class ..., value => ...
class	StaticFieldInstruction class to abstract instructions accessing static fields

Methods in gov.nasa.jpf.jvm.bytecode with parameters of type FieldInstruction

Modifier and Type	Method and Description
void	InstructionVisitor.visit(FieldInstruction ins)
void	InstructionVisitorAdapter.visit(FieldInstruction ins)

Uses of FieldInstruction in gov.nasa.jpf.listener

Methods in gov.nasa.jpf.listener with parameters of type FieldInstruction

Modifier and Type	Method and Description
protected String	SimpleDot.getFieldAccessCG(FieldInstruction insn)