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

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/utils/UStringMgr.h"
#include "nusmv/core/cinit/NuSMVEnv.h"

Go to the source code of this file.

Defines
#define	str_get_text(_s_)   _s_->text
	Routines to handle with strings.
Functions
void	init_string (NuSMVEnv_ptr env)
	Creates an UStringMgr instance within the given environment.
void	quit_string (NuSMVEnv_ptr env)
	Destroys the UStringMgr instance within the given environment.

---

Define Documentation

#define str_get_text

(

_s_

)

_s_->text

Routines to handle with strings.

Author:

Marco Roveri Routines to handle with strings, in order to maintain an unique instance of each string.

Todo:

Missing synopsis

Todo:

Missing description

---

Function Documentation

void init_string

(

NuSMVEnv_ptr

env

)

Creates an UStringMgr instance within the given environment.

Creates an UStringMgr instance within the given environment.

Environment requisites:

• No instances registered with key ENV_STRING_MGR

void quit_string

(

NuSMVEnv_ptr

env

)

Destroys the UStringMgr instance within the given environment.

Destroys the UStringMgr instance within the given environment.

Environment requisites:

• An instance of UStringMgr registered with key ENV_STRING_MGR