| 1 | /* |
| 2 | ** $Id: lpvm.h,v 1.3 2014/02/21 13:06:41 roberto Exp $ |
| 3 | */ |
| 4 | |
| 5 | #if !defined(lpvm_h) |
| 6 | #define lpvm_h |
| 7 | |
| 8 | #include "lpcap.h" |
| 9 | |
| 10 | |
| 11 | /* Virtual Machine's instructions */ |
| 12 | typedef enum Opcode { |
| 13 | IAny, /* if no char, fail */ |
| 14 | IChar, /* if char != aux, fail */ |
| 15 | ISet, /* if char not in buff, fail */ |
| 16 | ITestAny, /* in no char, jump to 'offset' */ |
| 17 | ITestChar, /* if char != aux, jump to 'offset' */ |
| 18 | ITestSet, /* if char not in buff, jump to 'offset' */ |
| 19 | ISpan, /* read a span of chars in buff */ |
| 20 | IBehind, /* walk back 'aux' characters (fail if not possible) */ |
| 21 | IRet, /* return from a rule */ |
| 22 | IEnd, /* end of pattern */ |
| 23 | IChoice, /* stack a choice; next fail will jump to 'offset' */ |
| 24 | IJmp, /* jump to 'offset' */ |
| 25 | ICall, /* call rule at 'offset' */ |
| 26 | IOpenCall, /* call rule number 'key' (must be closed to a ICall) */ |
| 27 | ICommit, /* pop choice and jump to 'offset' */ |
| 28 | IPartialCommit, /* update top choice to current position and jump */ |
| 29 | IBackCommit, /* "fails" but jump to its own 'offset' */ |
| 30 | IFailTwice, /* pop one choice and then fail */ |
| 31 | IFail, /* go back to saved state on choice and jump to saved offset */ |
| 32 | IGiveup, /* internal use */ |
| 33 | IFullCapture, /* complete capture of last 'off' chars */ |
| 34 | IOpenCapture, /* start a capture */ |
| 35 | ICloseCapture, |
| 36 | ICloseRunTime |
| 37 | } Opcode; |
| 38 | |
| 39 | |
| 40 | |
| 41 | typedef union Instruction { |
| 42 | struct Inst { |
| 43 | byte code; |
| 44 | byte aux; |
| 45 | short key; |
| 46 | } i; |
| 47 | int offset; |
| 48 | byte buff[1]; |
| 49 | } Instruction; |
| 50 | |
| 51 | |
| 52 | void printpatt (Instruction *p, int n); |
| 53 | const char *match (lua_State *L, const char *o, const char *s, const char *e, |
| 54 | Instruction *op, Capture *capture, int ptop); |
| 55 | |
| 56 | |
| 57 | #endif |
| 58 | |
| 59 | |