On This Page
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package testo
The type of tags which can be used to define subsets of tests precisely.
Test tags
A tag contributes to describing what a test is about in addition to the test's name and category. Additionally, it allows for the precise selection of a group of tests via the command line.
Tags are strings. This is nice and extensible, but to prevent misspellings and conflicts, we require them to be registered using declare.
val declare : string -> tCreate and register a tag. This function raises exceptions if used improperly.
A tag must be created exactly once. It must be a non-empty dot-separated sequence of lowercase alphanumeric identifiers ([a-z_][a-z_0-9]*).
val list : unit -> t listList all the registered tags.
val to_string : t -> stringConvert the tag back to the original string.
val of_string_opt : string -> t optionConvert a tag from a string, failing is the tag wasn't declared.
val show : t -> stringConvert the tag to human-readable form (which happens to be the same as the original string).
On This Page