Language.Clafer.IG.CommandLineParser

Documentation

data Command

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

Methods

showsPrec :: Int -> Command -> ShowS

show :: Command -> String

showList :: [Command] -> ShowS

data UnsatCoreMinimization

Constructors

Fastest

Medium

Best

Instances

Show UnsatCoreMinimization

Methods

showsPrec :: Int -> UnsatCoreMinimization -> ShowS

show :: UnsatCoreMinimization -> String

showList :: [UnsatCoreMinimization] -> ShowS

parseCommandLine :: String -> Either ParseError Command

parseCommandLineAutoComplete :: String -> ParseError

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]

expectedMessage :: Message -> Maybe String

unexpectedMessage :: Message -> Maybe String

errorMessages :: ParseError -> [Message]

Extracts the list of error messages from the parse error