Index (refinery-language-web 0.0.0-SNAPSHOT API)

A B C D E F G H I K M N O P R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form

A

ABSTRACT_CLASS - Static variable in record class tools.refinery.language.web.semantics.metadata.ClassDetail
abstractClass() - Method in record class tools.refinery.language.web.semantics.metadata.ClassDetail: Returns the value of the abstractClass record component.
AbstractProblemWebModule - Class in tools.refinery.language.web: Manual modifications go to ProblemWebModule.
AbstractProblemWebModule() - Constructor for class tools.refinery.language.web.AbstractProblemWebModule
addPrecomputationListener(PrecomputationListener) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument
ALLOWED_ORIGINS_INIT_PARAM - Static variable in class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet
ALLOWED_ORIGINS_SEPARATOR - Static variable in class tools.refinery.language.web.ServerLauncher
ALLOWED_ORIGINS_SEPARATOR - Static variable in class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet
arity() - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Returns the value of the arity record component.

B

BackendConfig - Class in tools.refinery.language.web.config
BackendConfig(String) - Constructor for class tools.refinery.language.web.config.BackendConfig
BackendConfigServlet - Class in tools.refinery.language.web.config
BackendConfigServlet() - Constructor for class tools.refinery.language.web.config.BackendConfigServlet
bindExecutorServiceProvider() - Method in class tools.refinery.language.web.ProblemWebModule
bindIWebDocumentProvider() - Method in class tools.refinery.language.web.ProblemWebModule
bindOccurrencesService() - Method in class tools.refinery.language.web.ProblemWebModule
bindXtextServiceDispatcher() - Method in class tools.refinery.language.web.ProblemWebModule
bindXtextWebDocumentAccess() - Method in class tools.refinery.language.web.ProblemWebModule
BuiltInDetail - Record Class in tools.refinery.language.web.semantics.metadata
BuiltInDetail() - Constructor for record class tools.refinery.language.web.semantics.metadata.BuiltInDetail: Creates an instance of a BuiltInDetail record class.

C

CacheControlFilter - Class in tools.refinery.language.web
CacheControlFilter() - Constructor for class tools.refinery.language.web.CacheControlFilter
cancel() - Method in class tools.refinery.language.web.generator.ModelGenerationManager
cancel() - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
cancel(boolean) - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
cancelModelGeneration() - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument
cancelModelGeneration() - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess
cancelModelGeneration(PushWebDocumentAccess) - Method in class tools.refinery.language.web.generator.ModelGenerationService
ClassDetail - Record Class in tools.refinery.language.web.semantics.metadata
ClassDetail(boolean) - Constructor for record class tools.refinery.language.web.semantics.metadata.ClassDetail: Creates an instance of a ClassDetail record class.
compute(IXtextWebDocument, CancelIndicator) - Method in class tools.refinery.language.web.semantics.SemanticsService
CONCRETE_CLASS - Static variable in record class tools.refinery.language.web.semantics.metadata.ClassDetail
configure(JettyWebSocketServletFactory) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet
container() - Method in record class tools.refinery.language.web.semantics.metadata.OppositeReferenceDetail: Returns the value of the container record component.
containment() - Method in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail: Returns the value of the containment record component.
CONTAINMENT_REFERENCE - Static variable in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail
create(Gson, TypeToken<R>) - Method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory
createFreshlyNamedMetadata(int) - Method in class tools.refinery.language.web.semantics.metadata.NodeMetadataFactory
createInjector() - Method in class tools.refinery.language.web.ProblemWebSetup
createInstance(String) - Method in class tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider
createScheduledInstance(String) - Method in class tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider
createServiceDescriptor(String, IServiceContext) - Method in class tools.refinery.language.web.xtext.server.push.PushServiceDispatcher
createWebSocket(JettyServerUpgradeRequest, JettyServerUpgradeResponse) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet
CROSS_REFERENCE - Static variable in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail

