Description

Writes information about workers to a text file for debugging.

Definition at line 16 of file WorkerStatus.h.

Public Types
using	Ptr = WorkerStatusPtr
	Shared ownership pointer. More...

Public Member Functions
void	insert (size_t workerIdx, const Progress::Ptr &)
	Create a new worker. More...

void	setState (size_t workerIdx, WorkerState)
	Change the state of a worker. More...

const boost::filesystem::path &	fileName () const
	Name of file to which status is written. More...

void	updateFile ()
	Update the file if enough time has elapsed since the prior update. More...

void	updateFileNow ()
	Update file now regardless of how much time has elapsed since prior update. More...

Static Public Member Functions
static Ptr	instance (const boost::filesystem::path &fileName)
	Allocating constructor. More...

Protected Member Functions
	WorkerStatus (const boost::filesystem::path &fileName)

Member Typedef Documentation

Shared ownership pointer.

Definition at line 19 of file WorkerStatus.h.

static Ptr Rose::BinaryAnalysis::ModelChecker::WorkerStatus::instance ( const boost::filesystem::path & fileName )

static

Allocating constructor.

void Rose::BinaryAnalysis::ModelChecker::WorkerStatus::insert	(	size_t	workerIdx,
		const Progress::Ptr &
	)

Create a new worker.

The workerIdx should be a small integer. Workers are numbered consecutively starting at zero.

void Rose::BinaryAnalysis::ModelChecker::WorkerStatus::setState	(	size_t	workerIdx,
		WorkerState
	)

Change the state of a worker.

const boost::filesystem::path& Rose::BinaryAnalysis::ModelChecker::WorkerStatus::fileName ( ) const

Name of file to which status is written.

void Rose::BinaryAnalysis::ModelChecker::WorkerStatus::updateFile ( )

Update the file if enough time has elapsed since the prior update.

void Rose::BinaryAnalysis::ModelChecker::WorkerStatus::updateFileNow ( )

Update file now regardless of how much time has elapsed since prior update.

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