---

Labels.java

package gov.nasa.arc.ase.jpf.jvm;

import java.util.Hashtable;

public class Labels {
  private static class Location {
    public String method;
    public int pos;

    public Location(String m, int p) {
      method = m;
      pos = p;
    }
  }

  private static Hashtable labels = new Hashtable();

  public static boolean isAt(String label, ThreadInfo th) {
    if(th.depth() == 0) return false;
    
    String m = th.getCurrentMethod().getFullName();
    int p = th.getPC().getPosition();
    
    Location l = (Location)labels.get(label);
    if(l == null) return false;
    
    return l.method.equals(m) && l.pos == p;
  }  
  public static void set(String label, String method, int pos) {
    if(labels.containsKey(label)) return;

    labels.put(label, new Location(method, pos));
  }  
}

---