Safe Haskell | Safe-Inferred |
---|
- 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
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 |
Show Command |
parseCommandLine :: String -> Either ParseError CommandSource
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.
commandStrings :: [String]Source
expectedMessage :: Message -> Maybe StringSource
unexpectedMessage :: Message -> Maybe StringSource
errorMessages :: ParseError -> [Message]
Extracts the list of error messages from the parse error