spec_check.c File Reference

#include <string.h>
#include "spec_check.h"

Include dependency graph for spec_check.c:


Functions

void spec_type_check (typex *tp, symboltable *sym)
int spec_type_check_complete (typex *t0, typex *t1)
void spec_var_cmp (symboltable *sym0, symboltable *sym1, char *str, int name)
void spec_var_check (varx *vp, symboltable *sym, char *str)
int spec_func_check (mfpx *fp, symboltable *sym)
int strnullcmp (char *s0, char *s1)
int spec_func_check_complete (mfpx *f0, mfpx *f1)
void spec_check (void)
void check_subtypes (void)

Variables

symboltable * modules
symboltable * subtype_table
specx * specs
symboltable * types
symboltable * variables
symboltable * functions
symboltable * classes
specx * specs

Function Documentation

void spec_type_check (  typex *  tp,
symboltable *  sym
) 
 

int spec_type_check_complete (  typex *  t0,
typex *  t1
) 
 

void spec_var_cmp (  symboltable *  sym0,
symboltable *  sym1,
char *  str,
int  name
) 
 

void spec_var_check (  varx *  vp,
symboltable *  sym,
char *  str
) 
 

int spec_func_check (  mfpx *  fp,
symboltable *  sym
) 
 

int strnullcmp (  char *  s0,
char *  s1
) 
 

int spec_func_check_complete (  mfpx *  f0,
mfpx *  f1
) 
 

void spec_check (  void   ) 
 

void check_subtypes (  void   ) 
 

Variable Documentation

symboltable* modules
 

symboltable* subtype_table
 

specx* specs
 

symboltable* types
 

symboltable* variables
 

symboltable* functions
 

symboltable* classes
 

specx* specs
 

Generated on Wed Apr 5 21:02:24 2006 for Sesame by  doxygen 1.4.6