about summary refs log tree commit diff stats
path: root/prototypes/browse/15-headers-broken.mu
blob: 5644f52dd95c9b77065eeba2c76f31df5e0eea08 (plain) (blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
# Incomplete first attempt at parsing headings.
#
# The state machine is getting out of control, and I notice old bugs like
# turning '*abc_' into bold text.

fn main args: (addr array (addr array byte)) -> exit-status/ebx: int {
  var filename/eax: (addr array byte) <- first-arg args
  var file/esi: (addr buffered-file) <- load-file filename
  enable-screen-grid-mode
  var nrows/eax: int <- copy 0
  var ncols/ecx: int <- copy 0
  nrows, ncols <- screen-size
  enable-keyboard-immediate-mode
  {
    render file, nrows, ncols
    var key/eax: byte <- read-key
    compare key, 0x71  # 'q'
    loop-if-!=
  }
  enable-keyboard-type-mode
  enable-screen-type-mode
  exit-status <- copy 0
}

type render-state {
  current-state: int  # enum 0: normal, 1: bold, 2: heading
  start-of-line?: boolean
  num-hashes-seen?: int
}

# decide how to lay out pages on screen
fn render in: (addr buffered-file), nrows: int, ncols: int {
  # Fit multiple pages on screen on separate columns, each wide enough to read
  # comfortably.
  # Pages are separated horizontally by a 'page margin'. Among other reasons,
  # this allows the odd line to bleed out on the right if necessary.
  #
  # hardcoded parameters:
  #   top-margin
  #   page-margin
  #   page-width
  var _r: render-state
  var r/edi: (addr render-state) <- address _r
  # r->start-of-line? = true
  var s/eax: (addr boolean) <- get r, start-of-line?
  copy-to *s, 1  # true
  var toprow/eax: int <- copy 2  # top-margin
  var botrow/ecx: int <- copy nrows
  var leftcol/edx: int <- copy 5  # page-margin
  var rightcol/ebx: int <- copy leftcol
  rightcol <- add 0x40  # page-width = 64 characters
  start-color 0xec, 7  # 236 = darkish gray
  {
    compare rightcol, ncols
    break-if->=
    render-page in, toprow, leftcol, botrow, rightcol, r
    leftcol <- copy rightcol
    leftcol <- add 5  # page-margin
    rightcol <- copy leftcol
    rightcol <- add 0x40  # page-width
    loop
  }
}

fn render-page in: (addr buffered-file), toprow: int, leftcol: int, botrow: int, rightcol: int, _r: (addr render-state) {
  var r/edi: (addr render-state) <- copy _r
  var state/esi: (addr int) <- get r, current-state
  clear toprow, leftcol, botrow, rightcol
  var row/ecx: int <- copy toprow
$line-loop: {
    compare row, botrow
    break-if->=
    var col/edx: int <- copy leftcol
    move-cursor row, col
$char-loop: {
      compare col, rightcol
      break-if->=
      var c/eax: byte <- read-byte-buffered in
      compare c, 0xffffffff  # EOF marker
      break-if-= $line-loop
$change-state: {
        compare *state, 0  # normal
        {
          break-if-!=
          compare c, 0x2a  # '*'
          {
            break-if-!=
            # r->current-state == 0 && c == '*' => bold text
            start-bold
            copy-to *state, 1
            break $change-state
          }
          compare c, 0x5f  # '_'
          {
            break-if-!=
            # r->current-state == 0 && c == '_' => bold text
            start-bold
            copy-to *state, 1
            break $change-state
          }
          compare c, 0x23  # '#'
          {
            break-if-!=
            var s/eax: (addr boolean) <- get r, start-of-line?
            compare *s, 1
            {
              break-if-!=
              # r->current-state == 0 && c == '#' && at start of line => count '#'s
              var h/eax: (addr int) <- get r, num-hashes-seen?
              increment *h
              break $change-state
            }
            break $change-state
          }
          break $change-state
        }
        compare *state, 1  # bold
        {
          break-if-!=
          compare c, 0x2a  # '*'
          {
            break-if-!=
            # r->current-state == 1 && c == '*' => print c, then normal text
            print-byte c
            col <- increment
            reset-formatting
            start-color 0xec, 7  # 236 = darkish gray
            copy-to *state, 0
            loop $char-loop
          }
          compare c, 0x5f  # '_'
          {
            break-if-!=
            # r->current-state == 1 && c == '_' => print c, then normal text
            print-byte c
            col <- increment
            reset-formatting
            start-color 0xec, 7  # 236 = darkish gray
            copy-to *state, 0
            loop $char-loop
          }
          break $change-state
        }
      }  # $change-state
      # update a few attributes of the state based on c without changing the state itself
      compare c, 0xa  # newline
      {
        break-if-!=
        # c is newline
        var s/eax: (addr boolean) <- get r, start-of-line?
        copy-to *s, 1  # true
        # switch to normal text
        reset-formatting
        start-color 0xec, 7  # 236 = darkish gray
        # no need to print newlines
        break $char-loop
      }
      compare c, 0x20  # space
      {
        break-if-=
        # c is not newline or space
        var s/eax: (addr boolean) <- get r, start-of-line?
        copy-to *s, 0  # false
      }
      # print c
      print-byte c
      col <- increment
      loop
    }
    row <- increment
    loop
  }
}

fn clear toprow: int, leftcol: int, botrow: int, rightcol: int {
  var row/ecx: int <- copy toprow
  {
    compare row, botrow
    break-if->=
    var col/edx: int <- copy leftcol
    move-cursor row, col
    {
      compare col, rightcol
      break-if->=
      print-string " "
      col <- increment
      loop
    }
    row <- increment
    loop
  }
}

fn first-arg args-on-stack: (addr array (addr array byte)) -> out/eax: (addr array byte) {
  var args/eax: (addr array (addr array byte)) <- copy args-on-stack
  var result/eax: (addr addr array byte) <- index args, 1
  out <- copy *result
}

fn load-file filename: (addr array byte) -> out/esi: (addr buffered-file) {
  var result: (handle buffered-file)
  {
    var tmp1/eax: (addr handle buffered-file) <- address result
    open filename, 0, tmp1
  }
  var tmp2/eax: (addr buffered-file) <- lookup result
  out <- copy tmp2
}

fn dump in: (addr buffered-file) {
  var c/eax: byte <- read-byte-buffered in
  compare c, 0xffffffff  # EOF marker
  break-if-=
  print-byte c
  loop
}
lass="p"></span><span class="Special"> &lt;- </span><span class="Constant">13</span> <span id="L32" class="LineNr"> 32 </span> ] <span id="L33" class="LineNr"> 33 </span>] <span id="L34" class="LineNr"> 34 </span><span class="Comment"># checks are inside scenario</span> <span id="L35" class="LineNr"> 35 </span> <span id="L36" class="LineNr"> 36 </span><span class="Delimiter">:(scenario scenario_check_memory_and_trace)</span> <span id="L37" class="LineNr"> 37 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [ <span id="L38" class="LineNr"> 38 </span> run [ <span id="L39" class="LineNr"> 39 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span> <span id="L40" class="LineNr"> 40 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [a b c] <span id="L41" class="LineNr"> 41 </span> ] <span id="L42" class="LineNr"> 42 </span> memory-should-contain [ <span id="L43" class="LineNr"> 43 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span> <span id="L44" class="LineNr"> 44 </span> ] <span id="L45" class="LineNr"> 45 </span> trace-should-contain [ <span id="L46" class="LineNr"> 46 </span> <span class="Normal">a</span>: a b c <span id="L47" class="LineNr"> 47 </span> ] <span id="L48" class="LineNr"> 48 </span> trace-should-<span class="Normal">not</span>-contain [ <span id="L49" class="LineNr"> 49 </span> <span class="Normal">a</span>: x y z <span id="L50" class="LineNr"> 50 </span> ] <span id="L51" class="LineNr"> 51 </span>] <span id="L52" class="LineNr"> 52 </span><span class="Comment"># checks are inside scenario</span> <span id="L53" class="LineNr"> 53 </span> <span id="L54" class="LineNr"> 54 </span><span class="SalientComment">//:: Core data structure</span> <span id="L55" class="LineNr"> 55 </span> <span id="L56" class="LineNr"> 56 </span><span class="Delimiter">:(before &quot;End Types&quot;)</span> <span id="L57" class="LineNr"> 57 </span><span class="Normal">struct</span> <a href='050scenario.cc.html#L57'>scenario</a> <span class="Delimiter">{</span> <span id="L58" class="LineNr"> 58 </span> string name<span class="Delimiter">;</span> <span id="L59" class="LineNr"> 59 </span> string to_run<span class="Delimiter">;</span> <span id="L60" class="LineNr"> 60 </span> <span class="Normal">void</span> <a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">()</span> <span class="Delimiter">{</span> <span id="L61" class="LineNr"> 61 </span> name<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L62" class="LineNr"> 62 </span> to_run<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L63" class="LineNr"> 63 </span> <span class="Delimiter">}</span> <span id="L64" class="LineNr"> 64 </span><span class="Delimiter">};</span> <span id="L65" class="LineNr"> 65 </span> <span id="L66" class="LineNr"> 66 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span> <span id="L67" class="LineNr"> 67 </span>vector&lt;scenario&gt; <span class="Special">Scenarios</span><span class="Delimiter">,</span> <span class="Special">Scenarios_snapshot</span><span class="Delimiter">;</span> <span id="L68" class="LineNr"> 68 </span>set&lt;string&gt; <span class="Special">Scenario_names</span><span class="Delimiter">,</span> <span class="Special">Scenario_names_snapshot</span><span class="Delimiter">;</span> <span id="L69" class="LineNr"> 69 </span><span class="Delimiter">:(before &quot;End save_snapshots&quot;)</span> <span id="L70" class="LineNr"> 70 </span><span class="Special">Scenarios_snapshot</span> = <span class="Special">Scenarios</span><span class="Delimiter">;</span> <span id="L71" class="LineNr"> 71 </span><span class="Special">Scenario_names_snapshot</span> = <span class="Special">Scenario_names</span><span class="Delimiter">;</span> <span id="L72" class="LineNr"> 72 </span><span class="Delimiter">:(before &quot;End restore_snapshots&quot;)</span> <span id="L73" class="LineNr"> 73 </span><span class="Special">Scenarios</span> = <span class="Special">Scenarios_snapshot</span><span class="Delimiter">;</span> <span id="L74" class="LineNr"> 74 </span><span class="Special">Scenario_names</span> = <span class="Special">Scenario_names_snapshot</span><span class="Delimiter">;</span> <span id="L75" class="LineNr"> 75 </span> <span id="L76" class="LineNr"> 76 </span><span class="SalientComment">//:: Parse the 'scenario' form.</span> <span id="L77" class="LineNr"> 77 </span><span class="Comment">//: Simply store the text of the scenario.</span> <span id="L78" class="LineNr"> 78 </span> <span id="L79" class="LineNr"> 79 </span><span class="Delimiter">:(before &quot;End Command Handlers&quot;)</span> <span id="L80" class="LineNr"> 80 </span><span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span>command == <span class="Constant">&quot;scenario&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L81" class="LineNr"> 81 </span> <a href='050scenario.cc.html#L57'>scenario</a> result = <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L82" class="LineNr"> 82 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!result<span class="Delimiter">.</span>name<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span id="L83" class="LineNr"> 83 </span> <span class="Special">Scenarios</span><span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>result<span class="Delimiter">);</span> <span id="L84" class="LineNr"> 84 </span><span class="Delimiter">}</span> <span id="L85" class="LineNr"> 85 </span><span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span>command == <span class="Constant">&quot;pending-scenario&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L86" class="LineNr"> 86 </span> <span class="Comment">// for temporary use only</span> <span id="L87" class="LineNr"> 87 </span> <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span class="Comment">// discard</span> <span id="L88" class="LineNr"> 88 </span><span class="Delimiter">}</span> <span id="L89" class="LineNr"> 89 </span> <span id="L90" class="LineNr"> 90 </span><span class="Delimiter">:(code)</span> <span id="L91" class="LineNr"> 91 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>istream&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L92" class="LineNr"> 92 </span> <a href='050scenario.cc.html#L57'>scenario</a> result<span class="Delimiter">;</span> <span id="L93" class="LineNr"> 93 </span> result<span class="Delimiter">.</span>name = <a href='011load.cc.html#L169'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L94" class="LineNr"> 94 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span><span class="Special">Scenario_names</span><span class="Delimiter">,</span> result<span class="Delimiter">.</span>name<span class="Delimiter">))</span> <span id="L95" class="LineNr"> 95 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;duplicate <a href='050scenario.cc.html#L57'>scenario</a> name: '&quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L96" class="LineNr"> 96 </span> <span class="Special">Scenario_names</span><span class="Delimiter">.</span>insert<span class="Delimiter">(</span>result<span class="Delimiter">.</span>name<span class="Delimiter">);</span> <span id="L97" class="LineNr"> 97 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>result<span class="Delimiter">.</span>name<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span> <span id="L98" class="LineNr"> 98 </span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span> <span id="L99" class="LineNr"> 99 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;incomplete <a href='050scenario.cc.html#L57'>scenario</a> at <a href='003trace.cc.html#L225'>end</a> of file\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L100" class="LineNr">100 </span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span id="L101" class="LineNr">101 </span> <span class="Delimiter">}</span> <span id="L102" class="LineNr">102 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L103" class="LineNr">103 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>in<span class="Delimiter">.</span>peek<span class="Delimiter">()</span> != <span class="Constant">'['</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L104" class="LineNr">104 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;Expected '[' after <a href='050scenario.cc.html#L57'>scenario</a> '&quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L105" class="LineNr">105 </span> exit<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span> <span id="L106" class="LineNr">106 </span> <span class="Delimiter">}</span> <span id="L107" class="LineNr">107 </span> <span class="Comment">// scenarios are take special 'code' strings so we need to ignore brackets</span> <span id="L108" class="LineNr">108 </span> <span class="Comment">// inside comments</span> <span id="L109" class="LineNr">109 </span> result<span class="Delimiter">.</span>to_run = <a href='014literal_string.cc.html#L33'>slurp_quoted</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L110" class="LineNr">110 </span> <span class="Comment">// delete [] delimiters</span> <span id="L111" class="LineNr">111 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!starts_with<span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">,</span> <span class="Constant">&quot;[&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L112" class="LineNr">112 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;scenario &quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot; should start with '['\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L113" class="LineNr">113 </span> result<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L114" class="LineNr">114 </span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span id="L115" class="LineNr">115 </span> <span class="Delimiter">}</span> <span id="L116" class="LineNr">116 </span> result<span class="Delimiter">.</span>to_run<span class="Delimiter">.</span>erase<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> <span class="Constant">1</span><span class="Delimiter">);</span> <span id="L117" class="LineNr">117 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">.</span>at<span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">)</span>-<span class="Constant">1</span><span class="Delimiter">)</span> != <span class="Constant">']'</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L118" class="LineNr">118 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;scenario &quot;</span> &lt;&lt; result<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot; has an unbalanced '['\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L119" class="LineNr">119 </span> result<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L120" class="LineNr">120 </span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span id="L121" class="LineNr">121 </span> <span class="Delimiter">}</span> <span id="L122" class="LineNr">122 </span> result<span class="Delimiter">.</span>to_run<span class="Delimiter">.</span>erase<span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>result<span class="Delimiter">.</span>to_run<span class="Delimiter">)</span>-<span class="Constant">1</span><span class="Delimiter">);</span> <span id="L123" class="LineNr">123 </span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span id="L124" class="LineNr">124 </span><span class="Delimiter">}</span> <span id="L125" class="LineNr">125 </span> <span id="L126" class="LineNr">126 </span><span class="Delimiter">:(scenario read_scenario_with_bracket_in_comment)</span> <span id="L127" class="LineNr">127 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [ <span id="L128" class="LineNr">128 </span> <span class="Comment"># ']' in comment</span> <span id="L129" class="LineNr">129 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> <span id="L130" class="LineNr">130 </span>] <span id="L131" class="LineNr">131 </span><span class="traceContains">+run: {1: &quot;number&quot;} &lt;- copy {0: &quot;literal&quot;}</span> <span id="L132" class="LineNr">132 </span> <span id="L133" class="LineNr">133 </span><span class="Delimiter">:(scenario read_scenario_with_bracket_in_comment_in_nested_string)</span> <span id="L134" class="LineNr">134 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [ <span id="L135" class="LineNr">135 </span> <span class="Constant">1</span>:text<span class="Special"> &lt;- </span><span class="Normal">new</span> [<span class="Comment"># not a comment]</span> <span id="L136" class="LineNr">136 </span>] <span id="L137" class="LineNr">137 </span><span class="traceContains">+run: {1: (&quot;address&quot; &quot;array&quot; &quot;character&quot;)} &lt;- new {&quot;# not a comment&quot;: &quot;literal-string&quot;}</span> <span id="L138" class="LineNr">138 </span> <span id="L139" class="LineNr">139 </span><span class="Delimiter">:(scenarios run)</span> <span id="L140" class="LineNr">140 </span><span class="Delimiter">:(scenario duplicate_scenarios)</span> <span id="L141" class="LineNr">141 </span><span class="Special">% Hide_errors = true;</span> <span id="L142" class="LineNr">142 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [ <span id="L143" class="LineNr">143 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> <span id="L144" class="LineNr">144 </span>] <span id="L145" class="LineNr">145 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [ <span id="L146" class="LineNr">146 </span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">0</span> <span id="L147" class="LineNr">147 </span>] <span id="L148" class="LineNr">148 </span><span class="traceContains">+error: duplicate <a href='050scenario.cc.html#L57'>scenario</a> name: 'foo'</span> <span id="L149" class="LineNr">149 </span> <span id="L150" class="LineNr">150 </span><span class="SalientComment">//:: Run scenarios when we run './mu test'.</span> <span id="L151" class="LineNr">151 </span><span class="Comment">//: Treat the text of the scenario as a regular series of instructions.</span> <span id="L152" class="LineNr">152 </span> <span id="L153" class="LineNr">153 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span> <span id="L154" class="LineNr">154 </span><span class="Normal">int</span> <span class="Special">Num_core_mu_scenarios</span> = <span class="Constant">0</span><span class="Delimiter">;</span> <span id="L155" class="LineNr">155 </span><span class="Delimiter">:(after &quot;Check For .mu Files&quot;)</span> <span id="L156" class="LineNr">156 </span><span class="Special">Num_core_mu_scenarios</span> = <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">);</span> <span id="L157" class="LineNr">157 </span><span class="Delimiter">:(before &quot;End Tests&quot;)</span> <span id="L158" class="LineNr">158 </span><span class="Special">Hide_missing_default_space_errors</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L159" class="LineNr">159 </span><span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Num_core_mu_scenarios</span> &gt; <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L160" class="LineNr">160 </span> time<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span> <span id="L161" class="LineNr">161 </span> cerr &lt;&lt; <span class="Constant">&quot;Mu tests: &quot;</span> &lt;&lt; ctime<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span> <span id="L162" class="LineNr">162 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; <span class="Special">Num_core_mu_scenarios</span><span class="Delimiter">;</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L163" class="LineNr">163 </span><span class="CommentedCode">//? cerr &lt;&lt; '\n' &lt;&lt; i &lt;&lt; &quot;: &quot; &lt;&lt; Scenarios.at(i).name;</span> <span id="L164" class="LineNr">164 </span> run_mu_scenario<span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span> <span id="L165" class="LineNr">165 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Passed</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="Constant">&quot;.&quot;</span><span class="Delimiter">;</span> <span id="L166" class="LineNr">166 </span> <span class="Normal">else</span> ++num_failures<span class="Delimiter">;</span> <span id="L167" class="LineNr">167 </span> <span class="Delimiter">}</span> <span id="L168" class="LineNr">168 </span> cerr &lt;&lt; <span class="Constant">&quot;\n&quot;</span><span class="Delimiter">;</span> <span id="L169" class="LineNr">169 </span><span class="Delimiter">}</span> <span id="L170" class="LineNr">170 </span><span class="Normal">run_app_scenarios</span>: <span id="L171" class="LineNr">171 </span><span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Num_core_mu_scenarios</span> != <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L172" class="LineNr">172 </span> time<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span> <span id="L173" class="LineNr">173 </span> cerr &lt;&lt; <span class="Constant">&quot;App tests: &quot;</span> &lt;&lt; ctime<span class="Delimiter">(</span>&amp;t<span class="Delimiter">);</span> <span id="L174" class="LineNr">174 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Special">Num_core_mu_scenarios</span><span class="Delimiter">;</span> i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L175" class="LineNr">175 </span><span class="CommentedCode">//? cerr &lt;&lt; '\n' &lt;&lt; i &lt;&lt; &quot;: &quot; &lt;&lt; Scenarios.at(i).name;</span> <span id="L176" class="LineNr">176 </span> run_mu_scenario<span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span> <span id="L177" class="LineNr">177 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Passed</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="Constant">&quot;.&quot;</span><span class="Delimiter">;</span> <span id="L178" class="LineNr">178 </span> <span class="Normal">else</span> ++num_failures<span class="Delimiter">;</span> <span id="L179" class="LineNr">179 </span> <span class="Delimiter">}</span> <span id="L180" class="LineNr">180 </span> cerr &lt;&lt; <span class="Constant">&quot;\n&quot;</span><span class="Delimiter">;</span> <span id="L181" class="LineNr">181 </span><span class="Delimiter">}</span> <span id="L182" class="LineNr">182 </span> <span id="L183" class="LineNr">183 </span><span class="Comment">//: For faster debugging, support running tests for just the Mu app(s) we are</span> <span id="L184" class="LineNr">184 </span><span class="Comment">//: loading.</span> <span id="L185" class="LineNr">185 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span> <span id="L186" class="LineNr">186 </span><span class="Normal">bool</span> <span class="Special">Test_only_app</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L187" class="LineNr">187 </span><span class="Delimiter">:(before &quot;End Commandline Options(*arg)&quot;)</span> <span id="L188" class="LineNr">188 </span><span class="Normal">else</span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L73'>is_equal</a><span class="Delimiter">(</span>*arg<span class="Delimiter">,</span> <span class="Constant">&quot;--test-only-app&quot;</span><span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L189" class="LineNr">189 </span> <span class="Special">Test_only_app</span> =<span class="Constant"> true</span><span class="Delimiter">;</span> <span id="L190" class="LineNr">190 </span><span class="Delimiter">}</span> <span id="L191" class="LineNr">191 </span><span class="Delimiter">:(after &quot;End Test Run Initialization&quot;)</span> <span id="L192" class="LineNr">192 </span><span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Test_only_app</span> &amp;&amp; <span class="Special">Num_core_mu_scenarios</span> &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L193" class="LineNr">193 </span> <span class="Identifier">goto</span> run_app_scenarios<span class="Delimiter">;</span> <span id="L194" class="LineNr">194 </span><span class="Delimiter">}</span> <span id="L195" class="LineNr">195 </span> <span id="L196" class="LineNr">196 </span><span class="Comment">//: Convenience: run a single named scenario.</span> <span id="L197" class="LineNr">197 </span><span class="Delimiter">:(after &quot;Test Runs&quot;)</span> <span id="L198" class="LineNr">198 </span><span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L199" class="LineNr">199 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>name == argv[argc-<span class="Constant">1</span>]<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L200" class="LineNr">200 </span> run_mu_scenario<span class="Delimiter">(</span><span class="Special">Scenarios</span><span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span> <span id="L201" class="LineNr">201 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Passed</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="Constant">&quot;.\n&quot;</span><span class="Delimiter">;</span> <span id="L202" class="LineNr">202 </span> <span class="Identifier">return</span> <span class="Constant">0</span><span class="Delimiter">;</span> <span id="L203" class="LineNr">203 </span> <span class="Delimiter">}</span> <span id="L204" class="LineNr">204 </span><span class="Delimiter">}</span> <span id="L205" class="LineNr">205 </span> <span id="L206" class="LineNr">206 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span> <span id="L207" class="LineNr">207 </span><span class="Comment">// this isn't a constant, just a global of type const*</span> <span id="L208" class="LineNr">208 </span><span class="Normal">const</span> scenario* <span class="Special">Current_scenario</span> = <span class="Constant">NULL</span><span class="Delimiter">;</span> <span id="L209" class="LineNr">209 </span><span class="Delimiter">:(code)</span> <span id="L210" class="LineNr">210 </span><span class="Normal">void</span> run_mu_scenario<span class="Delimiter">(</span><span class="Normal">const</span> scenario&amp; s<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L211" class="LineNr">211 </span> <span class="Special">Current_scenario</span> = &amp;s<span class="Delimiter">;</span> <span id="L212" class="LineNr">212 </span> <span class="Normal">bool</span> not_already_inside_test = !<span class="Special">Trace_stream</span><span class="Delimiter">;</span> <span id="L213" class="LineNr">213 </span><span class="CommentedCode">//? cerr &lt;&lt; s.name &lt;&lt; '\n';</span> <span id="L214" class="LineNr">214 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>not_already_inside_test<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L215" class="LineNr">215 </span> <span class="Special">Trace_stream</span> = <span class="Normal">new</span> trace_stream<span class="Delimiter">;</span> <span id="L216" class="LineNr">216 </span> <a href='000organization.cc.html#L134'>reset</a><span class="Delimiter">();</span> <span id="L217" class="LineNr">217 </span> <span class="Delimiter">}</span> <span id="L218" class="LineNr">218 </span> vector&lt;recipe_ordinal&gt; tmp = load<span class="Delimiter">(</span><span class="Constant">&quot;recipe scenario_&quot;</span>+s<span class="Delimiter">.</span>name+<span class="Constant">&quot; [ &quot;</span>+s<span class="Delimiter">.</span>to_run+<span class="Constant">&quot; ]&quot;</span><span class="Delimiter">);</span> <span id="L219" class="LineNr">219 </span> mark_autogenerated<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span> <span id="L220" class="LineNr">220 </span> bind_special_scenario_names<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span> <span id="L221" class="LineNr">221 </span> <a href='012transform.cc.html#L46'>transform_all</a><span class="Delimiter">();</span> <span id="L222" class="LineNr">222 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!trace_contains_errors<span class="Delimiter">())</span> <span id="L223" class="LineNr">223 </span> run<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>front<span class="Delimiter">());</span> <span id="L224" class="LineNr">224 </span> <span class="Comment">// End Mu Test Teardown</span> <span id="L225" class="LineNr">225 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span> &amp;&amp; <a href='003trace.cc.html#L220'>trace_contains_errors</a><span class="Delimiter">()</span> &amp;&amp; !<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span id="L226" class="LineNr">226 </span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L227" class="LineNr">227 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>not_already_inside_test &amp;&amp; <span class="Special">Trace_stream</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L228" class="LineNr">228 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Save_trace</span><span class="Delimiter">)</span> <span class="Special">Trace_stream</span><span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L133'>save</a><span class="Delimiter">();</span> <span id="L229" class="LineNr">229 </span> <span class="Normal">delete</span> <span class="Special">Trace_stream</span><span class="Delimiter">;</span> <span id="L230" class="LineNr">230 </span> <span class="Special">Trace_stream</span> = <span class="Constant">NULL</span><span class="Delimiter">;</span> <span id="L231" class="LineNr">231 </span> <span class="Delimiter">}</span> <span id="L232" class="LineNr">232 </span> <span class="Special">Current_scenario</span> = <span class="Constant">NULL</span><span class="Delimiter">;</span> <span id="L233" class="LineNr">233 </span><span class="Delimiter">}</span> <span id="L234" class="LineNr">234 </span> <span id="L235" class="LineNr">235 </span><span class="Comment">//: Permit numeric locations to be accessed in scenarios.</span> <span id="L236" class="LineNr">236 </span><span class="Delimiter">:(before &quot;End <a href='043space.cc.html#L261'>check_default_space</a> Special-cases&quot;)</span> <span id="L237" class="LineNr">237 </span><span class="Comment">// user code should never create recipes with underscores in their names</span> <span id="L238" class="LineNr">238 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>caller<span class="Delimiter">.</span>name<span class="Delimiter">,</span> <span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// skip Mu scenarios which will use raw memory locations</span> <span id="L239" class="LineNr">239 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>caller<span class="Delimiter">.</span>name<span class="Delimiter">,</span> <span class="Constant">&quot;run_&quot;</span><span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span class="Comment">// skip calls to 'run', which should be in scenarios and will also use raw memory locations</span> <span id="L240" class="LineNr">240 </span> <span id="L241" class="LineNr">241 </span><span class="Delimiter">:(before &quot;End maybe(recipe_name) Special-cases&quot;)</span> <span id="L242" class="LineNr">242 </span><span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>recipe_name<span class="Delimiter">,</span> <span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span> <span id="L243" class="LineNr">243 </span> <span class="Identifier">return</span> recipe_name<span class="Delimiter">.</span>substr<span class="Delimiter">(</span>strlen<span class="Delimiter">(</span><span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span> + <span class="Constant">&quot;: &quot;</span><span class="Delimiter">;</span> <span id="L244" class="LineNr">244 </span> <span id="L245" class="LineNr">245 </span><span class="Comment">//: Some variables for fake resources always get special /raw addresses in scenarios.</span> <span id="L246" class="LineNr">246 </span> <span id="L247" class="LineNr">247 </span><span class="Delimiter">:(code)</span> <span id="L248" class="LineNr">248 </span><span class="Comment">// Should contain everything passed by is_special_name but failed by is_disqualified.</span> <span id="L249" class="LineNr">249 </span><span class="Normal">void</span> bind_special_scenario_names<span class="Delimiter">(</span><span class="Normal">const</span> <a href='010vm.cc.html#L14'>recipe_ordinal</a> r<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L250" class="LineNr">250 </span> <span class="Comment">// Special Scenario Variable Names(r)</span> <span id="L251" class="LineNr">251 </span> <span class="Comment">// End Special Scenario Variable Names(r)</span> <span id="L252" class="LineNr">252 </span><span class="Delimiter">}</span> <span id="L253" class="LineNr">253 </span><span class="Delimiter">:(before &quot;Done Placing Ingredient(ingredient, inst, caller)&quot;)</span> <span id="L254" class="LineNr">254 </span>maybe_make_raw<span class="Delimiter">(</span>ingredient<span class="Delimiter">,</span> caller<span class="Delimiter">);</span> <span id="L255" class="LineNr">255 </span><span class="Delimiter">:(before &quot;Done Placing Product(product, inst, caller)&quot;)</span> <span id="L256" class="LineNr">256 </span>maybe_make_raw<span class="Delimiter">(</span>product<span class="Delimiter">,</span> caller<span class="Delimiter">);</span> <span id="L257" class="LineNr">257 </span><span class="Delimiter">:(code)</span> <span id="L258" class="LineNr">258 </span><span class="Normal">void</span> maybe_make_raw<span class="Delimiter">(</span>reagent&amp; r<span class="Delimiter">,</span> <span class="Normal">const</span> recipe&amp; caller<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L259" class="LineNr">259 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_special_name<span class="Delimiter">(</span>r<span class="Delimiter">.</span>name<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L260" class="LineNr">260 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L77'>starts_with</a><span class="Delimiter">(</span>caller<span class="Delimiter">.</span>name<span class="Delimiter">,</span> <span class="Constant">&quot;scenario_&quot;</span><span class="Delimiter">))</span> <span id="L261" class="LineNr">261 </span> r<span class="Delimiter">.</span>properties<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>pair&lt;string<span class="Delimiter">,</span> string_tree*&gt;<span class="Delimiter">(</span><span class="Constant">&quot;raw&quot;</span><span class="Delimiter">,</span> <span class="Constant">NULL</span><span class="Delimiter">));</span> <span id="L262" class="LineNr">262 </span> <span class="Comment">// End maybe_make_raw</span> <span id="L263" class="LineNr">263 </span><span class="Delimiter">}</span> <span id="L264" class="LineNr">264 </span> <span id="L265" class="LineNr">265 </span><span class="Comment">//: Test.</span> <span id="L266" class="LineNr">266 </span><span class="Delimiter">:(before &quot;End <a href='042name.cc.html#L172'>is_special_name</a> Special-cases&quot;)</span> <span id="L267" class="LineNr">267 </span><span class="Normal">if</span> <span class="Delimiter">(</span>s == <span class="Constant">&quot;__maybe_make_raw_test__&quot;</span><span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Constant"> true</span><span class="Delimiter">;</span> <span id="L268" class="LineNr">268 </span><span class="Delimiter">:(before &quot;End Special Scenario Variable Names(r)&quot;)</span> <span id="L269" class="LineNr">269 </span><span class="Comment">//: ugly: we only need this for this one test, but need to define it for all time</span> <span id="L270" class="LineNr">270 </span><span class="Special">Name</span>[r][<span class="Constant">&quot;__maybe_make_raw_test__&quot;</span>] = <span class="Special">Reserved_for_tests-1</span><span class="Delimiter">;</span> <span id="L271" class="LineNr">271 </span><span class="Delimiter">:(code)</span> <span id="L272" class="LineNr">272 </span><span class="Normal">void</span> test_maybe_make_raw<span class="Delimiter">()</span> <span class="Delimiter">{</span> <span id="L273" class="LineNr">273 </span> <span class="Comment">// check that scenarios can use local-scope and special variables together</span> <span id="L274" class="LineNr">274 </span> vector&lt;recipe_ordinal&gt; tmp = load<span class="Delimiter">(</span> <span id="L275" class="LineNr">275 </span> <span class="Constant">&quot;def scenario_foo [\n&quot;</span> <span id="L276" class="LineNr">276 </span> <span class="Constant">&quot; local-scope\n&quot;</span> <span id="L277" class="LineNr">277 </span> <span class="Constant">&quot; __maybe_make_raw_test__:num &lt;- copy 34\n&quot;</span> <span id="L278" class="LineNr">278 </span> <span class="Constant">&quot;]\n&quot;</span><span class="Delimiter">);</span> <span id="L279" class="LineNr">279 </span> mark_autogenerated<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span> <span id="L280" class="LineNr">280 </span> bind_special_scenario_names<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span> <span id="L281" class="LineNr">281 </span> <a href='012transform.cc.html#L46'>transform_all</a><span class="Delimiter">();</span> <span id="L282" class="LineNr">282 </span> run<span class="Delimiter">(</span>tmp<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">));</span> <span id="L283" class="LineNr">283 </span> <a href='003trace.cc.html#L256'>CHECK_TRACE_DOESNT_CONTAIN_ERRORS</a><span class="Delimiter">();</span> <span id="L284" class="LineNr">284 </span><span class="Delimiter">}</span> <span id="L285" class="LineNr">285 </span> <span id="L286" class="LineNr">286 </span><span class="Comment">//: Watch out for redefinitions of scenario routines. We should never ever be</span> <span id="L287" class="LineNr">287 </span><span class="Comment">//: doing that, regardless of anything else.</span> <span id="L288" class="LineNr">288 </span><span class="Delimiter">:(scenario forbid_redefining_scenario_even_if_forced)</span> <span id="L289" class="LineNr">289 </span><span class="Special">% Hide_errors = true;</span> <span id="L290" class="LineNr">290 </span><span class="Special">% Disable_redefine_checks = true;</span> <span id="L291" class="LineNr">291 </span><span class="muRecipe">def</span> scenario-foo [ <span id="L292" class="LineNr">292 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">34</span> <span id="L293" class="LineNr">293 </span>] <span id="L294" class="LineNr">294 </span><span class="muRecipe">def</span> scenario-foo [ <span id="L295" class="LineNr">295 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">35</span> <span id="L296" class="LineNr">296 </span>] <span id="L297" class="LineNr">297 </span><span class="traceContains">+error: redefining <a href='010vm.cc.html#L19'>recipe</a> scenario-foo</span> <span id="L298" class="LineNr">298 </span> <span id="L299" class="LineNr">299 </span><span class="Delimiter">:(scenario scenario_containing_parse_error)</span> <span id="L300" class="LineNr">300 </span><span class="Special">% Hide_errors = true;</span> <span id="L301" class="LineNr">301 </span><span class="muScenario"><a href='050scenario.cc.html#L57'>scenario</a></span> foo [ <span id="L302" class="LineNr">302 </span> memory-should-contain [ <span id="L303" class="LineNr">303 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">0</span> <span id="L304" class="LineNr">304 </span> <span class="Comment"># missing ']'</span> <span id="L305" class="LineNr">305 </span>] <span id="L306" class="LineNr">306 </span><span class="Comment"># no crash</span> <span id="L307" class="LineNr">307 </span> <span id="L308" class="LineNr">308 </span><span class="Delimiter">:(scenario scenario_containing_transform_error)</span> <span id="L309" class="LineNr">309 </span><span class="Special">% Hide_errors = true;</span> <span id="L310" class="LineNr">310 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L311" class="LineNr">311 </span> local-scope <span id="L312" class="LineNr">312 </span> add x<span class="Delimiter">,</span> <span class="Constant">1</span> <span id="L313" class="LineNr">313 </span>] <span id="L314" class="LineNr">314 </span><span class="Comment"># no crash</span> <span id="L315" class="LineNr">315 </span> <span id="L316" class="LineNr">316 </span><span class="Delimiter">:(after &quot;bool should_check_for_redefine(const string&amp; recipe_name)&quot;)</span> <span id="L317" class="LineNr">317 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>recipe_name<span class="Delimiter">.</span>find<span class="Delimiter">(</span><span class="Constant">&quot;scenario-&quot;</span><span class="Delimiter">)</span> == <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Identifier">return</span><span class="Constant"> true</span><span class="Delimiter">;</span> <span id="L318" class="LineNr">318 </span> <span id="L319" class="LineNr">319 </span><span class="SalientComment">//:: The special instructions we want to support inside scenarios.</span> <span id="L320" class="LineNr">320 </span><span class="Comment">//: These are easy to support in an interpreter, but will require more work</span> <span id="L321" class="LineNr">321 </span><span class="Comment">//: when we eventually build a compiler.</span> <span id="L322" class="LineNr">322 </span> <span id="L323" class="LineNr">323 </span><span class="Comment">//: 'run' is a purely lexical convenience to separate the code actually being</span> <span id="L324" class="LineNr">324 </span><span class="Comment">//: tested from any setup</span> <span id="L325" class="LineNr">325 </span> <span id="L326" class="LineNr">326 </span><span class="Delimiter">:(scenario run)</span> <span id="L327" class="LineNr">327 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L328" class="LineNr">328 </span> run [ <span id="L329" class="LineNr">329 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span> <span id="L330" class="LineNr">330 </span> ] <span id="L331" class="LineNr">331 </span>] <span id="L332" class="LineNr">332 </span><span class="traceContains">+mem: storing 13 in location 1</span> <span id="L333" class="LineNr">333 </span> <span id="L334" class="LineNr">334 </span><span class="Delimiter">:(before &quot;End Rewrite Instruction(curr, <a href='010vm.cc.html#L19'>recipe</a> result)&quot;)</span> <span id="L335" class="LineNr">335 </span><span class="Normal">if</span> <span class="Delimiter">(</span>curr<span class="Delimiter">.</span>name == <span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L336" class="LineNr">336 </span> <span class="Comment">// Just inline all instructions inside the run block in the containing</span> <span id="L337" class="LineNr">337 </span> <span class="Comment">// recipe. 'run' is basically a comment; pretend it doesn't exist.</span> <span id="L338" class="LineNr">338 </span> istringstream in2<span class="Delimiter">(</span><span class="Constant">&quot;[\n&quot;</span>+curr<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name+<span class="Constant">&quot;\n]\n&quot;</span><span class="Delimiter">);</span> <span id="L339" class="LineNr">339 </span> <a href='011load.cc.html#L83'>slurp_body</a><span class="Delimiter">(</span>in2<span class="Delimiter">,</span> result<span class="Delimiter">);</span> <span id="L340" class="LineNr">340 </span> curr<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L341" class="LineNr">341 </span><span class="Delimiter">}</span> <span id="L342" class="LineNr">342 </span> <span id="L343" class="LineNr">343 </span><span class="Delimiter">:(scenario run_multiple)</span> <span id="L344" class="LineNr">344 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L345" class="LineNr">345 </span> run [ <span id="L346" class="LineNr">346 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span> <span id="L347" class="LineNr">347 </span> ] <span id="L348" class="LineNr">348 </span> run [ <span id="L349" class="LineNr">349 </span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">13</span> <span id="L350" class="LineNr">350 </span> ] <span id="L351" class="LineNr">351 </span>] <span id="L352" class="LineNr">352 </span><span class="traceContains">+mem: storing 13 in location 1</span> <span id="L353" class="LineNr">353 </span><span class="traceContains">+mem: storing 13 in location 2</span> <span id="L354" class="LineNr">354 </span> <span id="L355" class="LineNr">355 </span><span class="Comment">//: 'memory-should-contain' raises errors if specific locations aren't as expected</span> <span id="L356" class="LineNr">356 </span><span class="Comment">//: Also includes some special support for checking Mu texts.</span> <span id="L357" class="LineNr">357 </span> <span id="L358" class="LineNr">358 </span><span class="Delimiter">:(before &quot;End Globals&quot;)</span> <span id="L359" class="LineNr">359 </span><span class="Normal">bool</span> <span class="Special">Scenario_testing_scenario</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L360" class="LineNr">360 </span><span class="Delimiter">:(before &quot;End Reset&quot;)</span> <span id="L361" class="LineNr">361 </span><span class="Special">Scenario_testing_scenario</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L362" class="LineNr">362 </span> <span id="L363" class="LineNr">363 </span><span class="Delimiter">:(scenario memory_check)</span> <span id="L364" class="LineNr">364 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L365" class="LineNr">365 </span><span class="Special">% Hide_errors = true;</span> <span id="L366" class="LineNr">366 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L367" class="LineNr">367 </span> memory-should-contain [ <span id="L368" class="LineNr">368 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">13</span> <span id="L369" class="LineNr">369 </span> ] <span id="L370" class="LineNr">370 </span>] <span id="L371" class="LineNr">371 </span><span class="traceContains">+run: checking location 1</span> <span id="L372" class="LineNr">372 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: expected location '1' to contain 13 but saw 0</span> <span id="L373" class="LineNr">373 </span> <span id="L374" class="LineNr">374 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span> <span id="L375" class="LineNr">375 </span>MEMORY_SHOULD_CONTAIN<span class="Delimiter">,</span> <span id="L376" class="LineNr">376 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span> <span id="L377" class="LineNr">377 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Recipe_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;memory-should-contain&quot;</span><span class="Delimiter">,</span> MEMORY_SHOULD_CONTAIN<span class="Delimiter">);</span> <span id="L378" class="LineNr">378 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span> <span id="L379" class="LineNr">379 </span><span class="Normal">case</span> MEMORY_SHOULD_CONTAIN: <span class="Delimiter">{</span> <span id="L380" class="LineNr">380 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L381" class="LineNr">381 </span><span class="Delimiter">}</span> <span id="L382" class="LineNr">382 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span> <span id="L383" class="LineNr">383 </span><span class="Normal">case</span> MEMORY_SHOULD_CONTAIN: <span class="Delimiter">{</span> <span id="L384" class="LineNr">384 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Passed</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L385" class="LineNr">385 </span> check_memory<span class="Delimiter">(</span><a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name<span class="Delimiter">);</span> <span id="L386" class="LineNr">386 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L387" class="LineNr">387 </span><span class="Delimiter">}</span> <span id="L388" class="LineNr">388 </span> <span id="L389" class="LineNr">389 </span><span class="Delimiter">:(code)</span> <span id="L390" class="LineNr">390 </span><span class="Normal">void</span> check_memory<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; s<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L391" class="LineNr">391 </span> istringstream in<span class="Delimiter">(</span>s<span class="Delimiter">);</span> <span id="L392" class="LineNr">392 </span> in &gt;&gt; std::noskipws<span class="Delimiter">;</span> <span id="L393" class="LineNr">393 </span> set&lt;<span class="Normal">int</span>&gt; locations_checked<span class="Delimiter">;</span> <span id="L394" class="LineNr">394 </span> <span class="Normal">while</span> <span class="Delimiter">(</span><span class="Constant">true</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L395" class="LineNr">395 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L396" class="LineNr">396 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">))</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L397" class="LineNr">397 </span> string lhs = <a href='011load.cc.html#L169'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L398" class="LineNr">398 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>lhs<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span> <span id="L399" class="LineNr">399 </span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span> <span id="L400" class="LineNr">400 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L225'>end</a> of file (0)\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L401" class="LineNr">401 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L402" class="LineNr">402 </span> <span class="Delimiter">}</span> <span id="L403" class="LineNr">403 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_integer<span class="Delimiter">(</span>lhs<span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L404" class="LineNr">404 </span> <a href='046check_type_by_name.cc.html#L76'>check_type</a><span class="Delimiter">(</span>lhs<span class="Delimiter">,</span> in<span class="Delimiter">);</span> <span id="L405" class="LineNr">405 </span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span id="L406" class="LineNr">406 </span> <span class="Delimiter">}</span> <span id="L407" class="LineNr">407 </span> <span class="Normal">int</span> <a href='043space.cc.html#L101'>address</a> = to_integer<span class="Delimiter">(</span>lhs<span class="Delimiter">);</span> <span id="L408" class="LineNr">408 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L409" class="LineNr">409 </span> string _assign<span class="Delimiter">;</span> in &gt;&gt; _assign<span class="Delimiter">;</span> assert<span class="Delimiter">(</span>_assign == <span class="Constant">&quot;&lt;-&quot;</span><span class="Delimiter">);</span> <span id="L410" class="LineNr">410 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L411" class="LineNr">411 </span> string rhs = <a href='011load.cc.html#L169'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L412" class="LineNr">412 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>rhs<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span> <span id="L413" class="LineNr">413 </span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span> <span id="L414" class="LineNr">414 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L225'>end</a> of file (1)\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L415" class="LineNr">415 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L416" class="LineNr">416 </span> <span class="Delimiter">}</span> <span id="L417" class="LineNr">417 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_integer<span class="Delimiter">(</span>rhs<span class="Delimiter">)</span> &amp;&amp; !is_noninteger<span class="Delimiter">(</span>rhs<span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L418" class="LineNr">418 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L419" class="LineNr">419 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;location '&quot;</span> &lt;&lt; address &lt;&lt; <span class="Constant">&quot;' can't contain non-number &quot;</span> &lt;&lt; rhs &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; end<span class="Delimiter">();</span> <span id="L420" class="LineNr">420 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L421" class="LineNr">421 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L422" class="LineNr">422 </span> <span class="Delimiter">}</span> <span id="L423" class="LineNr">423 </span> <span class="Normal">double</span> value = <a href='015literal_noninteger.cc.html#L26'>to_double</a><span class="Delimiter">(</span>rhs<span class="Delimiter">);</span> <span id="L424" class="LineNr">424 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L226'>contains_key</a><span class="Delimiter">(</span>locations_checked<span class="Delimiter">,</span> <a href='043space.cc.html#L101'>address</a><span class="Delimiter">))</span> <span id="L425" class="LineNr">425 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;duplicate expectation for location '&quot;</span> &lt;&lt; address &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L426" class="LineNr">426 </span> <a href='003trace.cc.html#L189'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;checking location &quot;</span> &lt;&lt; <a href='043space.cc.html#L101'>address</a> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L427" class="LineNr">427 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">Memory</span><span class="Delimiter">,</span> <a href='043space.cc.html#L101'>address</a><span class="Delimiter">)</span> != value<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L428" class="LineNr">428 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L429" class="LineNr">429 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected location '&quot;</span> &lt;&lt; address &lt;&lt; <span class="Constant">&quot;' to contain &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span>value<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; but saw &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">Memory</span><span class="Delimiter">,</span> <a href='043space.cc.html#L101'>address</a><span class="Delimiter">))</span> &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L430" class="LineNr">430 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L431" class="LineNr">431 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L432" class="LineNr">432 </span> <span class="Delimiter">}</span> <span id="L433" class="LineNr">433 </span> locations_checked<span class="Delimiter">.</span>insert<span class="Delimiter">(</span><a href='043space.cc.html#L101'>address</a><span class="Delimiter">);</span> <span id="L434" class="LineNr">434 </span> <span class="Delimiter">}</span> <span id="L435" class="LineNr">435 </span><span class="Delimiter">}</span> <span id="L436" class="LineNr">436 </span> <span id="L437" class="LineNr">437 </span><span class="Normal">void</span> <a href='046check_type_by_name.cc.html#L76'>check_type</a><span class="Delimiter">(</span><span class="Normal">const</span> string&amp; lhs<span class="Delimiter">,</span> istream&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L438" class="LineNr">438 </span> reagent x<span class="Delimiter">(</span>lhs<span class="Delimiter">);</span> <span id="L439" class="LineNr">439 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>is_mu_array<span class="Delimiter">(</span>x<span class="Delimiter">.</span>type<span class="Delimiter">)</span> &amp;&amp; is_mu_character<span class="Delimiter">(</span><a href='032array.cc.html#L303'>array_element</a><span class="Delimiter">(</span>x<span class="Delimiter">.</span>type<span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L440" class="LineNr">440 </span> x<span class="Delimiter">.</span><a href='010vm.cc.html#L67'>set_value</a><span class="Delimiter">(</span>to_integer<span class="Delimiter">(</span>x<span class="Delimiter">.</span>name<span class="Delimiter">));</span> <span id="L441" class="LineNr">441 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L442" class="LineNr">442 </span> string _assign = <a href='011load.cc.html#L169'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L443" class="LineNr">443 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>_assign<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span> <span id="L444" class="LineNr">444 </span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span> <span id="L445" class="LineNr">445 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L225'>end</a> of file (2)\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L446" class="LineNr">446 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L447" class="LineNr">447 </span> <span class="Delimiter">}</span> <span id="L448" class="LineNr">448 </span> assert<span class="Delimiter">(</span>_assign == <span class="Constant">&quot;&lt;-&quot;</span><span class="Delimiter">);</span> <span id="L449" class="LineNr">449 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L450" class="LineNr">450 </span> string literal = <a href='011load.cc.html#L169'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L451" class="LineNr">451 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>literal<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span> <span id="L452" class="LineNr">452 </span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span> <span id="L453" class="LineNr">453 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;incomplete 'memory-should-contain' block at <a href='003trace.cc.html#L225'>end</a> of file (3)\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L454" class="LineNr">454 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L455" class="LineNr">455 </span> <span class="Delimiter">}</span> <span id="L456" class="LineNr">456 </span> <span class="Normal">int</span> <a href='043space.cc.html#L101'>address</a> = x<span class="Delimiter">.</span>value<span class="Delimiter">;</span> <span id="L457" class="LineNr">457 </span> <span class="Comment">// exclude quoting brackets</span> <span id="L458" class="LineNr">458 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>*literal<span class="Delimiter">.</span>begin<span class="Delimiter">()</span> != <span class="Constant">'['</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L459" class="LineNr">459 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;array:character types inside 'memory-should-contain' can only be compared with text literals surrounded by [], not '&quot;</span> &lt;&lt; literal &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L460" class="LineNr">460 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L461" class="LineNr">461 </span> <span class="Delimiter">}</span> <span id="L462" class="LineNr">462 </span> literal<span class="Delimiter">.</span>erase<span class="Delimiter">(</span>literal<span class="Delimiter">.</span>begin<span class="Delimiter">());</span> <span id="L463" class="LineNr">463 </span> assert<span class="Delimiter">(</span>*--literal<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">()</span> == <span class="Constant">']'</span><span class="Delimiter">);</span> literal<span class="Delimiter">.</span>erase<span class="Delimiter">(</span>--literal<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">());</span> <span id="L464" class="LineNr">464 </span> check_mu_text<span class="Delimiter">(</span><a href='043space.cc.html#L101'>address</a><span class="Delimiter">,</span> literal<span class="Delimiter">);</span> <span id="L465" class="LineNr">465 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L466" class="LineNr">466 </span> <span class="Delimiter">}</span> <span id="L467" class="LineNr">467 </span> <span class="Comment">// End Scenario Type Special-cases</span> <span id="L468" class="LineNr">468 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;don't know how to check memory for '&quot;</span> &lt;&lt; lhs &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span> <span id="L469" class="LineNr">469 </span><span class="Delimiter">}</span> <span id="L470" class="LineNr">470 </span> <span id="L471" class="LineNr">471 </span><span class="Normal">void</span> check_mu_text<span class="Delimiter">(</span><span class="Normal">int</span> start<span class="Delimiter">,</span> <span class="Normal">const</span> string&amp; literal<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L472" class="LineNr">472 </span> <a href='003trace.cc.html#L189'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;checking text length at &quot;</span> &lt;&lt; start &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L473" class="LineNr">473 </span> <span class="Normal">int</span> <a href='032array.cc.html#L319'>array_length</a> = <span class="Normal">static_cast</span>&lt;<span class="Normal">int</span>&gt;<span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">Memory</span><span class="Delimiter">,</span> start<span class="Delimiter">));</span> <span id="L474" class="LineNr">474 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='032array.cc.html#L319'>array_length</a> != <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>literal<span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L475" class="LineNr">475 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L476" class="LineNr">476 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected location '&quot;</span> &lt;&lt; start &lt;&lt; <span class="Constant">&quot;' to contain length &quot;</span> &lt;&lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>literal<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; of text [&quot;</span> &lt;&lt; literal &lt;&lt; <span class="Constant">&quot;] but saw &quot;</span> &lt;&lt; <a href='032array.cc.html#L319'>array_length</a> &lt;&lt; <span class="Constant">&quot; (for text [&quot;</span> &lt;&lt; <a href='038new_text.cc.html#L149'>read_mu_characters</a><span class="Delimiter">(</span>start+<span class="Comment">/*</span><span class="Comment">skip length</span><span class="Comment">*/</span><span class="Constant">1</span><span class="Delimiter">,</span> <a href='032array.cc.html#L319'>array_length</a><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;])\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L477" class="LineNr">477 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L478" class="LineNr">478 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L479" class="LineNr">479 </span> <span class="Delimiter">}</span> <span id="L480" class="LineNr">480 </span> <span class="Normal">int</span> curr = start+<span class="Constant">1</span><span class="Delimiter">;</span> <span class="Comment">// now skip length</span> <span id="L481" class="LineNr">481 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>literal<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L482" class="LineNr">482 </span> <a href='003trace.cc.html#L189'>trace</a><span class="Delimiter">(</span><span class="Constant">&quot;run&quot;</span><span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;checking location &quot;</span> &lt;&lt; curr+i &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L483" class="LineNr">483 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">Memory</span><span class="Delimiter">,</span> curr+i<span class="Delimiter">)</span> != literal<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">))</span> <span class="Delimiter">{</span> <span id="L484" class="LineNr">484 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L485" class="LineNr">485 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected location &quot;</span> &lt;&lt; <span class="Delimiter">(</span>curr+i<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; to contain &quot;</span> &lt;&lt; literal<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot; but saw &quot;</span> &lt;&lt; no_scientific<span class="Delimiter">(</span><a href='001help.cc.html#L229'>get_or_insert</a><span class="Delimiter">(</span><span class="Special">Memory</span><span class="Delimiter">,</span> curr+i<span class="Delimiter">))</span> &lt;&lt; <span class="cSpecial">'\n'</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L486" class="LineNr">486 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L487" class="LineNr">487 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L488" class="LineNr">488 </span> <span class="Delimiter">}</span> <span id="L489" class="LineNr">489 </span> <span class="Delimiter">}</span> <span id="L490" class="LineNr">490 </span><span class="Delimiter">}</span> <span id="L491" class="LineNr">491 </span> <span id="L492" class="LineNr">492 </span><span class="Delimiter">:(scenario memory_check_multiple)</span> <span id="L493" class="LineNr">493 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L494" class="LineNr">494 </span><span class="Special">% Hide_errors = true;</span> <span id="L495" class="LineNr">495 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L496" class="LineNr">496 </span> memory-should-contain [ <span id="L497" class="LineNr">497 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">0</span> <span id="L498" class="LineNr">498 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">0</span> <span id="L499" class="LineNr">499 </span> ] <span id="L500" class="LineNr">500 </span>] <span id="L501" class="LineNr">501 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: duplicate expectation for location '1'</span> <span id="L502" class="LineNr">502 </span> <span id="L503" class="LineNr">503 </span><span class="Delimiter">:(scenario memory_check_mu_text_length)</span> <span id="L504" class="LineNr">504 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L505" class="LineNr">505 </span><span class="Special">% Hide_errors = true;</span> <span id="L506" class="LineNr">506 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L507" class="LineNr">507 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">3</span> <span id="L508" class="LineNr">508 </span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">97</span> <span class="Comment"># 'a'</span> <span id="L509" class="LineNr">509 </span> <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">98</span> <span class="Comment"># 'b'</span> <span id="L510" class="LineNr">510 </span> <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">99</span> <span class="Comment"># 'c'</span> <span id="L511" class="LineNr">511 </span> memory-should-contain [ <span id="L512" class="LineNr">512 </span> <span class="Constant">1</span>:array:character<span class="Special"> &lt;- </span>[ab] <span id="L513" class="LineNr">513 </span> ] <span id="L514" class="LineNr">514 </span>] <span id="L515" class="LineNr">515 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: expected location '1' to contain length 2 of text [ab] but saw 3 (for text [abc])</span> <span id="L516" class="LineNr">516 </span> <span id="L517" class="LineNr">517 </span><span class="Delimiter">:(scenario memory_check_mu_text)</span> <span id="L518" class="LineNr">518 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L519" class="LineNr">519 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">3</span> <span id="L520" class="LineNr">520 </span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">97</span> <span class="Comment"># 'a'</span> <span id="L521" class="LineNr">521 </span> <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">98</span> <span class="Comment"># 'b'</span> <span id="L522" class="LineNr">522 </span> <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">99</span> <span class="Comment"># 'c'</span> <span id="L523" class="LineNr">523 </span> memory-should-contain [ <span id="L524" class="LineNr">524 </span> <span class="Constant">1</span>:array:character<span class="Special"> &lt;- </span>[abc] <span id="L525" class="LineNr">525 </span> ] <span id="L526" class="LineNr">526 </span>] <span id="L527" class="LineNr">527 </span><span class="traceContains">+run: checking text length at 1</span> <span id="L528" class="LineNr">528 </span><span class="traceContains">+run: checking location 2</span> <span id="L529" class="LineNr">529 </span><span class="traceContains">+run: checking location 3</span> <span id="L530" class="LineNr">530 </span><span class="traceContains">+run: checking location 4</span> <span id="L531" class="LineNr">531 </span> <span id="L532" class="LineNr">532 </span><span class="Delimiter">:(scenario memory_invalid_string_check)</span> <span id="L533" class="LineNr">533 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L534" class="LineNr">534 </span><span class="Special">% Hide_errors = true;</span> <span id="L535" class="LineNr">535 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L536" class="LineNr">536 </span> memory-should-contain [ <span id="L537" class="LineNr">537 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span>[abc] <span id="L538" class="LineNr">538 </span> ] <span id="L539" class="LineNr">539 </span>] <span id="L540" class="LineNr">540 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: location '1' can't contain non-number [abc]</span> <span id="L541" class="LineNr">541 </span> <span id="L542" class="LineNr">542 </span><span class="Delimiter">:(scenario memory_invalid_string_check2)</span> <span id="L543" class="LineNr">543 </span><span class="Special">% Hide_errors = true;</span> <span id="L544" class="LineNr">544 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L545" class="LineNr">545 </span> <span class="Constant">1</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">3</span> <span id="L546" class="LineNr">546 </span> <span class="Constant">2</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">97</span> <span class="Comment"># 'a'</span> <span id="L547" class="LineNr">547 </span> <span class="Constant">3</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">98</span> <span class="Comment"># 'b'</span> <span id="L548" class="LineNr">548 </span> <span class="Constant">4</span>:num<span class="Special"> &lt;- </span>copy <span class="Constant">99</span> <span class="Comment"># 'c'</span> <span id="L549" class="LineNr">549 </span> memory-should-contain [ <span id="L550" class="LineNr">550 </span> <span class="Constant">1</span>:array:character<span class="Special"> &lt;- </span><span class="Constant">0</span> <span id="L551" class="LineNr">551 </span> ] <span id="L552" class="LineNr">552 </span>] <span id="L553" class="LineNr">553 </span><span class="traceContains">+error: <a href='000organization.cc.html#L113'>main</a>: array:character types inside 'memory-should-contain' can only be compared with text literals surrounded by [], not '0'</span> <span id="L554" class="LineNr">554 </span> <span id="L555" class="LineNr">555 </span><span class="Delimiter">:(scenario memory_check_with_comment)</span> <span id="L556" class="LineNr">556 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L557" class="LineNr">557 </span><span class="Special">% Hide_errors = true;</span> <span id="L558" class="LineNr">558 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L559" class="LineNr">559 </span> memory-should-contain [ <span id="L560" class="LineNr">560 </span> <span class="Constant">1</span><span class="Special"> &lt;- </span><span class="Constant">34</span> <span class="Comment"># comment</span> <span id="L561" class="LineNr">561 </span> ] <span id="L562" class="LineNr">562 </span>] <span id="L563" class="LineNr">563 </span><span class="traceAbsent">-error: location 1 can't contain non-number 34 # comment</span> <span id="L564" class="LineNr">564 </span><span class="Comment"># but there'll be an error signalled by memory-should-contain</span> <span id="L565" class="LineNr">565 </span> <span id="L566" class="LineNr">566 </span><span class="Comment">//: 'trace-should-contain' is like the '+' lines in our scenarios so far</span> <span id="L567" class="LineNr">567 </span><span class="Comment">// Like runs of contiguous '+' lines, order is important. The trace checks</span> <span id="L568" class="LineNr">568 </span><span class="Comment">// that the lines are present *and* in the specified sequence. (There can be</span> <span id="L569" class="LineNr">569 </span><span class="Comment">// other lines in between.)</span> <span id="L570" class="LineNr">570 </span> <span id="L571" class="LineNr">571 </span><span class="Delimiter">:(scenario trace_check_fails)</span> <span id="L572" class="LineNr">572 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L573" class="LineNr">573 </span><span class="Special">% Hide_errors = true;</span> <span id="L574" class="LineNr">574 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L575" class="LineNr">575 </span> trace-should-contain [ <span id="L576" class="LineNr">576 </span> <span class="Normal">a</span>: b <span id="L577" class="LineNr">577 </span> <span class="Normal">a</span>: d <span id="L578" class="LineNr">578 </span> ] <span id="L579" class="LineNr">579 </span>] <span id="L580" class="LineNr">580 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: missing [b] in <a href='003trace.cc.html#L189'>trace</a> with label 'a'</span> <span id="L581" class="LineNr">581 </span> <span id="L582" class="LineNr">582 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span> <span id="L583" class="LineNr">583 </span>TRACE_SHOULD_CONTAIN<span class="Delimiter">,</span> <span id="L584" class="LineNr">584 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span> <span id="L585" class="LineNr">585 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Recipe_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;trace-should-contain&quot;</span><span class="Delimiter">,</span> TRACE_SHOULD_CONTAIN<span class="Delimiter">);</span> <span id="L586" class="LineNr">586 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span> <span id="L587" class="LineNr">587 </span><span class="Normal">case</span> TRACE_SHOULD_CONTAIN: <span class="Delimiter">{</span> <span id="L588" class="LineNr">588 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L589" class="LineNr">589 </span><span class="Delimiter">}</span> <span id="L590" class="LineNr">590 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span> <span id="L591" class="LineNr">591 </span><span class="Normal">case</span> TRACE_SHOULD_CONTAIN: <span class="Delimiter">{</span> <span id="L592" class="LineNr">592 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Passed</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L593" class="LineNr">593 </span> check_trace<span class="Delimiter">(</span><a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name<span class="Delimiter">);</span> <span id="L594" class="LineNr">594 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L595" class="LineNr">595 </span><span class="Delimiter">}</span> <span id="L596" class="LineNr">596 </span> <span id="L597" class="LineNr">597 </span><span class="Delimiter">:(code)</span> <span id="L598" class="LineNr">598 </span><span class="Comment">// simplified version of check_trace_contents() that emits errors rather</span> <span id="L599" class="LineNr">599 </span><span class="Comment">// than just printing to stderr</span> <span id="L600" class="LineNr">600 </span><span class="Normal">void</span> check_trace<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; expected<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L601" class="LineNr">601 </span> <span class="Special">Trace_stream</span><span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L147'>newline</a><span class="Delimiter">();</span> <span id="L602" class="LineNr">602 </span> vector&lt;trace_line&gt; expected_lines = parse_trace<span class="Delimiter">(</span>expected<span class="Delimiter">);</span> <span id="L603" class="LineNr">603 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L604" class="LineNr">604 </span> <span class="Normal">int</span> curr_expected_line = <span class="Constant">0</span><span class="Delimiter">;</span> <span id="L605" class="LineNr">605 </span> <span class="Normal">for</span> <span class="Delimiter">(</span>vector&lt;trace_line&gt;::iterator p = <span class="Special">Trace_stream</span><span class="Delimiter">-&gt;</span>past_lines<span class="Delimiter">.</span>begin<span class="Delimiter">();</span> p != <span class="Special">Trace_stream</span><span class="Delimiter">-&gt;</span>past_lines<span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L606" class="LineNr">606 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>label != p<span class="Delimiter">-&gt;</span>label<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span id="L607" class="LineNr">607 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>contents != <a href='003trace.cc.html#L394'>trim</a><span class="Delimiter">(</span>p<span class="Delimiter">-&gt;</span>contents<span class="Delimiter">))</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span id="L608" class="LineNr">608 </span> <span class="Comment">// match</span> <span id="L609" class="LineNr">609 </span> ++curr_expected_line<span class="Delimiter">;</span> <span id="L610" class="LineNr">610 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>curr_expected_line == <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>expected_lines<span class="Delimiter">))</span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L611" class="LineNr">611 </span> <span class="Delimiter">}</span> <span id="L612" class="LineNr">612 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L613" class="LineNr">613 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;missing [&quot;</span> &lt;&lt; expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>contents &lt;&lt; <span class="Constant">&quot;] &quot;</span> <span id="L614" class="LineNr">614 </span> &lt;&lt; <span class="Constant">&quot;in <a href='003trace.cc.html#L189'>trace</a> with label '&quot;</span> &lt;&lt; expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>label &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L615" class="LineNr">615 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> <span id="L616" class="LineNr">616 </span> <a href='003trace.cc.html#L193'>DUMP</a><span class="Delimiter">(</span>expected_lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>curr_expected_line<span class="Delimiter">).</span>label<span class="Delimiter">);</span> <span id="L617" class="LineNr">617 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L618" class="LineNr">618 </span><span class="Delimiter">}</span> <span id="L619" class="LineNr">619 </span> <span id="L620" class="LineNr">620 </span>vector&lt;trace_line&gt; parse_trace<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; expected<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L621" class="LineNr">621 </span> vector&lt;string&gt; buf = <a href='003trace.cc.html#L370'>split</a><span class="Delimiter">(</span>expected<span class="Delimiter">,</span> <span class="Constant">&quot;\n&quot;</span><span class="Delimiter">);</span> <span id="L622" class="LineNr">622 </span> vector&lt;trace_line&gt; result<span class="Delimiter">;</span> <span id="L623" class="LineNr">623 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>buf<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L624" class="LineNr">624 </span> buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">)</span> = <a href='003trace.cc.html#L394'>trim</a><span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">));</span> <span id="L625" class="LineNr">625 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>empty<span class="Delimiter">())</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span id="L626" class="LineNr">626 </span> <span class="Normal">int</span> delim = buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>find<span class="Delimiter">(</span><span class="Constant">&quot;: &quot;</span><span class="Delimiter">);</span> <span id="L627" class="LineNr">627 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>delim == -<span class="Constant">1</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L628" class="LineNr">628 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;lines in 'trace-should-contain' should be of the form &lt;label&gt;: &lt;contents&gt;. Both parts are required.\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L629" class="LineNr">629 </span> result<span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L630" class="LineNr">630 </span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span id="L631" class="LineNr">631 </span> <span class="Delimiter">}</span> <span id="L632" class="LineNr">632 </span> result<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>trace_line<span class="Delimiter">(</span><a href='003trace.cc.html#L394'>trim</a><span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>substr<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">,</span> delim<span class="Delimiter">)),</span> <a href='003trace.cc.html#L394'>trim</a><span class="Delimiter">(</span>buf<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>substr<span class="Delimiter">(</span>delim+<span class="Constant">2</span><span class="Delimiter">))));</span> <span id="L633" class="LineNr">633 </span> <span class="Delimiter">}</span> <span id="L634" class="LineNr">634 </span> <span class="Identifier">return</span> result<span class="Delimiter">;</span> <span id="L635" class="LineNr">635 </span><span class="Delimiter">}</span> <span id="L636" class="LineNr">636 </span> <span id="L637" class="LineNr">637 </span><span class="Delimiter">:(scenario trace_check_fails_in_nonfirst_line)</span> <span id="L638" class="LineNr">638 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L639" class="LineNr">639 </span><span class="Special">% Hide_errors = true;</span> <span id="L640" class="LineNr">640 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L641" class="LineNr">641 </span> run [ <span id="L642" class="LineNr">642 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [b] <span id="L643" class="LineNr">643 </span> ] <span id="L644" class="LineNr">644 </span> trace-should-contain [ <span id="L645" class="LineNr">645 </span> <span class="Normal">a</span>: b <span id="L646" class="LineNr">646 </span> <span class="Normal">a</span>: d <span id="L647" class="LineNr">647 </span> ] <span id="L648" class="LineNr">648 </span>] <span id="L649" class="LineNr">649 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: missing [d] in <a href='003trace.cc.html#L189'>trace</a> with label 'a'</span> <span id="L650" class="LineNr">650 </span> <span id="L651" class="LineNr">651 </span><span class="Delimiter">:(scenario trace_check_passes_silently)</span> <span id="L652" class="LineNr">652 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L653" class="LineNr">653 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L654" class="LineNr">654 </span> run [ <span id="L655" class="LineNr">655 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [b] <span id="L656" class="LineNr">656 </span> ] <span id="L657" class="LineNr">657 </span> trace-should-contain [ <span id="L658" class="LineNr">658 </span> <span class="Normal">a</span>: b <span id="L659" class="LineNr">659 </span> ] <span id="L660" class="LineNr">660 </span>] <span id="L661" class="LineNr">661 </span><span class="traceAbsent">-error: missing [b] in <a href='003trace.cc.html#L189'>trace</a> with label 'a'</span> <span id="L662" class="LineNr">662 </span>$error: <span class="Constant">0</span> <span id="L663" class="LineNr">663 </span> <span id="L664" class="LineNr">664 </span><span class="Comment">//: 'trace-should-not-contain' is like the '-' lines in our scenarios so far</span> <span id="L665" class="LineNr">665 </span><span class="Comment">//: Each trace line is separately checked for absense. Order is *not*</span> <span id="L666" class="LineNr">666 </span><span class="Comment">//: important, so you can't say things like &quot;B should not exist after A.&quot;</span> <span id="L667" class="LineNr">667 </span> <span id="L668" class="LineNr">668 </span><span class="Delimiter">:(scenario trace_negative_check_fails)</span> <span id="L669" class="LineNr">669 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L670" class="LineNr">670 </span><span class="Special">% Hide_errors = true;</span> <span id="L671" class="LineNr">671 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L672" class="LineNr">672 </span> run [ <span id="L673" class="LineNr">673 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [b] <span id="L674" class="LineNr">674 </span> ] <span id="L675" class="LineNr">675 </span> trace-should-<span class="Normal">not</span>-contain [ <span id="L676" class="LineNr">676 </span> <span class="Normal">a</span>: b <span id="L677" class="LineNr">677 </span> ] <span id="L678" class="LineNr">678 </span>] <span id="L679" class="LineNr">679 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: unexpected [b] in <a href='003trace.cc.html#L189'>trace</a> with label 'a'</span> <span id="L680" class="LineNr">680 </span> <span id="L681" class="LineNr">681 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span> <span id="L682" class="LineNr">682 </span>TRACE_SHOULD_NOT_CONTAIN<span class="Delimiter">,</span> <span id="L683" class="LineNr">683 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span> <span id="L684" class="LineNr">684 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Recipe_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;trace-should-not-contain&quot;</span><span class="Delimiter">,</span> TRACE_SHOULD_NOT_CONTAIN<span class="Delimiter">);</span> <span id="L685" class="LineNr">685 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span> <span id="L686" class="LineNr">686 </span><span class="Normal">case</span> TRACE_SHOULD_NOT_CONTAIN: <span class="Delimiter">{</span> <span id="L687" class="LineNr">687 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L688" class="LineNr">688 </span><span class="Delimiter">}</span> <span id="L689" class="LineNr">689 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span> <span id="L690" class="LineNr">690 </span><span class="Normal">case</span> TRACE_SHOULD_NOT_CONTAIN: <span class="Delimiter">{</span> <span id="L691" class="LineNr">691 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Passed</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L692" class="LineNr">692 </span> check_trace_missing<span class="Delimiter">(</span><a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>name<span class="Delimiter">);</span> <span id="L693" class="LineNr">693 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L694" class="LineNr">694 </span><span class="Delimiter">}</span> <span id="L695" class="LineNr">695 </span> <span id="L696" class="LineNr">696 </span><span class="Delimiter">:(code)</span> <span id="L697" class="LineNr">697 </span><span class="Comment">// simplified version of check_trace_contents() that emits errors rather</span> <span id="L698" class="LineNr">698 </span><span class="Comment">// than just printing to stderr</span> <span id="L699" class="LineNr">699 </span><span class="Normal">bool</span> check_trace_missing<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; in<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L700" class="LineNr">700 </span> <span class="Special">Trace_stream</span><span class="Delimiter">-&gt;</span><a href='003trace.cc.html#L147'>newline</a><span class="Delimiter">();</span> <span id="L701" class="LineNr">701 </span> vector&lt;trace_line&gt; lines = parse_trace<span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L702" class="LineNr">702 </span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i &lt; <a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>lines<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L703" class="LineNr">703 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>trace_count<span class="Delimiter">(</span>lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>label<span class="Delimiter">,</span> lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>contents<span class="Delimiter">)</span> != <span class="Constant">0</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L704" class="LineNr">704 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;unexpected [&quot;</span> &lt;&lt; lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>contents &lt;&lt; <span class="Constant">&quot;] in <a href='003trace.cc.html#L189'>trace</a> with label '&quot;</span> &lt;&lt; lines<span class="Delimiter">.</span>at<span class="Delimiter">(</span>i<span class="Delimiter">).</span>label &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L705" class="LineNr">705 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L706" class="LineNr">706 </span> <span class="Identifier">return</span><span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L707" class="LineNr">707 </span> <span class="Delimiter">}</span> <span id="L708" class="LineNr">708 </span> <span class="Delimiter">}</span> <span id="L709" class="LineNr">709 </span> <span class="Identifier">return</span><span class="Constant"> true</span><span class="Delimiter">;</span> <span id="L710" class="LineNr">710 </span><span class="Delimiter">}</span> <span id="L711" class="LineNr">711 </span> <span id="L712" class="LineNr">712 </span><span class="Delimiter">:(scenario trace_negative_check_passes_silently)</span> <span id="L713" class="LineNr">713 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L714" class="LineNr">714 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L715" class="LineNr">715 </span> trace-should-<span class="Normal">not</span>-contain [ <span id="L716" class="LineNr">716 </span> <span class="Normal">a</span>: b <span id="L717" class="LineNr">717 </span> ] <span id="L718" class="LineNr">718 </span>] <span id="L719" class="LineNr">719 </span><span class="traceAbsent">-error: unexpected [b] in <a href='003trace.cc.html#L189'>trace</a> with label 'a'</span> <span id="L720" class="LineNr">720 </span>$error: <span class="Constant">0</span> <span id="L721" class="LineNr">721 </span> <span id="L722" class="LineNr">722 </span><span class="Delimiter">:(scenario trace_negative_check_fails_on_any_unexpected_line)</span> <span id="L723" class="LineNr">723 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L724" class="LineNr">724 </span><span class="Special">% Hide_errors = true;</span> <span id="L725" class="LineNr">725 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L726" class="LineNr">726 </span> run [ <span id="L727" class="LineNr">727 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [d] <span id="L728" class="LineNr">728 </span> ] <span id="L729" class="LineNr">729 </span> trace-should-<span class="Normal">not</span>-contain [ <span id="L730" class="LineNr">730 </span> <span class="Normal">a</span>: b <span id="L731" class="LineNr">731 </span> <span class="Normal">a</span>: d <span id="L732" class="LineNr">732 </span> ] <span id="L733" class="LineNr">733 </span>] <span id="L734" class="LineNr">734 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: unexpected [d] in <a href='003trace.cc.html#L189'>trace</a> with label 'a'</span> <span id="L735" class="LineNr">735 </span> <span id="L736" class="LineNr">736 </span><span class="Delimiter">:(scenario trace_count_check)</span> <span id="L737" class="LineNr">737 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L738" class="LineNr">738 </span> run [ <span id="L739" class="LineNr">739 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [foo] <span id="L740" class="LineNr">740 </span> ] <span id="L741" class="LineNr">741 </span> check-trace-count-<span class="Normal">for</span>-label <span class="Constant">1</span><span class="Delimiter">,</span> [a] <span id="L742" class="LineNr">742 </span>] <span id="L743" class="LineNr">743 </span><span class="Comment"># checks are inside scenario</span> <span id="L744" class="LineNr">744 </span> <span id="L745" class="LineNr">745 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span> <span id="L746" class="LineNr">746 </span>CHECK_TRACE_COUNT_FOR_LABEL<span class="Delimiter">,</span> <span id="L747" class="LineNr">747 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span> <span id="L748" class="LineNr">748 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Recipe_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;check-trace-count-for-label&quot;</span><span class="Delimiter">,</span> CHECK_TRACE_COUNT_FOR_LABEL<span class="Delimiter">);</span> <span id="L749" class="LineNr">749 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span> <span id="L750" class="LineNr">750 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL: <span class="Delimiter">{</span> <span id="L751" class="LineNr">751 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L752" class="LineNr">752 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'check-trace-count-for-label' requires exactly two ingredients, but got '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L753" class="LineNr">753 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L754" class="LineNr">754 </span> <span class="Delimiter">}</span> <span id="L755" class="LineNr">755 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L756" class="LineNr">756 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;first ingredient of 'check-trace-count-for-label' should be a number (count), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L757" class="LineNr">757 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L758" class="LineNr">758 </span> <span class="Delimiter">}</span> <span id="L759" class="LineNr">759 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal_text<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L760" class="LineNr">760 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;second ingredient of 'check-trace-count-for-label' should be a literal string (label), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L761" class="LineNr">761 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L762" class="LineNr">762 </span> <span class="Delimiter">}</span> <span id="L763" class="LineNr">763 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L764" class="LineNr">764 </span><span class="Delimiter">}</span> <span id="L765" class="LineNr">765 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span> <span id="L766" class="LineNr">766 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL: <span class="Delimiter">{</span> <span id="L767" class="LineNr">767 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Passed</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L768" class="LineNr">768 </span> <span class="Normal">int</span> expected_count = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span> <span id="L769" class="LineNr">769 </span> string label = <a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>name<span class="Delimiter">;</span> <span id="L770" class="LineNr">770 </span> <span class="Normal">int</span> count = trace_count<span class="Delimiter">(</span>label<span class="Delimiter">);</span> <span id="L771" class="LineNr">771 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>count != expected_count<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L772" class="LineNr">772 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L773" class="LineNr">773 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected &quot;</span> &lt;&lt; expected_count &lt;&lt; <span class="Constant">&quot; lines in <a href='003trace.cc.html#L189'>trace</a> with label '&quot;</span> &lt;&lt; label &lt;&lt; <span class="Constant">&quot;' in trace\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L774" class="LineNr">774 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> <a href='003trace.cc.html#L193'>DUMP</a><span class="Delimiter">(</span>label<span class="Delimiter">);</span> <span id="L775" class="LineNr">775 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L776" class="LineNr">776 </span> <span class="Delimiter">}</span> <span id="L777" class="LineNr">777 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L778" class="LineNr">778 </span><span class="Delimiter">}</span> <span id="L779" class="LineNr">779 </span> <span id="L780" class="LineNr">780 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span> <span id="L781" class="LineNr">781 </span>CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN<span class="Delimiter">,</span> <span id="L782" class="LineNr">782 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span> <span id="L783" class="LineNr">783 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Recipe_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;check-trace-count-for-label-greater-than&quot;</span><span class="Delimiter">,</span> CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN<span class="Delimiter">);</span> <span id="L784" class="LineNr">784 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span> <span id="L785" class="LineNr">785 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN: <span class="Delimiter">{</span> <span id="L786" class="LineNr">786 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L787" class="LineNr">787 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'check-trace-count-for-label' requires exactly two ingredients, but got '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L788" class="LineNr">788 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L789" class="LineNr">789 </span> <span class="Delimiter">}</span> <span id="L790" class="LineNr">790 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L791" class="LineNr">791 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;first ingredient of 'check-trace-count-for-label' should be a number (count), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L792" class="LineNr">792 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L793" class="LineNr">793 </span> <span class="Delimiter">}</span> <span id="L794" class="LineNr">794 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal_text<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L795" class="LineNr">795 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;second ingredient of 'check-trace-count-for-label' should be a literal string (label), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L796" class="LineNr">796 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L797" class="LineNr">797 </span> <span class="Delimiter">}</span> <span id="L798" class="LineNr">798 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L799" class="LineNr">799 </span><span class="Delimiter">}</span> <span id="L800" class="LineNr">800 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span> <span id="L801" class="LineNr">801 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_GREATER_THAN: <span class="Delimiter">{</span> <span id="L802" class="LineNr">802 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Passed</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L803" class="LineNr">803 </span> <span class="Normal">int</span> expected_count = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span> <span id="L804" class="LineNr">804 </span> string label = <a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>name<span class="Delimiter">;</span> <span id="L805" class="LineNr">805 </span> <span class="Normal">int</span> count = trace_count<span class="Delimiter">(</span>label<span class="Delimiter">);</span> <span id="L806" class="LineNr">806 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>count &lt;= expected_count<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L807" class="LineNr">807 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L808" class="LineNr">808 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected more than &quot;</span> &lt;&lt; expected_count &lt;&lt; <span class="Constant">&quot; lines in <a href='003trace.cc.html#L189'>trace</a> with label '&quot;</span> &lt;&lt; label &lt;&lt; <span class="Constant">&quot;' in trace\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L809" class="LineNr">809 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L810" class="LineNr">810 </span> cerr &lt;&lt; <span class="Constant">&quot;trace contents:\n&quot;</span><span class="Delimiter">;</span> <span id="L811" class="LineNr">811 </span> <a href='003trace.cc.html#L193'>DUMP</a><span class="Delimiter">(</span>label<span class="Delimiter">);</span> <span id="L812" class="LineNr">812 </span> <span class="Delimiter">}</span> <span id="L813" class="LineNr">813 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L814" class="LineNr">814 </span> <span class="Delimiter">}</span> <span id="L815" class="LineNr">815 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L816" class="LineNr">816 </span><span class="Delimiter">}</span> <span id="L817" class="LineNr">817 </span> <span id="L818" class="LineNr">818 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Declarations&quot;)</span> <span id="L819" class="LineNr">819 </span>CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN<span class="Delimiter">,</span> <span id="L820" class="LineNr">820 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Numbers&quot;)</span> <span id="L821" class="LineNr">821 </span><a href='001help.cc.html#L221'>put</a><span class="Delimiter">(</span><span class="Special">Recipe_ordinal</span><span class="Delimiter">,</span> <span class="Constant">&quot;check-trace-count-for-label-lesser-than&quot;</span><span class="Delimiter">,</span> CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN<span class="Delimiter">);</span> <span id="L822" class="LineNr">822 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Checks&quot;)</span> <span id="L823" class="LineNr">823 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN: <span class="Delimiter">{</span> <span id="L824" class="LineNr">824 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><a href='001help.cc.html#L141'>SIZE</a><span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">)</span> != <span class="Constant">2</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L825" class="LineNr">825 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'check-trace-count-for-label' requires exactly two ingredients, but got '&quot;</span> &lt;&lt; to_original_string<span class="Delimiter">(</span>inst<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L826" class="LineNr">826 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L827" class="LineNr">827 </span> <span class="Delimiter">}</span> <span id="L828" class="LineNr">828 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_mu_number<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L829" class="LineNr">829 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;first ingredient of 'check-trace-count-for-label' should be a number (count), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L830" class="LineNr">830 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L831" class="LineNr">831 </span> <span class="Delimiter">}</span> <span id="L832" class="LineNr">832 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!is_literal_text<span class="Delimiter">(</span>inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">)))</span> <span class="Delimiter">{</span> <span id="L833" class="LineNr">833 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span>get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>name<span class="Delimiter">)</span> &lt;&lt; <span class="Constant">&quot;second ingredient of 'check-trace-count-for-label' should be a literal string (label), but got '&quot;</span> &lt;&lt; inst<span class="Delimiter">.</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>original_string &lt;&lt; <span class="Constant">&quot;'\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L834" class="LineNr">834 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L835" class="LineNr">835 </span> <span class="Delimiter">}</span> <span id="L836" class="LineNr">836 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L837" class="LineNr">837 </span><span class="Delimiter">}</span> <span id="L838" class="LineNr">838 </span><span class="Delimiter">:(before &quot;End Primitive Recipe Implementations&quot;)</span> <span id="L839" class="LineNr">839 </span><span class="Normal">case</span> CHECK_TRACE_COUNT_FOR_LABEL_LESSER_THAN: <span class="Delimiter">{</span> <span id="L840" class="LineNr">840 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Passed</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L841" class="LineNr">841 </span> <span class="Normal">int</span> expected_count = ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">).</span>at<span class="Delimiter">(</span><span class="Constant">0</span><span class="Delimiter">);</span> <span id="L842" class="LineNr">842 </span> string label = <a href='026call.cc.html#L89'>current_instruction</a><span class="Delimiter">().</span>ingredients<span class="Delimiter">.</span>at<span class="Delimiter">(</span><span class="Constant">1</span><span class="Delimiter">).</span>name<span class="Delimiter">;</span> <span id="L843" class="LineNr">843 </span> <span class="Normal">int</span> count = trace_count<span class="Delimiter">(</span>label<span class="Delimiter">);</span> <span id="L844" class="LineNr">844 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>count &gt;= expected_count<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L845" class="LineNr">845 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> cerr &lt;&lt; <span class="cSpecial">'\n'</span><span class="Delimiter">;</span> <span id="L846" class="LineNr">846 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;F - &quot;</span> &lt;&lt; <a href='013update_operation.cc.html#L25'>maybe</a><span class="Delimiter">(</span><a href='026call.cc.html#L87'>current_recipe_name</a><span class="Delimiter">())</span> &lt;&lt; <span class="Constant">&quot;expected less than &quot;</span> &lt;&lt; expected_count &lt;&lt; <span class="Constant">&quot; lines in <a href='003trace.cc.html#L189'>trace</a> with label '&quot;</span> &lt;&lt; label &lt;&lt; <span class="Constant">&quot;' in trace\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L847" class="LineNr">847 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Hide_errors</span><span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L848" class="LineNr">848 </span> cerr &lt;&lt; <span class="Constant">&quot;trace contents:\n&quot;</span><span class="Delimiter">;</span> <span id="L849" class="LineNr">849 </span> <a href='003trace.cc.html#L193'>DUMP</a><span class="Delimiter">(</span>label<span class="Delimiter">);</span> <span id="L850" class="LineNr">850 </span> <span class="Delimiter">}</span> <span id="L851" class="LineNr">851 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>!<span class="Special">Scenario_testing_scenario</span><span class="Delimiter">)</span> <span class="Special">Passed</span> =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L852" class="LineNr">852 </span> <span class="Delimiter">}</span> <span id="L853" class="LineNr">853 </span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L854" class="LineNr">854 </span><span class="Delimiter">}</span> <span id="L855" class="LineNr">855 </span> <span id="L856" class="LineNr">856 </span><span class="Delimiter">:(scenario trace_count_check_2)</span> <span id="L857" class="LineNr">857 </span><span class="Special">% Scenario_testing_scenario = true;</span> <span id="L858" class="LineNr">858 </span><span class="Special">% Hide_errors = true;</span> <span id="L859" class="LineNr">859 </span><span class="muRecipe">def</span> <a href='000organization.cc.html#L113'>main</a> [ <span id="L860" class="LineNr">860 </span> run [ <span id="L861" class="LineNr">861 </span> <a href='003trace.cc.html#L189'>trace</a> <span class="Constant">1</span><span class="Delimiter">,</span> [a]<span class="Delimiter">,</span> [foo] <span id="L862" class="LineNr">862 </span> ] <span id="L863" class="LineNr">863 </span> check-trace-count-<span class="Normal">for</span>-label <span class="Constant">2</span><span class="Delimiter">,</span> [a] <span id="L864" class="LineNr">864 </span>] <span id="L865" class="LineNr">865 </span><span class="traceContains">+error: F - <a href='000organization.cc.html#L113'>main</a>: expected 2 lines in <a href='003trace.cc.html#L189'>trace</a> with label 'a' in <a href='003trace.cc.html#L189'>trace</a></span> <span id="L866" class="LineNr">866 </span> <span id="L867" class="LineNr">867 </span><span class="Comment">//: Minor detail: ignore 'system' calls in scenarios, since anything we do</span> <span id="L868" class="LineNr">868 </span><span class="Comment">//: with them is by definition impossible to test through Mu.</span> <span id="L869" class="LineNr">869 </span><span class="Delimiter">:(after &quot;case _SYSTEM:&quot;)</span> <span id="L870" class="LineNr">870 </span> <span class="Normal">if</span> <span class="Delimiter">(</span><span class="Special">Current_scenario</span><span class="Delimiter">)</span> <span class="Identifier">break</span><span class="Delimiter">;</span> <span id="L871" class="LineNr">871 </span> <span id="L872" class="LineNr">872 </span><span class="SalientComment">//:: Warn if people use '_' manually in recipe names. They're reserved for internal use.</span> <span id="L873" class="LineNr">873 </span> <span id="L874" class="LineNr">874 </span><span class="Delimiter">:(scenario recipe_name_with_underscore)</span> <span id="L875" class="LineNr">875 </span><span class="Special">% Hide_errors = true;</span> <span id="L876" class="LineNr">876 </span><span class="muRecipe">def</span> foo_bar [ <span id="L877" class="LineNr">877 </span>] <span id="L878" class="LineNr">878 </span><span class="traceContains">+error: foo_bar: don't create recipes with '_' in the name</span> <span id="L879" class="LineNr">879 </span> <span id="L880" class="LineNr">880 </span><span class="Delimiter">:(before &quot;End <a href='010vm.cc.html#L19'>recipe</a> Fields&quot;)</span> <span id="L881" class="LineNr">881 </span><span class="Normal">bool</span> is_autogenerated<span class="Delimiter">;</span> <span id="L882" class="LineNr">882 </span><span class="Delimiter">:(before &quot;End <a href='010vm.cc.html#L19'>recipe</a> Constructor&quot;)</span> <span id="L883" class="LineNr">883 </span>is_autogenerated =<span class="Constant"> false</span><span class="Delimiter">;</span> <span id="L884" class="LineNr">884 </span><span class="Delimiter">:(code)</span> <span id="L885" class="LineNr">885 </span><span class="Normal">void</span> mark_autogenerated<span class="Delimiter">(</span><a href='010vm.cc.html#L14'>recipe_ordinal</a> r<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L886" class="LineNr">886 </span> get<span class="Delimiter">(</span><span class="Special">Recipe</span><span class="Delimiter">,</span> r<span class="Delimiter">).</span>is_autogenerated =<span class="Constant"> true</span><span class="Delimiter">;</span> <span id="L887" class="LineNr">887 </span><span class="Delimiter">}</span> <span id="L888" class="LineNr">888 </span> <span id="L889" class="LineNr">889 </span><span class="Delimiter">:(after &quot;void transform_all()&quot;)</span> <span id="L890" class="LineNr">890 </span> <span class="Normal">for</span> <span class="Delimiter">(</span>map&lt;recipe_ordinal<span class="Delimiter">,</span> recipe&gt;::iterator p = <span class="Special">Recipe</span><span class="Delimiter">.</span>begin<span class="Delimiter">();</span> p != <span class="Special">Recipe</span><span class="Delimiter">.</span><a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> ++p<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L891" class="LineNr">891 </span> <span class="Normal">const</span> recipe&amp; r = p<span class="Delimiter">-&gt;</span>second<span class="Delimiter">;</span> <span id="L892" class="LineNr">892 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>r<span class="Delimiter">.</span>name<span class="Delimiter">.</span>find<span class="Delimiter">(</span><span class="Constant">'_'</span><span class="Delimiter">)</span> == string::npos<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span id="L893" class="LineNr">893 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>r<span class="Delimiter">.</span>is_autogenerated<span class="Delimiter">)</span> <span class="Identifier">continue</span><span class="Delimiter">;</span> <span class="Comment">// created by previous call to transform_all()</span> <span id="L894" class="LineNr">894 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; r<span class="Delimiter">.</span>name &lt;&lt; <span class="Constant">&quot;: don't create recipes with '_' in the name\n&quot;</span> &lt;&lt; end<span class="Delimiter">();</span> <span id="L895" class="LineNr">895 </span> <span class="Delimiter">}</span> <span id="L896" class="LineNr">896 </span> <span id="L897" class="LineNr">897 </span><span class="SalientComment">//:: Helpers</span> <span id="L898" class="LineNr">898 </span> <span id="L899" class="LineNr">899 </span><span class="Delimiter">:(code)</span> <span id="L900" class="LineNr">900 </span><span class="Comment">// just for the scenarios running scenarios in C++ layers</span> <span id="L901" class="LineNr">901 </span><span class="Normal">void</span> run_mu_scenario<span class="Delimiter">(</span><span class="Normal">const</span> string&amp; form<span class="Delimiter">)</span> <span class="Delimiter">{</span> <span id="L902" class="LineNr">902 </span> <span class="Special">Scenario_names</span><span class="Delimiter">.</span><a href='050scenario.cc.html#L60'>clear</a><span class="Delimiter">();</span> <span id="L903" class="LineNr">903 </span> istringstream in<span class="Delimiter">(</span>form<span class="Delimiter">);</span> <span id="L904" class="LineNr">904 </span> in &gt;&gt; std::noskipws<span class="Delimiter">;</span> <span id="L905" class="LineNr">905 </span> <a href='011load.cc.html#L211'>skip_whitespace_and_comments</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L906" class="LineNr">906 </span> string _scenario = <a href='011load.cc.html#L169'>next_word</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L907" class="LineNr">907 </span> <span class="Normal">if</span> <span class="Delimiter">(</span>_scenario<span class="Delimiter">.</span>empty<span class="Delimiter">())</span> <span class="Delimiter">{</span> <span id="L908" class="LineNr">908 </span> assert<span class="Delimiter">(</span>!has_data<span class="Delimiter">(</span>in<span class="Delimiter">));</span> <span id="L909" class="LineNr">909 </span> <a href='003trace.cc.html#L196'>raise</a> &lt;&lt; <span class="Constant">&quot;no <a href='050scenario.cc.html#L57'>scenario</a> in string passed into run_mu_scenario()\n&quot;</span> &lt;&lt; <a href='003trace.cc.html#L225'>end</a><span class="Delimiter">();</span> <span id="L910" class="LineNr">910 </span> <span class="Identifier">return</span><span class="Delimiter">;</span> <span id="L911" class="LineNr">911 </span> <span class="Delimiter">}</span> <span id="L912" class="LineNr">912 </span> assert<span class="Delimiter">(</span>_scenario == <span class="Constant">&quot;scenario&quot;</span><span class="Delimiter">);</span> <span id="L913" class="LineNr">913 </span> <a href='050scenario.cc.html#L57'>scenario</a> s = <a href='050scenario.cc.html#L91'>parse_scenario</a><span class="Delimiter">(</span>in<span class="Delimiter">);</span> <span id="L914" class="LineNr">914 </span> run_mu_scenario<span class="Delimiter">(</span>s<span class="Delimiter">);</span> <span id="L915" class="LineNr">915 </span><span class="Delimiter">}</span> </pre> </body> </html> <!-- vim: set foldmethod=manual : -->