Public Types | Public Member Functions | Static Public Member Functions

opennwa::details::TransitionInfo Class Reference

This class is used to keep track of the maps from state to transition for an NWA. More...

List of all members.

Public Types

typedef wali::Triple< State,
Symbol, State > 		Internal
typedef wali::Triple< State,
Symbol, State > 		Call
typedef wali::Quad< State,
State, Symbol, State > 		Return
typedef wali::Triple< State,
Label, State > 		Int
typedef wali::Triple< State,
Label, State > 		Cal
typedef wali::Quad< State,
State, Label, State > 		Ret
typedef std::set< Internal > Internals
typedef Internals::const_iterator internalIterator
typedef Internals::const_iterator InternalIterator
typedef std::set< Call > Calls
typedef Calls::const_iterator callIterator
typedef Calls::const_iterator CallIterator
typedef std::set< Return > Returns
typedef Returns::const_iterator returnIterator
typedef Returns::const_iterator ReturnIterator
typedef std::map< State,
Internals > 		IntraMap
typedef std::map< State, Calls > CallMap
typedef std::map< State, Returns > RetMap

Public Member Functions

TransitionInfo & operator= (const TransitionInfo &other)
void addIntra (const Internal &intra)
 add an internal transition to the maps
void removeIntra (const Internal &intra)
 remove an internal transition from the maps
void addCall (const Call &call)
 add a call transition to the maps
void removeCall (const Call &call)
 remove a call transition from the maps
void addRet (const Return &ret)
 add a return transition to the maps
void removeRet (const Return &ret)
 remove a return transition from the maps
const Internals & fromTrans (State state) const
 returns all internal transitions with the given state as the source
const Internals & toTrans (State state) const
 returns all internal transitions with the given state as the target
const Calls & callTrans (State state) const
 returns all call transitions with the given state as the call site
const Calls & entryTrans (State state) const
 returns all call transitions with the given state as the entry point
const Returns & exitTrans (State state) const
 returns all return transitions with the given state as the exit point
const Returns & predTrans (State state) const
 returns all return transitions with the given state as the call predecessor
const Returns & retTrans (State state) const
 returns all return transitions with the given state as the return site
bool isFrom (State state) const
 tests whether the given state is the source of any internal transition
bool isTo (State state) const
 tests whether the given state is the target of any internal transition
bool isCall (State state) const
 tests whether the given state is the call site of any call transition
bool isEntry (State state) const
 tests whether the given state is the entry point of any call transition
bool isExit (State state) const
 tests whether the given state is the exit point of any return transition
bool isPred (State state) const
 tests whether the given state is the call predecessor for any return transition
bool isRet (State state) const
 tests whether the given state is the return site of any return transition
bool operator== (const TransitionInfo &other) const
 tests whether this collection of transition maps is equivalent to the collection of transition maps 'other'
void clearMaps ()
 clears the transition maps

Static Public Member Functions

static Internals const & emptyInternals ()
static Calls const & emptyCalls ()
static Returns const & emptyReturns ()

Detailed Description

This class is used to keep track of the maps from state to transition for an NWA.

Member Typedef Documentation

typedef wali::Triple<State,Symbol,State> opennwa::details::TransitionInfo::Internal
typedef wali::Triple<State,Symbol,State> opennwa::details::TransitionInfo::Call
typedef wali::Quad<State,State,Symbol,State> opennwa::details::TransitionInfo::Return
typedef wali::Triple<State,Label,State> opennwa::details::TransitionInfo::Int
typedef wali::Triple<State,Label,State> opennwa::details::TransitionInfo::Cal
typedef wali::Quad<State,State,Label,State> opennwa::details::TransitionInfo::Ret
typedef std::set<Internal> opennwa::details::TransitionInfo::Internals
typedef Internals::const_iterator opennwa::details::TransitionInfo::internalIterator
typedef Internals::const_iterator opennwa::details::TransitionInfo::InternalIterator
typedef std::set<Call> opennwa::details::TransitionInfo::Calls
typedef Calls::const_iterator opennwa::details::TransitionInfo::callIterator
typedef Calls::const_iterator opennwa::details::TransitionInfo::CallIterator
typedef std::set<Return> opennwa::details::TransitionInfo::Returns
typedef Returns::const_iterator opennwa::details::TransitionInfo::returnIterator
typedef Returns::const_iterator opennwa::details::TransitionInfo::ReturnIterator
typedef std::map<State,Internals> opennwa::details::TransitionInfo::IntraMap
typedef std::map<State,Calls> opennwa::details::TransitionInfo::CallMap
typedef std::map<State,Returns> opennwa::details::TransitionInfo::RetMap

Member Function Documentation

static Internals const& opennwa::details::TransitionInfo::emptyInternals (  )  [static]

Referenced by fromTrans(), and toTrans().

static Calls const& opennwa::details::TransitionInfo::emptyCalls (  )  [static]

Referenced by callTrans(), and entryTrans().

static Returns const& opennwa::details::TransitionInfo::emptyReturns (  )  [static]

