clang  8.0.0svn
Public Member Functions | List of all members
clang::ento::Range Class Reference

A Range represents the closed range [from, to]. More...

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

Inheritance diagram for clang::ento::Range:
Inheritance graph
[legend]
Collaboration diagram for clang::ento::Range:
Collaboration graph
[legend]

Public Member Functions

 Range (const llvm::APSInt &from, const llvm::APSInt &to)
 
bool Includes (const llvm::APSInt &v) const
 
const llvm::APSInt & From () const
 
const llvm::APSInt & To () const
 
const llvm::APSInt * getConcreteValue () const
 
void Profile (llvm::FoldingSetNodeID &ID) const
 

Detailed Description

A Range represents the closed range [from, to].

The caller must guarantee that from <= to. Note that Range is immutable, so as not to subvert RangeSet's immutability.

Definition at line 28 of file RangedConstraintManager.h.

Constructor & Destructor Documentation

◆ Range()

clang::ento::Range::Range ( const llvm::APSInt &  from,
const llvm::APSInt &  to 
)
inline

Definition at line 30 of file RangedConstraintManager.h.

Member Function Documentation

◆ From()

const llvm::APSInt& clang::ento::Range::From ( ) const
inline

◆ getConcreteValue()

const llvm::APSInt* clang::ento::Range::getConcreteValue ( ) const
inline

Definition at line 39 of file RangedConstraintManager.h.

References From(), and To().

◆ Includes()

bool clang::ento::Range::Includes ( const llvm::APSInt &  v) const
inline

Definition at line 34 of file RangedConstraintManager.h.

◆ Profile()

void clang::ento::Range::Profile ( llvm::FoldingSetNodeID &  ID) const
inline

Definition at line 43 of file RangedConstraintManager.h.

References From(), and To().

◆ To()

const llvm::APSInt& clang::ento::Range::To ( ) const
inline

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