Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
DanielS`PatternMatcher`
PatternBytecode  |
|
| | ||||
Details and Options
Examples
(6)
Basic Examples
(1)
In[1]:=
bc=
[x_Integer]
 | CompilePatternToBytecode |
Out[1]=
PatternBytecode
 |
|
Access the original pattern:
In[2]:=
bc["getPattern"]["toHeldExpr"]
Out[2]=
HoldComplete[x_Integer]
Get a human-readable form of the bytecode:
In[3]:=
 | PatternBytecodeDisassemble |
Out[3]=
L0:
0 BEGIN_BLOCK Label[0]
1 MATCH_HEAD %e0, Expr[Integer], Label[3]
2 MOVE %e1, %e0
3 BIND_VAR Symbol[Global`x], %e1
4 JUMP Label[2] → L2
L3:
5 JUMP Label[1] → L1
L4:
6 END_BLOCK Label[0]
L1:
7 LOAD_IMM %b0, 0
8 HALT
L2:
9 EXPORT_BINDINGS
10 LOAD_IMM %b0, 1
11 HALT
========================================
Statistics:
Instructions: 12
Labels: 5
Expr registers: 2
Bool registers: 1
Blocks: 1 (max depth: 1)
Jumps: 2
Backtrack points: 0
Lexical bindings:
Global`x → %e1
Use the compiled bytecode to match expressions:
In[4]:=
| PatternMatcherMatchQ |
Out[4]=
{True,False,False}
Scope
(1)
Properties & Relations
(4)
 |
|
""