Referenced by exitTrans(), predTrans(), and retTrans().

TransitionInfo& opennwa::details::TransitionInfo::operator= ( const TransitionInfo &  other  ) 

References clearMaps().

void opennwa::details::TransitionInfo::addIntra ( const Internal &  intra  ) 

add an internal transition to the maps

This method updates the maps associated with the source and target of the given internal transition.

Parameters:
- intra: the internal transition to add to the maps

References wali::Triple< T, U, V >::first, and wali::Triple< T, U, V >::third.

Referenced by opennwa::details::TransitionStorage::addInternal().

void opennwa::details::TransitionInfo::removeIntra ( const Internal &  intra  ) 

remove an internal transition from the maps

This method updates the maps associated with the source and target of the given internal transition.

Parameters:
- intra: the internal transition to remove from the maps

References wali::Triple< T, U, V >::first, and wali::Triple< T, U, V >::third.

Referenced by opennwa::details::TransitionStorage::removeInternal().

void opennwa::details::TransitionInfo::addCall ( const Call &  call  ) 

add a call transition to the maps

This method updates the maps associated with the call point and entry point of the given call transition.

Parameters:
- call: the call transition to add to the maps

References wali::Triple< T, U, V >::first, and wali::Triple< T, U, V >::third.

Referenced by opennwa::details::TransitionStorage::addCall().

void opennwa::details::TransitionInfo::removeCall ( const Call &  call  ) 

remove a call transition from the maps

This method updates the maps associated with the call point and entry point of the given call transition.

Parameters:
- call: the call transition to remove from the maps

References wali::Triple< T, U, V >::first, and wali::Triple< T, U, V >::third.

Referenced by opennwa::details::TransitionStorage::removeCall().

void opennwa::details::TransitionInfo::addRet ( const Return &  ret  ) 

add a return transition to the maps

This method updates the maps associated with the exit point, call predecessor, and return point of the given return transition.

Parameters:
- ret: the return transition to add to the maps

References wali::Quad< T, U, V, W >::first, wali::Quad< T, U, V, W >::fourth, and wali::Quad< T, U, V, W >::second.

Referenced by opennwa::details::TransitionStorage::addReturn().

void opennwa::details::TransitionInfo::removeRet ( const Return &  ret  ) 

remove a return transition from the maps

This method updates the maps associated with the exit point, call predecessor, and return point of the given return transition.

Parameters:
- ret: the return transition to remove from the maps

References wali::Quad< T, U, V, W >::first, wali::Quad< T, U, V, W >::fourth, and wali::Quad< T, U, V, W >::second.

Referenced by opennwa::details::TransitionStorage::removeReturn().

const Internals& opennwa::details::TransitionInfo::fromTrans ( State  state  )  const

returns all internal transitions with the given state as the source

This method returns the set of all internal transitions whose source is the given state.

Parameters:
- name: the state whose outgoing transitions to obtain
Returns:
a set of outgoing transitions for the given state

References emptyInternals().

Referenced by opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::dupTransOutgoing(), opennwa::details::TransitionStorage::findTrans(), opennwa::details::TransitionStorage::getInternals(), opennwa::details::TransitionStorage::getInternalsFrom(), opennwa::details::TransitionStorage::getSymbol(), opennwa::details::TransitionStorage::getTargets(), opennwa::details::TransitionStorage::getTransFrom(), opennwa::details::TransitionStorage::internalExists(), isFrom(), opennwa::details::TransitionStorage::isInternal(), and opennwa::details::TransitionStorage::removeInternalTransWith().

const Internals& opennwa::details::TransitionInfo::toTrans ( State  state  )  const

returns all internal transitions with the given state as the target

This method returns the set of all internal transitions whose target is the given state.

Parameters:
- name: the state whose incoming transitions to obtain a set of incoming transitions for the given state

References emptyInternals().

Referenced by opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::getTransTo(), isTo(), and opennwa::details::TransitionStorage::removeInternalTransWith().

const Calls& opennwa::details::TransitionInfo::callTrans ( State  state  )  const

returns all call transitions with the given state as the call site

This method returns the set of all call transitions whose call site is the given state.

Parameters:
- name: the state whose call site transitions to obtain
Returns:
a set of call transitions with the given state playing the part of the call site

References emptyCalls().

Referenced by opennwa::details::TransitionStorage::callExists(), opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::dupTransOutgoing(), opennwa::details::TransitionStorage::findTrans(), opennwa::details::TransitionStorage::getCalls(), opennwa::details::TransitionStorage::getEntries(), opennwa::details::TransitionStorage::getSymbol(), opennwa::details::TransitionStorage::getTransCall(), opennwa::details::TransitionStorage::isCall(), isCall(), and opennwa::details::TransitionStorage::removeCallTransWith().

const Calls& opennwa::details::TransitionInfo::entryTrans ( State  state  )  const

returns all call transitions with the given state as the entry point

This method returns the set of all call transitions whose entry point is the given state.

Parameters:
- name: the state whose entry transitions to obtain
Returns:
a set of call transitions with the given state playing the part of the entry point

