LibProc Class Reference

#include <include/proc.h>

Inheritance diagram for LibProc:

Proc List of all members.

Detailed Description

Definition at line 264 of file proc.h.

Public Member Functions

void getInternalStatements (StatementList &internal)
virtual ExpgetPremised (Exp *left)
virtual ExpgetProven (Exp *left)
bool isLib ()
 Return true, since is a library proc.
virtual bool isNoReturn ()
 Return true if this procedure doesn't return.
virtual bool isPreserved (Exp *e)
 Return whether e is preserved by this proc.
 LibProc (Prog *prog, std::string &name, ADDRESS address)
virtual ~LibProc ()

Protected Member Functions

 LibProc ()

Friends

class XMLProgParser


Constructor & Destructor Documentation

LibProc::LibProc Prog prog,
std::string &  name,
ADDRESS  address
 

Definition at line 381 of file proc.cpp.

References Prog::getLibSignature(), Proc::prog, and Proc::signature.

LibProc::~LibProc  )  [virtual]
 

Definition at line 386 of file proc.cpp.

LibProc::LibProc  )  [inline, protected]
 

Definition at line 290 of file proc.h.


Member Function Documentation

void LibProc::getInternalStatements StatementList internal  ) 
 

virtual Exp* LibProc::getPremised Exp left  )  [inline, virtual]
 

Implements Proc.

Definition at line 278 of file proc.h.

References NULL.

Exp * LibProc::getProven Exp left  )  [virtual]
 

Implements Proc.

Definition at line 400 of file proc.cpp.

References Signature::getProven(), and Proc::signature.

bool LibProc::isLib  )  [inline, virtual]
 

Return true, since is a library proc.

Reimplemented from Proc.

Definition at line 273 of file proc.h.

bool LibProc::isNoReturn  )  [virtual]
 

Return true if this procedure doesn't return.

Implements Proc.

Definition at line 135 of file proc.cpp.

References Proc::getName(), and FrontEnd::noReturnCallDest().

bool LibProc::isPreserved Exp e  )  [virtual]
 

Return whether e is preserved by this proc.

Implements Proc.

Definition at line 405 of file proc.cpp.

References Signature::isPreserved(), and Proc::signature.


Friends And Related Function Documentation

friend class XMLProgParser [friend]
 

Reimplemented from Proc.

Definition at line 289 of file proc.h.


The documentation for this class was generated from the following files:
Generated on Tue Sep 19 21:18:43 2006 for Boomerang by  doxygen 1.4.6