52 #ifndef ETISS_FAULT_FAULT_H_
53 #define ETISS_FAULT_FAULT_H_
76 #define MUTEX_SUPPORTED CXX0X_UP_SUPPORTED
106 bool parseXML(std::vector<Fault> &vec, std::istream &input, std::ostream &diagnostics_out = std::cout);
108 bool writeXML(
const std::vector<Fault> &vec, std::ostream &out, std::ostream &diagnostics_out = std::cout);
contains an action class that describes actions associated with a fault
contains general definitions used by other fault library code
contains the Trigger class that defines conditions under which actions of a Fault need to be applied.
contains XML related functions.
static __inline__ uint64_t
static __inline__ int32_t
Marker interface for toString() support.
bool isResoved() const
check all Triggers if they are resolved.
Fault()
Constructor: Generates a new Fault with unique ID.
std::string toString() const
operator<< can be used.
void resolveTime(uint64_t time)
Resolves time for all its Triggers.
std::vector< Trigger > triggers
contains the triggers for this fault
std::vector< Action > actions
contains the actions for this fault
Page Table Entry (PTE) defines the composition of Page Frame Number (PFN) and relavant flags.