public void changed(FeatureEvent featureEvent) { fireMapLayerListenerLayerChanged(new MapLayerEvent( DefaultMapLayer.this, MapLayerEvent.DATA_CHANGED)); } };
/** * Setter for property style. * * @param style * New value of property style. * * @throws NullPointerException * DOCUMENT ME! */ public void setStyle(Style style) { if (style == null) { throw new NullPointerException(); } this.style = style; fireMapLayerListenerLayerChanged(new MapLayerEvent(this, MapLayerEvent.STYLE_CHANGED)); }
/** * Setter for property title. * * @param title * New value of property title. * * @throws NullPointerException * DOCUMENT ME! */ public void setTitle(String title) { if (title == null) { throw new NullPointerException(); } this.title = title; fireMapLayerListenerLayerChanged(new MapLayerEvent(this, MapLayerEvent.METADATA_CHANGED)); }
fireMapLayerListenerLayerChanged(new MapLayerEvent(this, MapLayerEvent.FILTER_CHANGED));