clang::consumed::PropagationInfo Class Reference

Collaboration diagram for clang::consumed::PropagationInfo:

List of all members.

Classes
struct	BinTestTy
Public Member Functions
	PropagationInfo ()
	PropagationInfo (const VarTestResult &VarTest)
	PropagationInfo (const VarDecl *Var, ConsumedState TestsFor)
	PropagationInfo (const BinaryOperator *Source, EffectiveOp EOp, const VarTestResult &LTest, const VarTestResult &RTest)
	PropagationInfo (const BinaryOperator *Source, EffectiveOp EOp, const VarDecl *LVar, ConsumedState LTestsFor, const VarDecl *RVar, ConsumedState RTestsFor)
	PropagationInfo (ConsumedState State)
	PropagationInfo (const VarDecl *Var)
	PropagationInfo (const CXXBindTemporaryExpr *Tmp)
const ConsumedState &	getState () const
const VarTestResult &	getVarTest () const
const VarTestResult &	getLTest () const
const VarTestResult &	getRTest () const
const VarDecl *	getVar () const
const CXXBindTemporaryExpr *	getTmp () const
ConsumedState	getAsState (const ConsumedStateMap *StateMap) const
EffectiveOp	testEffectiveOp () const
const BinaryOperator *	testSourceNode () const
bool	isValid () const
bool	isState () const
bool	isVarTest () const
bool	isBinTest () const
bool	isVar () const
bool	isTmp () const
bool	isTest () const
bool	isPointerToValue () const
PropagationInfo	invertTest () const

---

Detailed Description

Definition at line 290 of file Consumed.cpp.

---

Constructor & Destructor Documentation

clang::consumed::PropagationInfo::PropagationInfo

(

)

[inline]

Definition at line 316 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo

(

const VarTestResult &

VarTest

)

[inline]

Definition at line 318 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo	(	const VarDecl *	Var,
		ConsumedState	TestsFor
	)		[inline]

Definition at line 321 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo	(	const BinaryOperator *	Source,
		EffectiveOp	EOp,
		const VarTestResult &	LTest,
		const VarTestResult &	RTest
	)		[inline]

Definition at line 328 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo	(	const BinaryOperator *	Source,
		EffectiveOp	EOp,
		const VarDecl *	LVar,
		ConsumedState	LTestsFor,
		const VarDecl *	RVar,
		ConsumedState	RTestsFor
	)		[inline]

Definition at line 338 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo

(

ConsumedState

State

)

[inline]

Definition at line 351 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo

(

const VarDecl *

Var

)

[inline]

Definition at line 354 of file Consumed.cpp.

clang::consumed::PropagationInfo::PropagationInfo

(

const CXXBindTemporaryExpr *

Tmp

)

[inline]

Definition at line 355 of file Consumed.cpp.

---

Member Function Documentation

ConsumedState clang::consumed::PropagationInfo::getAsState

(

const ConsumedStateMap *

StateMap

)

const [inline]

Definition at line 388 of file Consumed.cpp.

References clang::consumed::CS_None, clang::consumed::ConsumedStateMap::getState(), and State.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::ConsumedStmtVisitor::VisitVarDecl().

const VarTestResult& clang::consumed::PropagationInfo::getLTest

(

)

const [inline]

Definition at line 368 of file Consumed.cpp.

Referenced by clang::consumed::splitVarStateForIfBinOp().

const VarTestResult& clang::consumed::PropagationInfo::getRTest

(

)

const [inline]

Definition at line 373 of file Consumed.cpp.

Referenced by clang::consumed::splitVarStateForIfBinOp().

const ConsumedState& clang::consumed::PropagationInfo::getState

(

)

const [inline]

Definition at line 358 of file Consumed.cpp.

References State.

const CXXBindTemporaryExpr* clang::consumed::PropagationInfo::getTmp

(

)

const [inline]

Definition at line 383 of file Consumed.cpp.

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::setStateForVarOrTmp().

const VarDecl* clang::consumed::PropagationInfo::getVar

(

)

const [inline]

Definition at line 378 of file Consumed.cpp.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::setStateForVarOrTmp().

const VarTestResult& clang::consumed::PropagationInfo::getVarTest

(

)

const [inline]

Definition at line 363 of file Consumed.cpp.

PropagationInfo clang::consumed::PropagationInfo::invertTest

(

)

const [inline]

Definition at line 426 of file Consumed.cpp.

References clang::consumed::EO_And, clang::consumed::EO_Or, and invertConsumedUnconsumed().

bool clang::consumed::PropagationInfo::isBinTest

(

)

const [inline]

Definition at line 414 of file Consumed.cpp.

bool clang::consumed::PropagationInfo::isPointerToValue

(

)

const [inline]

Definition at line 422 of file Consumed.cpp.

bool clang::consumed::PropagationInfo::isState

(

)

const [inline]

Definition at line 412 of file Consumed.cpp.

bool clang::consumed::PropagationInfo::isTest

(

)

const [inline]

Definition at line 418 of file Consumed.cpp.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability().

bool clang::consumed::PropagationInfo::isTmp

(

)

const [inline]

Definition at line 416 of file Consumed.cpp.

Referenced by clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::setStateForVarOrTmp().

bool clang::consumed::PropagationInfo::isValid

(

)

const [inline]

Definition at line 411 of file Consumed.cpp.

bool clang::consumed::PropagationInfo::isVar

(

)

const [inline]

Definition at line 415 of file Consumed.cpp.

Referenced by clang::consumed::ConsumedStmtVisitor::checkCallability(), clang::consumed::ConsumedStmtVisitor::handleCall(), and clang::consumed::setStateForVarOrTmp().

bool clang::consumed::PropagationInfo::isVarTest

(

)

const [inline]

Definition at line 413 of file Consumed.cpp.

EffectiveOp clang::consumed::PropagationInfo::testEffectiveOp

(

)

const [inline]

Definition at line 401 of file Consumed.cpp.

Referenced by clang::consumed::splitVarStateForIfBinOp().

const BinaryOperator* clang::consumed::PropagationInfo::testSourceNode

(

)

const [inline]

Definition at line 406 of file Consumed.cpp.

---

Member Data Documentation

BinTestTy clang::consumed::PropagationInfo::BinTest

Definition at line 312 of file Consumed.cpp.

ConsumedState clang::consumed::PropagationInfo::State

Definition at line 308 of file Consumed.cpp.

const CXXBindTemporaryExpr* clang::consumed::PropagationInfo::Tmp

Definition at line 311 of file Consumed.cpp.

const VarDecl* clang::consumed::PropagationInfo::Var

Definition at line 310 of file Consumed.cpp.

VarTestResult clang::consumed::PropagationInfo::VarTest

Definition at line 309 of file Consumed.cpp.

---

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

• Consumed.cpp