D

DEFAULT_LISTEN_HOST - Static variable in class tools.refinery.language.web.ServerLauncher
DEFAULT_LISTEN_PORT - Static variable in class tools.refinery.language.web.ServerLauncher
DEFAULT_PUBLIC_PORT - Static variable in class tools.refinery.language.web.ServerLauncher
delegate() - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext: Returns the value of the delegate record component.
destroy() - Method in class tools.refinery.language.web.ProblemWebSocketServlet
detail() - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Returns the value of the detail record component.
dispose() - Method in class tools.refinery.language.web.generator.ModelGenerationManager
dispose() - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument
dispose() - Method in class tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider
dispose() - Method in class tools.refinery.language.web.xtext.server.TransactionExecutor
doCreateMetadata(int, String, String, NodeKind) - Method in class tools.refinery.language.web.semantics.metadata.NodeMetadataFactory
doFilter(ServletRequest, ServletResponse, FilterChain) - Method in class tools.refinery.language.web.CacheControlFilter
doFilter(ServletRequest, ServletResponse, FilterChain) - Method in class tools.refinery.language.web.SecurityHeadersFilter
doGet(HttpServletRequest, HttpServletResponse) - Method in class tools.refinery.language.web.config.BackendConfigServlet
doRun() - Method in class tools.refinery.language.web.generator.ModelGenerationWorker

E

equals(Object) - Method in record class tools.refinery.language.web.generator.ModelGenerationCancelledResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.generator.ModelGenerationErrorResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.generator.ModelGenerationStartedResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.generator.ModelGenerationStatusResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.BuiltInDetail: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.ClassDetail: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.OppositeReferenceDetail: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.PredicateDetail: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.SemanticsInternalErrorResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.SemanticsIssuesResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
equals(Object) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
equals(Object) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
equals(Object) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
equals(Object) - Method in class tools.refinery.language.web.xtext.server.PongResult
equals(Object) - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext: Indicates whether some other object is "equal to" this one.
equals(Object) - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext: Indicates whether some other object is "equal to" this one.
error() - Method in record class tools.refinery.language.web.generator.ModelGenerationErrorResult: Returns the value of the error record component.
error() - Method in record class tools.refinery.language.web.semantics.metadata.PredicateDetail: Returns the value of the error record component.
error() - Method in record class tools.refinery.language.web.semantics.SemanticsInternalErrorResult: Returns the value of the error record component.
ERROR_PREDICATE - Static variable in record class tools.refinery.language.web.semantics.metadata.PredicateDetail

F

filter(EObject) - Method in class tools.refinery.language.web.occurrences.ProblemOccurrencesService

G

generateModel(PushWebDocumentAccess, int) - Method in class tools.refinery.language.web.generator.ModelGenerationService
get(Object) - Method in class tools.refinery.language.web.xtext.servlet.SimpleSession
get(Object, Functions.Function0<? extends T>) - Method in class tools.refinery.language.web.xtext.servlet.SimpleSession
get(String, IServiceContext) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocumentProvider
getErrorKind() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
getErrorMessage() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
getFullTextDocument(String, String, IServiceContext) - Method in class tools.refinery.language.web.xtext.server.push.PushServiceDispatcher
getId() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
getId() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
getId() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
getInjector(IServiceContext) - Method in class tools.refinery.language.web.xtext.server.TransactionExecutor: Get the injector to satisfy the request in the serviceContext.
getModelGenerationManager() - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument
getModelGenerationService(IServiceContext) - Method in class tools.refinery.language.web.xtext.server.push.PushServiceDispatcher
getNodesMetadata(Model, Concreteness) - Method in class tools.refinery.language.web.semantics.metadata.MetadataCreator
getParameter(String) - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext
getParameter(String) - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext
getParameterKeys() - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext
getParameterKeys() - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext
getPartialInterpretation(ModelFacade, CancellationToken) - Method in class tools.refinery.language.web.semantics.PartialInterpretation2Json
getPong() - Method in class tools.refinery.language.web.xtext.server.PongResult
getPrecomputedServiceName(AbstractCachedService<? extends IServiceResult>) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess
getPushData() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
getRelationsMetadata() - Method in class tools.refinery.language.web.semantics.metadata.MetadataCreator
getRequestData() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
getResourceId() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
getResponseData() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
getScheduled(String) - Method in class tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider
getService() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
getSession() - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext
getSession() - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext
getStateId() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
getTimeout(String) - Static method in class tools.refinery.language.web.semantics.SemanticsService
getUuid() - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
getWebSocketUrl() - Method in class tools.refinery.language.web.config.BackendConfig

