org.eclipse.viatra.addon.databinding.runtime.collection

Class ObservablePatternMatchSet<Match extends org.eclipse.viatra.query.runtime.api.IPatternMatch>

java.lang.Object

org.eclipse.core.databinding.observable.AbstractObservable

org.eclipse.core.databinding.observable.set.AbstractObservableSet

org.eclipse.viatra.addon.databinding.runtime.collection.ObservablePatternMatchSet<Match>

All Implemented Interfaces:

java.lang.Iterable, java.util.Collection, java.util.Set, org.eclipse.core.databinding.observable.IObservable, org.eclipse.core.databinding.observable.IObservableCollection, org.eclipse.core.databinding.observable.set.IObservableSet

public class ObservablePatternMatchSet<Match extends org.eclipse.viatra.query.runtime.api.IPatternMatch>
extends org.eclipse.core.databinding.observable.set.AbstractObservableSet

Observable view of a match set for a given ViatraQueryMatcher on a model (match sets of an ViatraQueryMatcher are not ordered by default).

For creating complex observable lists, use ObservablePatternMatchCollectionBuilder.

This implementation uses the ExecutionSchema to get notifications for match set changes, and can be instantiated using either an existing ViatraQueryMatcher, or an IQuerySpecification and ViatraQueryEngine or RuleEngine.

Nested Class Summary

Nested Classes

Modifier and Type	Class and Description
class	ObservablePatternMatchSet.SetCollectionUpdate

Method Summary

Methods

Modifier and Type	Method and Description
void	clear()
void	dispose()
java.lang.Object	getElementType()
org.eclipse.core.databinding.observable.Realm	getRealm()
org.eclipse.viatra.transformation.evm.api.RuleSpecification<Match>	getSpecification()

Methods inherited from class org.eclipse.core.databinding.observable.set.AbstractObservableSet

add, addAll, addSetChangeListener, contains, containsAll, equals, hashCode, isEmpty, isStale, iterator, remove, removeAll, removeSetChangeListener, retainAll, setStale, size, toArray, toArray, toString

Methods inherited from class org.eclipse.core.databinding.observable.AbstractObservable

addChangeListener, addDisposeListener, addStaleListener, isDisposed, removeChangeListener, removeDisposeListener, removeStaleListener

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface org.eclipse.core.databinding.observable.IObservable

addChangeListener, addDisposeListener, addStaleListener, getRealm, isDisposed, removeChangeListener, removeDisposeListener, removeStaleListener

Method Detail

getElementType

public java.lang.Object getElementType()

dispose

public void dispose()

Specified by:

dispose in interface org.eclipse.core.databinding.observable.IObservable

Overrides:

dispose in class org.eclipse.core.databinding.observable.AbstractObservable

clear

public void clear()

Specified by:

clear in interface java.util.Collection

Specified by:

clear in interface java.util.Set

Overrides:

clear in class org.eclipse.core.databinding.observable.set.AbstractObservableSet

getSpecification

public org.eclipse.viatra.transformation.evm.api.RuleSpecification<Match> getSpecification()

Returns:

the specification

getRealm

public org.eclipse.core.databinding.observable.Realm getRealm()