public class ExtensionPointFilter extends Object implements Filter<Element>
Extensions points will pass the filter if their ID matches the given pattern.
Extensions will pass the filter if the ID of the extension point they are extending matches the given pattern.
Constructor and Description |
---|
ExtensionPointFilter(Pattern pattern)
Create a new filter based on the given pattern.
|
ExtensionPointFilter(String pattern)
Create a new filter based on the given pattern.
|
private final Pattern pattern
public ExtensionPointFilter(Pattern pattern)
pattern
- A pattern, null is not allowedpublic ExtensionPointFilter(String pattern)
pattern
- A pattern that will be used in Pattern.compile(String)
, null is not allowed