H

handleRequest(XtextWebRequest) - Method in class tools.refinery.language.web.xtext.server.TransactionExecutor
hashCode() - Method in record class tools.refinery.language.web.generator.ModelGenerationCancelledResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.generator.ModelGenerationErrorResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.generator.ModelGenerationStartedResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.generator.ModelGenerationStatusResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.BuiltInDetail: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.ClassDetail: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.OppositeReferenceDetail: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.PredicateDetail: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.SemanticsInternalErrorResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.SemanticsIssuesResult: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Returns a hash code value for this object.
hashCode() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
hashCode() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
hashCode() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
hashCode() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
hashCode() - Method in class tools.refinery.language.web.xtext.server.PongResult
hashCode() - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext: Returns a hash code value for this object.
hashCode() - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext: Returns a hash code value for this object.
HTTP_DEFAULT_PORT - Static variable in class tools.refinery.language.web.ServerLauncher
HTTPS_DEFAULT_PORT - Static variable in class tools.refinery.language.web.ServerLauncher

I

IMPLICIT - Enum constant in enum class tools.refinery.language.web.semantics.metadata.NodeKind
INDIVIDUAL - Enum constant in enum class tools.refinery.language.web.semantics.metadata.NodeKind
init() - Method in class tools.refinery.language.web.ProblemWebSocketServlet
init(ServletConfig) - Method in class tools.refinery.language.web.config.BackendConfigServlet
init(ServletConfig) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet
init(XtextWebDocument, String, boolean) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess
initialize(ProblemTrace, Concreteness, Model) - Method in class tools.refinery.language.web.semantics.metadata.NodeMetadataFactory
INSTANCE - Static variable in record class tools.refinery.language.web.semantics.metadata.BuiltInDetail
INVALID_JSON - Static variable in class tools.refinery.language.web.xtext.servlet.XtextStatusCode
issues() - Method in record class tools.refinery.language.web.semantics.SemanticsIssuesResult: Returns the value of the issues record component.

K

kind() - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Returns the value of the kind record component.

M

