public interface IObservablePatternMatchCollectionUpdate<Match extends org.eclipse.viatra.query.runtime.api.IPatternMatch>
ObservablePatternMatchList
and
ObservablePatternMatchSet
).Modifier and Type | Method and Description |
---|---|
void |
addMatch(Match match)
Can be called to indicate that a match appeared and should be added to the collection.
|
void |
clear()
Called when the collection is cleared to clean up internal fields.
|
void |
removeMatch(Match match)
Can be called to indicate that a match disappeared and should be removed from the collection.
|
void addMatch(Match match)
match
- the new matchvoid removeMatch(Match match)
match
- the disappered matchvoid clear()