Description

Basic block successor.

Definition at line 137 of file BasicBlock.h.

Public Member Functions
	Successor (const Semantics::SValuePtr &expr, EdgeType type=E_NORMAL, Confidence confidence=ASSUMED)

const Semantics::SValuePtr &	expr () const
	Symbolic expression for the successor address. More...

EdgeType	type () const
	Type of successor. More...

void	type (EdgeType t)


Confidence	confidence () const
	Confidence level of this successor. More...

void	confidence (Confidence c)
	Confidence level of this successor. More...

Member Function Documentation

const Semantics::SValuePtr& Rose::BinaryAnalysis::Partitioner2::BasicBlock::Successor::expr ( ) const

inline

Symbolic expression for the successor address.

Definition at line 165 of file BasicBlock.h.

EdgeType Rose::BinaryAnalysis::Partitioner2::BasicBlock::Successor::type ( ) const

inline

Type of successor.

Definition at line 168 of file BasicBlock.h.

Confidence Rose::BinaryAnalysis::Partitioner2::BasicBlock::Successor::confidence ( ) const

inline

Confidence level of this successor.

Did we prove that this is a successor, or only assume it is?

Definition at line 174 of file BasicBlock.h.

void Rose::BinaryAnalysis::Partitioner2::BasicBlock::Successor::confidence ( Confidence c )

inline

Confidence level of this successor.

Did we prove that this is a successor, or only assume it is?

Definition at line 175 of file BasicBlock.h.

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