ResourceMonitor
public ResourceMonitor get(Resource res) throws StaleMonitorException;
ResourceMonitor mon;
private void checkShort(ResourceMonitor mon, Element elem, double val)
ResourceMonitor mon = null;
mon = new ResourceMonitor(res, 50);
ResourceMonitor mon = (ResourceMonitor) itMon.next();
ResourceMonitor mon = get(res);
ResourceMonitor mon = (ResourceMonitor) itMon.next();
public ResourceMonitor get(Resource res) throws StaleMonitorException
ResourceMonitor rm = (ResourceMonitor)monitored.get(res);
ResourceMonitor mon = getMonitor().get(move.getMove().