Conjecture::System Class Reference

#include <System.h>

Inheritance diagram for Conjecture::System:

Conjecture::Root List of all members.

Detailed Description

Interface to system-related functionality.

*****************************************************************

Must try to make this work on all platforms!


Static Public Member Functions

static bool Mkdir (const std::string &dirpath)
static bool Mkpath (const std::string &filepath)
static bool ShellCommand (const std::string &command)


Member Function Documentation

static bool Conjecture::System::Mkdir const std::string &  dirpath  )  [static]
 

Ensure that a directory with given path exists. Create if necessary.

If 'dirpath' is not absolute, the directory created is relative to the current directory.

Returns true if it already exists or creation was successful, false on error.

static bool Conjecture::System::Mkpath const std::string &  filepath  )  [static]
 

Ensure that a directory for the file specified in path exists. Create if necessary.

The 'path' is assumed to specify a file (which may or may not exist). This method ensures that the directory within which this file resides exists (creating if necessary).

Returns true if it already exists or creation was successful, false on error.

static bool Conjecture::System::ShellCommand const std::string &  command  )  [static]
 

Execute the given command in a sub-shell.

Returns true if the subshell process exits with a 0, false otherwise. Handling of errors is handled by the function itself.


The documentation for this class was generated from the following files:
Generated on Thu Jun 15 19:56:12 2006 for Conjecture by  doxygen 1.4.6