TableOfContents

Companion:
class
class Object
trait Matchable
class Any

Value members

Inherited methods

def createHeadersSubtoc(page: SpecHtmlPage, entryMaxSize: Int): NodeSeq
Inherited from:
TableOfContents
def createSpecPages(paths: List[FilePath], specifications: List[SpecStructure], outDir: DirectoryPath, fileSystem: FileSystem): Operation[List[SpecHtmlPage]]
Inherited from:
TableOfContents
def createToc(pages: List[SpecHtmlPage], outDir: DirectoryPath, entryMaxSize: Int)(using ee: ExecutionEnv): SpecHtmlPage => NodeSeq
Inherited from:
TableOfContents
def createToc(env: Env, specifications: List[SpecStructure], outDir: DirectoryPath, entryMaxSize: Int, fileSystem: FileSystem): Operation[Unit]

create a table of contents for all the specifications

create a table of contents for all the specifications

Inherited from:
TableOfContents
def li(outDir: DirectoryPath, entryMaxSize: Int)(page: SpecHtmlPage)(nested: NodeSeq): NodeSeq
Inherited from:
TableOfContents
def linkIndexIn(s1Refs: Seq[SpecificationRef]): SpecHtmlPage => Int
Returns:

the index of a linked specification in 'main'

Inherited from:
TableOfContents
def pagesTree(page: SpecHtmlPage, pages: List[SpecHtmlPage])(using ee: ExecutionEnv): TreeLoc[SpecHtmlPage]
Inherited from:
TableOfContents
def readHtmlPages(specifications: List[SpecStructure], outDir: DirectoryPath, fileSystem: FileSystem): Operation[List[SpecHtmlPage]]

read the generated html pages and return them as a tree, based on the links relationships between them

read the generated html pages and return them as a tree, based on the links relationships between them

Inherited from:
TableOfContents
def saveHtmlPages(pages: List[SpecHtmlPage], fileSystem: FileSystem): Operation[Unit]
Inherited from:
TableOfContents