References emptyCalls().

Referenced by opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::getTransEntry(), isEntry(), and opennwa::details::TransitionStorage::removeCallTransWith().

const Returns& opennwa::details::TransitionInfo::exitTrans ( State  state  )  const

returns all return transitions with the given state as the exit point

This method returns the set of all return transitions whose exit point is the given state.

Parameters:
- name: the state whose exit transitions to obtain
Returns:
a set of return transitions with the given state playing the part of the exit point

References emptyReturns().

Referenced by opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::dupTransOutgoing(), opennwa::details::TransitionStorage::findTrans(), opennwa::details::TransitionStorage::getCallSites(), opennwa::details::TransitionStorage::getReturns(), opennwa::details::TransitionStorage::getSymbol(), opennwa::details::TransitionStorage::getTransExit(), isExit(), opennwa::details::TransitionStorage::isReturn(), opennwa::details::TransitionStorage::removeReturnTransWith(), and opennwa::details::TransitionStorage::returnExists().

const Returns& opennwa::details::TransitionInfo::predTrans ( State  state  )  const

returns all return transitions with the given state as the call predecessor

This method returns the set of all return transitions whose call predecessor is the given state.

Parameters:
- name: the state whose call predecessor transitions to obtain
Returns:
a set of return transitions with the given state playing the part of the call predecessor.

References emptyReturns().

Referenced by opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::dupTransOutgoing(), opennwa::details::TransitionStorage::getReturnSites(), opennwa::details::TransitionStorage::getTransPred(), isPred(), and opennwa::details::TransitionStorage::removeReturnTransWith().

const Returns& opennwa::details::TransitionInfo::retTrans ( State  state  )  const

returns all return transitions with the given state as the return site

This method returns the set of all return transitions whose return site is the given state.

Parameters:
- name: the state whose return site transitions to obtain
Returns:
a set of return transitions with the given state playing the part of the return site.

References emptyReturns().

Referenced by opennwa::details::TransitionStorage::dupTrans(), opennwa::details::TransitionStorage::getTransRet(), isRet(), and opennwa::details::TransitionStorage::removeReturnTransWith().

bool opennwa::details::TransitionInfo::isFrom ( State  state  )  const

tests whether the given state is the source of any internal transition

This method determines whether the given state is the source of any internal transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the source of some internal transition, false otherwise

References fromTrans().

Referenced by opennwa::details::TransitionStorage::isFrom().

bool opennwa::details::TransitionInfo::isTo ( State  state  )  const

tests whether the given state is the target of any internal transition

This method determines whether the given state is the target of any internal transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the target of some internal transition, false otherwise

References toTrans().

Referenced by opennwa::details::TransitionStorage::isTo().

bool opennwa::details::TransitionInfo::isCall ( State  state  )  const

tests whether the given state is the call site of any call transition

This method determines whether the given state is the call site of any call transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the call site of some call transition, false otherwise

References callTrans().

Referenced by opennwa::details::TransitionStorage::isCall().

bool opennwa::details::TransitionInfo::isEntry ( State  state  )  const

tests whether the given state is the entry point of any call transition

This method determines whether the given state is the entry point of any call transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the entry point of some call transition, false otherwise

References entryTrans().

Referenced by opennwa::details::TransitionStorage::isEntry().

bool opennwa::details::TransitionInfo::isExit ( State  state  )  const

tests whether the given state is the exit point of any return transition

This method determines whether the given state is the exit point of any return transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the exit point of some return transition, false otherwise

References exitTrans().

Referenced by opennwa::details::TransitionStorage::isExit().

bool opennwa::details::TransitionInfo::isPred ( State  state  )  const

tests whether the given state is the call predecessor for any return transition

This method determines whether the given state is the call predecessor for any return transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the call predecessor of some return transition, false otherwise

References predTrans().

Referenced by opennwa::details::TransitionStorage::isPred().

bool opennwa::details::TransitionInfo::isRet ( State  state  )  const

tests whether the given state is the return site of any return transition

This method determines whether the given state is the return site of any return transition.

Parameters:
- name: the state to test
Returns:
true if the given state is the return site of some return transition, false otherwise

References retTrans().

Referenced by opennwa::details::TransitionStorage::isRet().

bool opennwa::details::TransitionInfo::operator== ( const TransitionInfo &  other  )  const

tests whether this collection of transition maps is equivalent to the collection of transition maps 'other'

This method tests the equivalence of these transition maps and the transition maps in 'other'.

Parameters:
- other: the TransitionInfo to compare this TransitionInfo to
Returns:
true if this TransitionInfo is equivalent to the TransitionInfo 'other'
void opennwa::details::TransitionInfo::clearMaps (  ) 

clears the transition maps

This method removes all transition information from the transition maps.

Referenced by opennwa::details::TransitionStorage::clear(), opennwa::details::TransitionStorage::operator=(), and operator=().

The documentation for this class was generated from the following file:
Generated on Tue Jan 31 2012 17:06:21 for Wali by  doxygen 1.7.1