ErrorMgr Struct Reference

Public interface of class 'ErrorMgr'. More...

#include <ErrorMgr.h>

Related Functions
(Note that these are not member functions.)
void	ErrorMgr_cancel_long_jmp (ErrorMgr_ptr self)
	Pop one of the environments saved in jmp_buf.
ErrorMgr_ptr	ErrorMgr_create (const NuSMVEnv_ptr env)
	The ErrorMgr class constructor.
void	ErrorMgr_destroy (ErrorMgr_ptr self)
	The ErrorMgr class destructor.
void	ErrorMgr_disable_tag (ErrorMgr_ptr self, const char *tag)
	Disable "tag" See TagInfo struct for information about tags.
void	ErrorMgr_enable_tag (ErrorMgr_ptr self, const char *tag)
	Enable "tag" See TagInfo struct for information about tags.
void	ErrorMgr_error_ambiguous (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_array_out_of_bounds (ErrorMgr_ptr self, int index, int low, int high) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_assign_both (ErrorMgr_ptr self, node_ptr v, node_ptr v1, int lineno, int lineno2) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_assign_exp_contains_input_vars (ErrorMgr_ptr self, node_ptr exp) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_assign_expected_var (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_assign_frozen_var (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_assign_input_var (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_bmc_invalid_k_l (ErrorMgr_ptr self, const int k, const int l)
void	ErrorMgr_error_circular (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_div_by_nonconst (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_div_by_zero (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_empty_range (ErrorMgr_ptr self, node_ptr name, int dim1, int dim2) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_expected_number (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_file_clobbering (ErrorMgr_ptr self, const char *filename) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_file_not_found (ErrorMgr_ptr self, const char *filename) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_game_definition_contains_input_vars (ErrorMgr_ptr self, node_ptr var_name) NUSMV_FUNCATTR_NORETURN
	TODO[AMA] This should not stay here, see issue 4485.
void	ErrorMgr_error_init_exp_contains_input_vars (ErrorMgr_ptr self, node_ptr exp) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invalid_bool_cast (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invalid_count_operator (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invalid_enum_value (ErrorMgr_ptr self, node_ptr value) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invalid_number (ErrorMgr_ptr self, const char *szNumber)
void	ErrorMgr_error_invalid_numeric_value (ErrorMgr_ptr self, int value, const char *reason) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invalid_subrange (ErrorMgr_ptr self, node_ptr range) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invalid_toint_cast (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_invar_exp_contains_input_vars (ErrorMgr_ptr self, node_ptr exp) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_lhs_of_index_is_not_array (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_mod_by_nonword (ErrorMgr_ptr self, node_ptr expr)
void	ErrorMgr_error_msg (const ErrorMgr_ptr self, const char *format,...)
	Prints an error message, and returns.
void	ErrorMgr_error_multiple_assignment (ErrorMgr_ptr self, node_ptr t1) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_multiple_substitution (ErrorMgr_ptr self, node_ptr nodep) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_next_exp_contains_input_vars (ErrorMgr_ptr self, node_ptr exp) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_constant_extend_width (ErrorMgr_ptr self, const node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_constant_resize_width (ErrorMgr_ptr self, const node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_constant_width_of_array_type (ErrorMgr_ptr self, node_ptr name) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_constant_width_of_word_array_type (ErrorMgr_ptr self, node_ptr name) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_constant_width_of_word_type (ErrorMgr_ptr self, node_ptr name) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_constant_wtoint (ErrorMgr_ptr self, const node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_proper_number (ErrorMgr_ptr self, const char *op, node_ptr n) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_proper_numbers (ErrorMgr_ptr self, const char *op, node_ptr n1, node_ptr n2) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_supported_feature (ErrorMgr_ptr self, const char *msg) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_not_word_wsizeof (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_out_of_bounds_word_toint_cast (ErrorMgr_ptr self, node_ptr expr) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_out_of_memory (ErrorMgr_ptr self, size_t size) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_property_already_specified (ErrorMgr_ptr self)
void	ErrorMgr_error_property_contains_input_vars (ErrorMgr_ptr self, Prop_ptr prop) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_psl_not_supported_feature (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_psl_not_supported_feature_next_number (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_psl_repeated_replicator_id (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_reassigning (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_redefining (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_redefining_input_var (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_redefining_operational_symbol (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_second_player_next_var (ErrorMgr_ptr self, node_ptr exp) NUSMV_FUNCATTR_NORETURN
	TODO[AMA] This should not stay here, see issue 4485.
void	ErrorMgr_error_second_player_var (ErrorMgr_ptr self, node_ptr exp) NUSMV_FUNCATTR_NORETURN
	TODO[AMA] This should not stay here, see issue 4485.
void	ErrorMgr_error_set_preprocessor (ErrorMgr_ptr self, const char *name, boolean is_warning)
void	ErrorMgr_error_shadowing (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_too_many_vars (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_type_system_violation (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_undefined (ErrorMgr_ptr self, node_ptr s) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_unknown_preprocessor (ErrorMgr_ptr self, const char *prep_name) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_unknown_var_in_order_file (ErrorMgr_ptr self, node_ptr n) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_var_appear_twice_in_order_file (ErrorMgr_ptr self, node_ptr n) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_var_not_in_order_file (ErrorMgr_ptr self, node_ptr n) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_error_wrong_word_operand (ErrorMgr_ptr self, const char *msg, node_ptr expr) NUSMV_FUNCATTR_NORETURN
FailureKind	ErrorMgr_failure_get_kind (ErrorMgr_ptr self, node_ptr failure)
	Returns the failure kind associated to the failure node.
int	ErrorMgr_failure_get_lineno (ErrorMgr_ptr self, node_ptr failure)
const char *	ErrorMgr_failure_get_msg (ErrorMgr_ptr self, node_ptr failure)
	Returns the message string associated to the failure node.
node_ptr	ErrorMgr_failure_make (ErrorMgr_ptr self, const char *msg, FailureKind kind, int lineno)
	Builder for FAILURE nodes.
void	ErrorMgr_finish_parsing_err (ErrorMgr_ptr self) NUSMV_FUNCATTR_NORETURN
	General routine to terminate error reporting.
OptsHandler_ptr	ErrorMgr_get_options_handler (const ErrorMgr_ptr self)
	The ErrorMgr OptsHandler getter.
StreamMgr_ptr	ErrorMgr_get_stream_manager (const ErrorMgr_ptr self)
	The ErrorMgr StreamMgr getter.
UStringMgr_ptr	ErrorMgr_get_string_manager (const ErrorMgr_ptr self)
	The ErrorMgr UStringMgr getter.
node_ptr	ErrorMgr_get_the_node (const ErrorMgr_ptr self)
void	ErrorMgr_internal_error (ErrorMgr_ptr self, const char *fmt,...) NUSMV_FUNCATTR_NORETURN
	Prints out an internal error.
node_ptr	ErrorMgr_io_atom_head (ErrorMgr_ptr self)
boolean	ErrorMgr_io_atom_is_empty (ErrorMgr_ptr self)
void	ErrorMgr_io_atom_pop (ErrorMgr_ptr self)
void	ErrorMgr_io_atom_push (ErrorMgr_ptr self, node_ptr s)
void	ErrorMgr_long_jmp (ErrorMgr_ptr self)
	Restore the environment saved in jmp_buf.
JMPBUF *	ErrorMgr_new_long_jmp (ErrorMgr_ptr self)
	Save stack context for non-local goto.
void	ErrorMgr_nusmv_exit (ErrorMgr_ptr self, int n) NUSMV_FUNCATTR_NORETURN
	General exit routine.
void	ErrorMgr_print_io_atom_stack (ErrorMgr_ptr self)
void	ErrorMgr_range_error (ErrorMgr_ptr self, node_ptr n, node_ptr var) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_range_warning (ErrorMgr_ptr self, node_ptr n, node_ptr var)
void	ErrorMgr_report_failure_node (ErrorMgr_ptr self, node_ptr n) NUSMV_FUNCATTR_NORETURN
	n must be a FAILURE node
void	ErrorMgr_reset_long_jmp (ErrorMgr_ptr self)
	Reset environment saved in jmp_buf.
void	ErrorMgr_rpterr (ErrorMgr_ptr self, const char *fmt,...) NUSMV_FUNCATTR_NORETURN
	General error reporting routine.
void	ErrorMgr_rpterr_node (ErrorMgr_ptr self, node_ptr node, const char *fmt,...) NUSMV_FUNCATTR_NORETURN
	General error reporting routine.
void	ErrorMgr_set_the_node (ErrorMgr_ptr self, node_ptr node)
void	ErrorMgr_start_parsing_err (ErrorMgr_ptr self)
	General routine to start error reporting.
void	ErrorMgr_type_error (ErrorMgr_ptr self, node_ptr n) NUSMV_FUNCATTR_NORETURN
void	ErrorMgr_warning_ag_only_without_reachables (ErrorMgr_ptr self)
void	ErrorMgr_warning_case_not_exhaustive (ErrorMgr_ptr self, node_ptr failure)
void	ErrorMgr_warning_failure_node (ErrorMgr_ptr self, node_ptr n)
void	ErrorMgr_warning_fsm_fairness_empty (ErrorMgr_ptr self)
void	ErrorMgr_warning_fsm_init_and_fairness_empty (ErrorMgr_ptr self)
void	ErrorMgr_warning_fsm_init_empty (ErrorMgr_ptr self)
void	ErrorMgr_warning_fsm_invar_empty (ErrorMgr_ptr self)
void	ErrorMgr_warning_id_appears_twice_in_idlist_file (ErrorMgr_ptr self, node_ptr n)
void	ErrorMgr_warning_missing_variable (ErrorMgr_ptr self, node_ptr vname)
void	ErrorMgr_warning_missing_variables (ErrorMgr_ptr self, NodeList_ptr vars_list)
void	ErrorMgr_warning_msg (ErrorMgr_ptr self, const char *fmt,...)
	Prints out a warning.
void	ErrorMgr_warning_non_ag_only_spec (ErrorMgr_ptr self, Prop_ptr prop)
void	ErrorMgr_warning_possible_array_out_of_bounds (ErrorMgr_ptr self, node_ptr failure)
void	ErrorMgr_warning_possible_div_by_zero (ErrorMgr_ptr self, node_ptr failure)
void	ErrorMgr_warning_processes_deprecated (ErrorMgr_ptr self)
void	ErrorMgr_warning_psl_not_supported_feature (ErrorMgr_ptr self, node_ptr psl_spec, int index)
void	ErrorMgr_warning_var_appear_twice_in_order_file (ErrorMgr_ptr self, node_ptr n)
void	ErrorMgr_warning_variable_not_declared (ErrorMgr_ptr self, node_ptr vname)

---

Detailed Description

Public interface of class 'ErrorMgr'.

Author:

Alessandro Mariotti

Todo:

: Missing description

Definition of the public accessor for class ErrorMgr

---

Friends And Related Function Documentation

void ErrorMgr_cancel_long_jmp

(

ErrorMgr_ptr

self

)

[related]

Pop one of the environments saved in jmp_buf.

Removes the last envirnoment saved in jmp_buf by a SETJMP(*(ErrorMgr_new_long_jmp()) call.

ErrorMgr_ptr ErrorMgr_create

(

const NuSMVEnv_ptr

env

)

[related]

The ErrorMgr class constructor.

AutomaticStart

The ErrorMgr class constructor

Environment requisites:

• No instances registered with key ENV_ERROR_MANAGER
• OptsHandler instance registered as ENV_OPTS_HANDLER
• StreamMgr instance registered as ENV_STREAM_MANAGER
• UStringMgr instance registered as ENV_STRING_MGR

See also:

ErrorMgr_destroy

void ErrorMgr_destroy

(

ErrorMgr_ptr

self

)

[related]

The ErrorMgr class destructor.

The ErrorMgr class destructor

See also:

ErrorMgr_create

void ErrorMgr_disable_tag	(	ErrorMgr_ptr	self,
		const char *	tag
	)			[related]

Disable "tag" See TagInfo struct for information about tags.

void ErrorMgr_enable_tag	(	ErrorMgr_ptr	self,
		const char *	tag
	)			[related]

Enable "tag" See TagInfo struct for information about tags.

void ErrorMgr_error_ambiguous	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_array_out_of_bounds	(	ErrorMgr_ptr	self,
		int	index,
		int	low,
		int	high
	)			[related]

void ErrorMgr_error_assign_both	(	ErrorMgr_ptr	self,
		node_ptr	v,
		node_ptr	v1,
		int	lineno,
		int	lineno2
	)			[related]

void ErrorMgr_error_assign_exp_contains_input_vars	(	ErrorMgr_ptr	self,
		node_ptr	exp
	)			[related]

void ErrorMgr_error_assign_expected_var	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_assign_frozen_var	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_assign_input_var	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_bmc_invalid_k_l	(	ErrorMgr_ptr	self,
		const int	k,
		const int	l
	)			[related]

void ErrorMgr_error_circular	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_div_by_nonconst	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_div_by_zero	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_empty_range	(	ErrorMgr_ptr	self,
		node_ptr	name,
		int	dim1,
		int	dim2
	)			[related]

void ErrorMgr_error_expected_number

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_file_clobbering	(	ErrorMgr_ptr	self,
		const char *	filename
	)			[related]

void ErrorMgr_error_file_not_found	(	ErrorMgr_ptr	self,
		const char *	filename
	)			[related]

void ErrorMgr_error_game_definition_contains_input_vars	(	ErrorMgr_ptr	self,
		node_ptr	var_name
	)			[related]

TODO[AMA] This should not stay here, see issue 4485.

void ErrorMgr_error_init_exp_contains_input_vars	(	ErrorMgr_ptr	self,
		node_ptr	exp
	)			[related]

void ErrorMgr_error_invalid_bool_cast	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_invalid_count_operator	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_invalid_enum_value	(	ErrorMgr_ptr	self,
		node_ptr	value
	)			[related]

void ErrorMgr_error_invalid_number	(	ErrorMgr_ptr	self,
		const char *	szNumber
	)			[related]

void ErrorMgr_error_invalid_numeric_value	(	ErrorMgr_ptr	self,
		int	value,
		const char *	reason
	)			[related]

void ErrorMgr_error_invalid_subrange	(	ErrorMgr_ptr	self,
		node_ptr	range
	)			[related]

void ErrorMgr_error_invalid_toint_cast	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_invar_exp_contains_input_vars	(	ErrorMgr_ptr	self,
		node_ptr	exp
	)			[related]

void ErrorMgr_error_lhs_of_index_is_not_array

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_mod_by_nonword	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_msg	(	const ErrorMgr_ptr	self,
		const char *	format,
			...
	)			[related]

Prints an error message, and returns.

No exception is raised, the message is simply printed out to the error stream

void ErrorMgr_error_multiple_assignment	(	ErrorMgr_ptr	self,
		node_ptr	t1
	)			[related]

void ErrorMgr_error_multiple_substitution	(	ErrorMgr_ptr	self,
		node_ptr	nodep
	)			[related]

void ErrorMgr_error_next_exp_contains_input_vars	(	ErrorMgr_ptr	self,
		node_ptr	exp
	)			[related]

void ErrorMgr_error_not_constant_extend_width	(	ErrorMgr_ptr	self,
		const node_ptr	expr
	)			[related]

void ErrorMgr_error_not_constant_resize_width	(	ErrorMgr_ptr	self,
		const node_ptr	expr
	)			[related]

void ErrorMgr_error_not_constant_width_of_array_type	(	ErrorMgr_ptr	self,
		node_ptr	name
	)			[related]

void ErrorMgr_error_not_constant_width_of_word_array_type	(	ErrorMgr_ptr	self,
		node_ptr	name
	)			[related]

void ErrorMgr_error_not_constant_width_of_word_type	(	ErrorMgr_ptr	self,
		node_ptr	name
	)			[related]

void ErrorMgr_error_not_constant_wtoint	(	ErrorMgr_ptr	self,
		const node_ptr	expr
	)			[related]

void ErrorMgr_error_not_proper_number	(	ErrorMgr_ptr	self,
		const char *	op,
		node_ptr	n
	)			[related]

void ErrorMgr_error_not_proper_numbers	(	ErrorMgr_ptr	self,
		const char *	op,
		node_ptr	n1,
		node_ptr	n2
	)			[related]

void ErrorMgr_error_not_supported_feature	(	ErrorMgr_ptr	self,
		const char *	msg
	)			[related]

void ErrorMgr_error_not_word_wsizeof	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_out_of_bounds_word_toint_cast	(	ErrorMgr_ptr	self,
		node_ptr	expr
	)			[related]

void ErrorMgr_error_out_of_memory	(	ErrorMgr_ptr	self,
		size_t	size
	)			[related]

void ErrorMgr_error_property_already_specified

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_property_contains_input_vars	(	ErrorMgr_ptr	self,
		Prop_ptr	prop
	)			[related]

void ErrorMgr_error_psl_not_supported_feature

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_psl_not_supported_feature_next_number

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_psl_repeated_replicator_id

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_reassigning	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_redefining	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_redefining_input_var	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_redefining_operational_symbol	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_second_player_next_var	(	ErrorMgr_ptr	self,
		node_ptr	exp
	)			[related]

TODO[AMA] This should not stay here, see issue 4485.

void ErrorMgr_error_second_player_var	(	ErrorMgr_ptr	self,
		node_ptr	exp
	)			[related]

TODO[AMA] This should not stay here, see issue 4485.

void ErrorMgr_error_set_preprocessor	(	ErrorMgr_ptr	self,
		const char *	name,
		boolean	is_warning
	)			[related]

void ErrorMgr_error_shadowing	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_too_many_vars

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_type_system_violation

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_error_undefined	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_error_unknown_preprocessor	(	ErrorMgr_ptr	self,
		const char *	prep_name
	)			[related]

void ErrorMgr_error_unknown_var_in_order_file	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_error_var_appear_twice_in_order_file	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_error_var_not_in_order_file	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_error_wrong_word_operand	(	ErrorMgr_ptr	self,
		const char *	msg,
		node_ptr	expr
	)			[related]

FailureKind ErrorMgr_failure_get_kind	(	ErrorMgr_ptr	self,
		node_ptr	failure
	)			[related]

Returns the failure kind associated to the failure node.

int ErrorMgr_failure_get_lineno	(	ErrorMgr_ptr	self,
		node_ptr	failure
	)			[related]

const char * ErrorMgr_failure_get_msg	(	ErrorMgr_ptr	self,
		node_ptr	failure
	)			[related]

Returns the message string associated to the failure node.

node_ptr ErrorMgr_failure_make	(	ErrorMgr_ptr	self,
		const char *	msg,
		FailureKind	kind,
		int	lineno
	)			[related]

Builder for FAILURE nodes.

void ErrorMgr_finish_parsing_err

(

ErrorMgr_ptr

self

)

[related]

General routine to terminate error reporting.

This is the general routine to be called as last routine in specific error reporting routines. If error happens during flattening, the system is also reset. Finally, a call to ErrorMgr_nusmv_exit(errmgr) is performed.

OptsHandler_ptr ErrorMgr_get_options_handler

(

const ErrorMgr_ptr

self

)

[related]

The ErrorMgr OptsHandler getter.

The ErrorMgr OptsHandler getter

StreamMgr_ptr ErrorMgr_get_stream_manager

(

const ErrorMgr_ptr

self

)

[related]

The ErrorMgr StreamMgr getter.

The ErrorMgr StreamMgr getter

UStringMgr_ptr ErrorMgr_get_string_manager

(

const ErrorMgr_ptr

self

)

[related]

The ErrorMgr UStringMgr getter.

The ErrorMgr UStringMgr getter

node_ptr ErrorMgr_get_the_node

(

const ErrorMgr_ptr

self

)

[related]

Todo:

Missing synopsis

Todo:

Missing description

void ErrorMgr_internal_error	(	ErrorMgr_ptr	self,
		const char *	fmt,
			...
	)			[related]

Prints out an internal error.

Produces a message on the error stream of the stream manager. The message is considered an internal error. The arguments are similar to those of the printf.

node_ptr ErrorMgr_io_atom_head

(

ErrorMgr_ptr

self

)

[related]

boolean ErrorMgr_io_atom_is_empty

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_io_atom_pop

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_io_atom_push	(	ErrorMgr_ptr	self,
		node_ptr	s
	)			[related]

void ErrorMgr_long_jmp

(

ErrorMgr_ptr

self

)

[related]

Restore the environment saved in jmp_buf.

Restores the environment saved by the last call of

SETJMP* ErroMgr_new_long_jmp(). After ErrorMgr_long_jmp() is completed, program execution continues as if the corresponding call of SETJMP() had just returned a value different from 0 (zero).

JMPBUF * ErrorMgr_new_long_jmp

(

ErrorMgr_ptr

self

)

[related]

Save stack context for non-local goto.

Saves the stack environment in the local array jmp_buf_arr for later use by ErrorMgr_long_jmp.

See also:

ErrorMgr_long_jmp

void ErrorMgr_nusmv_exit	(	ErrorMgr_ptr	self,
		int	n
	)			[related]

General exit routine.

If non local goto are anebaled, instead of exiting from the program, then the non local goto is executed. int n: the exit code

See also:

ErrorMgr_set_jmp ErrorMgr_long_jmp

void ErrorMgr_print_io_atom_stack

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_range_error	(	ErrorMgr_ptr	self,
		node_ptr	n,
		node_ptr	var
	)			[related]

void ErrorMgr_range_warning	(	ErrorMgr_ptr	self,
		node_ptr	n,
		node_ptr	var
	)			[related]

void ErrorMgr_report_failure_node	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

n must be a FAILURE node

void ErrorMgr_reset_long_jmp

(

ErrorMgr_ptr

self

)

[related]

Reset environment saved in jmp_buf.

Resets the environment saved by the calls to SETJMP(*(ErroMgr_new_long_jmp())). After this call, all the longjump points previously stored are cancelled.

void ErrorMgr_rpterr	(	ErrorMgr_ptr	self,
		const char *	fmt,
			...
	)			[related]

General error reporting routine.

Produces a message on the error stream of the stream manager. The arguments are similar to those of the printf, but only if fmt is not NULL or the empty string

void ErrorMgr_rpterr_node	(	ErrorMgr_ptr	self,
		node_ptr	node,
		const char *	fmt,
			...
	)			[related]

General error reporting routine.

Produces a message on the error streams of the stream manager. The arguments are similar to those of the printf, except argument "node" which is output at the end of the message with function print_node

void ErrorMgr_set_the_node	(	ErrorMgr_ptr	self,
		node_ptr	node
	)			[related]

Todo:

Missing synopsis

Todo:

Missing description

void ErrorMgr_start_parsing_err

(

ErrorMgr_ptr

self

)

[related]

General routine to start error reporting.

This is a general routine to be called by error reporting routines as first call. The file name and corresponding line number of the token that has generated the error (which is retrieved by ErrorMgr_get_the_node(errmgr) are printed out.

See also:

ErrorMgr_finish_parsing_err

void ErrorMgr_type_error	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_warning_ag_only_without_reachables

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_warning_case_not_exhaustive	(	ErrorMgr_ptr	self,
		node_ptr	failure
	)			[related]

void ErrorMgr_warning_failure_node	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_warning_fsm_fairness_empty

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_warning_fsm_init_and_fairness_empty

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_warning_fsm_init_empty

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_warning_fsm_invar_empty

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_warning_id_appears_twice_in_idlist_file	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_warning_missing_variable	(	ErrorMgr_ptr	self,
		node_ptr	vname
	)			[related]

void ErrorMgr_warning_missing_variables	(	ErrorMgr_ptr	self,
		NodeList_ptr	vars_list
	)			[related]

void ErrorMgr_warning_msg	(	ErrorMgr_ptr	self,
		const char *	fmt,
			...
	)			[related]

Prints out a warning.

Produces a warning message on the error stream of the stream manager. The arguments are similar to those of the printf.

void ErrorMgr_warning_non_ag_only_spec	(	ErrorMgr_ptr	self,
		Prop_ptr	prop
	)			[related]

void ErrorMgr_warning_possible_array_out_of_bounds	(	ErrorMgr_ptr	self,
		node_ptr	failure
	)			[related]

void ErrorMgr_warning_possible_div_by_zero	(	ErrorMgr_ptr	self,
		node_ptr	failure
	)			[related]

void ErrorMgr_warning_processes_deprecated

(

ErrorMgr_ptr

self

)

[related]

void ErrorMgr_warning_psl_not_supported_feature	(	ErrorMgr_ptr	self,
		node_ptr	psl_spec,
		int	index
	)			[related]

void ErrorMgr_warning_var_appear_twice_in_order_file	(	ErrorMgr_ptr	self,
		node_ptr	n
	)			[related]

void ErrorMgr_warning_variable_not_declared	(	ErrorMgr_ptr	self,
		node_ptr	vname
	)			[related]

---

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

• NuSMV/code/nusmv/core/utils/ErrorMgr.h