#include <adaptor_statistics.h>
|
| | Adaptor_Statistics (Annotations *ann, Analyzer *analyzer) |
| |
| void | make_CS (memoryBlock *block, procedureInfo *proc, Location *site, memoryBlock::DestructiveKind reason) |
| |
| void | make_CS (memoryBlock *block, procedureInfo *proc, Location *site, memoryBlock *complicit) |
| |
| void | print_statistics (ostream &out) |
| |
|
| enum | ReasonKind {
Complicit = 0x1,
Control_flow = 0x2,
Parameter_pass = 0x4,
Weak_update = 0x8,
Additive = 0x10
} |
| |
typedef pair< procedureInfo
*, memoryBlock * > | CS_Block |
| |
typedef map< procedureInfo
*, ReasonKind > | CS_Reasons |
| |
| typedef map< CS_Block, ReasonKind > | CS_Block_Reasons |
| |
typedef map< memoryBlock
*, ReasonKind > | FS_Reasons |
| |
| typedef set< Location * > | Locations |
| |
typedef map< memoryBlock
*, Locations > | Destructions |
| |
typedef pair< Location
*, memoryBlock * > | Complicit_assign |
| |
| typedef set< Complicit_assign > | Complicit_assigns |
| |
typedef map< memoryBlock
*, Complicit_assigns > | Complicits |
| |
typedef map< procedureInfo
*, memoryblock_set > | CS_blocks |
| |
typedef map< memoryBlock
*, basicblockNode * > | CF_Sites |
| |
| typedef pair< int, int > | int_pair |
| |
| typedef set< unsigned long > | enumvalue_sets |
| |
typedef map< int_pair,
enumvalue_sets > | Arg_Property |
| |
typedef map< stmtLocation
*, Arg_Property > | Site_Property |
| |
typedef map< procedureInfo
*, Site_Property > | Proc_Site_Property |
| |
| typedef set< stmtLocation * > | stmtLocations |
| |
typedef pair< int_pair,
enumvalue_sets > | Arg_Property_Pair |
| |
typedef map< Arg_Property_Pair,
stmtLocations > | Site_Partition |
| |
|
| void | print_cs_statistics (ostream &out) |
| |
| void | print_fs_statistics (ostream &out) |
| |
| void | print_cf_statistics (ostream &out) |
| |
| void | print_unify_statistics (ostream &out) |
| |
| void | print_block_chain (memoryBlock *block, Destructions &destructions, Complicits &complicits, memoryblock_set &printed, string indent, string block_indent, ostream &out) |
| |
| void | print_call_args (stmtLocation *site, procedureInfo *caller, procedureInfo *callee, int arg, declNode *formal, ostream &out) |
| |
| void | print_call_arg (declNode *formal, int arg, operandNode *parameter, int dereference, pointerValue ¶meter_value, stmtLocation *site, procedureInfo *caller, procedureInfo *callee, const enum_property_map &props, ostream &out) |
| |
| string | reason_str (ReasonKind) |
| |
Definition at line 6 of file adaptor_statistics.h.
| Enumerator |
|---|
| Complicit |
|
| Control_flow |
|
| Parameter_pass |
|
| Weak_update |
|
| Additive |
|
Definition at line 8 of file adaptor_statistics.h.
| Adaptor_Statistics::Adaptor_Statistics |
( |
Annotations * |
ann, |
|
|
Analyzer * |
analyzer |
|
) |
| |
|
inline |
| void Adaptor_Statistics::make_CS |
( |
memoryBlock * |
block, |
|
|
procedureInfo * |
proc, |
|
|
Location * |
site, |
|
|
memoryBlock::DestructiveKind |
reason |
|
) |
| |
| void Adaptor_Statistics::make_CS |
( |
memoryBlock * |
block, |
|
|
procedureInfo * |
proc, |
|
|
Location * |
site, |
|
|
memoryBlock * |
complicit |
|
) |
| |
| void Adaptor_Statistics::print_statistics |
( |
ostream & |
out) | |
|
| void Adaptor_Statistics::print_cs_statistics |
( |
ostream & |
out) | |
|
|
private |
| void Adaptor_Statistics::print_fs_statistics |
( |
ostream & |
out) | |
|
|
private |
| void Adaptor_Statistics::print_cf_statistics |
( |
ostream & |
out) | |
|
|
private |
| void Adaptor_Statistics::print_unify_statistics |
( |
ostream & |
out) | |
|
|
private |
| void Adaptor_Statistics::print_block_chain |
( |
memoryBlock * |
block, |
|
|
Destructions & |
destructions, |
|
|
Complicits & |
complicits, |
|
|
memoryblock_set & |
printed, |
|
|
string |
indent, |
|
|
string |
block_indent, |
|
|
ostream & |
out |
|
) |
| |
|
private |
| void Adaptor_Statistics::print_call_args |
( |
stmtLocation * |
site, |
|
|
procedureInfo * |
caller, |
|
|
procedureInfo * |
callee, |
|
|
int |
arg, |
|
|
declNode * |
formal, |
|
|
ostream & |
out |
|
) |
| |
|
private |
| void Adaptor_Statistics::print_call_arg |
( |
declNode * |
formal, |
|
|
int |
arg, |
|
|
operandNode * |
parameter, |
|
|
int |
dereference, |
|
|
pointerValue & |
parameter_value, |
|
|
stmtLocation * |
site, |
|
|
procedureInfo * |
caller, |
|
|
procedureInfo * |
callee, |
|
|
const enum_property_map & |
props, |
|
|
ostream & |
out |
|
) |
| |
|
private |
| string Adaptor_Statistics::reason_str |
( |
ReasonKind |
) | |
|
|
private |
| memoryblock_set Adaptor_Statistics::fs_blocks |
|
private |
| procedureinfo_set Adaptor_Statistics::cs_procs |
|
private |
| memoryblock_set Adaptor_Statistics::cf_blocks |
|
private |
| Analyzer* Adaptor_Statistics::_analyzer |
|
private |
The documentation for this class was generated from the following file: