blob: 04212b84a58da451593f04297286e28f76a5dc9d (
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
|
/*
* SPDX-FileCopyrightText: 2021-2023 The Refinery Authors <https://refinery.tools/>
*
* SPDX-License-Identifier: EPL-2.0
*/
package tools.refinery.language.web.xtext.server;
import java.util.Set;
import org.eclipse.xtext.web.server.IServiceContext;
import org.eclipse.xtext.web.server.ISession;
import tools.refinery.language.web.xtext.server.push.PrecomputationListener;
public record SubscribingServiceContext(IServiceContext delegate, PrecomputationListener subscriber)
implements IServiceContext {
@Override
public Set<String> getParameterKeys() {
return delegate.getParameterKeys();
}
@Override
public String getParameter(String key) {
return delegate.getParameter(key);
}
@Override
public ISession getSession() {
return delegate.getSession();
}
}
|