ROSE  0.11.145.0
Public Member Functions | List of all members
Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor Class Reference

Description

Basic block successor.

Definition at line 107 of file BasicBlock.h.

#include <Rose/BinaryAnalysis/Partitioner2/BasicBlock.h>

Public Member Functions

 BasicBlockSuccessor (const Semantics::SValuePtr &expr, EdgeType type=E_NORMAL, Confidence confidence=ASSUMED)
 
const Semantics::SValuePtrexpr () 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::BasicBlockSuccessor::expr ( ) const
inline

Symbolic expression for the successor address.

Definition at line 135 of file BasicBlock.h.

EdgeType Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::type ( ) const
inline

Type of successor.

Definition at line 138 of file BasicBlock.h.

Confidence Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::confidence ( ) const
inline

Confidence level of this successor.

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

Definition at line 144 of file BasicBlock.h.

void Rose::BinaryAnalysis::Partitioner2::BasicBlockSuccessor::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 145 of file BasicBlock.h.


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