Option.h

Go to the documentation of this file.

// 
//     Minotaur -- It's only 1/2 bull
// 
//     (C)opyright 2008 - 2025 The Minotaur Team.
// 
 
#ifndef MINOTAUR_OPTIONS
#define MINOTAUR_OPTIONS
 
#include <string>
 
#include "Types.h"
 
namespace Minotaur {
  template <class T> class Option {
  public:
    Option(const std::string& name, const std::string& desc, 
           bool is_known=false, T val=0);
 
    virtual ~Option();
 
    virtual void setValue(T val) { val_ = val; return; };
 
    virtual T getValue() { return val_; };
 
    virtual const std::string & getName();
 
    virtual const std::string & getDesc();
 
    virtual bool wasEverUsed() {return everUsed_;};
 
    virtual void setUsedFlag(const bool &used_flag) {everUsed_ = used_flag;};
 
    virtual bool isKnown() {return isKnown_;};
 
    virtual void setKnownFlag(const bool &known_flag) 
    {isKnown_ = known_flag;};
 
    virtual void write(std::ostream &out) const;
 
  protected:
    std::string name_;
 
    std::string desc_;
 
    T val_;
 
    bool everUsed_;
 
    bool isKnown_;
 
  private:
    Option (const Option<T> &o);
 
    Option  & operator = (const Option<T> &o);
  };
 
 
  class OptionDB {
  public:
    OptionDB();
 
    ~OptionDB();
 
    void insert(BoolOptionPtr option, bool is_flag=false);
 
    void insert(IntOptionPtr option);
 
    void insert(DoubleOptionPtr option);
 
    void insert(StringOptionPtr option);
 
    BoolOptionPtr findBool(const std::string &name);
 
    IntOptionPtr findInt(const std::string &name);
 
    DoubleOptionPtr findDouble(const std::string &name);
 
    StringOptionPtr findString(const std::string &name);
 
    FlagOptionPtr findFlag(const std::string &name);
 
    UInt remove(const std::string &name);
 
    BoolOptionSetIter boolBegin();
 
    BoolOptionSetIter boolEnd();
 
    IntOptionSetIter intBegin();
 
    IntOptionSetIter intEnd();
 
    DoubleOptionSetIter dblBegin();
 
    DoubleOptionSetIter dblEnd();
 
    StringOptionSetIter strBegin();
 
    StringOptionSetIter strEnd();
 
    FlagOptionSetIter flagBegin();
 
    FlagOptionSetIter flagEnd();
 
    void write(std::ostream &out) const;
 
  private:
    BoolOptionSet boolOps_;
 
    IntOptionSet intOps_;
 
    DoubleOptionSet doubleOps_;
 
    StringOptionSet stringOps_;
 
    FlagOptionSet flagOps_;
  };
  typedef OptionDB* OptionDBPtr;
}
 
#endif