CVC3::CLFlag Class Reference

#include <command_line_flags.h>

Collaboration diagram for CVC3::CLFlag:

Collaboration graph
[legend]
List of all members.

Public Member Functions

Private Attributes


Detailed Description

Class CLFlag (for Command Line Flag)

Author: Sergey Berezin

Date: Fri May 30 14:10:48 2003

This class implements a data structure to hold a value of a single command line flag.

Definition at line 53 of file command_line_flags.h.


Constructor & Destructor Documentation

CVC3::CLFlag::CLFlag ( bool  b,
const std::string &  help,
bool  display = true 
) [inline]

Constructor for a boolean flag.

Definition at line 72 of file command_line_flags.h.

References d_data.

CVC3::CLFlag::CLFlag ( int  i,
const std::string &  help,
bool  display = true 
) [inline]

Constructor for an integer flag.

Definition at line 76 of file command_line_flags.h.

References d_data.

CVC3::CLFlag::CLFlag ( const std::string &  s,
const std::string &  help,
bool  display = true 
) [inline]

Constructor for a string flag.

Definition at line 80 of file command_line_flags.h.

References d_data.

CVC3::CLFlag::CLFlag ( const char *  s,
const std::string &  help,
bool  display = true 
) [inline]

Constructor for a string flag from char*.

Definition at line 85 of file command_line_flags.h.

References d_data.

CVC3::CLFlag::CLFlag ( const std::vector< std::pair< std::string, bool > > &  sv,
const std::string &  help,
bool  display = true 
) [inline]

Constructor for a vector flag.

Definition at line 90 of file command_line_flags.h.

References d_data, and sv.

CVC3::CLFlag::CLFlag (  )  [inline]

Default constructor.

Definition at line 96 of file command_line_flags.h.

CVC3::CLFlag::CLFlag ( const CLFlag f  )  [inline]

Copy constructor.

Definition at line 98 of file command_line_flags.h.

References CVC3::CLFLAG_STRING, CVC3::CLFLAG_STRVEC, d_data, d_tp, s, and sv.

CVC3::CLFlag::~CLFlag (  )  [inline]

Destructor.

Definition at line 109 of file command_line_flags.h.

References CVC3::CLFLAG_STRING, CVC3::CLFLAG_STRVEC, d_data, and d_tp.


Member Function Documentation

CLFlag& CVC3::CLFlag::operator= ( const CLFlag f  )  [inline]

Assignment from another flag.

Definition at line 117 of file command_line_flags.h.

References CVC3::CLFLAG_STRING, CVC3::CLFLAG_STRVEC, d_data, d_display, d_help, d_modified, d_tp, s, and sv.

CLFlag& CVC3::CLFlag::operator= ( bool  b  )  [inline]

Assignment of a boolean value.

The flag must already have the right type

Definition at line 148 of file command_line_flags.h.

References CVC3::CLFLAG_BOOL, d_data, d_modified, d_tp, and DebugAssert.

CLFlag& CVC3::CLFlag::operator= ( int  i  )  [inline]

Assignment of an integer value.

The flag must already have the right type

Definition at line 156 of file command_line_flags.h.

References CVC3::CLFLAG_INT, d_data, d_modified, d_tp, and DebugAssert.

CLFlag& CVC3::CLFlag::operator= ( const std::string &  s  )  [inline]

Assignment of a string value.

The flag must already have a string type.

Definition at line 164 of file command_line_flags.h.

References CVC3::CLFLAG_STRING, d_data, d_modified, d_tp, and DebugAssert.

CLFlag& CVC3::CLFlag::operator= ( const char *  s  )  [inline]

Assignment of an string value from char*.

The flag must already have a string type.

Definition at line 172 of file command_line_flags.h.

References CVC3::CLFLAG_STRING, d_data, d_modified, d_tp, and DebugAssert.

CLFlag& CVC3::CLFlag::operator= ( const std::pair< std::string, bool > &  p  )  [inline]

Assignment of a string value with a boolean tag to a vector flag.

