clang::ento::ObjCMessage Class Reference

Represents both explicit ObjC message expressions and implicit messages that are sent for handling properties in dot syntax. More...

#include <ObjCMessage.h>

List of all members.

Public Member Functions
	ObjCMessage ()
	ObjCMessage (const ObjCMessageExpr *E, const ObjCPropertyRefExpr *pe=0, bool isSetter=false)
bool	isValid () const
bool	isPureMessageExpr () const
bool	isPropertyGetter () const
bool	isPropertySetter () const
const Expr *	getMessageExpr () const
QualType	getType (ASTContext &ctx) const
QualType	getResultType (ASTContext &ctx) const
ObjCMethodFamily	getMethodFamily () const
Selector	getSelector () const
const Expr *	getInstanceReceiver () const
SVal	getInstanceReceiverSVal (ProgramStateRef State, const LocationContext *LC) const
bool	isInstanceMessage () const
const ObjCMethodDecl *	getMethodDecl () const
const ObjCInterfaceDecl *	getReceiverInterface () const
SourceLocation	getSuperLoc () const
SourceRange	getSourceRange () const LLVM_READONLY
unsigned	getNumArgs () const
SVal	getArgSVal (unsigned i, const LocationContext *LCtx, ProgramStateRef state) const
QualType	getArgType (unsigned i) const
const Expr *	getArgExpr (unsigned i) const
SourceRange	getArgSourceRange (unsigned i) const
SourceRange	getReceiverSourceRange () const

---

Detailed Description

Represents both explicit ObjC message expressions and implicit messages that are sent for handling properties in dot syntax.

Definition at line 33 of file ObjCMessage.h.

---

Constructor & Destructor Documentation

clang::ento::ObjCMessage::ObjCMessage

(

)

[inline]

Definition at line 38 of file ObjCMessage.h.

clang::ento::ObjCMessage::ObjCMessage	(	const ObjCMessageExpr *	E,
		const ObjCPropertyRefExpr *	pe = 0,
		bool	isSetter = false
	)		[inline]

Definition at line 40 of file ObjCMessage.h.

---

Member Function Documentation

const Expr* clang::ento::ObjCMessage::getArgExpr

(

unsigned

i

)

const [inline]

Definition at line 136 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getArg(), and getNumArgs().

Referenced by clang::ento::CallOrObjCMessage::getArg(), and getArgSourceRange().

SourceRange clang::ento::ObjCMessage::getArgSourceRange

(

unsigned

i

)

const [inline]

Definition at line 141 of file ObjCMessage.h.

References getArgExpr(), and clang::Stmt::getSourceRange().

Referenced by clang::ento::CallOrObjCMessage::getArgSourceRange().

SVal clang::ento::ObjCMessage::getArgSVal	(	unsigned	i,
		const LocationContext *	LCtx,
		ProgramStateRef	state
	)		const [inline]

Definition at line 124 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getArg(), and getNumArgs().

Referenced by clang::ento::CallOrObjCMessage::getArgSVal().

QualType clang::ento::ObjCMessage::getArgType

(

unsigned

i

)

const [inline]

Definition at line 131 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getArg(), getNumArgs(), and clang::Expr::getType().

const Expr* clang::ento::ObjCMessage::getInstanceReceiver

(

)

const [inline]

Definition at line 78 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getInstanceReceiver().

Referenced by clang::ento::ExprEngine::evalObjCMessage(), getInstanceReceiverSVal(), and clang::ento::ExprEngine::VisitObjCMessage().

SVal clang::ento::ObjCMessage::getInstanceReceiverSVal	(	ProgramStateRef	State,
		const LocationContext *	LC
	)		const [inline]

Definition at line 82 of file ObjCMessage.h.

References getInstanceReceiver(), clang::LocationContext::getSelfDecl(), and isInstanceMessage().

Referenced by clang::ento::CallOrObjCMessage::getInstanceMessageReceiver().

