Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
DanielS`PatternMatcher`
PatternMatcherTraceEnabledQ  |
| | |||||
Details and Options
Examples
(1)
Basic Examples
(1)
By default, pattern matching tracing is disabled:
In[1]:=
 | PatternMatcherTraceEnabledQ |
Out[1]=
False
Execute a match:
In[2]:=
| PatternMatcherExecute |
Out[2]=
ResultTrue,CyclesExecuted17,BindingsGlobal`x5
In[3]:=
| PatternMatcherEnableTrace |
Out[3]=
True
Execute the same match again, now with tracing:
In[4]:=
| PatternMatcherExecute |
⋮ BEGIN_BLOCK L0 depth = 1
⋮ BEGIN_BLOCK L3 depth = 2
☑ MATCH_LENGTH
SUCCESS
%e0 len = 1 expected = 1☑ MATCH_HEAD
SUCCESS
%e0 == f MOVE %e 1←%e 0 = f[5]
» GET_PART %e2 := part(%e 0,1)
MOVE %e 0←%e 2 = 5
☑ MATCH_HEAD
SUCCESS
%e0 == Integer MOVE %e 3←%e 0 = 5
↧ BIND_VAR Global`x←%e 3 = 5 (no trail)
→ JUMP L6 pc = 12
MOVE %e 0←%e 1 = f[5]
SAVE_BINDINGS 1 bindings copied
⋮ END_BLOCK L3 depth = 1 (merged)
→ JUMP L2 pc = 19
SAVE_BINDINGS 1 bindings copied
EXPORT_BINDINGS saved 1bindings
LOAD_IMM %b 0←True
HALT stopping executioncycles = 17
Out[4]=
ResultTrue,CyclesExecuted17,BindingsGlobal`x5
 |
|
""