ROSE  0.9.9.139
Public Member Functions | List of all members
Rose::BinaryAnalysis::Partitioner2::BasicBlock::Successor Class Reference

Description

Basic block successor.

Definition at line 40 of file BasicBlock.h.

#include <BasicBlock.h>

Public Member Functions

 Successor (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...
 
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 68 of file BasicBlock.h.

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

Type of successor.

Definition at line 71 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 76 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 77 of file BasicBlock.h.


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