package earley
-
earley.str
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package earley
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
A module providing efficient character sets.
Type
type t = charsetSynonym of charset.
Charset construction
val empty : charsetThe empty character set.
val full : charsetThe full character set.
val singleton : char -> charsetsingleton c returns a charset containing only c.
val range : char -> char -> charsetrange cmin cmax returns the charset containing all the characters between cmin and cmax.
val from_string : string -> charsetfrom_string s returns the charset corresponding to the description string s, which may contain standalone characters (different from '-', which is only allowed as first character) or ranges. They are build of start and end characters, separated by '-'. An example of a valid description is "-_a-zA-Z0-9". Note that Invalid_argument is raised in case of ill-formed description.
union cs1 cs2 builds a new charset that contins the union of the characters of cs1 and cs2.
complement cs returns a new charset containing exactly characters that are not in cs.
add cs c returns a new charset containing the characters of cs and the character c.
del cs c returns a new charset containing the characters of cs but not the character c.
Membership test
val mem : charset -> char -> boolmem cs c tests whether the charset cs contains c.
Printing and string representation
val print : out_channel -> charset -> unitprint oc cs prints the charset cs to the output channel oc. A compact format is used for printing: common ranges are used and full and empty charsets are abreviated.
val print_full : out_channel -> charset -> unitprint_full oc cs is the same as print oc cs but it does not use abreviations (i.e. all characters are displayed).
val show : charset -> stringshow oc cs builds a string representing the charset cs using the same compact format as print.
val show_full : charset -> stringshow_full oc cs is the same as show oc cs but it does not use abreviations (i.e. all characters appear).
Manipulating charsets imperatively
val addq : charset -> char -> unitaddq cs c adds the character c to the charset cs. Users must be particularly careful when using this function. In particular, it should not be used directly on empty, full or the result of the singleton function as it would change their value permanently. It is advisable to prefer the use of add or to work on a copy.
val delq : charset -> char -> unitdelq cs c deletes the character c from the charset cs. Similar recomendatiosn as for addq apply.