The flag must already have a vector type. The pair of <string,bool> will be appended to the vector.

Definition at line 181 of file command_line_flags.h.

References CVC3::CLFLAG_STRVEC, d_data, d_modified, d_tp, and DebugAssert.

CLFlag& CVC3::CLFlag::operator= ( const std::vector< std::pair< std::string, bool > > &  sv  )  [inline]

Assignment of a vector value.

The flag must already have a vector type.

Definition at line 189 of file command_line_flags.h.

References CVC3::CLFLAG_STRVEC, d_data, d_modified, d_tp, DebugAssert, and sv.

CLFlagType CVC3::CLFlag::getType (  )  const [inline]

Return the type of the flag.

Definition at line 197 of file command_line_flags.h.

References d_tp.

Referenced by CVC3::VCCmd::evaluateCommand(), and CVC3::CLFlags::setFlag().

bool CVC3::CLFlag::modified (  )  const [inline]

Return true if the flag was modified from the default value (e.g. set on the command line).

Definition at line 200 of file command_line_flags.h.

References d_modified.

Referenced by CVC3::VCCmd::evaluateCommand().

bool CVC3::CLFlag::display (  )  const [inline]

Return true if flag should be displayed in regular help.

Definition at line 202 of file command_line_flags.h.

References d_display.

const bool& CVC3::CLFlag::getBool (  )  const [inline]

Definition at line 209 of file command_line_flags.h.

References CVC3::CLFLAG_BOOL, d_data, d_tp, and DebugAssert.

const int& CVC3::CLFlag::getInt (  )  const [inline]

Definition at line 214 of file command_line_flags.h.

References CVC3::CLFLAG_INT, d_data, d_tp, and DebugAssert.

const std::string& CVC3::CLFlag::getString (  )  const [inline]

Definition at line 219 of file command_line_flags.h.

References CVC3::CLFLAG_STRING, d_data, d_tp, and DebugAssert.

const std::vector<std::pair<std::string,bool> >& CVC3::CLFlag::getStrVec (  )  const [inline]

Definition at line 225 of file command_line_flags.h.

References CVC3::CLFLAG_STRVEC, d_data, d_tp, and DebugAssert.

const std::string& CVC3::CLFlag::getHelp (  )  const [inline]

Definition at line 231 of file command_line_flags.h.

References d_help.


Member Data Documentation

CLFlagType CVC3::CLFlag::d_tp [private]

Type of the argument.

Definition at line 56 of file command_line_flags.h.

Referenced by CLFlag(), getBool(), getInt(), getString(), getStrVec(), getType(), operator=(), and ~CLFlag().

bool CVC3::CLFlag::b

Definition at line 59 of file command_line_flags.h.

int CVC3::CLFlag::i

Definition at line 60 of file command_line_flags.h.

std::string* CVC3::CLFlag::s

Definition at line 61 of file command_line_flags.h.

Referenced by CLFlag(), and operator=().

std::vector<std::pair<std::string,bool> >* CVC3::CLFlag::sv

Definition at line 62 of file command_line_flags.h.

Referenced by CLFlag(), and operator=().

union { ... } CVC3::CLFlag::d_data [private]

The argument.

Referenced by CLFlag(), getBool(), getInt(), getString(), getStrVec(), operator=(), and ~CLFlag().

bool CVC3::CLFlag::d_modified [private]

This tag is set to true when the flag is assigned a new value.

Definition at line 65 of file command_line_flags.h.

Referenced by modified(), and operator=().

std::string CVC3::CLFlag::d_help [private]

Help string.

Definition at line 67 of file command_line_flags.h.

Referenced by getHelp(), and operator=().

bool CVC3::CLFlag::d_display [private]

Whether to display this flag when user invokes cvc3 -h.

Definition at line 69 of file command_line_flags.h.

Referenced by display(), and operator=().


The documentation for this class was generated from the following file:
Generated on Wed Nov 18 16:14:37 2009 for CVC3 by  doxygen 1.5.2