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 Exp * getPremised (Exp *left)
virtual Exp * getProven (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