main(String[]) - Static method in class tools.refinery.language.web.ServerLauncher
Metadata - Interface in tools.refinery.language.web.semantics.metadata
MetadataCreator - Class in tools.refinery.language.web.semantics.metadata
MetadataCreator() - Constructor for class tools.refinery.language.web.semantics.metadata.MetadataCreator
MODEL_GENERATION_EXECUTOR - Static variable in class tools.refinery.language.web.generator.ModelGenerationService
MODEL_GENERATION_TIMEOUT_EXECUTOR - Static variable in class tools.refinery.language.web.generator.ModelGenerationService
ModelGenerationCancelledResult - Record Class in tools.refinery.language.web.generator
ModelGenerationCancelledResult() - Constructor for record class tools.refinery.language.web.generator.ModelGenerationCancelledResult: Creates an instance of a ModelGenerationCancelledResult record class.
ModelGenerationErrorResult - Record Class in tools.refinery.language.web.generator
ModelGenerationErrorResult(UUID, String) - Constructor for record class tools.refinery.language.web.generator.ModelGenerationErrorResult: Creates an instance of a ModelGenerationErrorResult record class.
ModelGenerationManager - Class in tools.refinery.language.web.generator
ModelGenerationManager() - Constructor for class tools.refinery.language.web.generator.ModelGenerationManager
ModelGenerationResult - Interface in tools.refinery.language.web.generator
ModelGenerationService - Class in tools.refinery.language.web.generator
ModelGenerationService() - Constructor for class tools.refinery.language.web.generator.ModelGenerationService
ModelGenerationStartedResult - Record Class in tools.refinery.language.web.generator
ModelGenerationStartedResult(UUID) - Constructor for record class tools.refinery.language.web.generator.ModelGenerationStartedResult: Creates an instance of a ModelGenerationStartedResult record class.
ModelGenerationStatusResult - Record Class in tools.refinery.language.web.generator
ModelGenerationStatusResult(UUID, String) - Constructor for record class tools.refinery.language.web.generator.ModelGenerationStatusResult: Creates an instance of a ModelGenerationStatusResult record class.
ModelGenerationSuccessResult - Record Class in tools.refinery.language.web.generator
ModelGenerationSuccessResult(UUID, List<NodeMetadata>, List<RelationMetadata>, JsonObject) - Constructor for record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Creates an instance of a ModelGenerationSuccessResult record class.
ModelGenerationWorker - Class in tools.refinery.language.web.generator
ModelGenerationWorker() - Constructor for class tools.refinery.language.web.generator.ModelGenerationWorker

N

name() - Method in interface tools.refinery.language.web.semantics.metadata.Metadata
name() - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Returns the value of the name record component.
name() - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Returns the value of the name record component.
NEW - Enum constant in enum class tools.refinery.language.web.semantics.metadata.NodeKind
NodeKind - Enum Class in tools.refinery.language.web.semantics.metadata
NodeMetadata - Record Class in tools.refinery.language.web.semantics.metadata
NodeMetadata(String, String, String, NodeKind) - Constructor for record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Creates an instance of a NodeMetadata record class.
NodeMetadataFactory - Class in tools.refinery.language.web.semantics.metadata
NodeMetadataFactory() - Constructor for class tools.refinery.language.web.semantics.metadata.NodeMetadataFactory
nodes() - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Returns the value of the nodes record component.
nodes() - Method in record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Returns the value of the nodes record component.
notifyPrecomputationListeners(String, T) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument

O

of(Class<T>) - Static method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Creates a new runtime type adapter for baseType using "type" as the type field name.
of(Class<T>, String) - Static method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Creates a new runtime type adapter using for baseType using typeFieldName as the type field name.
of(Class<T>, String, boolean) - Static method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Creates a new runtime type adapter using for baseType using typeFieldName as the type field name.
ofAbstractClass(boolean) - Static method in record class tools.refinery.language.web.semantics.metadata.ClassDetail
ofContainment(boolean) - Static method in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail
ofError(boolean) - Static method in record class tools.refinery.language.web.semantics.metadata.PredicateDetail
onClose(int, String) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocket
onError(Throwable) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocket
onMessage(Reader) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocket
onOpen(Session) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocket
onPrecomputedServiceResult(String, String, String, IServiceResult) - Method in interface tools.refinery.language.web.xtext.server.push.PrecomputationListener
onPrecomputedServiceResult(String, String, String, IServiceResult) - Method in class tools.refinery.language.web.xtext.server.TransactionExecutor
onResponse(XtextWebResponse) - Method in interface tools.refinery.language.web.xtext.server.ResponseHandler
onResponse(XtextWebResponse) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocket
onSubscribeToPrecomputationEvents(String, PushWebDocument) - Method in interface tools.refinery.language.web.xtext.server.push.PrecomputationListener
onSubscribeToPrecomputationEvents(String, PushWebDocument) - Method in class tools.refinery.language.web.xtext.server.TransactionExecutor
opposite() - Method in record class tools.refinery.language.web.semantics.metadata.OppositeReferenceDetail: Returns the value of the opposite record component.
OppositeReferenceDetail - Record Class in tools.refinery.language.web.semantics.metadata
OppositeReferenceDetail(boolean, String) - Constructor for record class tools.refinery.language.web.semantics.metadata.OppositeReferenceDetail: Creates an instance of a OppositeReferenceDetail record class.

