CSPM-Frontend-0.7.4.4: A CSP-M parser compatible with FDR-2.91

Language.CSPM.LexHelper

Synopsis

Documentation

lexInclude :: String -> IO (Either LexError [Token])Source

lex a String and process CSP-M include statements.

lexPlain :: String -> Either LexError [Token]Source

lex a String .

removeIgnoredToken :: [Token] -> [Token]Source

Remove comments, whitespaces and unneeded newlines.

tokenIsComment :: Token -> BoolSource

Is the token a line-comment, block-comment or a Pragma?

unicodeTokenString :: Token -> StringSource

Convert a token to a String. If the tokenClasss has a Unicode symbol return the default Unicode string.

asciiTokenString :: Token -> StringSource

Convert a token to a String. If the tokenClasss has a Unicode symbol return the default ASCII string.