00001 // 00002 // Copyright 2004 P&P Software GmbH - All Rights Reserved 00003 // 00004 // CriticalTelecommand.h 00005 // 00006 // Version 1.0 00007 // Date 20.06.03 00008 // Author A. Pasetti (P&P Software), R. Totaro 00009 00010 #ifndef CriticalTelecommandH 00011 #define CriticalTelecommandH 00012 00013 #include "../GeneralInclude/ForwardDeclarations.h" 00014 #include "../GeneralInclude/BasicTypes.h" 00015 #include "../Telecommand/Telecommand.h" 00016 00080 class CriticalTelecommand : public Telecommand { 00081 private: 00082 TD_ObsTime maxArmedDuration; 00083 TD_ObsTime timeWhenArmed; 00084 ObsClock* pObsClock; 00085 bool isTcCritical; 00086 bool isTcArmed; 00087 00088 protected: 00089 00117 virtual TD_ActionOutcome doAction(void); 00118 00131 virtual TD_ActionOutcome doCriticalAction(void) = 0; 00132 00133 public: 00140 CriticalTelecommand(void); 00141 00146 void reset(void); 00147 00152 bool isCritical(void); 00153 00161 void setCriticalityLevel(bool isCritical); 00162 00169 bool isArmed(void); 00170 00178 virtual bool isImageValid(void); 00179 00186 virtual void storeImage(void); 00187 00193 void setMaxArmedDuration(TD_ObsTime t); 00194 00199 TD_ObsTime getMaxArmedDuration(void); 00200 00206 TD_ObsTime getTimeWhenArmed(void); 00207 00213 void setObsClock(ObsClock* pObsClock); 00214 00220 ObsClock* getObsClock(void) const; 00221 00243 virtual bool canExecute(void); 00244 00251 virtual bool isObjectConfigured(void); 00252 }; 00253 00254 #endif