ROSE  0.11.98.0
Classes | Public Types | Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
Rose::BinaryAnalysis::ModelChecker::WorkerStatus Class Reference

Description

Writes information about workers to a text file for debugging.

Definition at line 16 of file WorkerStatus.h.

#include <Rose/BinaryAnalysis/ModelChecker/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.

Member Function Documentation

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: