/Users/trevorw/projects/release/covered-0.7.4/src/attr.h File Reference

---

Detailed Description

Contains functions for handling attributes.

Author:

Trevor Williams (phase1geo@gmail.com)

Date:

10/25/2003

#include "defines.h"

Go to the source code of this file.

Functions
attr_param *	attribute_create (const char *name, expression *expr)
	Creates new attribute parameter based on specified values.
void	attribute_parse (attr_param *ap, const func_unit *mod, bool exclude)
	Parses and handles specified attribute parameter list.
void	attribute_dealloc (attr_param *ap)
	Deallocates entire attribute parameter list.

---

Function Documentation

attr_param* attribute_create (  const char *  name, expression *  expr )

Creates new attribute parameter based on specified values. Returns: Returns a pointer to the newly allocated/initialized attribute parameter. Allocates and initializes an attribute parameter entry. Parameters: name  String identifier of this attribute parameter expr  Pointer to the expression assigned to the parameter identifier { PROFILE(ATTRIBUTE_CREATE); attr_param* ap; /* Pointer to newly allocated attribute parameter */ ap = (attr_param*)malloc_safe( sizeof( attr_param ) ); ap->name = strdup_safe( name ); ap->expr = expr; ap->index = 0; ap->next = NULL; ap->prev = NULL; PROFILE_END; return( ap ); }

void attribute_dealloc (  attr_param *  ap  )

Deallocates entire attribute parameter list. Deallocates all memory for the entire attribute parameter list. Parameters: ap  Pointer to the attribute parameter list to remove { PROFILE(ATTRIBUTE_DEALLOC); if( ap != NULL ) { /* Deallocate the next attribute */ attribute_dealloc( ap->next ); /* Deallocate the name string */ free_safe( ap->name, (strlen( ap->name ) + 1) ); /* Deallocate the expression tree */ expression_dealloc( ap->expr, FALSE ); /* Finally, deallocate myself */ free_safe( ap, sizeof( attr_param ) ); } PROFILE_END; }

void attribute_parse (  attr_param *  ap, const func_unit *  funit, bool  exclude )

Parses and handles specified attribute parameter list. Exceptions: anonymous  fsm_arg_parse_attr attribute_parse Parses the attribute parameter list in a recursive fashion. First, we go for the last entry and see if it refers to an attribute that covered should parse. If this attribute is identified by Covered as one of its own, it calls the appropriate function to handle the entire attribute parameter list. Parameters: ap  Pointer to current element of attribute parameter list to parse funit  Pointer to current functional unit containing this attribute exclude  If set to 1, sets the exclude bits (if they exist) in the structure created by the attribute { PROFILE(ATTRIBUTE_PARSE); if( ap != NULL ) { if( ap->next != NULL ) { attribute_parse( ap->next, funit, exclude ); } else { if( strcmp( ap->name, "covered_fsm" ) == 0 ) { fsm_arg_parse_attr( ap->prev, funit, exclude ); } else if( strcmp( ap->name, "covered_assert" ) == 0 ) { assertion_parse_attr( ap->prev, funit, exclude ); } } } PROFILE_END; }

---