public class ViewerFilterDefinition
extends java.lang.Object
Constructor and Description |
---|
ViewerFilterDefinition(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.transformation.evm.specific.event.ViatraQueryFilterSemantics semantics,
org.eclipse.viatra.query.runtime.api.IPatternMatch singleFilterMatch,
java.util.Collection<org.eclipse.viatra.query.runtime.api.IPatternMatch> filterMatches) |
public ViewerFilterDefinition(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.transformation.evm.specific.event.ViatraQueryFilterSemantics semantics, org.eclipse.viatra.query.runtime.api.IPatternMatch singleFilterMatch, java.util.Collection<org.eclipse.viatra.query.runtime.api.IPatternMatch> filterMatches)
pattern
- the IQuerySpecification
this filter configuration is attached tosemantics
- ViatraQueryFilterSemantics
prescribing how this configuration should be interpretedsingleFilterMatch
- mandatory for SINGLE ViatraQueryFilterSemantics
filterMatches
- mandatory for non-SINGLE ViatraQueryFilterSemantics