DefaultHtmlPrinter

class DefaultHtmlPrinter(env: Env) extends HtmlPrinter
trait Serializable
trait Product
trait Equals
trait Printer
class Object
trait Matchable
class Any

Value members

Inherited methods

def copyResources(env: Env, options: HtmlOptions): Operation[List[Unit]]
Inherited from
HtmlPrinter
def copySpecResourcesDir(env: Env, base: DirectoryPath, outputDir: DirectoryPath, loader: ClassLoader)(src: DirectoryPath): Operation[Unit]
Inherited from
HtmlPrinter
def finalize(specifications: List[SpecStructure]): Action[Unit]

create an index for all the specifications, if required

create an index for all the specifications, if required

Inherited from
HtmlPrinter
def getHtmlOptions(arguments: Arguments): Operation[HtmlOptions]

Get html options, possibly coming from the command line

Get html options, possibly coming from the command line

Inherited from
HtmlPrinter
def makeHtml(template: String, spec: SpecStructure, stats: Stats, timer: SimpleTimer, options: HtmlOptions, arguments: Arguments)(ee: ExecutionEnv): Operation[String]

Create the html file content from:

Create the html file content from:

  • the template
  • the body of the file (built from the specification execution)
Inherited from
HtmlPrinter
def makePandocHtml(spec: SpecStructure, stats: Stats, timer: SimpleTimer, pandoc: Pandoc, options: HtmlOptions, env: Env): Operation[Unit]

Create the Html file by invoking Pandoc

Create the Html file by invoking Pandoc

Inherited from
HtmlPrinter
def prepare(specifications: List[SpecStructure]): Action[Unit]
Inherited from
HtmlPrinter
def printHtml(env: Env, spec: SpecStructure, stats: Stats, timer: SimpleTimer): Operation[Unit]

Print the execution results as an Html file

Print the execution results as an Html file

  • copy resources: css, javascript, template
  • create the file content using the template
  • output the file
Inherited from
HtmlPrinter
def printHtmlWithPandoc(env: Env, spec: SpecStructure, stats: Stats, timer: SimpleTimer, pandoc: Pandoc): Operation[Unit]

Print the execution results as an Html file

Print the execution results as an Html file

  • copy resources: css, javascript, template
  • create the file content using the template and Pandoc (as an external process)
Inherited from
HtmlPrinter
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def reportMissingSeeRefs(specs: List[SpecStructure], outDir: DirectoryPath)(using ee: ExecutionEnv): Operation[Unit]
Inherited from
HtmlPrinter
def sink(spec: SpecStructure): AsyncSink[Fragment]
Returns

a SinkTask for the Html output

Inherited from
HtmlPrinter