Public Member Functions | |
void | testInvariant () const |
ProofDriver () | |
void | removePar () const |
Public Attributes | |
bool | returnFiles |
std::string | proofMaster |
description: the name of the proof server, if we have one | |
unsigned | numWorkers |
std::string | makeParOptions |
description: the options to pass to make_par.sh | |
SH::MetaObject | proofParm |
description: the parameters to pass to proof | |
Static Public Attributes | |
static const std::string | queryResultName |
static const std::string | optionParFile |
description: the option for the name of the par file |
EL::ProofDriver::ProofDriver | ( | ) |
effects: standard default constructor guarantee: strong failures: low level errors I
void EL::ProofDriver::removePar | ( | ) | const |
effects: remove the current .par file from the PROOF master guarantee: basic failures: out of memory II failures: PROOF errors rationale: this allows to remove the package in case we have made deep changes that mean incremental updates are not possible
void EL::ProofDriver::testInvariant | ( | ) | const |
effects: test the invariant of this object guarantee: no-fail
Reimplemented from EL::Driver.
unsigned EL::ProofDriver::numWorkers |
description: the maximum number of workers to use rationale: for short jobs you may not want to use the entire proof cluster, since setting it up can take some time
const std::string EL::ProofDriver::queryResultName [static] |
description: the name of the query result object in the histogram file
description: whether we want to return the data files to the submission node instead of creating a PROOF dataset. rationale: this is to be used for PROOF-lite running