public class ViewerDataFilter
extends java.lang.Object
A wrapper class for filter definitions. It is used to create filtered observable Sets for patterns. A filter definition is considered unchangeable for the entire lifecycle of the ViewerFilter instance.
Warning After using a filter to create a ViewerDataFilter
, the updates of this filter will
not be pushed to the Filter
Modifier and Type | Field and Description |
---|---|
static ViewerDataFilter |
UNFILTERED |
Constructor and Description |
---|
ViewerDataFilter()
Initializes an empty data filter.
|
Modifier and Type | Method and Description |
---|---|
void |
addMultiFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> pattern,
java.util.Collection<org.eclipse.viatra.query.runtime.api.IPatternMatch> matches,
org.eclipse.viatra.transformation.evm.specific.event.ViatraQueryFilterSemantics semantics) |
void |
addSingleFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> pattern,
org.eclipse.viatra.query.runtime.api.IPatternMatch match)
Adds a new filter to a viewer data filter.
|
static ViewerDataFilter |
cloneFilter(ViewerDataFilter other)
Copies all filter rules from an existing
ViewerDataFilter instance. |
ViewerFilterDefinition |
getFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> pattern) |
boolean |
isFiltered(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> pattern) |
void |
removeFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> pattern)
Removes a filter from the rules.
|
public static ViewerDataFilter UNFILTERED
public static ViewerDataFilter cloneFilter(ViewerDataFilter other)
ViewerDataFilter
instance.other
- public void addSingleFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> pattern, org.eclipse.viatra.query.runtime.api.IPatternMatch match)
pattern
- match
- public void addMultiFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> pattern, java.util.Collection<org.eclipse.viatra.query.runtime.api.IPatternMatch> matches, org.eclipse.viatra.transformation.evm.specific.event.ViatraQueryFilterSemantics semantics)
public void removeFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<? extends org.eclipse.viatra.query.runtime.api.ViatraQueryMatcher<? extends org.eclipse.viatra.query.runtime.api.IPatternMatch>> pattern)
pattern
- public boolean isFiltered(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> pattern)
public ViewerFilterDefinition getFilter(org.eclipse.viatra.query.runtime.api.IQuerySpecification<?> pattern)