/**
* Remove a set of ConstantMaps
*
* @param constantMaps ConstantMaps to remove
* @throws RemoteException Java RMI error
* @throws VisADException problem creating VisAD object
*/
public final synchronized void remove(ConstantMaps constantMaps)
throws VisADException, RemoteException {
constantMaps.removePropertyChangeListener(ConstantMaps.CONSTANT_MAP, listener);
maps.remove(constantMaps);
changed = true;
updater.update();
}
/**
* @param constantMaps
* @throws BadMappingException A ConstantMap for the DisplayRealType already exists.
* @throws RemoteException
* @throws VisADException
*/
public final synchronized void add(ConstantMaps constantMaps)
throws BadMappingException, VisADException, RemoteException {
maps.add(constantMaps);
constantMaps.addPropertyChangeListener(ConstantMaps.CONSTANT_MAP, listener);
changed = true;
updater.update();
}
/**
* Set the display.
*
* @param display display to set
* @throws RemoteException Java RMI error
* @throws VisADException problem creating VisAD object
*/
protected synchronized void setDisplay(Display display) throws RemoteException, VisADException {
maps.setDisplay(display);
changed = false;
}
