Pseudo-location SVal used by the ExprEngine to simulate a "load" or "store" of an ObjC property for the dot syntax. More...
#include <SVals.h>
Inheritance diagram for clang::ento::loc::ObjCPropRef:
Collaboration diagram for clang::ento::loc::ObjCPropRef:
Public Member Functions | |
| ObjCPropRef (const ObjCPropertyRefExpr *E) | |
| const ObjCPropertyRefExpr * | getPropRefExpr () const |
Static Public Member Functions | |
| static bool | classof (const SVal *V) |
| static bool | classof (const Loc *V) |
Detailed Description
Pseudo-location SVal used by the ExprEngine to simulate a "load" or "store" of an ObjC property for the dot syntax.
Constructor & Destructor Documentation
| clang::ento::loc::ObjCPropRef::ObjCPropRef | ( | const ObjCPropertyRefExpr * | E | ) | [inline, explicit] |
Member Function Documentation
| static bool clang::ento::loc::ObjCPropRef::classof | ( | const SVal * | V | ) | [inline, static] |
Reimplemented from clang::ento::Loc.
Definition at line 495 of file SVals.h.
References clang::ento::SVal::getBaseKind(), clang::ento::SVal::getSubKind(), clang::ento::SVal::LocKind, and clang::ento::loc::ObjCPropRefKind.
| static bool clang::ento::loc::ObjCPropRef::classof | ( | const Loc * | V | ) | [inline, static] |
Definition at line 500 of file SVals.h.
References clang::ento::SVal::getSubKind(), and clang::ento::loc::ObjCPropRefKind.
| const ObjCPropertyRefExpr* clang::ento::loc::ObjCPropRef::getPropRefExpr | ( | ) | const [inline] |
Definition at line 490 of file SVals.h.
References clang::ento::SVal::Data.
The documentation for this class was generated from the following file: