EmptyCommands are the residue of a command after the parser handles them (and there's nothing left to do).
More...
|
| EmptyCommand (std::string name="") throw () |
|
| ~EmptyCommand () throw () |
|
std::string | getName () const throw () |
|
void | invoke (SmtEngine *smtEngine) throw () |
|
Command * | exportTo (ExprManager *exprManager, ExprManagerMapCollection &variableMap) |
| Maps this Command into one for a different ExprManager, using variableMap for the translation and extending it with any new mappings. More...
|
|
Command * | clone () const |
| Clone this Command (make a shallow copy). More...
|
|
std::string | getCommandName () const throw () |
|
virtual void | invoke (SmtEngine *smtEngine, std::ostream &out) throw () |
|
virtual void | toStream (std::ostream &out, int toDepth=-1, bool types=false, size_t dag=1, OutputLanguage language=language::output::LANG_AST) const throw () |
|
std::string | toString () const throw () |
|
void | setMuted (bool muted) throw () |
| If false, instruct this Command not to print a success message. More...
|
|
bool | isMuted () throw () |
| Determine whether this Command will print a success message. More...
|
|
bool | ok () const throw () |
| Either the command hasn't run yet, or it completed successfully (CommandSuccess, not CommandUnsupported or CommandFailure). More...
|
|
bool | fail () const throw () |
| The command completed in a failure state (CommandFailure, not CommandSuccess or CommandUnsupported). More...
|
|
const CommandStatus * | getCommandStatus () const throw () |
| Get the command status (it's NULL if we haven't run yet). More...
|
|
virtual void | printResult (std::ostream &out, uint32_t verbosity=2) const throw () |
|
EmptyCommands are the residue of a command after the parser handles them (and there's nothing left to do).
Definition at line 282 of file command.h.
This field contains a command status if the command has been invoked, or NULL if it has not.
This field is either a dynamically-allocated pointer, or it's a pointer to the singleton CommandSuccess instance. Doing so is somewhat asymmetric, but it avoids the need to dynamically allocate memory in the common case of a successful command.
Definition at line 194 of file command.h.