]> andersk Git - splint.git/blob - src/Headers/imports.h
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / src / Headers / imports.h
1 /*
2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
4 **
5 */
6
7 extern void processImport (lsymbol p_importSymbol, ltoken p_tok, impkind p_kind);
8 extern void outputLCSFile (char *p_path, char *p_msg, char *p_specname);
9 extern void importCTrait (void);
This page took 0.036625 seconds and 5 git commands to generate.