Class QueryEngineUpdateCompleteProvider
- java.lang.Object
-
- org.eclipse.viatra.transformation.evm.update.UpdateCompleteProvider
-
- org.eclipse.viatra.transformation.evm.update.QueryEngineUpdateCompleteProvider
-
- All Implemented Interfaces:
IUpdateCompleteProvider
public class QueryEngineUpdateCompleteProvider extends UpdateCompleteProvider
This provider implementation uses the ViatraQueryEngine model update listener as an event source for update complete events.
-
-
Constructor Summary
Constructors Constructor Description QueryEngineUpdateCompleteProvider(ViatraQueryEngine engine)
Creates a new provider for the givenViatraQueryEngine
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected void
firstListenerAdded()
protected void
lastListenerRemoved()
-
Methods inherited from class org.eclipse.viatra.transformation.evm.update.UpdateCompleteProvider
addUpdateCompleteListener, dispose, removeUpdateCompleteListener, updateCompleted
-
-
-
-
Constructor Detail
-
QueryEngineUpdateCompleteProvider
public QueryEngineUpdateCompleteProvider(ViatraQueryEngine engine)
Creates a new provider for the givenViatraQueryEngine
-
-
Method Detail
-
firstListenerAdded
protected void firstListenerAdded()
- Overrides:
firstListenerAdded
in classUpdateCompleteProvider
-
lastListenerRemoved
protected void lastListenerRemoved()
- Overrides:
lastListenerRemoved
in classUpdateCompleteProvider
-
-