P

parameters() - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext: Returns the value of the parameters record component.
partialInterpretation() - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Returns the value of the partialInterpretation record component.
partialInterpretation() - Method in record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Returns the value of the partialInterpretation record component.
PartialInterpretation2Json - Class in tools.refinery.language.web.semantics
PartialInterpretation2Json() - Constructor for class tools.refinery.language.web.semantics.PartialInterpretation2Json
performPrecomputation(CancelIndicator) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess
PongResult - Class in tools.refinery.language.web.xtext.server
PongResult(String) - Constructor for class tools.refinery.language.web.xtext.server.PongResult
PrecomputationListener - Interface in tools.refinery.language.web.xtext.server.push
precomputeServiceResult(AbstractCachedService<T>, boolean) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess
precomputeServiceResult(AbstractCachedService<T>, String, CancelIndicator, boolean) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument
PREDICATE - Static variable in record class tools.refinery.language.web.semantics.metadata.PredicateDetail
PredicateDetail - Record Class in tools.refinery.language.web.semantics.metadata
PredicateDetail(boolean) - Constructor for record class tools.refinery.language.web.semantics.metadata.PredicateDetail: Creates an instance of a PredicateDetail record class.
ProblemOccurrencesService - Class in tools.refinery.language.web.occurrences
ProblemOccurrencesService() - Constructor for class tools.refinery.language.web.occurrences.ProblemOccurrencesService
ProblemWebModule - Class in tools.refinery.language.web: Use this class to register additional components to be used within the web application.
ProblemWebModule() - Constructor for class tools.refinery.language.web.ProblemWebModule
ProblemWebSetup - Class in tools.refinery.language.web: Initialization support for running Xtext languages in web applications.
ProblemWebSetup() - Constructor for class tools.refinery.language.web.ProblemWebSetup
ProblemWebSocketServlet - Class in tools.refinery.language.web
ProblemWebSocketServlet() - Constructor for class tools.refinery.language.web.ProblemWebSocketServlet
PushServiceDispatcher - Class in tools.refinery.language.web.xtext.server.push
PushServiceDispatcher() - Constructor for class tools.refinery.language.web.xtext.server.push.PushServiceDispatcher
PushWebDocument - Class in tools.refinery.language.web.xtext.server.push
PushWebDocument(String, DocumentSynchronizer) - Constructor for class tools.refinery.language.web.xtext.server.push.PushWebDocument
PushWebDocumentAccess - Class in tools.refinery.language.web.xtext.server.push
PushWebDocumentAccess() - Constructor for class tools.refinery.language.web.xtext.server.push.PushWebDocumentAccess
PushWebDocumentProvider - Class in tools.refinery.language.web.xtext.server.push: Based on IWebDocumentProvider.DefaultImpl.
PushWebDocumentProvider() - Constructor for class tools.refinery.language.web.xtext.server.push.PushWebDocumentProvider
put(Object, Object) - Method in class tools.refinery.language.web.xtext.servlet.SimpleSession

R

