Match
- public class ObservableCollectionProcessor<Match extends org.eclipse.viatra.query.runtime.api.IPatternMatch>
extends java.lang.Object
implements org.eclipse.viatra.query.runtime.api.IMatchProcessor<Match>
Direction
and an IObservablePatternMatchCollectionUpdate
.
It can be registered for rules that take care of keeping the observable collection up-to-date (see
ObservableCollectionHelper#createRuleInAgenda
).Constructor and Description |
---|
ObservableCollectionProcessor(org.eclipse.viatra.query.runtime.matchers.util.Direction direction,
IObservablePatternMatchCollectionUpdate<Match> collection)
Creates a processor with the given direction and observable collection.
|
public ObservableCollectionProcessor(org.eclipse.viatra.query.runtime.matchers.util.Direction direction, IObservablePatternMatchCollectionUpdate<Match> collection)
direction
- the Direction
of updates that are handledcollection
- the IObservablePatternMatchCollectionUpdate
to manage