hobbes::ProcManager Class Reference

#include <procman.H>

Inheritance diagram for hobbes::ProcManager:

Collaboration diagram for hobbes::ProcManager:

Public Member Functions
long	spawnedPid (const std::string &)
bool	isSpawnedPid (const std::string &, long) const
bool	satisfied (const TEnvPtr &, const HasField &, Definitions *) const
bool	satisfiable (const TEnvPtr &, const HasField &, Definitions *) const
bool	refine (const TEnvPtr &, const HasField &, MonoTypeUnifier *, Definitions *)
ExprPtr	unqualify (const TEnvPtr &, const ConstraintPtr &, const ExprPtr &, Definitions *) const
std::string	name () const

Private Types
typedef std::map< std::string, proc >	SpawnedProcs

Private Member Functions
const proc &	lp (long) const

Private Attributes
SpawnedProcs	procs

Friends
class	ProcManUnqualify

Member Typedef Documentation

SpawnedProcs

typedef std::map<std::string, proc> hobbes::ProcManager::SpawnedProcs

private

Member Function Documentation

isSpawnedPid()

bool hobbes::ProcManager::isSpawnedPid	(	const std::string &	cmd,
		long	pid
	)		const

lp()

const proc & hobbes::ProcManager::lp ( long  pid ) const

private

name()

std::string hobbes::ProcManager::name ( ) const

virtual

Implements hobbes::HFEliminator.

refine()

bool hobbes::ProcManager::refine ( const TEnvPtr &  tenv, const HasField &  hf, MonoTypeUnifier *  u, Definitions *  ds  )

virtual

Implements hobbes::HFEliminator.

satisfiable()

bool hobbes::ProcManager::satisfiable ( const TEnvPtr &  tenv, const HasField &  hf, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

satisfied()

bool hobbes::ProcManager::satisfied ( const TEnvPtr &  tenv, const HasField &  hf, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

spawnedPid()

long hobbes::ProcManager::spawnedPid

(

const std::string &

cmd

)

unqualify()

ExprPtr hobbes::ProcManager::unqualify ( const TEnvPtr &  tenv, const ConstraintPtr &  cst, const ExprPtr &  e, Definitions *  ds  ) const

virtual

Implements hobbes::HFEliminator.

Friends And Related Function Documentation

ProcManUnqualify

friend class ProcManUnqualify

friend

Member Data Documentation

procs

SpawnedProcs hobbes::ProcManager::procs

private

---

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

• include/hobbes/ipc/procman.H
• lib/hobbes/ipc/prepl.C
• lib/hobbes/ipc/procman.C