Proc Member List

This is the complete list of members for Proc, including all inherited members.

addCaller(CallStatement *caller)	Proc	[inline]
addCallers(std::set< UserProc * > &callers)	Proc
address	Proc	[protected]
callerSet	Proc	[protected]
clearVisited()	Proc	[inline]
cluster	Proc	[protected]
getCallers()	Proc	[inline]
getCluster()	Proc	[inline]
getFirstCaller()	Proc
getName()	Proc
getNativeAddress()	Proc
getParamTypeList(const std::list< Exp * > &actuals)	Proc
getPremised(Exp *left)=0	Proc	[pure virtual]
getProg()	Proc	[inline]
getProven(Exp *left)=0	Proc	[pure virtual]
getSignature()	Proc	[inline]
isLib()	Proc	[inline, virtual]
isNoReturn()=0	Proc	[pure virtual]
isPreserved(Exp *e)=0	Proc	[pure virtual]
isVisited()	Proc	[inline]
m_firstCaller	Proc	[protected]
m_firstCallerAddr	Proc	[protected]
matchParams(std::list< Exp * > &actuals, UserProc &caller)	Proc
operator<<(std::ostream &os, Proc &proc)	Proc	[friend]
printCallGraphXML(std::ostream &os, int depth, bool recurse=true)	Proc	[virtual]
printDetailsXML()	Proc
Proc(Prog *prog, ADDRESS uNative, Signature *sig)	Proc
Proc()	Proc	[inline, protected]
prog	Proc	[protected]
provenTrue	Proc	[protected]
recurPremises	Proc	[protected]
removeParameter(Exp *e)	Proc
removeReturn(Exp *e)	Proc	[virtual]
renameParam(const char *oldName, const char *newName)	Proc	[virtual]
setCluster(Cluster *c)	Proc	[inline]
setFirstCaller(Proc *p)	Proc	[inline]
setName(const char *nam)	Proc
setNativeAddress(ADDRESS a)	Proc
setProg(Prog *p)	Proc	[inline]
setProvenTrue(Exp *fact)	Proc
setSignature(Signature *sig)	Proc	[inline]
signature	Proc	[protected]
visited	Proc	[protected]
XMLProgParser class	Proc	[friend]
~Proc()	Proc	[virtual]

---