SVF::AbstractValue Class Reference

#include <AbstractValue.h>

Public Member Functions
	AbstractValue ()
	AbstractValue (const AbstractValue &other)
bool	isInterval () const
bool	isAddr () const
	AbstractValue (AbstractValue &&other)
AbstractValue &	operator= (const AbstractValue &other)
AbstractValue &	operator= (const AbstractValue &&other)
AbstractValue &	operator= (const IntervalValue &other)
AbstractValue &	operator= (const AddressValue &other)
	AbstractValue (const IntervalValue &ival)
	AbstractValue (const AddressValue &addr)
IntervalValue &	getInterval ()
const IntervalValue	getInterval () const
AddressValue &	getAddrs ()
const AddressValue	getAddrs () const
	~AbstractValue ()
bool	equals (const AbstractValue &rhs) const
void	join_with (const AbstractValue &other)
void	meet_with (const AbstractValue &other)
void	widen_with (const AbstractValue &other)
void	narrow_with (const AbstractValue &other)
std::string	toString () const

Public Attributes
IntervalValue	interval
AddressValue	addrs

Detailed Description

Definition at line 34 of file AbstractValue.h.

Constructor & Destructor Documentation

AbstractValue() [1/5]

SVF::AbstractValue::AbstractValue ( )

inline

Definition at line 41 of file AbstractValue.h.

    {
        interval = IntervalValue::bottom();
        addrs = AddressValue();
    }

AbstractValue() [2/5]

SVF::AbstractValue::AbstractValue ( const AbstractValue &  other )

inline

Definition at line 47 of file AbstractValue.h.

    {
        interval = other.interval;
        addrs = other.addrs;
    }

AbstractValue() [3/5]

SVF::AbstractValue::AbstractValue ( AbstractValue &&  other )

inline

Definition at line 62 of file AbstractValue.h.

    {
        interval = SVFUtil::move(other.interval);
        addrs = SVFUtil::move(other.addrs);
    }

AbstractValue() [4/5]

SVF::AbstractValue::AbstractValue ( const IntervalValue &  ival )

inline

Definition at line 97 of file AbstractValue.h.

: interval(ival), addrs(AddressValue()) {}

AbstractValue() [5/5]

SVF::AbstractValue::AbstractValue ( const AddressValue &  addr )

inline

Definition at line 99 of file AbstractValue.h.

: interval(IntervalValue::bottom()), addrs(addr) {}

~AbstractValue()

SVF::AbstractValue::~AbstractValue ( )

inline

Definition at line 121 of file AbstractValue.h.

{};

Member Function Documentation

equals()

bool SVF::AbstractValue::equals ( const AbstractValue &  rhs ) const

inline

Definition at line 123 of file AbstractValue.h.

    {
        return interval.equals(rhs.interval) && addrs.equals(rhs.addrs);
    }

getAddrs() [1/2]

AddressValue& SVF::AbstractValue::getAddrs ( )

inline

Definition at line 111 of file AbstractValue.h.

    {
        return addrs;
    }

getAddrs() [2/2]

const AddressValue SVF::AbstractValue::getAddrs ( ) const

inline

Definition at line 116 of file AbstractValue.h.

    {
        return addrs;
    }

getInterval() [1/2]

IntervalValue& SVF::AbstractValue::getInterval ( )

inline

Definition at line 101 of file AbstractValue.h.

    {
        return interval;
    }

getInterval() [2/2]

const IntervalValue SVF::AbstractValue::getInterval ( ) const

inline

Definition at line 106 of file AbstractValue.h.

    {
        return interval;
    }

isAddr()

bool SVF::AbstractValue::isAddr ( ) const

inline

Definition at line 57 of file AbstractValue.h.

    {
        return !addrs.isBottom();
    }

isInterval()

bool SVF::AbstractValue::isInterval ( ) const

inline

Definition at line 53 of file AbstractValue.h.

    {
        return !interval.isBottom();
    }

join_with()

void SVF::AbstractValue::join_with ( const AbstractValue &  other )

inline

Definition at line 128 of file AbstractValue.h.

    {
        interval.join_with(other.interval);
        addrs.join_with(other.addrs);
    }

meet_with()

void SVF::AbstractValue::meet_with ( const AbstractValue &  other )

inline

Definition at line 134 of file AbstractValue.h.

    {
        interval.meet_with(other.interval);
        addrs.meet_with(other.addrs);
    }

narrow_with()

void SVF::AbstractValue::narrow_with ( const AbstractValue &  other )

inline

Definition at line 146 of file AbstractValue.h.

    {
        interval.narrow_with(other.interval);
        // TODO: narrow Addrs
    }

operator=() [1/4]

AbstractValue& SVF::AbstractValue::operator= ( const AbstractValue &&  other )

inline

Definition at line 76 of file AbstractValue.h.

    {
        interval = SVFUtil::move(other.interval);
        addrs = SVFUtil::move(other.addrs);
        return *this;
    }

operator=() [2/4]

AbstractValue& SVF::AbstractValue::operator= ( const AbstractValue &  other )

inline

Definition at line 69 of file AbstractValue.h.

    {
        interval = other.interval;
        addrs = other.addrs;
        return *this;
    }

operator=() [3/4]

AbstractValue& SVF::AbstractValue::operator= ( const AddressValue &  other )

inline

Definition at line 90 of file AbstractValue.h.

    {
        addrs = other;
        interval = IntervalValue::bottom();
        return *this;
    }

operator=() [4/4]

AbstractValue& SVF::AbstractValue::operator= ( const IntervalValue &  other )

inline

Definition at line 83 of file AbstractValue.h.

    {
        interval = other;
        addrs = AddressValue();
        return *this;
    }

toString()

std::string SVF::AbstractValue::toString ( ) const

inline

Definition at line 152 of file AbstractValue.h.

    {
        return "<" + interval.toString() + ", " + addrs.toString() + ">";
    }

widen_with()

void SVF::AbstractValue::widen_with ( const AbstractValue &  other )

inline

Definition at line 140 of file AbstractValue.h.

    {
        interval.widen_with(other.interval);
        // TODO: widen Addrs
    }

Member Data Documentation

addrs

AddressValue SVF::AbstractValue::addrs

Definition at line 39 of file AbstractValue.h.

interval

IntervalValue SVF::AbstractValue::interval

Definition at line 38 of file AbstractValue.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/AE/Core/AbstractValue.h