Include file:
#include "mcrl2/data/typecheck.h"
add your file description here.
mcrl2::data::
sorts_list
¶typedef for atermpp::term_list< sort_expression_list >
mcrl2::data::
typecheck_data_expression
(const data_expression &x, const data_specification &dataspec = data_specification())¶Type check a data expression. Throws an exception if something went wrong.
Parameters:
Post: data_expr is type checked.
mcrl2::data::
typecheck_data_expression
(const data_expression &x, const VariableContainer &variables, const data_specification &dataspec = data_specification())¶Type check a data expression. Throws an exception if something went wrong.
Parameters:
Post: data_expr is type checked.
mcrl2::data::
typecheck_data_specification
(data_specification &data_spec)¶Type check a parsed mCRL2 data specification. Throws an exception if something went wrong.
Parameters:
Post: data_spec is type checked.
mcrl2::data::
typecheck_sort_expression
(const sort_expression &sort_expr, const data_specification &data_spec)¶Type check a sort expression. Throws an exception if something went wrong.
Parameters:
Post: sort_expr is type checked.
mcrl2::data::
typecheck_untyped_data_parameter
(data_type_checker &typechecker, const core::identifier_string &name, const data_expression_list ¶meters, const data::sort_expression &expected_sort, const detail::variable_context &variable_context)¶