summaryrefslogtreecommitdiff
path: root/source/luametatex/source/luacore/luapeg/lpcode.h
diff options
context:
space:
mode:
Diffstat (limited to 'source/luametatex/source/luacore/luapeg/lpcode.h')
-rw-r--r--source/luametatex/source/luacore/luapeg/lpcode.h40
1 files changed, 40 insertions, 0 deletions
diff --git a/source/luametatex/source/luacore/luapeg/lpcode.h b/source/luametatex/source/luacore/luapeg/lpcode.h
new file mode 100644
index 000000000..34ee27637
--- /dev/null
+++ b/source/luametatex/source/luacore/luapeg/lpcode.h
@@ -0,0 +1,40 @@
+/*
+** $Id: lpcode.h $
+*/
+
+#if !defined(lpcode_h)
+#define lpcode_h
+
+#include "lua.h"
+
+#include "lptypes.h"
+#include "lptree.h"
+#include "lpvm.h"
+
+int tocharset (TTree *tree, Charset *cs);
+int checkaux (TTree *tree, int pred);
+int fixedlen (TTree *tree);
+int hascaptures (TTree *tree);
+int lp_gc (lua_State *L);
+Instruction *compile (lua_State *L, Pattern *p);
+void realloccode (lua_State *L, Pattern *p, int nsize);
+int sizei (const Instruction *i);
+
+
+#define PEnullable 0
+#define PEnofail 1
+
+/*
+** nofail(t) implies that 't' cannot fail with any input
+*/
+#define nofail(t) checkaux(t, PEnofail)
+
+/*
+** (not nullable(t)) implies 't' cannot match without consuming
+** something
+*/
+#define nullable(t) checkaux(t, PEnullable)
+
+
+
+#endif