MTAResultValidator Member List

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

analyze()	MTAResultValidator
collectCallsiteTargets()	MTAResultValidator	protected
collectCxtThreadTargets()	MTAResultValidator	protected
collectInterleavingTargets()	MTAResultValidator	protected
collectTCTTargets()	MTAResultValidator	protected
csnumToInstMap	MTAResultValidator	private
CXT_THREAD	MTAResultValidator	privatestatic
dumpCxt(const CallStrCxt &cxt) const	MTAResultValidator	protected
dumpInterlev(NodeBS &lev)	MTAResultValidator	protected
getCxtArg(const Instruction *inst, unsigned int arg_num)	MTAResultValidator	protected
getIntArg(const Instruction *inst, unsigned int arg_num)	MTAResultValidator	protected
getOutput(const char *scenario, bool analysisRes)	MTAResultValidator	inlineprotected
getOutputforInterlevAnalysis(const char *scenario, INTERLEV_FLAG analysisRes)	MTAResultValidator	inlineprotected
getPreviousMemoryAccessInst(const Instruction *I)	MTAResultValidator	protected
getStringArg(const Instruction *inst, unsigned int arg_num)	MTAResultValidator	protected
instToTSMap	MTAResultValidator	private
INTERLEV_ACCESS	MTAResultValidator	privatestatic
INTERLEV_FLAG typedef	MTAResultValidator
INTERLEV_IMPRECISE	MTAResultValidator	privatestatic
INTERLEV_TRUE	MTAResultValidator	privatestatic
INTERLEV_UNSOUND	MTAResultValidator	privatestatic
matchCxt(const CallStrCxt cxt1, const CallStrCxt cxt2) const	MTAResultValidator	protected
mhp	MTAResultValidator	private
MTAResultValidator(MHP *mh)	MTAResultValidator	inline
rthdToChildren	MTAResultValidator	private
rthdTovthd	MTAResultValidator	private
split(const std::string &s, char delim, std::vector< std::string > &elems)	MTAResultValidator	protected
split(const std::string &s, char delim)	MTAResultValidator	protected
tcg	MTAResultValidator	private
TCT_ACCESS	MTAResultValidator	privatestatic
tdAPI	MTAResultValidator	private
threadStmtToInterLeaving	MTAResultValidator	private
validateCxtThread()	MTAResultValidator	protected
validateInterleaving()	MTAResultValidator	protected
validateTCT()	MTAResultValidator	protected
vthdToCxt	MTAResultValidator	private
vthdTorthd	MTAResultValidator	private
~MTAResultValidator()	MTAResultValidator	inline