#include <typecheck.h>

Public Member Functions
	action_rename_type_checker ()
	Default constructor for an action rename type checker.

action_rename_specification	operator() (const action_rename_specification &arspec, const stochastic_specification &lpsspec)
	Type check an action_rename_specification.

Protected Member Functions
action_rename_rule	typecheck_action_rename_rule (const action_rename_rule &x, const process::action_label_list &action_labels)

Protected Attributes
data::data_type_checker	m_data_type_checker

process::detail::action_context	m_action_context

Detailed Description

Definition at line 71 of file typecheck.h.

Constructor & Destructor Documentation

mcrl2::lps::action_rename_type_checker::action_rename_type_checker ( )

inline

Default constructor for an action rename type checker.

Definition at line 91 of file typecheck.h.

action_rename_specification mcrl2::lps::action_rename_type_checker::operator()	(	const action_rename_specification &	arspec,
		const stochastic_specification &	lpsspec
	)

inline

Parameters

[in]	arspec	An action rename specification that has not been type checked.
[in]	lpsspec	A linear specification with data, action and global variable declarations.

Returns: a action rename specification where all untyped identifiers have been replace by typed ones.

Definition at line 100 of file typecheck.h.

action_rename_rule mcrl2::lps::action_rename_type_checker::typecheck_action_rename_rule	(	const action_rename_rule &	x,
		const process::action_label_list &	action_labels
	)

inlineprotected

Definition at line 77 of file typecheck.h.

process::detail::action_context mcrl2::lps::action_rename_type_checker::m_action_context

protected

Definition at line 75 of file typecheck.h.

data::data_type_checker mcrl2::lps::action_rename_type_checker::m_data_type_checker

protected

Definition at line 74 of file typecheck.h.

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