00001 #ifndef EVENT_LOOP_PROOF_WORKER_HH
00002 #define EVENT_LOOP_PROOF_WORKER_HH
00003
00004
00005
00006
00007
00008
00009
00010
00011
00012
00016
00017
00018
00019 #include <EventLoop/Global.h>
00020
00021 #include <string>
00022 #include <EventLoop/Worker.h>
00023 #include <SampleHandler/SamplePtr.h>
00024
00025 namespace EL
00026 {
00027 class ProofWorker : public Worker
00028 {
00029
00030
00031
00032
00035 public:
00036 void testInvariant () const;
00037
00038
00046 public:
00047 ProofWorker (const SH::MetaObject *val_metaData, TList *output,
00048 ProofTSelector *selector);
00049
00050
00051
00052
00053
00054
00055
00056
00057
00058
00059
00060
00061
00064 friend class ProofTSelector;
00065
00067 private:
00068 ProofTSelector *m_selector;
00069 };
00070 }
00071
00072 #endif