blob: 18b86ade1aaf1ef17172efbc1dcaee851e827a48 (
plain) (
blame)
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
36
37
38
|
/*
* generated by Xtext 2.25.0
*/
package org.eclipse.viatra.solver.language.web;
import javax.servlet.ServletException;
import org.eclipse.xtext.util.DisposableRegistry;
import org.eclipse.xtext.web.servlet.XtextServlet;
/**
* Deploy this class into a servlet container to enable DSL-specific services.
*/
public class ProblemServlet extends XtextServlet {
private static final long serialVersionUID = 1L;
// Xtext requires a mutable servlet instance field.
@SuppressWarnings("squid:S2226")
private DisposableRegistry disposableRegistry;
@Override
public void init() throws ServletException {
super.init();
var injector = new ProblemWebSetup().createInjectorAndDoEMFRegistration();
this.disposableRegistry = injector.getInstance(DisposableRegistry.class);
}
@Override
public void destroy() {
if (disposableRegistry != null) {
disposableRegistry.dispose();
disposableRegistry = null;
}
super.destroy();
}
}
|