language-web/src/main/java/tools/refinery/language/web/xtext/HttpSessionWrapper.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
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53

/**
 * Copyright (c) 2015, 2020 itemis AG (http://www.itemis.eu) and others.
 * This program and the accompanying materials are made available under the
 * terms of the Eclipse Public License 2.0 which is available at
 * http://www.eclipse.org/legal/epl-2.0.
 * 
 * SPDX-License-Identifier: EPL-2.0
 */
package tools.refinery.language.web.xtext;

import org.eclipse.xtext.web.server.ISession;
import org.eclipse.xtext.xbase.lib.Functions.Function0;

import jakarta.servlet.http.HttpSession;

/**
 * Provides access to the information stored in a {@link HttpSession}.
 */
record HttpSessionWrapper(HttpSession session) implements ISession {
	@SuppressWarnings("unchecked")
	@Override
	public <T> T get(Object key) {
		return (T) session.getAttribute(key.toString());
	}

	@Override
	public <T> T get(Object key, Function0<? extends T> factory) {
		synchronized (session) {
			T sessionValue = get(key);
			if (sessionValue != null) {
				return sessionValue;
			} else {
				T factoryValue = factory.apply();
				put(key, factoryValue);
				return factoryValue;
			}
		}
	}

	@Override
	public void put(Object key, Object value) {
		session.setAttribute(key.toString(), value);
	}

	@Override
	public void remove(Object key) {
		session.removeAttribute(key.toString());
	}

	public HttpSession getSession() {
		return session;
	}
}