diff options
| author | Ben Smith <binji@chromium.org> | 2015-10-05 10:46:02 -0700 |
|---|---|---|
| committer | Ben Smith <binji@chromium.org> | 2015-10-05 10:46:13 -0700 |
| commit | a4e7b20070ab1e6dd7a8f938de599fdf7eda9c4f (patch) | |
| tree | 4974d55116c876de356aadc63603def4e90cbd0d /src/wasm-parse.h | |
| parent | ef887d0f7209096e0275993a3c8773ef2dfb2dd3 (diff) | |
| download | wabt-a4e7b20070ab1e6dd7a8f938de599fdf7eda9c4f.tar.gz wabt-a4e7b20070ab1e6dd7a8f938de599fdf7eda9c4f.tar.bz2 wabt-a4e7b20070ab1e6dd7a8f938de599fdf7eda9c4f.zip | |
parser callbacks for switch operation
Diffstat (limited to 'src/wasm-parse.h')
| -rw-r--r-- | src/wasm-parse.h | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/src/wasm-parse.h b/src/wasm-parse.h index 453ae9fa..64ddcefb 100644 --- a/src/wasm-parse.h +++ b/src/wasm-parse.h @@ -71,6 +71,15 @@ typedef struct WasmParserCallbacks { void (*before_set_local)(int index, void* user_data); void (*before_store)(enum WasmOpcode opcode, uint8_t access, void* user_data); void (*before_store_global)(int index, void* user_data); + WasmParserCookie (*before_switch)(void* user_data); + void (*after_switch)(WasmParserCookie cookie, void* user_data); + WasmParserCookie (*before_switch_case)(WasmNumber number, void* user_data); + void (*after_switch_case)(int num_exprs, + int with_fallthrough, + WasmParserCookie cookie, + void* user_data); + WasmParserCookie (*before_switch_default)(void* user_data); + void (*after_switch_default)(WasmParserCookie cookie, void* user_data); void (*before_unary)(enum WasmOpcode opcode, void* user_data); /* used in spec repo tests */ |