CVC3  2.4.1
Public Member Functions | Private Types | Private Member Functions | Private Attributes
CVC3::CLFlags Class Reference

#include <command_line_flags.h>

List of all members.

Public Member Functions

void addFlag (const std::string &name, const CLFlag &f)
size_t countFlags (const std::string &name) const
size_t countFlags (const std::string &name, std::vector< std::string > &names) const
const CLFlaggetFlag (const std::string &name) const
const CLFlagoperator[] (const std::string &name) const
void setFlag (const std::string &name, const CLFlag &f)
void setFlag (const std::string &name, bool b)
void setFlag (const std::string &name, int i)
void setFlag (const std::string &name, const std::string &s)
void setFlag (const std::string &name, const char *s)
void setFlag (const std::string &name, const std::pair< std::string, bool > &p)
void setFlag (const std::string &name, const std::vector< std::pair< std::string, bool > > &sv)

Private Types

typedef std::map< std::string,
CLFlag
CharMap

Private Member Functions

CLFlaggetFlag0 (const std::string &name)

Private Attributes

CharMap d_map

Detailed Description

Definition at line 246 of file command_line_flags.h.


Member Typedef Documentation

typedef std::map<std::string, CLFlag> CVC3::CLFlags::CharMap
private

Definition at line 248 of file command_line_flags.h.


Member Function Documentation

CLFlag& CVC3::CLFlags::getFlag0 ( const std::string &  name)
inlineprivate

Definition at line 255 of file command_line_flags.h.

References d_map, and DebugAssert.

Referenced by setFlag().

void CVC3::CLFlags::addFlag ( const std::string &  name,
const CLFlag f 
)
inline

Definition at line 263 of file command_line_flags.h.

References d_map.

Referenced by CVC3::ValidityChecker::createFlags().

size_t CVC3::CLFlags::countFlags ( const std::string &  name) const
inline

Definition at line 267 of file command_line_flags.h.

References d_map.

Referenced by CVC3::VCCmd::evaluateCommand(), parse_args(), and printUsage().

size_t CVC3::CLFlags::countFlags ( const std::string &  name,
std::vector< std::string > &  names 
) const
inline

Definition at line 276 of file command_line_flags.h.

References d_map.

const CLFlag& CVC3::CLFlags::getFlag ( const std::string &  name) const
inline

Definition at line 290 of file command_line_flags.h.

References d_map, and DebugAssert.

Referenced by operator[]().

const CLFlag& CVC3::CLFlags::operator[] ( const std::string &  name) const
inline

Definition at line 296 of file command_line_flags.h.

References getFlag().

void CVC3::CLFlags::setFlag ( const std::string &  name,
const CLFlag f 
)
inline
void CVC3::CLFlags::setFlag ( const std::string &  name,
bool  b 
)
inline

Definition at line 310 of file command_line_flags.h.

References getFlag0().

void CVC3::CLFlags::setFlag ( const std::string &  name,
int  i 
)
inline

Definition at line 311 of file command_line_flags.h.

References getFlag0().

void CVC3::CLFlags::setFlag ( const std::string &  name,
const std::string &  s 
)
inline

Definition at line 312 of file command_line_flags.h.

References getFlag0().

void CVC3::CLFlags::setFlag ( const std::string &  name,
const char *  s 
)
inline

Definition at line 314 of file command_line_flags.h.

References getFlag0().

void CVC3::CLFlags::setFlag ( const std::string &  name,
const std::pair< std::string, bool > &  p 
)
inline

Definition at line 316 of file command_line_flags.h.

References getFlag0().

void CVC3::CLFlags::setFlag ( const std::string &  name,
const std::vector< std::pair< std::string, bool > > &  sv 
)
inline

Definition at line 318 of file command_line_flags.h.

References getFlag0().


Member Data Documentation

CharMap CVC3::CLFlags::d_map
private

Definition at line 249 of file command_line_flags.h.

Referenced by addFlag(), countFlags(), getFlag(), and getFlag0().


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