Printer for html files
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait Printerclass Objecttrait Matchableclass Any
- Known subtypes
-
object HtmlPrinter.type
Members list
Value members
Concrete methods
create an index for all the specifications, if required
create an index for all the specifications, if required
Attributes
Get html options, possibly coming from the command line
Get html options, possibly coming from the command line
Attributes
Create the html file content from:
Create the html file content from:
- the template
- the body of the file (built from the specification execution)
Attributes
Create the Html file by invoking Pandoc
Create the Html file by invoking Pandoc
Attributes
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
Attributes
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)
Attributes
Attributes
- Returns
-
a SinkTask for the Html output
Inherited methods
convenience method to print a SpecStructure using the printer's Fold
convenience method to print a SpecStructure using the printer's Fold
Attributes
- Inherited from:
- Printer
convenience method to print a SpecificationStructure using the printer's Fold
convenience method to print a SpecificationStructure using the printer's Fold
Attributes
- Inherited from:
- Printer