recognizeSubtypes() - Method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Ensures that this factory will handle not just the given baseType, but any subtype of that type.
ReferenceDetail - Record Class in tools.refinery.language.web.semantics.metadata
ReferenceDetail(boolean) - Constructor for record class tools.refinery.language.web.semantics.metadata.ReferenceDetail: Creates an instance of a ReferenceDetail record class.
Registering Types - Search tag in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Section
registerPreComputedServices(PrecomputedServiceRegistry) - Method in class tools.refinery.language.web.xtext.server.push.PushServiceDispatcher
registerSubtype(Class<? extends T>) - Method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Registers type identified by its simple name.
registerSubtype(Class<? extends T>, String) - Method in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Registers type identified by label.
RelationDetail - Interface in tools.refinery.language.web.semantics.metadata
RelationMetadata - Record Class in tools.refinery.language.web.semantics.metadata
RelationMetadata(String, String, int, RelationDetail) - Constructor for record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Creates an instance of a RelationMetadata record class.
relations() - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Returns the value of the relations record component.
relations() - Method in record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Returns the value of the relations record component.
remove(Object) - Method in class tools.refinery.language.web.xtext.servlet.SimpleSession
removePrecomputationListener(PrecomputationListener) - Method in class tools.refinery.language.web.xtext.server.push.PushWebDocument
REQUEST_ERROR - Enum constant in enum class tools.refinery.language.web.xtext.server.message.XtextWebErrorKind
ResponseHandler - Interface in tools.refinery.language.web.xtext.server
ResponseHandlerException - Exception Class in tools.refinery.language.web.xtext.server
ResponseHandlerException(String) - Constructor for exception class tools.refinery.language.web.xtext.server.ResponseHandlerException
ResponseHandlerException(String, Throwable) - Constructor for exception class tools.refinery.language.web.xtext.server.ResponseHandlerException
run() - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
RuntimeTypeAdapterFactory<T> - Class in tools.refinery.language.web.xtext.servlet: Adapts values whose runtime type may differ from their declaration type.

S

