SVF::SVFGNodeLockSpan Class Reference

#include <FSMPTA.h>

Public Member Functions
	SVFGNodeLockSpan (const StmtSVFGNode *SVFGnode, LockAnalysis::LockSpan lockspan)
virtual	~SVFGNodeLockSpan ()
bool	operator< (const SVFGNodeLockSpan &rhs) const
SVFGNodeLockSpan &	operator= (const SVFGNodeLockSpan &rhs)
bool	operator== (const SVFGNodeLockSpan &rhs) const
bool	operator!= (const SVFGNodeLockSpan &rhs) const
const StmtSVFGNode *	getSVFGNode () const
const LockAnalysis::LockSpan	getLockSpan () const

Private Attributes
const StmtSVFGNode *	SVFGNode
LockAnalysis::LockSpan	lockSpan

Detailed Description

Definition at line 51 of file FSMPTA.h.

Constructor & Destructor Documentation

SVFGNodeLockSpan()

SVF::SVFGNodeLockSpan::SVFGNodeLockSpan ( const StmtSVFGNode *  SVFGnode, LockAnalysis::LockSpan  lockspan  )

inline

Definition at line 54 of file FSMPTA.h.

                                                                                  :
        SVFGNode(SVFGnode), lockSpan(lockspan) {}

~SVFGNodeLockSpan()

virtual SVF::SVFGNodeLockSpan::~SVFGNodeLockSpan ( )

inlinevirtual

Definition at line 56 of file FSMPTA.h.

{}

Member Function Documentation

getLockSpan()

const LockAnalysis::LockSpan SVF::SVFGNodeLockSpan::getLockSpan ( ) const

inline

Definition at line 85 of file FSMPTA.h.

    {
        return lockSpan;
    }

getSVFGNode()

const StmtSVFGNode* SVF::SVFGNodeLockSpan::getSVFGNode ( ) const

inline

Definition at line 81 of file FSMPTA.h.

    {
        return SVFGNode;
    }

operator!=()

bool SVF::SVFGNodeLockSpan::operator!= ( const SVFGNodeLockSpan &  rhs ) const

inline

Definition at line 77 of file FSMPTA.h.

    {
        return !(*this == rhs);
    }

operator<()

bool SVF::SVFGNodeLockSpan::operator< ( const SVFGNodeLockSpan &  rhs ) const

inline

Definition at line 58 of file FSMPTA.h.

    {
        if (SVFGNode != rhs.getSVFGNode())
            return SVFGNode < rhs.getSVFGNode();
        return lockSpan.size() < rhs.getLockSpan().size();
    }

operator=()

SVFGNodeLockSpan& SVF::SVFGNodeLockSpan::operator= ( const SVFGNodeLockSpan &  rhs )

inline

Definition at line 64 of file FSMPTA.h.

    {
        if(*this != rhs)
        {
            SVFGNode = rhs.getSVFGNode();
            lockSpan = rhs.getLockSpan();
        }
        return *this;
    }

operator==()

bool SVF::SVFGNodeLockSpan::operator== ( const SVFGNodeLockSpan &  rhs ) const

inline

Definition at line 73 of file FSMPTA.h.

    {
        return (SVFGNode == rhs.getSVFGNode() && lockSpan == rhs.getLockSpan());
    }

Member Data Documentation

lockSpan

LockAnalysis::LockSpan SVF::SVFGNodeLockSpan::lockSpan

private

Definition at line 91 of file FSMPTA.h.

SVFGNode

const StmtSVFGNode* SVF::SVFGNodeLockSpan::SVFGNode

private

Definition at line 90 of file FSMPTA.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/MTA/FSMPTA.h