SubstString Struct Reference

SubstString is the structure passed to the function apply_string_macro_expansion. More...

#include <ucmd.h>

Data Fields
const char *	format
const char *	symbol
SubstValue	value

---

Detailed Description

SubstString is the structure passed to the function apply_string_macro_expansion.

For your comfort you can use the SYMBOL_CREATE and SYMBOL_ASSIGN macros in order to easily fill all fields of this data structure

See also:

SYMBOL_CREATE, SYMBOL_ASSIGN, apply_string_macro_expansion

---

Field Documentation

const char* SubstString::format

const char* SubstString::symbol

SubstValue SubstString::value

---

The documentation for this struct was generated from the following file:

• NuSMV/code/nusmv/core/utils/ucmd.h