org.eclipse.viatra.transformation.evm.update

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 and Description
QueryEngineUpdateCompleteProvider(ViatraQueryEngine engine) Creates a new provider for the given ViatraQueryEngine

Method Summary

Modifier and Type	Method and Description
protected void	firstListenerAdded()
protected void	lastListenerRemoved()

Methods inherited from class org.eclipse.viatra.transformation.evm.update.UpdateCompleteProvider

addUpdateCompleteListener, dispose, removeUpdateCompleteListener, updateCompleted

Methods inherited from class java.lang.Object

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

Constructor Detail

QueryEngineUpdateCompleteProvider

public QueryEngineUpdateCompleteProvider(ViatraQueryEngine engine)

Creates a new provider for the given ViatraQueryEngine

Method Detail

firstListenerAdded

protected void firstListenerAdded()

Overrides:

firstListenerAdded in class UpdateCompleteProvider

lastListenerRemoved

protected void lastListenerRemoved()

Overrides:

lastListenerRemoved in class UpdateCompleteProvider