Predator
[unstable] git snapshot
|
a trace graph node that represents a single abstraction step More...
#include <symtrace.hh>
Public Types | |
typedef std::vector< NodeBase * > | TBaseList |
used to store a list of child nodes |
Public Member Functions | |
AbstractionNode (Node *ref, EObjKind kind) | |
void | setPlotName (const std::string &name) |
const TBaseList & | children () const |
reference to list of child nodes (containing 0..n pointers) | |
virtual Node * | printNode () const |
print the node in a human-readable format if considered interesting | |
TIdMapperList & | idMapperList () |
return the ID mapping describing the operation behind the trace node | |
const TIdMapperList & | idMapperList () const |
return the ID mapping describing the operation behind the trace node | |
TIdMapper & | idMapper () |
return the ID mapping describing the operation behind the trace node | |
const TIdMapper & | idMapper () const |
return the ID mapping describing the operation behind the trace node | |
virtual Node * | parent () const |
this can be called only on nodes with exactly one parent | |
const TNodeList & | parents () const |
reference to list of parents (containing 0..n pointers) |
Protected Member Functions | |
virtual void | plotNode (TracePlotter &) const |
serialize this node to the given plot (externally not much useful) |
Protected Attributes | |
TIdMapperList | idMapperList_ |
TNodeList | parents_ |
list of all (0..n) parent nodes |
Private Attributes | |
const EObjKind | kind_ |
std::string | name_ |
a trace graph node that represents a single abstraction step
Definition at line 309 of file symtrace.hh.
used to store a list of child nodes
Definition at line 144 of file symtrace.hh.
|
inline |
ref | a trace leading to this abstraction step |
kind | the kind of abstraction step being performed |
Definition at line 319 of file symtrace.hh.
|
inlineinherited |
reference to list of child nodes (containing 0..n pointers)
Definition at line 147 of file symtrace.hh.
References Node::children_.
|
inherited |
return the ID mapping describing the operation behind the trace node
Referenced by CondNode::CondNode(), InsnNode::InsnNode(), MsgNode::MsgNode(), SpliceOutNode::SpliceOutNode(), and UserNode::UserNode().
|
inherited |
return the ID mapping describing the operation behind the trace node
|
inherited |
return the ID mapping describing the operation behind the trace node
|
inherited |
return the ID mapping describing the operation behind the trace node
|
virtualinherited |
this can be called only on nodes with exactly one parent
Reimplemented in JoinNode.
Referenced by NodeHandle::node(), NodeHandle::NodeHandle(), and Node::printNode().
|
inlineinherited |
reference to list of parents (containing 0..n pointers)
Definition at line 89 of file symtrace.hh.
References NodeBase::parents_.
|
protectedvirtual |
serialize this node to the given plot (externally not much useful)
Implements Node.
|
inlinevirtualinherited |
print the node in a human-readable format if considered interesting
Reimplemented in UserNode, CallDoneNode, CallFrameNode, CallCacheHitNode, CallEntryNode, CloneNode, JoinNode, CondNode, InsnNode, RootNode, and TransientNode.
Definition at line 150 of file symtrace.hh.
References NodeBase::parent().
|
inline |
name | name of the corresponding debug plot (empty if unused) |
Definition at line 326 of file symtrace.hh.
References AbstractionNode::name_.
|
protectedinherited |
Definition at line 173 of file symtrace.hh.
Referenced by JoinNode::JoinNode(), and Node::Node().
|
private |
Definition at line 311 of file symtrace.hh.
|
private |
Definition at line 312 of file symtrace.hh.
Referenced by AbstractionNode::setPlotName().
|
protectedinherited |
list of all (0..n) parent nodes
Definition at line 70 of file symtrace.hh.
Referenced by Node::Node(), and NodeBase::parents().