#include <Fault.h>

Inheritance diagram for etiss::fault::Fault:

Collaboration diagram for etiss::fault::Fault:

[legend]

Public Member Functions
std::string	toString () const
	operator<< can be used.

void	resolveTime (uint64_t time)
	Resolves time for all its Triggers.

bool	isResoved () const
	check all Triggers if they are resolved.

	Fault ()
	Constructor: Generates a new Fault with unique ID.

	Fault (int nullid)

Public Member Functions inherited from etiss::ToString
	ToString ()

virtual	~ToString ()

Public Attributes
std::string	name_

int32_t	id_

std::vector< Trigger >	triggers
	contains the triggers for this fault

std::vector< Action >	actions
	contains the actions for this fault

Detailed Description

Definition at line 45 of file Fault.h.

Constructor & Destructor Documentation

◆ Fault() [1/2]

etiss::fault::Fault::Fault ( )

Constructor: Generates a new Fault with unique ID.

Definition at line 227 of file Fault.cpp.

References etiss::log(), and etiss::VERBOSE.

Here is the call graph for this function:

◆ Fault() [2/2]

etiss::fault::Fault::Fault ( int nullid )

Definition at line 232 of file Fault.cpp.

Member Function Documentation

◆ isResoved()

bool etiss::fault::Fault::isResoved ( ) const

check all Triggers if they are resolved.

Definition at line 259 of file Fault.cpp.

References triggers.

◆ resolveTime()

void etiss::fault::Fault::resolveTime ( uint64_t time )

Resolves time for all its Triggers.

Definition at line 251 of file Fault.cpp.

References etiss::log(), triggers, and etiss::VERBOSE.

Here is the call graph for this function:

◆ toString()

std::string etiss::fault::Fault::toString ( ) const

operator<< can be used.

Definition at line 234 of file Fault.cpp.

Referenced by etiss::fault::Stressor::addFault(), etiss::fault::Stressor::addFaultDefinition(), and etiss::fault::Stressor::removeFault().

Here is the caller graph for this function:

Member Data Documentation

◆ actions

std::vector<Action> etiss::fault::Fault::actions

contains the actions for this fault

Definition at line 60 of file Fault.h.

Referenced by etiss::fault::Stressor::addFault().

◆ id_

int32_t etiss::fault::Fault::id_

Attention: negative ids are reserved

Definition at line 58 of file Fault.h.

Referenced by etiss::VirtualStruct::Field::_applyAction(), etiss::fault::Stressor::addFault(), etiss::fault::Stressor::addFaultDefinition(), and etiss::fault::Stressor::removeFault().

◆ name_

std::string etiss::fault::Fault::name_

Definition at line 57 of file Fault.h.

Referenced by etiss::fault::FaultRef::is_set().

◆ triggers

std::vector<Trigger> etiss::fault::Fault::triggers

contains the triggers for this fault

Definition at line 59 of file Fault.h.

Referenced by etiss::fault::Stressor::addFault(), isResoved(), etiss::fault::Stressor::removeFault(), and resolveTime().

The documentation for this class was generated from the following files:

/home/runner/work/etiss/etiss/include/etiss/fault/Fault.h
/home/runner/work/etiss/etiss/src/fault/Fault.cpp

Public Member Functions

Public Attributes