ArgumentBase.h

Go to the documentation of this file.

#pragma once
 
#include <cstdint>
#include <iostream>
#include <string>
 
#include "storm/settings/ArgumentType.h"
 
namespace storm {
namespace settings {

class ArgumentBase {
   public:
    ArgumentBase(std::string const& name, std::string const& description) : hasBeenSet(false), name(name), description(description) {
        // Intentionally left empty.
    }
 
    virtual ~ArgumentBase() = default;

    virtual ArgumentType getType() const = 0;

    virtual bool getIsOptional() const = 0;

    std::string const& getName() const {
        return this->name;
    }

    std::string const& getDescription() const {
        return this->description;
    }

    virtual bool getHasDefaultValue() const = 0;

    virtual bool getHasBeenSet() const {
        return this->hasBeenSet;
    }

    virtual void setFromDefaultValue() = 0;
 
    virtual bool wasSetFromDefaultValue() const = 0;

    virtual bool setFromStringValue(std::string const& stringValue) = 0;

    virtual std::string getValueAsString() const = 0;

    virtual int_fast64_t getValueAsInteger() const = 0;

    virtual uint_fast64_t getValueAsUnsignedInteger() const = 0;

    virtual double getValueAsDouble() const = 0;

    virtual bool getValueAsBoolean() const = 0;

    virtual void printToStream(std::ostream& out) const = 0;
 
    friend std::ostream& operator<<(std::ostream& out, ArgumentBase const& argument);
 
   protected:
    // A flag indicating whether the argument has been set.
    bool hasBeenSet;
 
    // The name of the argument.
    std::string name;
 
    // The description of the argument.
    std::string description;

    template<typename TargetType>
    static TargetType convertFromString(std::string const& valueAsString, bool& conversionSuccessful);

    template<typename ValueType>
    static std::string convertToString(ValueType const& value);
};
}  // namespace settings
}  // namespace storm