| Safe Haskell | Safe-Inferred |
|---|
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
| 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 |
Instances
| Show Command |
data UnsatCoreMinimization Source
Instances
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