clang  mainline
Public Member Functions | Friends
clang::ento::nonloc::ConcreteInt Class Reference

Value representing integer constant. More...

#include <SVals.h>

Inheritance diagram for clang::ento::nonloc::ConcreteInt:
Inheritance graph
Collaboration diagram for clang::ento::nonloc::ConcreteInt:
Collaboration graph

List of all members.

Public Member Functions

 ConcreteInt (const llvm::APSInt &V)
const llvm::APSInt & getValue () const
SVal evalBinOp (SValBuilder &svalBuilder, BinaryOperator::Opcode Op, const ConcreteInt &R) const
ConcreteInt evalComplement (SValBuilder &svalBuilder) const
ConcreteInt evalMinus (SValBuilder &svalBuilder) const


class SVal

Detailed Description

Value representing integer constant.

Definition at line 339 of file SVals.h.

Constructor & Destructor Documentation

clang::ento::nonloc::ConcreteInt::ConcreteInt ( const llvm::APSInt &  V) [inline, explicit]

Definition at line 341 of file SVals.h.

Member Function Documentation

SVal nonloc::ConcreteInt::evalBinOp ( SValBuilder svalBuilder,
BinaryOperator::Opcode  Op,
const ConcreteInt R 
) const

Definition at line 208 of file SVals.cpp.

References getValue(), and clang::ento::SValBuilder::makeIntVal().

Definition at line 213 of file SVals.cpp.

References getValue(), and clang::ento::SValBuilder::makeIntVal().

const llvm::APSInt& clang::ento::nonloc::ConcreteInt::getValue ( ) const [inline]

Definition at line 343 of file SVals.h.

References clang::ento::SVal::Data.

Referenced by clang::ento::NonLoc::dumpToStream(), and evalBinOp().

Friends And Related Function Documentation

friend class SVal [friend]

Reimplemented from clang::ento::NonLoc.

Definition at line 356 of file SVals.h.

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