Wolfram Language Paclet Repository
Community-contributed installable additions to the Wolfram Language
DanielS`PatternMatcher`
PatternMatcherEnableTrace  |
|
| | ||||
Details and Options
Examples
(1)
Basic Examples
(1)
Enable step-by-step execution for all pattern matching functions:
In[1]:=
 | PatternMatcherEnableTrace |
Out[1]=
True
See the tracing of a match:
In[2]:=
| PatternMatcherExecute |
⋮ BEGIN_BLOCK L0 depth = 1
⋮ BEGIN_BLOCK L3 depth = 2
☑ MATCH_LENGTH
SUCCESS
%e0 len = 2 expected = 2☑ MATCH_HEAD
SUCCESS
%e0 == List MOVE %e 1←%e 0 = {5, 4.2}
» 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 = {5, 4.2}
» GET_PART %e4 := part(%e 0,2)
MOVE %e 0←%e 4 = 4.2
☑ MATCH_HEAD
SUCCESS
%e0 == Real MOVE %e 5←%e 0 = 4.2
↧ BIND_VAR Global`y←%e 5 = 4.2 (no trail)
→ JUMP L8 pc = 20
MOVE %e 0←%e 1 = {5, 4.2}
SAVE_BINDINGS 2 bindings copied
⋮ END_BLOCK L3 depth = 1 (merged)
→ JUMP L2 pc = 27
SAVE_BINDINGS 2 bindings copied
EXPORT_BINDINGS saved 2bindings
LOAD_IMM %b 0←True
HALT stopping executioncycles = 24
Out[2]=
ResultTrue,CyclesExecuted24,BindingsGlobal`y4.2,Global`x5
The tracing is enabled globally:
In[3]:=
| PatternMatcherTraceEnabledQ |
Out[3]=
True
Disable the trace:
In[4]:=
| PatternMatcherEnableTrace |
Out[4]=
False
In[5]:=
| PatternMatcherExecute |
Out[5]=
ResultTrue,CyclesExecuted24,BindingsGlobal`y4.2,Global`x5
 |
|
""