summaryrefslogtreecommitdiff
path: root/support/xetal/stack.h
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /support/xetal/stack.h
Initial commit
Diffstat (limited to 'support/xetal/stack.h')
-rw-r--r--support/xetal/stack.h46
1 files changed, 46 insertions, 0 deletions
diff --git a/support/xetal/stack.h b/support/xetal/stack.h
new file mode 100644
index 0000000000..43e5f0e8eb
--- /dev/null
+++ b/support/xetal/stack.h
@@ -0,0 +1,46 @@
+/*
+ declarations of objects built in stack.c,
+ Copyright (C) 1991 Raphael Cerf (e-mail: cerf@ens.ens.fr)
+
+ This file is part of xetal.
+
+ This program is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 1, or (at your option)
+ any later version.
+
+ This program is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+
+ You should have received a copy of the GNU General Public License
+ along with this program; if not, write to the Free Software
+ Foundation, Inc., 675 Mass Ave, Cambridge, MA 02139, USA.
+*/
+
+#define F_MAX 100 /* max nb of recursively included files */
+
+/* functions to handle the fich_t type */
+extern char *fich_name();
+extern FILE *fich_fd();
+extern long fich_line();
+
+/* classical stack functions */
+extern int is_f_stack_empty();
+extern int is_f_stack_full();
+extern void f_push();
+extern fich_t *f_pop();
+extern fich_t *f_read();
+extern void f_display();
+
+#define S_MAX 100 /* max nb of successive states */
+/* classical stack functions */
+extern int empty_S_stack();
+extern int is_S_stack_empty();
+extern int is_S_stack_full();
+extern int is_S_in_stack();
+extern void S_push();
+extern int S_pop();
+extern int S_read();
+extern void S_display();