GlobalState Class Reference

annotated fixed-point of a program (or its part, e.g. a function) More...

#include <fixed_point.hh>

Collaboration diagram for GlobalState:

Public Member Functions
	GlobalState ()
LocalState &	operator[] (const TLocIdx loc)
	return state summary local to the given location
const LocalState &	operator[] (const TLocIdx loc) const
	return state summary local to the given location
TLocIdx	size () const
	return total count of locations maintained by the container

Private Member Functions
	GlobalState (const GlobalState &)
GlobalState &	operator= (const GlobalState &)

Private Attributes
CleanList< LocalState >	stateList_
CleanList< TraceEdge >	traceList_

Friends
class	StateRewriter
GlobalState *	computeStateOf (const TFnc, const StateByInsn::TStateMap &)
	caller is responsible to destroy the returned instance
void	exportControlFlow (GlobalState *pDst, const GlobalState &glState)
	write the CFG-only skeleton of glState into *pDst

Detailed Description

annotated fixed-point of a program (or its part, e.g. a function)

Definition at line 129 of file fixed_point.hh.

Constructor & Destructor Documentation

GlobalState ( )

inline

Definition at line 131 of file fixed_point.hh.

GlobalState ( const GlobalState &  )

private

Member Function Documentation

GlobalState& operator= ( const GlobalState &  )

private

LocalState& operator[] ( const TLocIdx  loc )

inline

return state summary local to the given location

Definition at line 134 of file fixed_point.hh.

References GlobalState::stateList_.

const LocalState& operator[] ( const TLocIdx  loc ) const

inline

return state summary local to the given location

Definition at line 139 of file fixed_point.hh.

References GlobalState::stateList_.

TLocIdx size ( ) const

inline

return total count of locations maintained by the container

Definition at line 144 of file fixed_point.hh.

References CleanList< T >::size(), and GlobalState::stateList_.

Friends And Related Function Documentation

GlobalState* computeStateOf ( const TFnc  , const StateByInsn::TStateMap &    )

friend

caller is responsible to destroy the returned instance

void exportControlFlow ( GlobalState *  pDst, const GlobalState &  glState  )

friend

write the CFG-only skeleton of glState into *pDst

friend class StateRewriter

friend

Definition at line 163 of file fixed_point.hh.

Field Documentation

CleanList<LocalState> stateList_

private

Definition at line 149 of file fixed_point.hh.

Referenced by GlobalState::operator[](), and GlobalState::size().

CleanList<TraceEdge> traceList_

private

Definition at line 150 of file fixed_point.hh.

---

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

• fixed_point.hh