|
Storm 1.11.1.1
A Modern Probabilistic Model Checker
|
#include <ArgumentValidators.h>


Public Types | |
| enum class | Mode { Exists , Writable } |
Public Member Functions | |
| FileValidator (Mode mode) | |
| virtual bool | isValid (std::string const &value) override |
| Checks whether the argument passes the validation. | |
| virtual std::string | toString () const override |
| Retrieves a string representation of the valid values. | |
Public Member Functions inherited from storm::settings::ArgumentValidator< std::string > | |
| virtual | ~ArgumentValidator ()=default |
Definition at line 43 of file ArgumentValidators.h.
|
strong |
| Enumerator | |
|---|---|
| Exists | |
| Writable | |
Definition at line 45 of file ArgumentValidators.h.
| storm::settings::FileValidator::FileValidator | ( | Mode | mode | ) |
Definition at line 74 of file ArgumentValidators.cpp.
|
overridevirtual |
Checks whether the argument passes the validation.
Implements storm::settings::ArgumentValidator< std::string >.
Definition at line 78 of file ArgumentValidators.cpp.
|
overridevirtual |
Retrieves a string representation of the valid values.
Implements storm::settings::ArgumentValidator< std::string >.
Definition at line 102 of file ArgumentValidators.cpp.