Constant Field Values

Contents

• tools.refinery.*

tools.refinery.*

tools.refinery.language.web.ServerLauncher

Modifier and Type	Constant Field	Value
public static final String	ALLOWED_ORIGINS_SEPARATOR	","
public static final String	DEFAULT_LISTEN_HOST	"localhost"
public static final int	DEFAULT_LISTEN_PORT	1312
public static final int	DEFAULT_PUBLIC_PORT	443
public static final int	HTTP_DEFAULT_PORT	80
public static final int	HTTPS_DEFAULT_PORT	443

tools.refinery.language.web.config.BackendConfigServlet

Modifier and Type	Constant Field	Value
public static final String	WEBSOCKET_URL_INIT_PARAM	"tools.refinery.language.web.config.BackendConfigServlet.webSocketUrl"

tools.refinery.language.web.generator.ModelGenerationService

Modifier and Type	Constant Field	Value
public static final String	MODEL_GENERATION_EXECUTOR	"modelGeneration"
public static final String	MODEL_GENERATION_TIMEOUT_EXECUTOR	"modelGenerationTimeout"
public static final String	SERVICE_NAME	"modelGeneration"

tools.refinery.language.web.semantics.SemanticsService

Modifier and Type	Constant Field	Value
public static final String	SEMANTICS_EXECUTOR	"semantics"

tools.refinery.language.web.xtext.servlet.XtextStatusCode

Modifier and Type	Constant Field	Value
public static final int	INVALID_JSON	4007

tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet

Modifier and Type	Constant Field	Value
public static final String	ALLOWED_ORIGINS_INIT_PARAM	"tools.refinery.language.web.xtext.XtextWebSocketServlet.allowedOrigin"
public static final String	ALLOWED_ORIGINS_SEPARATOR	","
public static final String	XTEXT_SUBPROTOCOL_V1	"tools.refinery.language.web.xtext.v1"