calls.cpp File Reference

Namespaces
namespace	opennwa
	This file defines forward declarations for various useful NWA-related types.
namespace	opennwa::query
Typedefs
typedef details::TransitionStorage	opennwa::query::Trans
typedef Trans::CallIterator	opennwa::query::CallIterator
typedef Trans::InternalIterator	opennwa::query::InternalIterator
typedef Trans::ReturnIterator	opennwa::query::ReturnIterator
typedef Trans::Call	opennwa::query::Call
typedef Trans::Internal	opennwa::query::Internal
typedef Trans::Return	opennwa::query::Return
typedef Trans::Calls	opennwa::query::Calls
typedef Trans::Internals	opennwa::query::Internals
typedef Trans::Returns	opennwa::query::Returns
Functions
const std::set< State >	opennwa::query::getCallSites_Sym (Nwa const &nwa, Symbol symbol)
	returns the call site states associated with the given symbol
const std::set< State >	opennwa::query::getCallSites (Nwa const &nwa, Symbol symbol, State entryPoint)
	returns the call site states associated with the given symbol and entry point
const std::set< std::pair < State, Symbol > >	opennwa::query::getCallSites (Nwa const &nwa, State entryPoint)
	returns the call site/symbol pairs associated with the given entry point
const std::set< State >	opennwa::query::getCallSites (Nwa const &nwa)
	returns the call sites of all call transitions in the NWA
const std::set< Symbol >	opennwa::query::getCallSym (Nwa const &nwa)
	returns the symbols that label call transitions in the NWA
const std::set< Symbol >	opennwa::query::getCallSym (Nwa const &nwa, State callSite, State entryPoint)
	returns the symbols that label the call transitions from 'callSite' to 'entryPoint' in the NWA
const std::set< Symbol >	opennwa::query::getCallSym_Call (Nwa const &nwa, State callSite)
	returns the symbols that label the call transitions from 'callSite' in the NWA
const std::set< Symbol >	opennwa::query::getCallSym_Entry (Nwa const &nwa, State entryPoint)
	returns the symbols that label the call transitions to 'entryPoint' in the NWA
const std::set< State >	opennwa::query::getEntries_Sym (Nwa const &nwa, Symbol symbol)
	returns the entry point states associated with the given symbol
const std::set< State >	opennwa::query::getEntries (Nwa const &nwa, State callSite, Symbol symbol)
	returns the entry point states associated with the given call site and symbol
const std::set< std::pair < Symbol, State > >	opennwa::query::getEntries (Nwa const &nwa, State callSite)
	returns the symbol/entry point pairs associated with the given call site
const std::set< State >	opennwa::query::getEntries (Nwa const &nwa)
	returns the entry points of all call transitions in the NWA