SVF::SVFArgument Class Reference

#include <SVFValue.h>

Inheritance diagram for SVF::SVFArgument:

Public Member Functions
	SVFArgument (const SVFType *ty, const SVFFunction *fun, u32_t argNo, bool uncalled)
	SVFArgument ()=delete
const SVFFunction *	getParent () const
u32_t	getArgNo () const
bool	isArgOfUncalledFunction () const
Public Member Functions inherited from SVF::SVFValue
	SVFValue ()=delete
virtual	~SVFValue ()=default
GNodeK	getKind () const
	Get the type of this SVFValue.
const std::string &	getName () const
void	setName (const std::string &n)
void	setName (std::string &&n)
virtual const SVFType *	getType () const
bool	isConstDataOrAggData () const
bool	ptrInUncalledFunction () const
bool	isblackHole () const
bool	isNullPtr () const
virtual void	setSourceLoc (const std::string &sourceCodeInfo)
virtual const std::string	getSourceLoc () const
std::string	toString () const
	Needs to be implemented by a SVF front end.

Static Public Member Functions
static bool	classof (const SVFValue *node)

Private Attributes
const SVFFunction *	fun
u32_t	argNo
bool	uncalled

Friends
class	SVFIRWriter
class	SVFIRReader

Additional Inherited Members
Public Types inherited from SVF::SVFValue
enum	SVFValKind {   SVFVal , SVFFunc , SVFBB , SVFInst ,   SVFCall , SVFVCall , SVFGlob , SVFArg ,   SVFConst , SVFConstData , SVFConstInt , SVFConstFP ,   SVFNullPtr , SVFBlackHole , SVFMetaAsValue , SVFOther }
typedef s64_t	GNodeK
Protected Member Functions inherited from SVF::SVFValue
	SVFValue (const SVFType *ty, SVFValKind k)
	Constructor without name.
void	setConstDataOrAggData ()
void	setPtrInUncalledFunction ()
Protected Attributes inherited from SVF::SVFValue
const SVFType *	type
	Type of this SVFValue.
std::string	name
	Short name of value for printing & debugging.
std::string	sourceLoc

Detailed Description

Definition at line 813 of file SVFValue.h.

Constructor & Destructor Documentation

SVFArgument() [1/2]

SVF::SVFArgument::SVFArgument ( const SVFType *  ty, const SVFFunction *  fun, u32_t  argNo, bool  uncalled  )

inline

Definition at line 822 of file SVFValue.h.

        : SVFValue(ty, SVFValue::SVFArg), fun(fun), argNo(argNo),
          uncalled(uncalled)
    {
    }

SVFArgument() [2/2]

SVF::SVFArgument::SVFArgument ( )

delete

Member Function Documentation

classof()

static bool SVF::SVFArgument::classof ( const SVFValue *  node )

inlinestatic

Definition at line 847 of file SVFValue.h.

    {
        return node->getKind() == SVFArg;
    }

getArgNo()

u32_t SVF::SVFArgument::getArgNo ( ) const

inline

Return the index of this formal argument in its containing function. For example in "void foo(int a, float b)" a is 0 and b is 1.

Definition at line 837 of file SVFValue.h.

    {
        return argNo;
    }

getParent()

const SVFFunction * SVF::SVFArgument::getParent ( ) const

inline

Definition at line 830 of file SVFValue.h.

    {
        return fun;
    }

isArgOfUncalledFunction()

bool SVF::SVFArgument::isArgOfUncalledFunction ( ) const

inline

Definition at line 842 of file SVFValue.h.

    {
        return uncalled;
    }

Friends And Related Symbol Documentation

SVFIRReader

friend class SVFIRReader

friend

Definition at line 816 of file SVFValue.h.

SVFIRWriter

friend class SVFIRWriter

friend

Definition at line 815 of file SVFValue.h.

Member Data Documentation

argNo

u32_t SVF::SVFArgument::argNo

private

Definition at line 819 of file SVFValue.h.

fun

const SVFFunction* SVF::SVFArgument::fun

private

Definition at line 818 of file SVFValue.h.

uncalled

bool SVF::SVFArgument::uncalled

private

Definition at line 820 of file SVFValue.h.

---

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

• /home/runner/work/SVF/SVF/svf/include/SVFIR/SVFValue.h