JavaScript is disabled on your browser.
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method
gov.nasa.jpf.jvm.bytecode
Interface VariableAccessor
All Known Implementing Classes:
ALOAD
,
ASTORE
,
DLOAD
,
DSTORE
,
FieldInstruction
,
FLOAD
,
FSTORE
,
GETFIELD
,
GETSTATIC
,
ILOAD
,
InstanceFieldInstruction
,
ISTORE
,
LLOAD
,
LocalVariableInstruction
,
LSTORE
,
PUTFIELD
,
PUTSTATIC
,
StaticFieldInstruction
public interface
VariableAccessor
abstraction for instrauctions that access local variables
Method Summary
Methods
Modifier and Type
Method and Description
String
getVariableId
()
Method Detail
getVariableId
String
getVariableId()
Overview
Package
Class
Use
Tree
Deprecated
Index
Help
Prev Class
Next Class
Frames
No Frames
All Classes
Summary:
Nested |
Field |
Constr |
Method
Detail:
Field |
Constr |
Method