fsm_var_s Struct Reference

#include <defines.h>

Data Fields
char *	funit
char *	name
expression *	ivar
expression *	ovar
vsignal *	iexp
fsm *	table
bool	exclude
int	line
fsm_var *	next

---

Detailed Description

Contains information for an FSM state variable.

---

Field Documentation

bool fsm_var_s::exclude

Set to TRUE if the associated FSM needs to be excluded from coverage consideration

Referenced by fsm_var_add(), and fsm_var_bind_stmt().

char* fsm_var_s::funit

Name of functional unit containing FSM variable

Referenced by fsm_var_add(), fsm_var_cleanup(), and fsm_var_dealloc().

vsignal* fsm_var_s::iexp

Pointer to input signal matching ovar name

Referenced by fsm_var_add().

expression* fsm_var_s::ivar

Pointer to input state expression

Referenced by fsm_var_add(), fsm_var_bind_stmt(), and fsm_var_cleanup().

int fsm_var_s::line

First line of FSM attribute

Referenced by fsm_var_add(), and fsm_var_bind_stmt().

char* fsm_var_s::name

Name associated with this FSM variable

Referenced by fsm_var_add().

fsm_var* fsm_var_s::next

Pointer to next fsm_var element in list

Referenced by fsm_var_add(), fsm_var_cleanup(), fsm_var_is_output_state(), and fsm_var_remove().

expression* fsm_var_s::ovar

Pointer to output state expression

Referenced by fsm_var_add(), fsm_var_bind_stmt(), fsm_var_cleanup(), and fsm_var_is_output_state().

fsm* fsm_var_s::table

Pointer to FSM containing signal from ovar

Referenced by fsm_var_add(), and fsm_var_bind_stmt().

---

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

• /Users/trevorw/projects/release/covered-0.7.9/src/defines.h