#include <include/proc.h>
Inheritance diagram for LibProc:
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 |
|
Definition at line 381 of file proc.cpp. References Prog::getLibSignature(), Proc::prog, and Proc::signature. |
|
|
|
|
|
|
|
Implements Proc. Definition at line 278 of file proc.h. References NULL. |
|
Implements Proc. Definition at line 400 of file proc.cpp. References Signature::getProven(), and Proc::signature. |
|
Return true, since is a library proc.
Reimplemented from Proc. |
|
Return true if this procedure doesn't return.
Implements Proc. Definition at line 135 of file proc.cpp. References Proc::getName(), and FrontEnd::noReturnCallDest(). |
|
Return whether e is preserved by this proc.
Implements Proc. Definition at line 405 of file proc.cpp. References Signature::isPreserved(), and Proc::signature. |
|
Reimplemented from Proc. |