| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Clafer.IG.CommandLineParser
- data Command
- = Next
- | IncreaseGlobalScope Integer
- | IncreaseScope String Integer
- | SetGlobalScope Integer
- | SetScope String Integer
- | SetBitwidth Integer
- | SetMaxInt Integer
- | Save
- | Quit
- | Reload
- | Help
- | Find String
- | ShowScopes
- | SaveScopes
- | LoadScopes
- | ShowClaferModel
- | ShowAlloyModel
- | ShowAlloyInstance
- | SetUnsatCoreMinimization UnsatCoreMinimization
- data UnsatCoreMinimization
- parseCommandLine :: String -> Either ParseError Command
- parseCommandLineAutoComplete :: String -> ParseError
- commandStrings :: [String]
- expectedMessage :: Message -> Maybe String
- unexpectedMessage :: Message -> Maybe String
- errorMessages :: ParseError -> [Message]
Documentation
Interactive session commands
Constructors
data UnsatCoreMinimization Source
Instances
parseCommandLineAutoComplete :: String -> ParseError Source
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.
commandStrings :: [String] Source
expectedMessage :: Message -> Maybe String Source
errorMessages :: ParseError -> [Message]
Extracts the list of error messages from the parse error