DefaultHtmlPrinter
class HtmlPrinter
trait Serializable
trait Product
trait Equals
trait Printer
class Object
trait Matchable
class Any
Value members
Inherited methods
def copySpecResourcesDir(env: Env, base: DirectoryPath, outputDir: DirectoryPath, loader: ClassLoader)(src: DirectoryPath): Operation[Unit]
- Inherited from
- HtmlPrinter
create an index for all the specifications, if required
create an index for all the specifications, if required
- Inherited from
- HtmlPrinter
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
convenience method to print a SpecStructure using the printer's Fold
convenience method to print a SpecStructure using the printer's Fold
- Inherited from
- Printer
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 reportMissingSeeRefs(specs: List[SpecStructure], outDir: DirectoryPath)(using ee: ExecutionEnv): Operation[Unit]
- Inherited from
- HtmlPrinter