summaryrefslogtreecommitdiff
path: root/support/splint/examples/xxpression/xxpression.sty
diff options
context:
space:
mode:
Diffstat (limited to 'support/splint/examples/xxpression/xxpression.sty')
-rw-r--r--support/splint/examples/xxpression/xxpression.sty27
1 files changed, 27 insertions, 0 deletions
diff --git a/support/splint/examples/xxpression/xxpression.sty b/support/splint/examples/xxpression/xxpression.sty
new file mode 100644
index 0000000000..422901f6da
--- /dev/null
+++ b/support/splint/examples/xxpression/xxpression.sty
@@ -0,0 +1,27 @@
+\def\optimization{5}
+
+\input yycommon.sty % general routines for stack and array access
+\input yymisc.sty % helper macros (stack manipulation, table processing, value stack pointers)
+\input yyinput.sty % input functions
+\input yyparse.sty % parser machinery
+\input flex.sty % lexer functions
+\input yyfaststack.sty % sped up stack access functions
+\input yyboth.sty % parser initializatio, optimization
+
+\def\yycomplain#1{\immediate\write16{#1}} % lexer errors
+
+\let\yylexreturn\yylexreturnregular
+\let\setflexstates\relax
+\let\parsernamespace\empty
+
+\genericparser
+ name: main,
+ ptables: ptab.tex,
+ ltables: ltab.tex,
+ tokens: xxpression.tok,
+ asetup: {},
+ dsetup: {},
+ rsetup: {},
+ optimization: \optimizeall;%
+
+\tomainparser