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

#include "nusmv/core/compile/type_checking/checkers/CheckerPsl.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	CheckerPsl
	Private and protected interface of class 'CheckerPsl'. More...
Defines
#define	_GET_TYPE(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)
	Short way of calling tc_set_expression_type.
#define	_THROW(exp, ctx)
	Short way of calling type_checking_check_expression.
#define	_VIOLATION(viol_id, expr)
	Short way of calling checker_base_manage_violation.

---

Define Documentation

#define _GET_TYPE

(

expr

)

Value:

tc_lookup_expr_type(TYPE_CHECKER(NODE_WALKER(self)->master),   \
                       PslNode_convert_to_node_ptr(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 PslNode_ptr

#define _PRINT_ERROR_MSG	(	exp,
		is_error		)

Value:

type_checker_print_error_message(TYPE_CHECKER(NODE_WALKER(self)->master), \
                                 PslNode_convert_to_node_ptr(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 PslNode_ptr

#define _SET_TYPE	(	expr,
		type		)

Value:

tc_set_expression_type(TYPE_CHECKER(NODE_WALKER(self)->master),   \
                          PslNode_convert_to_node_ptr(expr), type)

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 PslNode_ptr

#define _THROW	(	exp,
		ctx		)

Value:

(NodeWalker_can_handle(NODE_WALKER(self), exp) ?                          \
    CHECKER_BASE(self)->check_expr(self, exp, ctx) :                         \
   type_checker_check_expression(TYPE_CHECKER(NODE_WALKER(self)->master),    \
                                 PslNode_convert_to_node_ptr(exp),           \
                                 PslNode_convert_to_node_ptr(ctx)))

Short way of calling type_checking_check_expression.

Use this macro to recursively recall type_checking_check_expression. Must be used from within a method. This can be used when expressions that are PslNode_ptr

#define _VIOLATION	(	viol_id,
		expr		)

Value:

checker_base_manage_violation(CHECKER_BASE(self), viol_id,       \
                                 PslNode_convert_to_node_ptr(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 PslNode_ptr