/
MServerConfiguration.java
66 lines (60 loc) · 2.47 KB
/
MServerConfiguration.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
54
55
56
57
58
59
60
61
62
63
64
65
66
/*
* Copyright © 2022 Mark Raynsford <code@io7m.com> https://www.io7m.com
*
* Permission to use, copy, modify, and/or distribute this software for any
* purpose with or without fee is hereby granted, provided that the above
* copyright notice and this permission notice appear in all copies.
*
* THE SOFTWARE IS PROVIDED "AS IS" AND THE AUTHOR DISCLAIMS ALL WARRANTIES
* WITH REGARD TO THIS SOFTWARE INCLUDING ALL IMPLIED WARRANTIES OF
* MERCHANTABILITY AND FITNESS. IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY
* SPECIAL, DIRECT, INDIRECT, OR CONSEQUENTIAL DAMAGES OR ANY DAMAGES
* WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR PROFITS, WHETHER IN AN
* ACTION OF CONTRACT, NEGLIGENCE OR OTHER TORTIOUS ACTION, ARISING OUT OF OR
* IN CONNECTION WITH THE USE OR PERFORMANCE OF THIS SOFTWARE.
*/
package com.io7m.mesquida.internal;
import java.net.InetAddress;
import java.nio.file.Path;
import java.util.Locale;
import java.util.Objects;
/**
* The web server configuration.
*
* @param locale The current locale
* @param privateAddress The address of the private REST API
* @param privatePort The port used for the private REST API
* @param publicAddress The address used for the public REST API
* @param publicPort The port used for the public REST API
* @param serverPrivateToken The token used to access the private API
* @param sessionDirectory The session directory for the server
*/
public record MServerConfiguration(
Locale locale,
InetAddress privateAddress,
int privatePort,
InetAddress publicAddress,
int publicPort,
String serverPrivateToken,
Path sessionDirectory)
{
/**
* The web server configuration.
*
* @param locale The current locale
* @param privateAddress The address of the private REST API
* @param privatePort The port used for the private REST API
* @param publicAddress The address used for the public REST API
* @param publicPort The port used for the public REST API
* @param serverPrivateToken The token used to access the private API
* @param sessionDirectory The session directory for the server
*/
public MServerConfiguration
{
Objects.requireNonNull(locale, "locale");
Objects.requireNonNull(privateAddress, "privateAddress");
Objects.requireNonNull(publicAddress, "publicAddress");
Objects.requireNonNull(serverPrivateToken, "serverPrivateToken");
Objects.requireNonNull(sessionDirectory, "sessionDirectory");
}
}