trait HtmlPrinter extends Printer
Printer for html files
- Alphabetic
- By Inheritance
- HtmlPrinter
- Printer
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
-
final
def
!=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
final
def
##(): Int
- Definition Classes
- AnyRef → Any
-
final
def
==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- val RunAborted: String
-
final
def
asInstanceOf[T0]: T0
- Definition Classes
- Any
-
def
clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )
- def copyResources(env: Env, options: HtmlOptions): Operation[List[Unit]]
- def copySpecResourcesDir(env: Env, base: DirectoryPath, outputDir: DirectoryPath, loader: ClassLoader)(src: DirectoryPath): Operation[Unit]
-
final
def
eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
def
equals(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
-
def
finalize(env: Env, specifications: List[SpecStructure]): Action[Unit]
create an index for all the specifications, if required
create an index for all the specifications, if required
- Definition Classes
- HtmlPrinter → Printer
-
def
finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws( classOf[java.lang.Throwable] )
-
final
def
getClass(): Class[_]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
def
getHtmlOptions(arguments: Arguments): Operation[HtmlOptions]
Get html options, possibly coming from the command line
-
def
hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
-
final
def
isInstanceOf[T0]: Boolean
- Definition Classes
- Any
-
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)
-
def
makePandocHtml(spec: SpecStructure, stats: Stats, timer: SimpleTimer, pandoc: Pandoc, options: HtmlOptions, env: Env): Operation[Unit]
Create the Html file by invoking Pandoc
-
final
def
ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
-
final
def
notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
final
def
notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
-
def
prepare(env: Env, specifications: List[SpecStructure]): Action[Unit]
- Definition Classes
- HtmlPrinter → Printer
-
def
print(env: Env): (SpecStructure) ⇒ Action[Unit]
convenience method to print a SpecStructure using the printer's Fold
convenience method to print a SpecStructure using the printer's Fold
- Definition Classes
- Printer
-
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
-
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)
-
def
printSpecification(env: Env): (SpecificationStructure) ⇒ Action[Unit]
convenience method to print a SpecificationStructure using the printer's Fold
convenience method to print a SpecificationStructure using the printer's Fold
- Definition Classes
- Printer
- def reportMissingSeeRefs(specs: List[SpecStructure], outDir: DirectoryPath)(implicit ee: ExecutionEnv): Operation[Unit]
-
def
sink(env: Env, spec: SpecStructure): AsyncSink[Fragment]
- returns
a SinkTask for the Html output
- Definition Classes
- HtmlPrinter → Printer
-
final
def
synchronized[T0](arg0: ⇒ T0): T0
- Definition Classes
- AnyRef
-
def
toString(): String
- Definition Classes
- AnyRef → Any
-
final
def
wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws( ... )
-
final
def
wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @native() @throws( ... )