00001 package gov.nasa.arc.ase.jpf.jvm;
00002
00003 public interface Reference {
00004 public boolean getBooleanArrayElement(int findex);
00005 public boolean getBooleanField(String fname);
00006 public byte getByteArrayElement(int findex);
00007 public byte getByteField(String fname);
00008 public char getCharArrayElement(int findex);
00009 public char getCharField(String fname);
00010 public double getDoubleArrayElement(int findex);
00011 public double getDoubleField(String fname);
00012 public float getFloatArrayElement(int findex);
00013 public float getFloatField(String fname);
00014 public int getIntArrayElement(int findex);
00015 public int getIntField(String fname);
00016 public long getLongArrayElement(int findex);
00017 public long getLongField(String fname);
00018 public Reference getObjectArrayElement(int findex);
00019 public Reference getObjectField(String fname);
00020 public short getShortArrayElement(int findex);
00021 public short getShortField(String fname);
00022 public String getStringArrayElement(int findex);
00023 public String getStringField(String fname);
00024 }
