new machine. More thorough tests → More comprehensible and rewrite-friendly software → More resilient society.
about summary refs log blame commit diff stats
path: root/html/edit/009-sandbox-trace.mu.html
blob: 454d4f844d30193c18b555de9980b008ee3c1c14 (plain) (tree)
1
2
3
4
5
6
7
8
9




                                                                                          

                                                
                                   
                                        

                       
                                                                          

                                                                                            
                             
                           
                              
                            

                             
                               
                                   

        

       
     


                                                                                                  
                                                                                                  

                                                                                               
                                                                                                                                        



                                           
                                                                                                                                           


                  

                                                                                                                                                                                                                                                                                                         



                                                                                                                    
                                                                              



                                                                                                                                                            
                                                                 



                                                                                


                                                                                                                                                        





                                                                                                                    
                                                                              



















                                                                                                                      

                                                                                                                                                        





                                                                                                                    
                                                                              






                                                                                                                                                            
                                                                                                  

                                                                                               
                                                                                                                                        

                                           
                                                                      

                                       
                                                                                                                                           


                  

                                                                                                                                                                                                                                                                                                         



                                                                                                                    
                                                                              
                                                                              



                                                                                                                                                            
                                                                 



                                                                                
                                                                                                                                                        
   
                                                               



                                                                                                                    
                                                                              
                                                                              







                                                                                                                      
                                      



                                                        
                                                                                                                                                                                                                                                                             
                                           
                                                



                                                                                                                                                        




                                                                                            
                                                                             




                                                                                                                                 
                                                                                                                                       





                                                                                                                                                  
                                                                                                                    





                                                                                                                                  
                                                                                                                     





                                                                                       
                                                                                                                                                                                                        
                                           
                                                
                                                                                      
                                                                                                   




                                                                                                                           
                                                                                                                                               














                                                                                                                                        
                                                                                                    
                                  
                                               






                                                                                                                                 
                                                                                                                                            
                                                                                                                       
                                                                                                                                         
                                  
                                                                 



       
<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd">
<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
<title>Mu - edit/009-sandbox-trace.mu</title>
<meta name="Generator" content="Vim/7.3">
<meta name="plugin-version" content="vim7.3_v6">
<meta name="syntax" content="none">
<meta name="settings" content="use_css">
<style type="text/css">
<!--
pre { font-family: monospace; color: #eeeeee; background-color: #080808; }
body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color: #080808; }
.Delimiter { color: #800080; }
.muRecipe { color: #ff8700; }
.muData { color: #ffff00; }
.muControl { color: #c0a020; }
.Special { color: #ff6060; }
.Comment { color: #9090ff; }
.Constant { color: #00a0a0; }
.muScenario { color: #00af00; }
.SalientComment { color: #00ffff; }
-->
</style>
</head>
<body>
<pre>
<span class="SalientComment">## clicking on the code typed into a sandbox toggles its trace</span>

<span class="muScenario">scenario</span> sandbox-click-on-code-toggles-app-trace [
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">40/width</span>, <span class="Constant">10/height</span>
  <span class="Comment"># basic recipe</span>
  <span class="Constant">1</span>:address:shared:array:character<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  stash [abc]</span>
]]
  <span class="Comment"># run it</span>
  <span class="Constant">2</span>:address:shared:array:character<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  assume-console [
    press F4
  ]
  <span class="Constant">3</span>:address:shared:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:shared:screen, <span class="Constant">1</span>:address:shared:array:character, <span class="Constant">2</span>:address:shared:array:character
  event-loop screen:address:shared:screen, console:address:shared:console, <span class="Constant">3</span>:address:shared:programming-environment-data
  screen-should-contain [
   <span class="Constant"> .                     run (F4)           .</span>
   <span class="Constant"> .                    ┊                   .</span>
   <span class="Constant"> .recipe foo [        ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .  stash [abc]       ┊0                 x.</span>
   <span class="Constant"> .]                   ┊foo                .</span>
<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                   .</span>
  ]
  <span class="Comment"># click on the code in the sandbox</span>
  assume-console [
    left-click <span class="Constant">4</span>, <span class="Constant">21</span>
  ]
  run [
    event-loop screen:address:shared:screen, console:address:shared:console, <span class="Constant">3</span>:address:shared:programming-environment-data
    <span class="Constant">4</span>:character/cursor-icon<span class="Special"> &lt;- </span>copy <span class="Constant">9251/␣</span>
    print screen:address:shared:screen, <span class="Constant">4</span>:character/cursor-icon
  ]
  <span class="Comment"># trace now printed and cursor shouldn't have budged</span>
  screen-should-contain [
   <span class="Constant"> .                     run (F4)           .</span>
   <span class="Constant"> .␣                   ┊                   .</span>
   <span class="Constant"> .recipe foo [        ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .  stash [abc]       ┊0                 x.</span>
   <span class="Constant"> .]                   ┊foo                .</span>
   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊abc                .</span>
   <span class="Constant"> .                    ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                   .</span>
  ]
  screen-should-contain-in-color <span class="Constant">245/grey</span>, [
   <span class="Constant"> .                                        .</span>
   <span class="Constant"> .                    ┊                   .</span>
   <span class="Constant"> .                    ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                  x.</span>
   <span class="Constant"> .                    ┊                   .</span>
   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊abc                .</span>
   <span class="Constant"> .                    ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                   .</span>
  ]
  <span class="Comment"># click again on the same region</span>
  assume-console [
    left-click <span class="Constant">4</span>, <span class="Constant">25</span>
  ]
  run [
    event-loop screen:address:shared:screen, console:address:shared:console, <span class="Constant">3</span>:address:shared:programming-environment-data
    print screen:address:shared:screen, <span class="Constant">4</span>:character/cursor-icon
  ]
  <span class="Comment"># trace hidden again</span>
  screen-should-contain [
   <span class="Constant"> .                     run (F4)           .</span>
   <span class="Constant"> .␣                   ┊                   .</span>
   <span class="Constant"> .recipe foo [        ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .  stash [abc]       ┊0                 x.</span>
   <span class="Constant"> .]                   ┊foo                .</span>
<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                   .</span>
  ]
]

<span class="muScenario">scenario</span> sandbox-shows-app-trace-and-result [
  trace-until <span class="Constant">100/app</span>  <span class="Comment"># trace too long</span>
  assume-screen <span class="Constant">40/width</span>, <span class="Constant">10/height</span>
  <span class="Comment"># basic recipe</span>
  <span class="Constant">1</span>:address:shared:array:character<span class="Special"> &lt;- </span>new <span class="Constant">[ </span>
<span class="Constant">recipe foo [</span>
<span class="Constant">  stash [abc]</span>
  <span class="muControl">reply</span> <span class="Constant">4</span>
]]
  <span class="Comment"># run it</span>
  <span class="Constant">2</span>:address:shared:array:character<span class="Special"> &lt;- </span>new <span class="Constant">[foo]</span>
  assume-console [
    press F4
  ]
  <span class="Constant">3</span>:address:shared:programming-environment-data<span class="Special"> &lt;- </span>new-programming-environment screen:address:shared:screen, <span class="Constant">1</span>:address:shared:array:character, <span class="Constant">2</span>:address:shared:array:character
  event-loop screen:address:shared:screen, console:address:shared:console, <span class="Constant">3</span>:address:shared:programming-environment-data
  screen-should-contain [
   <span class="Constant"> .                     run (F4)           .</span>
   <span class="Constant"> .                    ┊                   .</span>
   <span class="Constant"> .recipe foo [        ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .  stash [abc]       ┊0                 x.</span>
   <span class="Constant"> .  reply 4           ┊foo                .</span>
   <span class="Constant"> .]                   ┊4                  .</span>
<span class="Constant">    .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                   .</span>
  ]
  <span class="Comment"># click on the code in the sandbox</span>
  assume-console [
    left-click <span class="Constant">4</span>, <span class="Constant">21</span>
  ]
  run [
    event-loop screen:address:shared:screen, console:address:shared:console, <span class="Constant">3</span>:address:shared:programming-environment-data
  ]
  <span class="Comment"># trace now printed above result</span>
  screen-should-contain [
   <span class="Constant"> .                     run (F4)           .</span>
   <span class="Constant"> .                    ┊                   .</span>
   <span class="Constant"> .recipe foo [        ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .  stash [abc]       ┊0                 x.</span>
   <span class="Constant"> .  reply 4           ┊foo                .</span>
   <span class="Constant"> .]                   ┊abc                .</span>
   <span class="Constant"> .┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┈┊4                  .</span>
   <span class="Constant"> .                    ┊━━━━━━━━━━━━━━━━━━━.</span>
   <span class="Constant"> .                    ┊                   .</span>
  ]
]

<span class="muData">container</span> sandbox-data [
  trace:address:shared:array:character
  display-trace?:boolean
]

<span class="Comment"># replaced in a later layer</span>
<span class="muRecipe">def!</span> update-sandbox sandbox:address:shared:sandbox-data, env:address:shared:programming-environment-data, idx:number<span class="muRecipe"> -&gt; </span>sandbox:address:shared:sandbox-data, env:address:shared:programming-environment-data [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  data:address:shared:array:character<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">data:offset</span>
  response:address:address:shared:array:character<span class="Special"> &lt;- </span>get-address *sandbox, <span class="Constant">response:offset</span>
  trace:address:address:shared:array:character<span class="Special"> &lt;- </span>get-address *sandbox, <span class="Constant">trace:offset</span>
  fake-screen:address:address:shared:screen<span class="Special"> &lt;- </span>get-address *sandbox, <span class="Constant">screen:offset</span>
  *response, _, *fake-screen, *trace<span class="Special"> &lt;- </span>run-interactive data
]

<span class="Comment"># clicks on sandbox code toggle its display-trace? flag</span>
<span class="muRecipe">after</span> <span class="Constant">&lt;global-touch&gt;</span> [
  <span class="Comment"># check if it's inside the code of any sandbox</span>
  <span class="Delimiter">{</span>
    sandbox-left-margin:number<span class="Special"> &lt;- </span>get *current-sandbox, <span class="Constant">left:offset</span>
    click-column:number<span class="Special"> &lt;- </span>get *t, <span class="Constant">column:offset</span>
    on-sandbox-side?:boolean<span class="Special"> &lt;- </span>greater-or-equal click-column, sandbox-left-margin
    <span class="muControl">break-unless</span> on-sandbox-side?
    first-sandbox:address:shared:sandbox-data<span class="Special"> &lt;- </span>get *env, <span class="Constant">sandbox:offset</span>
    <span class="muControl">break-unless</span> first-sandbox
    first-sandbox-begins:number<span class="Special"> &lt;- </span>get *first-sandbox, <span class="Constant">starting-row-on-screen:offset</span>
    click-row:number<span class="Special"> &lt;- </span>get *t, <span class="Constant">row:offset</span>
    below-sandbox-editor?:boolean<span class="Special"> &lt;- </span>greater-or-equal click-row, first-sandbox-begins
    <span class="muControl">break-unless</span> below-sandbox-editor?
    <span class="Comment"># identify the sandbox whose code is being clicked on</span>
    sandbox:address:shared:sandbox-data<span class="Special"> &lt;- </span>find-click-in-sandbox-code env, click-row
    <span class="muControl">break-unless</span> sandbox
    <span class="Comment"># toggle its display-trace? property</span>
    x:address:boolean<span class="Special"> &lt;- </span>get-address *sandbox, <span class="Constant">display-trace?:offset</span>
    *x<span class="Special"> &lt;- </span>not *x
    hide-screen screen
    screen<span class="Special"> &lt;- </span>render-sandbox-side screen, env, <span class="Constant">1/clear</span>
    screen<span class="Special"> &lt;- </span>update-cursor screen, recipes, current-sandbox, *sandbox-in-focus?, env
    <span class="Comment"># no change in cursor</span>
    show-screen screen
    <span class="muControl">loop</span> <span class="Constant">+next-event:label</span>
  <span class="Delimiter">}</span>
]

<span class="muRecipe">def</span> find-click-in-sandbox-code env:address:shared:programming-environment-data, click-row:number<span class="muRecipe"> -&gt; </span>sandbox:address:shared:sandbox-data [
  <span class="Constant">local-scope</span>
  <span class="Constant">load-ingredients</span>
  <span class="Comment"># assert click-row &gt;= sandbox.starting-row-on-screen</span>
  sandbox<span class="Special"> &lt;- </span>get *env, <span class="Constant">sandbox:offset</span>
  start:number<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">starting-row-on-screen:offset</span>
  clicked-on-sandboxes?:boolean<span class="Special"> &lt;- </span>greater-or-equal click-row, start
  assert clicked-on-sandboxes?, <span class="Constant">[extract-sandbox called on click to sandbox editor]</span>
  <span class="Comment"># while click-row &lt; sandbox.next-sandbox.starting-row-on-screen</span>
  <span class="Delimiter">{</span>
    next-sandbox:address:shared:sandbox-data<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">next-sandbox:offset</span>
    <span class="muControl">break-unless</span> next-sandbox
    next-start:number<span class="Special"> &lt;- </span>get *next-sandbox, <span class="Constant">starting-row-on-screen:offset</span>
    found?:boolean<span class="Special"> &lt;- </span>lesser-than click-row, next-start
    <span class="muControl">break-if</span> found?
    sandbox<span class="Special"> &lt;- </span>copy next-sandbox
    <span class="muControl">loop</span>
  <span class="Delimiter">}</span>
  <span class="Comment"># return sandbox if click is in its code region</span>
  code-ending-row:number<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">code-ending-row-on-screen:offset</span>
  click-above-response?:boolean<span class="Special"> &lt;- </span>lesser-than click-row, code-ending-row
  start:number<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">starting-row-on-screen:offset</span>
  click-below-menu?:boolean<span class="Special"> &lt;- </span>greater-than click-row, start
  click-on-sandbox-code?:boolean<span class="Special"> &lt;- </span>and click-above-response?, click-below-menu?
  <span class="Delimiter">{</span>
    <span class="muControl">break-if</span> click-on-sandbox-code?
    <span class="muControl">return</span> <span class="Constant">0/no-click-in-sandbox-output</span>
  <span class="Delimiter">}</span>
  <span class="muControl">return</span> sandbox
]

<span class="Comment"># when rendering a sandbox, dump its trace before response/warning if display-trace? property is set</span>
<span class="muRecipe">after</span> <span class="Constant">&lt;render-sandbox-results&gt;</span> [
  <span class="Delimiter">{</span>
    display-trace?:boolean<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">display-trace?:offset</span>
    <span class="muControl">break-unless</span> display-trace?
    sandbox-trace:address:shared:array:character<span class="Special"> &lt;- </span>get *sandbox, <span class="Constant">trace:offset</span>
    <span class="muControl">break-unless</span> sandbox-trace  <span class="Comment"># nothing to print; move on</span>
    row, screen<span class="Special"> &lt;- </span>render screen, sandbox-trace, left, right, <span class="Constant">245/grey</span>, row
  <span class="Delimiter">}</span>
<span class="Constant">  &lt;render-sandbox-trace-done&gt;</span>
]
</pre>
</body>
</html>