NuSMV/code/nusmv/core/utils/UStringMgr.h File Reference

#include "nusmv/core/utils/utils.h"

Go to the source code of this file.

Data Structures
struct	string_rec
Defines
#define	USTRING_MGR(self)   ((UStringMgr_ptr) self)
	To cast and check instances of class UStringMgr.
#define	USTRING_MGR_CHECK_INSTANCE(self)   (nusmv_assert(USTRING_MGR(self) != USTRING_MGR(NULL)))
Typedefs
typedef struct UStringMgr_TAG *	UStringMgr_ptr
Functions
const char *	UStringMgr_get_string_text (string_ptr str)
	Get the char representation of the given unique string.

---

Define Documentation

#define USTRING_MGR

(

self

)

((UStringMgr_ptr) self)

To cast and check instances of class UStringMgr.

These macros must be used respectively to cast and to check instances of class UStringMgr

#define USTRING_MGR_CHECK_INSTANCE

(

self

)

(nusmv_assert(USTRING_MGR(self) != USTRING_MGR(NULL)))

Todo:

Missing synopsis

Todo:

Missing description

---

Typedef Documentation

typedef struct UStringMgr_TAG* UStringMgr_ptr

---

Function Documentation

const char* UStringMgr_get_string_text

(

string_ptr

str

)

Get the char representation of the given unique string.

Get the char representation of the given unique string. The returned string belongs to self, not modify or free it.

See also:

UStringMgr_create