Documentation
¶
Overview ¶
Package util provides some utility functions
Package util provides some utility functions
Index ¶
Constants ¶
This section is empty.
Variables ¶
This section is empty.
Functions ¶
func CleanEscapeString ¶
CleanEscapeString cleans a string like CleanHtmlString but also escapes double quotes.
func CleanHtmlString ¶
CleanHtmlString does the same as CleanString but also escapes the string to be included in HTML code.
func CleanString ¶
CleanString removes ANSI control codes from a string.
Types ¶
type TermSimplifier ¶
TermSimplifier simplifies terms.
func CreateDummySimplifier ¶
func CreateDummySimplifier() TermSimplifier
CreateDummySimplifier creates an empty simplifier that simply returns the input term as output.
func CreateSimplifier ¶
func CreateSimplifier(opname string, maudec *maude.Client) TermSimplifier
CreateSimplifier constructs a simplifier that uses Maude to simplify terms. The simplification function should be defined in a file named smcview-simp.maude in the current working directory and its name is given by opname.
Be aware that the file smcview-simp.maude will be loaded and any command within it will be executed.
Source Files