HrcDumperInfo Struct Reference

#include <HrcDumper.h>

Public Types
enum	{ HRC_STAGE_BEGIN = 1, HRC_STAGE_END = 2, HRC_STAGE_BEGIN_END = HRC_STAGE_BEGIN | HRC_STAGE_END }
Data Fields
struct {
const char *   filename
int   lineno
const char *   message
const char *   token
}	error
HrcNode_ptr	hrcNode
boolean	last_in_list
boolean	list_is_empty
union {
node_ptr   expr
node_ptr   name
node_ptr   value
}	n1
union {
node_ptr   body
node_ptr   expr
int   lineno
node_ptr   type
}	n2
Prop_Type	spec_type
enum HrcDumperInfo:: { ... }	stage
SymbCategory	symb_cat
void *	user

---

Member Enumeration Documentation

anonymous enum

Enumerator:

HRC_STAGE_BEGIN
HRC_STAGE_END
HRC_STAGE_BEGIN_END

---

Field Documentation

node_ptr HrcDumperInfo::body

struct { ... } HrcDumperInfo::error

node_ptr HrcDumperInfo::expr

const char* HrcDumperInfo::filename

HrcNode_ptr HrcDumperInfo::hrcNode

boolean HrcDumperInfo::last_in_list

int HrcDumperInfo::lineno

boolean HrcDumperInfo::list_is_empty

const char* HrcDumperInfo::message

union { ... } HrcDumperInfo::n1

union { ... } HrcDumperInfo::n2

node_ptr HrcDumperInfo::name

Prop_Type HrcDumperInfo::spec_type

enum { ... } HrcDumperInfo::stage

SymbCategory HrcDumperInfo::symb_cat

const char* HrcDumperInfo::token

node_ptr HrcDumperInfo::type

void* HrcDumperInfo::user

node_ptr HrcDumperInfo::value

---

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

• NuSMV/code/nusmv/core/hrc/dumpers/HrcDumper.h