|
|
1.1 root 1: -- pp.py - generic pretty-printer
2:
3: -- $Header: /f/osi/pepy/RCS/pp.py,v 7.0 89/11/23 22:12:04 mrose Rel $
4: --
5: --
6: -- $Log: pp.py,v $
7: -- Revision 7.0 89/11/23 22:12:04 mrose
8: -- Release 6.0
9: --
10:
11: --
12: -- NOTICE
13: --
14: -- Acquisition, use, and distribution of this module and related
15: -- materials are subject to the restrictions of a license agreement.
16: -- Consult the Preface in the User's Manual for the full terms of
17: -- this agreement.
18: --
19: --
20:
21:
22: PRETTY DEFINITIONS ::=
23:
24: %{
25: #ifndef lint
26: static char *rcsid = "$Header: /f/osi/pepy/RCS/pp.py,v 7.0 89/11/23 22:12:04 mrose Rel $";
27: #endif
28:
29: /* */
30:
31: %}
32:
33:
34: BEGIN
35:
36: PRINTER print
37:
38: Printer ::=
39: ANY
40:
41: END
42:
43: %{
44:
45: /* */
46:
47: main (argc, argv, envp)
48: int argc;
49: char **argv,
50: **envp;
51: {
52: exit (PY_pp (argc, argv, envp, print_PRETTY_Printer));
53: }
54:
55: /* */
56:
57: %}
This archive runs on limited infrastructure. Preserving old code on modern bandwidth. Automated agents are requested to crawl responsibly.