mcrl2::lps::multi_action_type_checker Class Reference

#include <typecheck.h>

Public Member Functions
template<typename VariableContainer , typename ActionLabelContainer >
	multi_action_type_checker (const data::data_specification &dataspec, const VariableContainer &variables, const ActionLabelContainer &action_labels)
	multi_action_type_checker (const data::data_specification &dataspec=data::data_specification())
	Default constructor.
multi_action	operator() (const process::untyped_multi_action &x)
	Type check a multi action. Throws a mcrl2::runtime_error exception if the expression is not well typed.

Protected Attributes
data::data_type_checker	m_data_type_checker
process::detail::action_context	m_action_context
data::detail::variable_context	m_variable_context

Detailed Description

Definition at line 24 of file typecheck.h.

Constructor & Destructor Documentation

multi_action_type_checker() [1/2]

template<typename VariableContainer , typename ActionLabelContainer >

mcrl2::lps::multi_action_type_checker::multi_action_type_checker ( const data::data_specification &  dataspec, const VariableContainer &  variables, const ActionLabelContainer &  action_labels  )

inline

Definition at line 33 of file typecheck.h.

multi_action_type_checker() [2/2]

mcrl2::lps::multi_action_type_checker::multi_action_type_checker ( const data::data_specification &  dataspec = data::data_specification() )

inline

Default constructor.

Definition at line 44 of file typecheck.h.

Member Function Documentation

operator()()

multi_action mcrl2::lps::multi_action_type_checker::operator() ( const process::untyped_multi_action &  x )

inline

Type check a multi action. Throws a mcrl2::runtime_error exception if the expression is not well typed.

Parameters

[in]

x

A multi action that has not been type checked.

Returns

a typed multi action.

Definition at line 53 of file typecheck.h.

Member Data Documentation

m_action_context

process::detail::action_context mcrl2::lps::multi_action_type_checker::m_action_context

protected

Definition at line 28 of file typecheck.h.

m_data_type_checker

data::data_type_checker mcrl2::lps::multi_action_type_checker::m_data_type_checker

protected

Definition at line 27 of file typecheck.h.

m_variable_context

data::detail::variable_context mcrl2::lps::multi_action_type_checker::m_variable_context

protected

Definition at line 29 of file typecheck.h.

---

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

• lps/include/mcrl2/lps/typecheck.h