org.eclipse.viatra.addon.viewers.runtime.model

Class ViewerFilterDefinition

java.lang.Object

org.eclipse.viatra.addon.viewers.runtime.model.ViewerFilterDefinition

public class ViewerFilterDefinition
extends java.lang.Object

Data Transfer Class for describing a viewer filter configuration.

Constructor Summary

Constructors

Constructor and Description
ViewerFilterDefinition(IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> pattern, ViatraQueryFilterSemantics semantics, IPatternMatch singleFilterMatch, java.util.Collection<IPatternMatch> filterMatches)

Method Summary

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

ViewerFilterDefinition

public ViewerFilterDefinition(IQuerySpecification<? extends ViatraQueryMatcher<? extends IPatternMatch>> pattern,
                              ViatraQueryFilterSemantics semantics,
                              IPatternMatch singleFilterMatch,
                              java.util.Collection<IPatternMatch> filterMatches)

Parameters:

pattern - the IQuerySpecification this filter configuration is attached to

semantics - ViatraQueryFilterSemantics prescribing how this configuration should be interpreted

singleFilterMatch - mandatory for SINGLE ViatraQueryFilterSemantics

filterMatches - mandatory for non-SINGLE ViatraQueryFilterSemantics