#ifndef _CHECKS_H_
#define _CHECKS_H_
-void check_duplicate(Class *c, Node *node, char *id, int line_no);
void check_duplicate_symbols(Class *c);
void check_bad_symbols(Class *c);
-void check_duplicate_named(Class *c,Node *node,char *id, int line_no);
void check_duplicate_signals_args(Class *c);
void check_public_new(Class *c);
void check_vararg(Class *c);