SVF::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
	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 177 of file MTAResultValidator.h.

Constructor & Destructor Documentation

AccessPair() [1/2]

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

inline

Constructor.

Definition at line 181 of file MTAResultValidator.h.

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

AccessPair() [2/2]

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

inline

Constructor.

Definition at line 180 of file MTAResultValidator.h.

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

Member Function Documentation

getInstruction1() [1/2]

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

inline

Definition at line 193 of file MTAResultValidator.h.

        {
            return I1;
        }

getInstruction1() [2/2]

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

inline

Definition at line 192 of file MTAResultValidator.h.

        {
            return I1;
        }

getInstruction2() [1/2]

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

inline

Definition at line 197 of file MTAResultValidator.h.

        {
            return I2;
        }

getInstruction2() [2/2]

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

inline

Definition at line 196 of file MTAResultValidator.h.

        {
            return I2;
        }

isFlaged() [1/2]

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

inline

Class member access.

Definition at line 189 of file MTAResultValidator.h.

        {
            return flags & flag;
        }

isFlaged() [2/2]

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

inline

Class member access.

Definition at line 188 of file MTAResultValidator.h.

        {
            return flags & flag;
        }

Member Data Documentation

flags

RC_FLAG SVF::RaceResultValidator::AccessPair::flags

private

Definition at line 206 of file MTAResultValidator.h.

I1

const Instruction * SVF::RaceResultValidator::AccessPair::I1

private

Definition at line 204 of file MTAResultValidator.h.

I2

const Instruction * SVF::RaceResultValidator::AccessPair::I2

private

Definition at line 205 of file MTAResultValidator.h.

---

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

• /home/runner/work/SVF/SVF/svf-llvm/tools/MTA/MTAResultValidator.h