RaceResultValidator::AccessPair Class Reference

#include <MTAResultValidator.h>

Public Member Functions
	AccessPair (const Instruction *I1, const Instruction *I2, const RC_FLAG flags)
	Constructor. More...
bool	isFlaged (const RC_FLAG flag) const
	Class member access. More...
const Instruction *	getInstruction1 () const
const Instruction *	getInstruction2 () const

Private Attributes
const Instruction *	I1
const Instruction *	I2
RC_FLAG	flags

Detailed Description

Data structure for recording access pairs for the validation.

Definition at line 167 of file MTAResultValidator.h.

Constructor & Destructor Documentation

AccessPair()

RaceResultValidator::AccessPair::AccessPair ( const Instruction *  I1, const Instruction *  I2, const RC_FLAG  flags  )

inline

Constructor.

Definition at line 171 of file MTAResultValidator.h.

                                        :
            I1(I1), I2(I2), flags(flags)
        {
        }

Member Function Documentation

getInstruction1()

const Instruction* RaceResultValidator::AccessPair::getInstruction1 ( ) const

inline

Definition at line 183 of file MTAResultValidator.h.

        {
            return I1;
        }

getInstruction2()

const Instruction* RaceResultValidator::AccessPair::getInstruction2 ( ) const

inline

Definition at line 187 of file MTAResultValidator.h.

        {
            return I2;
        }

isFlaged()

bool RaceResultValidator::AccessPair::isFlaged ( const RC_FLAG  flag ) const

inline

Class member access.

Definition at line 179 of file MTAResultValidator.h.

        {
            return flags & flag;
        }

Member Data Documentation

flags

RC_FLAG RaceResultValidator::AccessPair::flags

private

Definition at line 196 of file MTAResultValidator.h.

I1

const Instruction* RaceResultValidator::AccessPair::I1

private

Definition at line 194 of file MTAResultValidator.h.

I2

const Instruction* RaceResultValidator::AccessPair::I2

private

Definition at line 195 of file MTAResultValidator.h.

---

The documentation for this class was generated from the following file:

• /home/runner/work/SVF-1/SVF-1/include/MTA/MTAResultValidator.h