subprojects/language-web/src/main/java/tools/refinery/language/web/ProblemWebModule.java


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35

/*
 * generated by Xtext 2.25.0
 */
package tools.refinery.language.web;

import org.eclipse.xtext.web.server.XtextServiceDispatcher;
import org.eclipse.xtext.web.server.model.IWebDocumentProvider;
import org.eclipse.xtext.web.server.model.XtextWebDocumentAccess;
import org.eclipse.xtext.web.server.occurrences.OccurrencesService;

import tools.refinery.language.web.occurrences.ProblemOccurrencesService;
import tools.refinery.language.web.xtext.server.push.PushServiceDispatcher;
import tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess;
import tools.refinery.language.web.xtext.server.push.PushWebDocumentProvider;

/**
 * Use this class to register additional components to be used within the web application.
 */
public class ProblemWebModule extends AbstractProblemWebModule {
	public Class<? extends IWebDocumentProvider> bindIWebDocumentProvider() {
		return PushWebDocumentProvider.class;
	}
	
	public Class<? extends XtextWebDocumentAccess> bindXtextWebDocumentAccess() {
		return PushWebDocumentAccess.class;
	}
	
	public Class<? extends XtextServiceDispatcher> bindXtextServiceDispatcher() {
		return PushServiceDispatcher.class;
	}
	
	public Class<? extends OccurrencesService> bindOccurrencesService() {
		return ProblemOccurrencesService.class;
	}
}