NuSMV/code/nusmv/core/hrc/HrcNode_private.h File Reference

#include "nusmv/core/hrc/HrcNode.h"
#include "nusmv/core/utils/EnvObject.h"
#include "nusmv/core/utils/EnvObject_private.h"
#include "nusmv/core/utils/Olist.h"
#include "nusmv/core/utils/defs.h"

Go to the source code of this file.

Data Structures
struct	HrcNode
	Private and protected interface of class 'HrcNode'. More...
Defines
#define	FREE_LIST_AND_SET_TO_NIL(self, list)
	Free a list and all its elements, settin the list pointer to nil.
#define	FREELIST_AND_SET_TO_NIL(list)
	Free a list and set its pointer to nil.

---

Define Documentation

#define FREE_LIST_AND_SET_TO_NIL	(	self,
		list		)

Value:

hrc_node_free_elements_in_list_and_list(                                \
    NODE_MGR(NuSMVEnv_get_value(ENV_OBJECT_GET_ENV(self), ENV_NODE_MGR)), \
    list);                                                                \
  Olist_destroy(list);                                                    \
  list = OLIST(NULL);

Free a list and all its elements, settin the list pointer to nil.

Free a list and all its elements, settin the list pointer to nil.

Elements in list are freed, list is freed.

#define FREELIST_AND_SET_TO_NIL

(

list

)

Value:

Olist_destroy(list);                           \
  list = OLIST(NULL);

Free a list and set its pointer to nil.

List is freed.