CSPM-Frontend-0.6.8.0: 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 .

filterIgnoredToken :: [Token] -> [Token]Source

Remove comments and unneeded newlines.

tokenIsComment :: Token -> BoolSource

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