This module implements global functions and constants for the teaching tools.
Type | Description |
Function or value | Description |
Full Usage:
dotExe
Returns: string
|
|
Full Usage:
getSvgGraph dotExe dotGraphWriter
Parameters:
string
dotGraphWriter : StreamWriter -> unit
Returns: string
|
getSvgGraph converts dot graphs to a svg graphic which is returned as a string. Expected arguments are dotExe which is the path of the executable of dot like "/usr/bin/dot" and dotGraphWriter which is a function that will write a dot graph to a stream.
|