quantifierNodeList.c File Reference

#include "lclintMacros.nf"

#include "llbasic.h"

Function Documentation

quantifierNodeList quantifierNodeList_add (	quantifierNodeList s,
	quantifierNode el )

Definition at line 69 of file quantifierNodeList.c.

Referenced by quantifierNodeList_copy().

00070 {
00071   if (s->nspace <= 0)
00072     quantifierNodeList_grow (s);
00073 
00074   s->nspace--;
00075   s->elements[s->nelements] = el;
00076   s->nelements++;
00077 
00078   return s;
00079 }

quantifierNodeList quantifierNodeList_copy (

quantifierNodeList s )

Definition at line 82 of file quantifierNodeList.c.

00083 {
00084   quantifierNodeList r = quantifierNodeList_new ();
00085 
00086   quantifierNodeList_elements (s, x)
00087     {
00088       r = quantifierNodeList_add (r, quantifierNode_copy (x));
00089     } end_quantifierNodeList_elements;
00090   
00091   return r;
00092 }

void quantifierNodeList_free (

quantifierNodeList s )

Definition at line 110 of file quantifierNodeList.c.

00111 {
00112   int i;
00113   for (i = 0; i < s->nelements; i++)
00114     {
00115       quantifierNode_free (s->elements[i]); 
00116     }
00117 
00118   sfree (s->elements); 
00119   sfree (s);
00120 }

quantifierNodeList quantifierNodeList_new (

)

Definition at line 36 of file quantifierNodeList.c.

Referenced by quantifierNodeList_copy().

00037 {
00038   quantifierNodeList s = (quantifierNodeList) dmalloc (sizeof (*s));
00039   
00040   s->nelements = 0;
00041   s->nspace = quantifierNodeListBASESIZE;
00042   s->elements = (quantifierNode *) 
00043     dmalloc (sizeof (*s->elements) * quantifierNodeListBASESIZE);
00044 
00045   return (s);
00046 }

cstring quantifierNodeList_unparse (

quantifierNodeList s )

Definition at line 95 of file quantifierNodeList.c.

00096 {
00097   cstring st = cstring_undefined;
00098 
00099   quantifierNodeList_elements (s, current)
00100   {
00101     st = message ("%q%s %q", 
00102                   st, ltoken_getRawString (current->quant),
00103                   varNodeList_unparse (current->vars));
00104   } end_quantifierNodeList_elements;
00105 
00106   return st;
00107 }

Generated at Fri Nov 3 18:58:04 2000 for LCLint by

Functions
quantifierNodeList	quantifierNodeList_new ()
quantifierNodeList	quantifierNodeList_add (quantifierNodeList s, quantifierNode el)
quantifierNodeList	quantifierNodeList_copy (quantifierNodeList s)
cstring	quantifierNodeList_unparse (quantifierNodeList s)
void	quantifierNodeList_free (quantifierNodeList s)

quantifierNodeList.c File Reference

Functions

Function Documentation