package twelf
- Alphabetic
- Public
- All
Type Members
-
abstract
class
AssignmentBlock extends NamedBlock
A constant or structure assignment
-
class
BackgroundCrawler extends Thread
A thread that checks for updated files and crawls them every crawlingInterval seconds
-
class
BackgroundEliminator extends Thread
A thread that checks for deleted files every deletingInterval seconds and eliminates them from the hashes
-
abstract
class
Block extends AnyRef
A block of information within a document
-
class
Catalog extends AnyRef
The information maintained by crawling all the locations
-
case class
CatalogError(s: String) extends Exception with Product with Serializable
Exception thrown by the catalog if a query is unsuccessul
-
case class
CstAssignmentBlock(uri: URI, url: URI, name: String, pos: Position) extends AssignmentBlock with Product with Serializable
A constant assignment
-
case class
CstDeclBlock(uri: URI, url: URI, name: String, pos: Position) extends DeclBlock with Product with Serializable
A constant declaration
-
abstract
class
DeclBlock extends NamedBlock
A constant or structure declaration
-
class
Document extends AnyRef
All information extracted from a file
-
case class
EncodingException(s: String) extends Exception with Product with Serializable
Occurs during file opening
-
class
FileCrawler extends AnyRef
Algorithms for crawling a file
-
case class
FileOpenError(s: String) extends Exception with Product with Serializable
Exception thrown if a file cannot be opened
-
case class
InexistentLocation(s: String) extends Exception with Product with Serializable
Exception thrown when a location specified does not exist on disk
-
abstract
class
ModuleBlock extends NamedBlock
A theory or view
-
abstract
class
NamedBlock extends Block
A block with name and URI
-
case class
ParseError(s: String) extends Exception with Product with Serializable
Exception related to parsing
-
case class
PortUnavailable(s: String) extends Exception with Product with Serializable
Exception thrown when the web server cannot be started because the specified port is already in use
-
class
Position extends AnyRef
Start and end two-dimensional coordinates of a block
-
case class
SemanticCommentBlock(comment: String, properties: LinkedHashMap[String, String], pos: Position) extends Block with Product with Serializable
A semantic comment The "short" property is the text on the first line of the comment, if it is not preceded by a '@' The "long" property is the text starting on the second line of the comment, until the first line that starts with '@' Each subsequent lines must start with '@'.
A semantic comment The "short" property is the text on the first line of the comment, if it is not preceded by a '@' The "long" property is the text starting on the second line of the comment, until the first line that starts with '@' Each subsequent lines must start with '@'. The first word after '@' is the key, the rest of the line is the value.
-
case class
SigBlock(uri: URI, url: URI, name: String, children: MutableList[DeclBlock], deps: LinkedHashSet[URI], pos: Position) extends ModuleBlock with Product with Serializable
A theory
-
case class
StrAssignmentBlock(uri: URI, url: URI, name: String, pos: Position) extends AssignmentBlock with Product with Serializable
A structure assignment
-
case class
StrDeclBlock(uri: URI, url: URI, name: String, children: MutableList[AssignmentBlock], domain: Option[URI], pos: Position) extends DeclBlock with Product with Serializable
A structure declaration
- case class URI(uri: java.net.URI) extends Product with Serializable
-
case class
ViewBlock(uri: URI, url: URI, name: String, children: MutableList[AssignmentBlock], deps: LinkedHashSet[URI], domain: URI, codomain: LinkedHashSet[URI], pos: Position) extends ModuleBlock with Product with Serializable
A view
-
class
WebServer extends HServer
An HTTP RESTful server.
Value Members
-
object
Catalog
Utility object
-
object
ConflictGuard
For synchronization of update operations
-
object
FileCrawler
Crawl a file
-
object
Run
Run the web server and console input
-
object
Time
Current time as a string
- object URI extends Serializable
-
object
isTaken
Checks if a port is used
Checks if a port is used
- returns
true if the port is used, false if it is available
-
object
loadResource
Get a stream to a resource within the JAR file.
Get a stream to a resource within the JAR file. If it's not found in the JAR, then it looks into the file system
- returns
Some(stream to the resource) if found, None otherwise. **The caller must close the stream after reading!**
- Exceptions thrown
EncodingException(message)if the file is not in the given encoding