#include "nusmv/core/compile/type_checking/checkers/CheckerBase.h"
#include "nusmv/core/compile/type_checking/checkers/checkersInt.h"
#include "nusmv/core/node/NodeWalker_private.h"
#include "nusmv/core/compile/type_checking/TypeChecker.h"
#include "nusmv/core/compile/type_checking/TypeChecker_private.h"
#include "nusmv/core/utils/utils.h"
Go to the source code of this file.
Data Structures | |
struct | CheckerBase |
CheckerBase class definition derived from class node.NodeWalker. More... | |
Defines | |
#define | _THROW(exp, ctx) |
Private and protected interface of class 'CheckerBase'. |
#define _THROW | ( | exp, | |||
ctx | ) |
(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), \ exp, ctx))
Private and protected interface of class 'CheckerBase'.
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 node_ptr