const Expr* clang::ento::ObjCMessage::getMessageExpr

(

)

const [inline]

Definition at line 56 of file ObjCMessage.h.

Referenced by clang::ento::ExprEngine::evalObjCMessage(), and clang::ento::CallOrObjCMessage::getOriginExpr().

const ObjCMethodDecl* clang::ento::ObjCMessage::getMethodDecl

(

)

const [inline]

Definition at line 100 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getMethodDecl().

Referenced by clang::ento::CallOrObjCMessage::hasNonZeroCallbackArg().

ObjCMethodFamily clang::ento::ObjCMessage::getMethodFamily

(

)

const [inline]

Definition at line 70 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getMethodFamily().

Referenced by clang::ento::ExprEngine::evalObjCMessage().

unsigned clang::ento::ObjCMessage::getNumArgs

(

)

const [inline]

Definition at line 120 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getNumArgs().

Referenced by getArgExpr(), getArgSVal(), getArgType(), and clang::ento::CallOrObjCMessage::getNumArgs().

const ObjCInterfaceDecl* clang::ento::ObjCMessage::getReceiverInterface

(

)

const [inline]

Definition at line 104 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getReceiverInterface().

Referenced by clang::ento::ExprEngine::VisitObjCMessage().

SourceRange clang::ento::ObjCMessage::getReceiverSourceRange

(

)

const [inline]

Definition at line 146 of file ObjCMessage.h.

References clang::ObjCPropertyRefExpr::getBase(), clang::ObjCPropertyRefExpr::getReceiverLocation(), clang::ObjCMessageExpr::getReceiverRange(), clang::Stmt::getSourceRange(), and clang::ObjCPropertyRefExpr::isObjectReceiver().

Referenced by clang::ento::CallOrObjCMessage::getReceiverSourceRange().

QualType clang::ento::ObjCMessage::getResultType

(

ASTContext &

ctx

)

const [inline]

Definition at line 64 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getMethodDecl(), and getType().

Referenced by clang::ento::ExprEngine::evalObjCMessage(), and clang::ento::CallOrObjCMessage::getResultType().

Selector clang::ento::ObjCMessage::getSelector

(

)

const [inline]

Definition at line 74 of file ObjCMessage.h.

References clang::ObjCMessageExpr::getSelector().

Referenced by clang::ento::ExprEngine::VisitObjCMessage().

SourceRange clang::ento::ObjCMessage::getSourceRange

(

)

const [inline]

Definition at line 114 of file ObjCMessage.h.

References clang::ObjCPropertyRefExpr::getSourceRange(), and clang::ObjCMessageExpr::getSourceRange().

SourceLocation clang::ento::ObjCMessage::getSuperLoc

(

)

const [inline]

Definition at line 108 of file ObjCMessage.h.

References clang::ObjCPropertyRefExpr::getReceiverLocation(), and clang::ObjCMessageExpr::getSuperLoc().

QualType clang::ento::ObjCMessage::getType

(

ASTContext &

ctx

)

const [inline]

Definition at line 60 of file ObjCMessage.h.

References clang::Expr::getType().

Referenced by getResultType().

bool clang::ento::ObjCMessage::isInstanceMessage

(

)

const [inline]

Definition at line 96 of file ObjCMessage.h.

References clang::ObjCMessageExpr::isInstanceMessage().

Referenced by getInstanceReceiverSVal().

bool clang::ento::ObjCMessage::isPropertyGetter

(

)

const [inline]

Definition at line 50 of file ObjCMessage.h.

bool clang::ento::ObjCMessage::isPropertySetter

(

)

const [inline]

Definition at line 52 of file ObjCMessage.h.

bool clang::ento::ObjCMessage::isPureMessageExpr

(

)

const [inline]

Definition at line 48 of file ObjCMessage.h.

bool clang::ento::ObjCMessage::isValid

(

)

const [inline]

Definition at line 46 of file ObjCMessage.h.

---

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

• ObjCMessage.h