subprojects/language-web/src/main/java/tools/refinery/language/web/xtext/server/push/PrecomputationListener.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15

package tools.refinery.language.web.xtext.server.push;

import org.eclipse.xtext.web.server.IServiceResult;

import tools.refinery.language.web.xtext.server.ResponseHandlerException;

@FunctionalInterface
public interface PrecomputationListener {
	void onPrecomputedServiceResult(String resourceId, String stateId, String serviceName, IServiceResult serviceResult)
			throws ResponseHandlerException;

	default void onSubscribeToPrecomputationEvents(String resourceId, PushWebDocument document) {
		// Nothing to handle by default.
	}
}