claferIG-0.3.7: claferIG is an interactive tool that generates instances of Clafer models.

Safe HaskellSafe-Inferred

Language.Clafer.IG.CommandLineParser

Synopsis

Documentation

data Command Source

Interactive session commands

Instances

Show Command 

parseCommandLineAutoComplete :: String -> ParseErrorSource

This function uses the expected/unexpected messages to understand what to autocomplete. Any unexpected character means parse did not reach the end of the input, hence cannot autocomplete.

expectedMessage :: Message -> Maybe StringSource

unexpectedMessage :: Message -> Maybe StringSource

errorMessages :: ParseError -> [Message]

Extracts the list of error messages from the parse error