]> andersk Git - splint.git/blame - src/Headers/lclinit.h
Committed to enable merge.
[splint.git] / src / Headers / lclinit.h
CommitLineData
885824d3 1/*
28bf4b0b 2** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
885824d3 3** See ../LICENSE for license information.
4**
5*/
6
7/*
8** LSLInitRuleCode defined in lslinit.h
9*/
10
11typedef LSLInitRuleCode LCLInitRuleCode;
12
140c27a8 13extern void lclinit_process (void);
14extern void lclinit_initMod (void);
15extern void lclinit_reset (void);
16extern void lclinit_cleanup (void);
885824d3 17
This page took 0.061825 seconds and 5 git commands to generate.