00001 package gov.nasa.arc.ase.jpf.jvm;
00002
00003 public interface Thread {
00004 public boolean atInvoke(String mname);
00005 public boolean atLabel(String label);
00006 public boolean atMethod(String mname);
00007 public boolean atPosition(int position);
00008 public boolean atReturn();
00009 public boolean getBooleanLocal(int lindex);
00010 public boolean getBooleanLocal(String lname);
00011 public boolean getBooleanReturnValue();
00012 public byte getByteLocal(int lindex);
00013 public byte getByteLocal(String lname);
00014 public byte getByteReturnValue();
00015 public char getCharLocal(int lindex);
00016 public char getCharLocal(String lname);
00017 public char getCharReturnValue();
00018 public double getDoubleLocal(int lindex);
00019 public double getDoubleLocal(String lname);
00020 public double getDoubleReturnValue();
00021 public float getFloatLocal(int lindex);
00022 public float getFloatLocal(String lname);
00023 public float getFloatReturnValue();
00024 public int getIntLocal(int lindex);
00025 public int getIntLocal(String lname);
00026 public int getIntReturnValue();
00027 public long getLongLocal(int lindex);
00028 public long getLongLocal(String lname);
00029 public long getLongReturnValue();
00030 public Reference getObjectLocal(int lindex);
00031 public Reference getObjectLocal(String lname);
00032 public Reference getObjectReturnValue();
00033 public short getShortLocal(int lindex);
00034 public short getShortLocal(String lname);
00035 public short getShortReturnValue();
00036 public String getStringLocal(int lindex);
00037 public String getStringLocal(String lname);
00038 public String getStringReturnValue();
00039 public boolean isCalleeThis(Reference r);
00040 public boolean isThis(Reference r);
00041 }
