mcrl2::data::detail::variable_context Class Reference

#include <variable_context.h>

Public Member Functions
	variable_context ()
	variable_context (const std::map< core::identifier_string, sort_expression > &variables)
const std::map< core::identifier_string, sort_expression > &	context () const
template<typename VariableContainer >
void	add_context_variables (const VariableContainer &variables)
template<typename VariableContainer >
void	add_context_variables (const VariableContainer &variables, const data_type_checker &typechecker)
void	clear ()

Protected Member Functions
void	typecheck_variable (const data_type_checker &typechecker, const variable &v) const

Private Attributes
std::map< core::identifier_string, sort_expression >	m_variables

Detailed Description

Definition at line 40 of file variable_context.h.

Constructor & Destructor Documentation

variable_context() [1/2]

mcrl2::data::detail::variable_context::variable_context ( )

inline

Definition at line 49 of file variable_context.h.

variable_context() [2/2]

mcrl2::data::detail::variable_context::variable_context ( const std::map< core::identifier_string, sort_expression > &  variables )

inlineexplicit

Definition at line 52 of file variable_context.h.

Member Function Documentation

add_context_variables() [1/2]

template<typename VariableContainer >

void mcrl2::data::detail::variable_context::add_context_variables ( const VariableContainer &  variables )

inline

Definition at line 63 of file variable_context.h.

add_context_variables() [2/2]

template<typename VariableContainer >

void mcrl2::data::detail::variable_context::add_context_variables ( const VariableContainer &  variables, const data_type_checker &  typechecker  )

inline

Definition at line 75 of file variable_context.h.

clear()

void mcrl2::data::detail::variable_context::clear ( )

inline

Definition at line 98 of file variable_context.h.

context()

const std::map< core::identifier_string, sort_expression > & mcrl2::data::detail::variable_context::context ( ) const

inline

Definition at line 56 of file variable_context.h.

typecheck_variable()

void mcrl2::data::detail::variable_context::typecheck_variable ( const data_type_checker &  typechecker, const variable &  v  ) const

protected

Definition at line 25 of file typecheck.cpp.

Member Data Documentation

m_variables

std::map<core::identifier_string, sort_expression> mcrl2::data::detail::variable_context::m_variables

private

Definition at line 43 of file variable_context.h.

---

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

• data/include/mcrl2/data/detail/variable_context.h
• data/source/typecheck.cpp