clang  6.0.0svn
Public Member Functions | Static Public Member Functions | Protected Member Functions | List of all members
clang::CXXInstanceCall Class Reference

Represents a non-static C++ member function call, no matter how it is written. More...

#include "clang/StaticAnalyzer/Core/PathSensitive/CallEvent.h"

Inheritance diagram for clang::CXXInstanceCall:
Inheritance graph
[legend]
Collaboration diagram for clang::CXXInstanceCall:
Collaboration graph
[legend]

Public Member Functions

virtual const ExprgetCXXThisExpr () const
 Returns the expression representing the implicit 'this' object. More...
 
virtual SVal getCXXThisVal () const
 Returns the value of the implicit 'this' object. More...
 
const FunctionDeclgetDecl () const override
 
RuntimeDefinition getRuntimeDefinition () const override
 
void getInitialStackFrameContents (const StackFrameContext *CalleeCtx, BindingsTy &Bindings) const override
 

Static Public Member Functions

static bool classof (const CallEvent *CA)
 

Protected Member Functions

void getExtraInvalidatedValues (ValueList &Values, RegionAndSymbolInvalidationTraits *ETraits) const override
 
 CXXInstanceCall (const CallExpr *CE, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXInstanceCall (const FunctionDecl *D, ProgramStateRef St, const LocationContext *LCtx)
 
 CXXInstanceCall (const CXXInstanceCall &Other)
 

Detailed Description

Represents a non-static C++ member function call, no matter how it is written.

Definition at line 599 of file CallEvent.h.

Constructor & Destructor Documentation

◆ CXXInstanceCall() [1/3]

clang::CXXInstanceCall::CXXInstanceCall ( const CallExpr CE,
ProgramStateRef  St,
const LocationContext LCtx 
)
inlineprotected

Definition at line 604 of file CallEvent.h.

◆ CXXInstanceCall() [2/3]

clang::CXXInstanceCall::CXXInstanceCall ( const FunctionDecl D,
ProgramStateRef  St,
const LocationContext LCtx 
)
inlineprotected

Definition at line 607 of file CallEvent.h.

◆ CXXInstanceCall() [3/3]

clang::CXXInstanceCall::CXXInstanceCall ( const CXXInstanceCall Other)
inlineprotected

Definition at line 612 of file CallEvent.h.

Member Function Documentation

◆ classof()

static bool clang::CXXInstanceCall::classof ( const CallEvent CA)
inlinestatic

◆ getCXXThisExpr()

virtual const Expr* clang::CXXInstanceCall::getCXXThisExpr ( ) const
inlinevirtual

Returns the expression representing the implicit 'this' object.

Reimplemented in clang::CXXMemberOperatorCall, and clang::CXXMemberCall.

Definition at line 616 of file CallEvent.h.

◆ getCXXThisVal()

SVal CXXInstanceCall::getCXXThisVal ( ) const
virtual

Returns the value of the implicit 'this' object.

Reimplemented in clang::CXXDestructorCall.

Definition at line 493 of file CallEvent.cpp.

References clang::ento::SVal::getAs(), clang::ento::CallEvent::getSVal(), and clang::ento::SVal::isUnknownOrUndef().

◆ getDecl()

const FunctionDecl * CXXInstanceCall::getDecl ( ) const
override

◆ getExtraInvalidatedValues()

void CXXInstanceCall::getExtraInvalidatedValues ( ValueList Values,
RegionAndSymbolInvalidationTraits ETraits 
) const
overrideprotected

◆ getInitialStackFrameContents()

void CXXInstanceCall::getInitialStackFrameContents ( const StackFrameContext CalleeCtx,
BindingsTy &  Bindings 
) const
override

◆ getRuntimeDefinition()

RuntimeDefinition CXXInstanceCall::getRuntimeDefinition ( ) const
override

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