Generated on Mon Aug 25 11:35:48 2008 for Gecode by doxygen 1.5.6

FileNameOptions Class Reference

Inherits Options.

List of all members.


Detailed Description

Options for examples with additional file name parameter.

Definition at line 47 of file javascript.cc.


Public Member Functions

 FileNameOptions (const char *n)
 Initialize options for example with name n.
virtual void help (void)
 Print help text.
void parse (int &argc, char *argv[])
 Parse options from arguments argv (number is argc).
void file (const char *f)
 Set file name.
const char * file (void) const
 Return file name.

Protected Attributes

const char * _file
 File name value.

Constructor & Destructor Documentation

FileNameOptions::FileNameOptions ( const char *  n  ) 

Initialize options for example with name n.

Definition at line 72 of file javascript.cc.


Member Function Documentation

void FileNameOptions::help ( void   )  [virtual]

Print help text.

Reimplemented from Options.

Definition at line 76 of file javascript.cc.

void FileNameOptions::parse ( int &  argc,
char *  argv[] 
)

Parse options from arguments argv (number is argc).

Reimplemented from Options.

Definition at line 83 of file javascript.cc.

void FileNameOptions::file ( const char *  f  )  [inline]

Set file name.

Definition at line 65 of file javascript.cc.

const char * FileNameOptions::file ( void   )  const [inline]

Return file name.

Definition at line 68 of file javascript.cc.


Member Data Documentation

const char* FileNameOptions::_file [protected]

File name value.

Definition at line 49 of file javascript.cc.


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