public interface PlaceholderStrategyListener
PlaceholderStrategy
.Modifier and Type | Method and Description |
---|---|
void |
placeholderInvalidated(java.util.Set<Path> placeholders)
Informs this listener that a set of placeholders is no longer in use.
|
void placeholderInvalidated(java.util.Set<Path> placeholders)
placeholders
- the placeholders that are no longer valid