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

#include "nusmv/core/utils/utils.h"
#include "nusmv/core/dd/dd.h"
#include "nusmv/core/prop/Prop.h"
#include "nusmv/core/node/printers/MasterPrinter.h"
#include "nusmv/core/utils/error.h"
#include <stdarg.h>

Go to the source code of this file.

Enumerations
enum	var_modifier {   MOD_NONE = VAR_INT << 6, MOD_SIZE_T = VAR_INT << 7, MOD_SHORT = VAR_INT << 8, MOD_SHORT_SHORT = VAR_INT << 9,   MOD_LONG = VAR_INT << 10, MOD_LONG_LONG = VAR_INT << 11, MOD_LONG_DOUBLE = VAR_INT << 12 }
enum	var_type {   VAR_NONE = 0, VAR_INT = 1, VAR_CHAR = VAR_INT << 1, VAR_STRING = VAR_INT << 2,   VAR_POINTER = VAR_INT << 3, VAR_DOUBLE = VAR_INT << 4 }
	Header for the utils_io.c file. More...
Functions
int	UtilsIO_get_param_len (const char *fmt, enum var_type *type, enum var_modifier *mod)
	This functions takes a string that begins with a '' and returns the type of the expected value associated with the given printf format.
int	UtilsIO_node_fprintf (const MasterPrinter_ptr printer, FILE *output, const char *fmt,...)
	NuSMV custom fprintf function.
int	UtilsIO_node_snprintf (const MasterPrinter_ptr printer, char *output, size_t size, const char *fmt,...)
	NuSMV custom snprintf function.
int	UtilsIO_node_vfprintf (const MasterPrinter_ptr printer, FILE *output, const char *fmt, va_list args)
	NuSMV custom vfprintf function.
int	UtilsIO_node_vsnprintf (const MasterPrinter_ptr printer, char *output, size_t size, const char *fmt, va_list args)
	NuSMV custom vsnprintf function.

---

Enumeration Type Documentation

enum var_modifier

Enumerator:

MOD_NONE
MOD_SIZE_T
MOD_SHORT
MOD_SHORT_SHORT
MOD_LONG
MOD_LONG_LONG
MOD_LONG_DOUBLE

enum var_type

Header for the utils_io.c file.

Author:

Marco Roveri

Todo:

: Missing description

Enumerator:

VAR_NONE
VAR_INT
VAR_CHAR
VAR_STRING
VAR_POINTER
VAR_DOUBLE

---

Function Documentation

int UtilsIO_get_param_len	(	const char *	fmt,
		enum var_type *	type,
		enum var_modifier *	mod
	)

This functions takes a string that begins with a '' and returns the type of the expected value associated with the given printf format.

This functions takes a string that begins with a '' and returns the type of the expected value associated with the given printf format. Does not support '%' and 'N', which should be preprocessed by the caller. Returns the number of characters read, which is uqual to the format length (e.g. '%.2f' will return 4)

int UtilsIO_node_fprintf	(	const MasterPrinter_ptr	printer,
		FILE *	output,
		const char *	fmt,
			...
	)

NuSMV custom fprintf function.

NuSMV custom fprintf function. This function works identically as the stdio snprintf function, but handles node_ptr arguments in the "fmt" parameter, using the 'N' format. The given MasterPrinter will be used to convert the node to a printable string.

See also:

fprintf

int UtilsIO_node_snprintf	(	const MasterPrinter_ptr	printer,
		char *	output,
		size_t	size,
		const char *	fmt,
			...
	)

NuSMV custom snprintf function.

NuSMV custom snprintf function. This function works identically as the stdio snprintf function, but handles node_ptr arguments in the "fmt" parameter, using the 'N' format. The given MasterPrinter will be used to convert the node to a printable string.

See also:

snprintf

int UtilsIO_node_vfprintf	(	const MasterPrinter_ptr	printer,
		FILE *	output,
		const char *	fmt,
		va_list	args
	)

NuSMV custom vfprintf function.

NuSMV custom vfprintf function. This function works identically as the stdio snprintf function, but handles node_ptr arguments in the "fmt" parameter, using the 'N' format. The given MasterPrinter will be used to convert the node to a printable string.

See also:

vfprintf

int UtilsIO_node_vsnprintf	(	const MasterPrinter_ptr	printer,
		char *	output,
		size_t	size,
		const char *	fmt,
		va_list	args
	)

NuSMV custom vsnprintf function.

NuSMV custom vsnprintf function. This function works identically as the stdio snprintf function, but handles node_ptr arguments in the "fmt" parameter, using the 'N' format. The given MasterPrinter will be used to convert the node to a printable string.

See also:

vsnprintf