package web
Server maintains the HTTP interface of MMT. The server is owned by the frontend.Controller.
It can be customized by ServerExtensions.
The REPLServer maintains a set of independent REPL loops for MMT content.
- Source
- package.scala
- Alphabetic
- By Inheritance
- web
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Type Members
-
class
ActionServer extends ServerExtension
interprets the query as an MMT frontend.actions.Action and returns the log output
-
class
Body extends AnyRef
the body of an HTTP request
-
class
BreadcrumbsServer extends ServerExtension
serves a bread crumbs-style navigation component for an HTML page
- class ContextMenuAggregator extends ServerExtension
- case class ContextMenuEntry(label: String, function: Expression) extends Product with Serializable
- trait ContextMenuProvider extends Extension
- class DirectGraphBuilder extends Graphs
-
class
FileServer extends ServerExtension
an example server extension that acts as a simple static web server
an example server extension that acts as a simple static web server
see also FileServerHere
-
class
GetActionServer extends ServerExtension
interprets the query as an MMT frontend.actions.GetAction and returns the result
- abstract class GraphSolverExtension extends Extension
-
abstract
class
Graphs extends FormatBasedExtension
Created by jazzpirate on 07.06.17.
- class JArchiveGraph extends SimpleJGraphExporter
- class JDocgraph extends SimpleJGraphExporter
- abstract class JGraphBuilder extends AnyRef
- abstract class JGraphEdge extends AnyRef
- abstract class JGraphExporter extends FormatBasedExtension
- abstract class JGraphNode extends AnyRef
- abstract class JGraphSelector extends AnyRef
- class JGraphSideBar extends Extension
- class JMPDGraph extends SimpleJGraphExporter
- class JPgraph extends SimpleJGraphExporter
- class JSONBasedGraphServer extends ServerExtension
- class JThgraph extends SimpleJGraphExporter
-
class
MessageHandler extends ServerExtension
an HTTP interface for processing Messages
- class ParseServer extends ServerExtension
-
class
PostServer extends ServerExtension
interprets the body as MMT content
-
class
QueryServer extends ServerExtension
interprets the body as a QMT ontology.Query and evaluates it
- class REPLServer extends ServerExtension
-
class
REPLSession extends AnyRef
stores the state of a content-inputing REPL session
-
class
RemoteAdminClient extends Extension
client for remote administration
client for remote administration
creates a separate thread which perpetually connects to a RemoteAdminServer to - send the log output of the previous action - retrieve the next action to execute
-
class
RemoteAdminConnection extends AnyRef
a RemoteAdminClient as as seen from a RemoteActionServer
-
class
RemoteAdminServer extends ServerExtension
can be contacted by a RemoteAdminClient instances running on any machine to receive actions
can be contacted by a RemoteAdminClient instances running on any machine to receive actions
the protocol is as follows: client sends <ready> <data value=OUTPUTLINE/>* </ready> server sends <action value=ACTION/> and reports all OUTPUTLINEs or <quit/> to terminate the connection
-
class
SVGServer extends ServerExtension with ContextMenuProvider
interprets the query as an MMT document URI and returns the SVG representation of the theory graph
-
class
SearchServer extends ServerExtension
HTTP frontend to the Search class
-
class
Server extends TiscafServerImplementation with Logger
An HTTP RESTful server.
- case class ServerError(msg: String) extends Error with Product with Serializable
-
abstract
class
ServerExtension extends FormatBasedExtension
An MMT extensions that handles certain requests in MMT's HTTP server.
An MMT extensions that handles certain requests in MMT's HTTP server.
It will be called on URIs of the form http://server:port/:CONTEXT/PATH?QUERY
-
trait
ServerImplementation extends AnyRef
Represents an implementation for servers
-
case class
ServerRequest(method: RequestMethod.Value, headers: Map[String, String], session: Option[Session], path: List[String], query: String, body: Body) extends Product with Serializable
Represents a request made to the MMT Server.
Represents a request made to the MMT Server.
- method
Method used to make request
- path
the full path of the request (use pathForExtension when accessing the path in a ServerExtension)
- query
the query portion of the URL
-
class
ServerResponse extends AnyRef
Mutable class that represents a response sent from the Server to the Client
-
case class
Session(id: String) extends Product with Serializable
straightforward abstraction of the current session
- abstract class SimpleJGraphExporter extends JGraphExporter
- abstract class StandardBuilder extends JGraphBuilder
-
class
SubmitCommentServer extends ServerExtension
experimental server for submitting comments
experimental server for submitting comments
Handle the body of the POST request (json format) and store the comment as user+date into the discussions folder
- abstract class TEMASearchServer extends ServerExtension
-
trait
TiscafServerImplementation extends HServer with ServerImplementation
Implements an HTTP Server using Tiscaf
-
class
TreeView extends ServerExtension
serves a tree-based navigation component for an HTML page
- class URIProducer extends BuildTarget
-
class
URIServer extends ServerExtension
serves all constant URIs in an archive or a group of archives
-
case class
WebQuery(pairs: List[(String, String)]) extends Product with Serializable
straightforward abstraction for web style key-value queries; assumes input is already decoded and duplicate-less
Value Members
- object GraphBuilder
- object REPLServer
-
object
RequestMethod extends Enumeration
Request types that can be made
-
object
ServerResponse
factory methods for typical responses
-
object
ServerTiscafAdapter
contains all functions adapting tiscaf objects into external objects
-
object
Util
utility functions for web services
- object WebQuery extends Serializable