NuSMV/code/nusmv/core/compile/type_checking/checkers/CheckerCore_private.h File Reference

#include "nusmv/core/compile/type_checking/checkers/CheckerCore.h"
#include "nusmv/core/compile/type_checking/checkers/CheckerBase.h"
#include "nusmv/core/compile/type_checking/checkers/CheckerBase_private.h"
#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	CheckerCore
	CheckerCore class definition derived from class CheckerBase. More...
Defines
#define	_GET_TYPE(expr)   tc_lookup_expr_type(TYPE_CHECKER(NODE_WALKER(self)->master), expr)
	Short way of calling tc_lookup_expr_type.
#define	_PRINT_ERROR_MSG(exp, is_error)
	Short way of calling type_checker_print_error_message.
#define	_SET_TYPE(expr, type)   tc_set_expression_type(TYPE_CHECKER(NODE_WALKER(self)->master), expr, type)
	Private and protected interface of class 'CheckerCore'.
#define	_VIOLATION(viol_id, expr)   checker_base_manage_violation(CHECKER_BASE(self), viol_id, expr)
	Short way of calling checker_base_manage_violation.

---

Define Documentation

#define _GET_TYPE

(

expr

)

tc_lookup_expr_type(TYPE_CHECKER(NODE_WALKER(self)->master), expr)

Short way of calling tc_lookup_expr_type.

Use this macro to get an expression type from the master type checker. Must be used from within a method. This can be used when expressions that are node_ptr

#define _PRINT_ERROR_MSG	(	exp,
		is_error		)

Value:

type_checker_print_error_message(TYPE_CHECKER(NODE_WALKER(self)->master), \
                                 exp, is_error)

Short way of calling type_checker_print_error_message.

Use this macro to recursively call type_checking_check_expression into violation handlers. This can be used when expressions that are node_ptr

#define _SET_TYPE	(	expr,
		type		)	tc_set_expression_type(TYPE_CHECKER(NODE_WALKER(self)->master), expr, type)

Private and protected interface of class 'CheckerCore'.

Author:

Roberto Cavada This file can be included only by derived and friend classes

Short way of calling tc_set_expression_type Use this macro to set an expression type within the master type checker. Must be used from within a method. This can be used when expressions that are node_ptr

#define _VIOLATION	(	viol_id,
		expr		)	checker_base_manage_violation(CHECKER_BASE(self), viol_id, expr)

Short way of calling checker_base_manage_violation.

Use this macro to manage a violation at the master type checker level. Must be used from within a method. This can be used when expressions that are node_ptr