SecurityHeadersFilter - Class in tools.refinery.language.web
SecurityHeadersFilter() - Constructor for class tools.refinery.language.web.SecurityHeadersFilter
SEMANTICS_EXECUTOR - Static variable in class tools.refinery.language.web.semantics.SemanticsService
SemanticsInternalErrorResult - Record Class in tools.refinery.language.web.semantics
SemanticsInternalErrorResult(String) - Constructor for record class tools.refinery.language.web.semantics.SemanticsInternalErrorResult: Creates an instance of a SemanticsInternalErrorResult record class.
SemanticsIssuesResult - Record Class in tools.refinery.language.web.semantics
SemanticsIssuesResult(List<ValidationResult.Issue>) - Constructor for record class tools.refinery.language.web.semantics.SemanticsIssuesResult: Creates an instance of a SemanticsIssuesResult record class.
SemanticsResult - Interface in tools.refinery.language.web.semantics
SemanticsService - Class in tools.refinery.language.web.semantics
SemanticsService() - Constructor for class tools.refinery.language.web.semantics.SemanticsService
SemanticsSuccessResult - Record Class in tools.refinery.language.web.semantics
SemanticsSuccessResult(List<NodeMetadata>, List<RelationMetadata>, JsonObject) - Constructor for record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Creates an instance of a SemanticsSuccessResult record class.
Serialization and deserialization - Search tag in class tools.refinery.language.web.xtext.servlet.RuntimeTypeAdapterFactory: Section
SERVER_ERROR - Enum constant in enum class tools.refinery.language.web.xtext.server.message.XtextWebErrorKind
ServerLauncher - Class in tools.refinery.language.web
ServerLauncher(InetSocketAddress, String[], String) - Constructor for class tools.refinery.language.web.ServerLauncher
SERVICE_NAME - Static variable in class tools.refinery.language.web.generator.ModelGenerationService
session() - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext: Returns the value of the session record component.
setErrorKind(XtextWebErrorKind) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
setErrorMessage(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
setExecutorServiceProvider(ExecutorServiceProvider) - Method in class tools.refinery.language.web.semantics.SemanticsService
setExecutorServiceProvider(ThreadPoolExecutorServiceProvider) - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
setId(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
setId(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
setId(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
setPong(String) - Method in class tools.refinery.language.web.xtext.server.PongResult
setProblemTrace(ProblemTrace) - Method in class tools.refinery.language.web.semantics.metadata.MetadataCreator
setPushData(Object) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
setRequestData(Map<String, String>) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
setResourceId(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
setResponseData(Object) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
setResponseHandler(ResponseHandler) - Method in class tools.refinery.language.web.xtext.server.TransactionExecutor
setService(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
setState(PushWebDocument, int, long) - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
setStateId(String) - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
setWebSocketUrl(String) - Method in class tools.refinery.language.web.config.BackendConfig
simpleName() - Method in interface tools.refinery.language.web.semantics.metadata.Metadata
simpleName() - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Returns the value of the simpleName record component.
simpleName() - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Returns the value of the simpleName record component.
SimpleServiceContext - Record Class in tools.refinery.language.web.xtext.servlet
SimpleServiceContext(ISession, Map<String, String>) - Constructor for record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext: Creates an instance of a SimpleServiceContext record class.
SimpleSession - Class in tools.refinery.language.web.xtext.servlet
SimpleSession() - Constructor for class tools.refinery.language.web.xtext.servlet.SimpleSession
start() - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
start() - Method in class tools.refinery.language.web.ServerLauncher
startTimeout() - Method in class tools.refinery.language.web.generator.ModelGenerationWorker
status() - Method in record class tools.refinery.language.web.generator.ModelGenerationStatusResult: Returns the value of the status record component.
subscriber() - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext: Returns the value of the subscriber record component.
SubscribingServiceContext - Record Class in tools.refinery.language.web.xtext.server
SubscribingServiceContext(IServiceContext, PrecomputationListener) - Constructor for record class tools.refinery.language.web.xtext.server.SubscribingServiceContext: Creates an instance of a SubscribingServiceContext record class.

T

ThreadPoolExecutorServiceProvider - Class in tools.refinery.language.web.xtext.server
ThreadPoolExecutorServiceProvider() - Constructor for class tools.refinery.language.web.xtext.server.ThreadPoolExecutorServiceProvider
tools.refinery.language.web - package tools.refinery.language.web
tools.refinery.language.web.config - package tools.refinery.language.web.config
tools.refinery.language.web.generator - package tools.refinery.language.web.generator
tools.refinery.language.web.occurrences - package tools.refinery.language.web.occurrences
tools.refinery.language.web.semantics - package tools.refinery.language.web.semantics
tools.refinery.language.web.semantics.metadata - package tools.refinery.language.web.semantics.metadata
tools.refinery.language.web.xtext.server - package tools.refinery.language.web.xtext.server
tools.refinery.language.web.xtext.server.message - package tools.refinery.language.web.xtext.server.message
tools.refinery.language.web.xtext.server.push - package tools.refinery.language.web.xtext.server.push
tools.refinery.language.web.xtext.servlet - package tools.refinery.language.web.xtext.servlet
toString() - Method in record class tools.refinery.language.web.generator.ModelGenerationCancelledResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.generator.ModelGenerationErrorResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.generator.ModelGenerationStartedResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.generator.ModelGenerationStatusResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.BuiltInDetail: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.ClassDetail: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.OppositeReferenceDetail: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.PredicateDetail: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.ReferenceDetail: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.metadata.RelationMetadata: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.SemanticsInternalErrorResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.SemanticsIssuesResult: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.semantics.SemanticsSuccessResult: Returns a string representation of this record class.
toString() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
toString() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
toString() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
toString() - Method in class tools.refinery.language.web.xtext.server.message.XtextWebRequest
toString() - Method in class tools.refinery.language.web.xtext.server.PongResult
toString() - Method in record class tools.refinery.language.web.xtext.server.SubscribingServiceContext: Returns a string representation of this record class.
toString() - Method in record class tools.refinery.language.web.xtext.servlet.SimpleServiceContext: Returns a string representation of this record class.
TransactionExecutor - Class in tools.refinery.language.web.xtext.server
TransactionExecutor(ISession, IResourceServiceProvider.Registry) - Constructor for class tools.refinery.language.web.xtext.server.TransactionExecutor
typeHash() - Method in record class tools.refinery.language.web.semantics.metadata.NodeMetadata: Returns the value of the typeHash record component.

U

uuid() - Method in record class tools.refinery.language.web.generator.ModelGenerationErrorResult: Returns the value of the uuid record component.
uuid() - Method in interface tools.refinery.language.web.generator.ModelGenerationResult
uuid() - Method in record class tools.refinery.language.web.generator.ModelGenerationStartedResult: Returns the value of the uuid record component.
uuid() - Method in record class tools.refinery.language.web.generator.ModelGenerationStatusResult: Returns the value of the uuid record component.
uuid() - Method in record class tools.refinery.language.web.generator.ModelGenerationSuccessResult: Returns the value of the uuid record component.

V

valueOf(String) - Static method in enum class tools.refinery.language.web.semantics.metadata.NodeKind: Returns the enum constant of this class with the specified name.
valueOf(String) - Static method in enum class tools.refinery.language.web.xtext.server.message.XtextWebErrorKind: Returns the enum constant of this class with the specified name.
values() - Static method in enum class tools.refinery.language.web.semantics.metadata.NodeKind: Returns an array containing the constants of this enum class, in the order they are declared.
values() - Static method in enum class tools.refinery.language.web.xtext.server.message.XtextWebErrorKind: Returns an array containing the constants of this enum class, in the order they are declared.

W

WEBSOCKET_URL_INIT_PARAM - Static variable in class tools.refinery.language.web.config.BackendConfigServlet
writeFailed(Throwable) - Method in class tools.refinery.language.web.xtext.servlet.XtextWebSocket

X

XTEXT_SUBPROTOCOL_V1 - Static variable in class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet
XtextStatusCode - Class in tools.refinery.language.web.xtext.servlet
XtextWebErrorKind - Enum Class in tools.refinery.language.web.xtext.server.message
XtextWebErrorResponse - Class in tools.refinery.language.web.xtext.server.message
XtextWebErrorResponse(String, XtextWebErrorKind, String) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
XtextWebErrorResponse(XtextWebRequest, XtextWebErrorKind, String) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
XtextWebErrorResponse(XtextWebRequest, XtextWebErrorKind, Throwable) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebErrorResponse
XtextWebOkResponse - Class in tools.refinery.language.web.xtext.server.message
XtextWebOkResponse(String, Object) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
XtextWebOkResponse(XtextWebRequest, IServiceResult) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebOkResponse
XtextWebPushMessage - Class in tools.refinery.language.web.xtext.server.message
XtextWebPushMessage(String, String, String, Object) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebPushMessage
XtextWebRequest - Class in tools.refinery.language.web.xtext.server.message
XtextWebRequest() - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebRequest
XtextWebRequest(String, Map<String, String>) - Constructor for class tools.refinery.language.web.xtext.server.message.XtextWebRequest
XtextWebResponse - Interface in tools.refinery.language.web.xtext.server.message
XtextWebSocket - Class in tools.refinery.language.web.xtext.servlet
XtextWebSocket(ISession, IResourceServiceProvider.Registry) - Constructor for class tools.refinery.language.web.xtext.servlet.XtextWebSocket
XtextWebSocket(TransactionExecutor) - Constructor for class tools.refinery.language.web.xtext.servlet.XtextWebSocket
XtextWebSocketServlet - Class in tools.refinery.language.web.xtext.servlet
XtextWebSocketServlet() - Constructor for class tools.refinery.language.web.xtext.servlet.XtextWebSocketServlet

A B C D E F G H I K M N O P R S T U V W X
All Classes and Interfaces|All Packages|Constant Field Values|Serialized Form