Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
storm::settings::FileValidator Class Reference

#include <ArgumentValidators.h>

Inheritance diagram for storm::settings::FileValidator:
Collaboration diagram for storm::settings::FileValidator:

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
 

Detailed Description

Definition at line 43 of file ArgumentValidators.h.

Member Enumeration Documentation

◆ Mode

Enumerator
Exists 
Writable 

Definition at line 45 of file ArgumentValidators.h.

Constructor & Destructor Documentation

◆ FileValidator()

storm::settings::FileValidator::FileValidator ( Mode  mode)

Definition at line 74 of file ArgumentValidators.cpp.

Member Function Documentation

◆ isValid()

bool storm::settings::FileValidator::isValid ( std::string const value)
overridevirtual

Checks whether the argument passes the validation.

Implements storm::settings::ArgumentValidator< std::string >.

Definition at line 78 of file ArgumentValidators.cpp.

◆ toString()

std::string storm::settings::FileValidator::toString ( ) const
overridevirtual

Retrieves a string representation of the valid values.

Implements storm::settings::ArgumentValidator< std::string >.

Definition at line 102 of file ArgumentValidators.cpp.


The documentation for this class was generated from the following files: