| gov.nasa.jpf.jvm.Reference
All known Subclasses: gov.nasa.jpf.jvm.ElementInfo,
Reference | public interface Reference (Code) | | yet another abstraction of something that can be referenced.
<2do> streamline, could be just ElementInfo
|
Method Summary | |
boolean | getBooleanField(String fname, String referenceType) | byte | getByteField(String fname, String referenceType) | char | getCharField(String fname, String referenceType) | double | getDoubleField(String fname, String referenceType) | float | getFloatField(String fname, String referenceType) | int | getIntField(String fname, String referenceType) | long | getLongField(String fname, String referenceType) | Reference | getObjectField(String fname, String referenceType) | short | getShortField(String fname, String referenceType) | String | getStringField(String fname, String referenceType) | boolean | instanceOf(String classname) |
|
|