Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 1 | #ifndef Py_GRAMMAR_H |
| 2 | #define Py_GRAMMAR_H |
| 3 | #ifdef __cplusplus |
| 4 | extern "C" { |
| 5 | #endif |
| 6 | |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 7 | /*********************************************************** |
Guido van Rossum | 5799b52 | 1995-01-04 19:06:22 +0000 | [diff] [blame] | 8 | Copyright 1991-1995 by Stichting Mathematisch Centrum, Amsterdam, |
| 9 | The Netherlands. |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 10 | |
| 11 | All Rights Reserved |
| 12 | |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 13 | Permission to use, copy, modify, and distribute this software and its |
| 14 | documentation for any purpose and without fee is hereby granted, |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 15 | provided that the above copyright notice appear in all copies and that |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 16 | both that copyright notice and this permission notice appear in |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 17 | supporting documentation, and that the names of Stichting Mathematisch |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 18 | Centrum or CWI or Corporation for National Research Initiatives or |
| 19 | CNRI not be used in advertising or publicity pertaining to |
| 20 | distribution of the software without specific, written prior |
| 21 | permission. |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 22 | |
Guido van Rossum | d266eb4 | 1996-10-25 14:44:06 +0000 | [diff] [blame] | 23 | While CWI is the initial source for this software, a modified version |
| 24 | is made available by the Corporation for National Research Initiatives |
| 25 | (CNRI) at the Internet address ftp://ftp.python.org. |
| 26 | |
| 27 | STICHTING MATHEMATISCH CENTRUM AND CNRI DISCLAIM ALL WARRANTIES WITH |
| 28 | REGARD TO THIS SOFTWARE, INCLUDING ALL IMPLIED WARRANTIES OF |
| 29 | MERCHANTABILITY AND FITNESS, IN NO EVENT SHALL STICHTING MATHEMATISCH |
| 30 | CENTRUM OR CNRI BE LIABLE FOR ANY SPECIAL, INDIRECT OR CONSEQUENTIAL |
| 31 | DAMAGES OR ANY DAMAGES WHATSOEVER RESULTING FROM LOSS OF USE, DATA OR |
| 32 | PROFITS, WHETHER IN AN ACTION OF CONTRACT, NEGLIGENCE OR OTHER |
| 33 | TORTIOUS ACTION, ARISING OUT OF OR IN CONNECTION WITH THE USE OR |
| 34 | PERFORMANCE OF THIS SOFTWARE. |
Guido van Rossum | f70e43a | 1991-02-19 12:39:46 +0000 | [diff] [blame] | 35 | |
| 36 | ******************************************************************/ |
| 37 | |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 38 | /* Grammar interface */ |
| 39 | |
| 40 | #include "bitset.h" /* Sigh... */ |
| 41 | |
| 42 | /* A label of an arc */ |
| 43 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 44 | typedef struct { |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 45 | int lb_type; |
| 46 | char *lb_str; |
| 47 | } label; |
| 48 | |
| 49 | #define EMPTY 0 /* Label number 0 is by definition the empty label */ |
| 50 | |
| 51 | /* A list of labels */ |
| 52 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 53 | typedef struct { |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 54 | int ll_nlabels; |
| 55 | label *ll_label; |
| 56 | } labellist; |
| 57 | |
| 58 | /* An arc from one state to another */ |
| 59 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 60 | typedef struct { |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 61 | short a_lbl; /* Label of this arc */ |
| 62 | short a_arrow; /* State where this arc goes to */ |
| 63 | } arc; |
| 64 | |
| 65 | /* A state in a DFA */ |
| 66 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 67 | typedef struct { |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 68 | int s_narcs; |
| 69 | arc *s_arc; /* Array of arcs */ |
| 70 | |
| 71 | /* Optional accelerators */ |
| 72 | int s_lower; /* Lowest label index */ |
| 73 | int s_upper; /* Highest label index */ |
| 74 | int *s_accel; /* Accelerator */ |
| 75 | int s_accept; /* Nonzero for accepting state */ |
| 76 | } state; |
| 77 | |
| 78 | /* A DFA */ |
| 79 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 80 | typedef struct { |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 81 | int d_type; /* Non-terminal this represents */ |
| 82 | char *d_name; /* For printing */ |
| 83 | int d_initial; /* Initial state */ |
| 84 | int d_nstates; |
| 85 | state *d_state; /* Array of states */ |
| 86 | bitset d_first; |
| 87 | } dfa; |
| 88 | |
| 89 | /* A grammar */ |
| 90 | |
Guido van Rossum | b6775db | 1994-08-01 11:34:53 +0000 | [diff] [blame] | 91 | typedef struct { |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 92 | int g_ndfas; |
| 93 | dfa *g_dfa; /* Array of DFAs */ |
| 94 | labellist g_ll; |
| 95 | int g_start; /* Start symbol of the grammar */ |
| 96 | int g_accel; /* Set if accelerators present */ |
| 97 | } grammar; |
| 98 | |
| 99 | /* FUNCTIONS */ |
| 100 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 101 | grammar *newgrammar Py_PROTO((int start)); |
| 102 | dfa *adddfa Py_PROTO((grammar *g, int type, char *name)); |
| 103 | int addstate Py_PROTO((dfa *d)); |
| 104 | void addarc Py_PROTO((dfa *d, int from, int to, int lbl)); |
| 105 | dfa *PyGrammar_FindDFA Py_PROTO((grammar *g, int type)); |
| 106 | char *typename Py_PROTO((grammar *g, int lbl)); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 107 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 108 | int addlabel Py_PROTO((labellist *ll, int type, char *str)); |
| 109 | int findlabel Py_PROTO((labellist *ll, int type, char *str)); |
| 110 | char *PyGrammar_LabelRepr Py_PROTO((label *lb)); |
| 111 | void translatelabels Py_PROTO((grammar *g)); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 112 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 113 | void addfirstsets Py_PROTO((grammar *g)); |
Guido van Rossum | 85a5fbb | 1990-10-14 12:07:46 +0000 | [diff] [blame] | 114 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 115 | void PyGrammar_AddAccelerators Py_PROTO((grammar *g)); |
Guido van Rossum | bb301c5 | 1997-08-12 14:57:08 +0000 | [diff] [blame^] | 116 | void PyGrammar_RemoveAccelerators Py_PROTO((grammar *)); |
Guido van Rossum | 3f5da24 | 1990-12-20 15:06:42 +0000 | [diff] [blame] | 117 | |
Guido van Rossum | caa6380 | 1995-01-12 11:45:45 +0000 | [diff] [blame] | 118 | void printgrammar Py_PROTO((grammar *g, FILE *fp)); |
| 119 | void printnonterminals Py_PROTO((grammar *g, FILE *fp)); |
Guido van Rossum | a330996 | 1993-07-28 09:05:47 +0000 | [diff] [blame] | 120 | |
| 121 | #ifdef __cplusplus |
| 122 | } |
| 123 | #endif |
| 124 | #endif /* !Py_GRAMMAR_H */ |