P4::P4Tools::P4Testgen::ExecutionState::StackFrame Class Reference

Public Types
using	ExceptionHandlers = std::map<Continuation::Exception, Continuation>

Public Member Functions
	StackFrame (const StackFrame &)=default
	StackFrame (Continuation normalContinuation, const NamespaceContext *namespaces)
	StackFrame (Continuation normalContinuation, ExceptionHandlers exceptionHandlers, const NamespaceContext *namespaces)
	StackFrame (StackFrame &&) noexcept=default
const Continuation &	getContinuation () const
const ExceptionHandlers &	getExceptionHandlers () const
const NamespaceContext *	getNameSpaces () const
StackFrame &	operator= (const StackFrame &)=default
StackFrame &	operator= (StackFrame &&)=default

Member Function Documentation

getContinuation()

const Continuation & P4::P4Tools::P4Testgen::ExecutionState::StackFrame::getContinuation ( ) const

nodiscard

Returns

the top-level continuation of this particular stack frame.

getExceptionHandlers()

const ExecutionState::StackFrame::ExceptionHandlers & P4::P4Tools::P4Testgen::ExecutionState::StackFrame::getExceptionHandlers ( ) const

nodiscard

Returns

the exception handlers contained within this stack frame.

getNameSpaces()

const NamespaceContext * P4::P4Tools::P4Testgen::ExecutionState::StackFrame::getNameSpaces ( ) const

nodiscard

Returns

the namespaces contained within this stack frame.