Public Member Functions | |
void | testInvariant () const |
ProofWorker (const SH::MetaObject *val_metaData, TList *output, ProofTSelector *selector) | |
Friends | |
class | ProofTSelector |
EL::ProofWorker::ProofWorker | ( | const SH::MetaObject * | val_metaData, | |
TList * | output, | |||
ProofTSelector * | selector | |||
) |
effects: standard constructor guarantee: strong failures: low level errors I requires: val_metaData != 0 requires: output != 0 requires: input != 0 requires: selector != 0
void EL::ProofWorker::testInvariant | ( | ) | const |
effects: test the invariant of this object guarantee: no-fail
Reimplemented from EL::Worker.
friend class ProofTSelector [friend] |
rationale: I split this into two classes, because TSelector needs to be serializable and Worker is not.