public interface FacetManagerListener
extends java.util.EventListener
Modifier and Type | Method and Description |
---|---|
void |
beforeFacetAdded(Facet facet) |
void |
beforeFacetRemoved(Facet facet) |
void |
beforeFacetRenamed(Facet facet) |
void |
facetAdded(Facet facet) |
void |
facetConfigurationChanged(Facet facet) |
void |
facetRemoved(Facet facet) |
void |
facetRenamed(Facet facet,
java.lang.String oldName) |
void beforeFacetAdded(Facet facet)
void beforeFacetRemoved(Facet facet)
void beforeFacetRenamed(Facet facet)
void facetAdded(Facet facet)
void facetRemoved(Facet facet)
void facetRenamed(Facet facet, java.lang.String oldName)
void facetConfigurationChanged(Facet facet)