1 //: The goal of layers is to make programs more easy to understand and more
  2 //: malleable, easy to rewrite in radical ways without accidentally breaking
  3 //: some corner case. Tests further both goals. They help understandability by
  4 //: letting one make small changes and get feedback. What if I wrote this line
  5 //: like so? What if I removed this function call, is it really necessary?
  6 //: Just try it, see if the tests pass. Want to explore rewriting this bit in
  7 //: this way? Tests put many refactorings on a firmer footing.
  8 //:
  9 //: But the usual way we write tests seems incomplete. Refactorings tend to
 10 //: work in the small, but don't help with changes to function boundaries. If
 11 //: you want to extract a new function you have to manually test-drive it to
 12 //: create tests for it. If you want to inline a function its tests are no
 13 //: longer valid. In both cases you end up having to reorganize code as well as
 14 //: tests, an error-prone activity.
 15 //:
 16 //: In response, this layer introduces the notion of *domain-driven* testing.
 17 //: We focus on the domain of inputs the whole program needs to handle rather
 18 //: than the correctness of individual functions. All tests invoke the program
 19 //: in a single way: by calling run() with some input. As the program operates
 20 //: on the input, it traces out a list of _facts_ deduced about the domain:
 21 //:   trace("label") << "fact 1: " << val;
 22 //:
 23 //: Tests can now check these facts:
 24 //:   :(scenario foo)
 25 //:   34  # call run() with this input
 26 //:   +label: fact 1: 34  # 'run' should have deduced this fact
 27 //:   -label: fact 1: 35  # the trace should not contain such a fact
 28 //:
 29 //: Since we never call anything but the run() function directly, we never have
 30 //: to rewrite the tests when we reorganize the internals of the program. We
 31 //: just have to make sure our rewrite deduces the same facts about the domain,
 32 //: and that's something we're going to have to do anyway.
 33 //:
 34 //: To avoid the combinatorial explosion of integration tests, each layer
 35 //: mainly logs facts to the trace with a common *label*. All tests in a layer
 36 //: tend to check facts with this label. Validating the facts logged with a
 37 //: specific label is like calling functions of that layer directly.
 38 //:
 39 //: To build robust tests, trace facts about your domain rather than details of
 40 //: how you computed them.
 41 //:
 42 //: More details: http://akkartik.name/blog/tracing-tests
 43 //:
 44 //: ---
 45 //:
 46 //: Between layers and domain-driven testing, programming starts to look like a
 47 //: fundamentally different activity. Instead of a) superficial, b) local rules
 48 //: on c) code [like say http://blog.bbv.ch/2013/06/05/clean-code-cheat-sheet],
 49 //: we allow programmers to engage with the a) deep, b) global structure of the
 50 //: c) domain. If you can systematically track discontinuities in the domain,
 51 //: you don't care if the code used gotos as long as it passed the tests. If
 52 //: tests become more robust to run it becomes easier to try out radically
 53 //: different implementations for the same program. If code is super-easy to
 54 //: rewrite, it becomes less important what indentation style it uses, or that
 55 //: the objects are appropriately encapsulated, or that the functions are
 56 //: referentially transparent.
 57 //:
 58 //: Instead of plumbing, programming becomes building and gradually refining a
 59 //: map of the environment the program must operate under. Whether a program is
 60 //: 'correct' at a given point in time is a red herring; what matters is
 61 //: avoiding regression by monotonically nailing down the more 'eventful' parts
 62 //: of the terrain. It helps readers new and old, and rewards curiosity, to
 63 //: organize large programs in self-similar hierarchies of example scenarios
 64 //: colocated with the code that makes them work.
 65 //:
 66 //:   "Programming properly should be regarded as an activity by which
 67 //:   programmers form a mental model, rather than as production of a program."
 68 //:   -- Peter Naur (http://alistair.cockburn.us/ASD+book+extract%3A+%22Naur,+Ehn,+Musashi%22)
 69 
 70 :(before "End Types")
 71 struct trace_line {
 72   int depth;  // optional field just to help browse traces later
 73   string label;
 74   string contents;
 75   trace_line(string l, string c) :depth(0), label(l), contents(c) {}
 76   trace_line(int d, string l, string c) :depth(d), label(l), contents(c) {}
 77 };
 78 
 79 :(before "End Globals")
 80 bool Hide_errors = false;
 81 bool Dump_trace = false;
 82 string Dump_label = "";
 83 :(before "End Reset")
 84 Hide_errors = false;
 85 Dump_trace = false;
 86 Dump_label = "";
 87 
 88 :(before "End Types")
 89 // Pre-define some global constants that trace_stream needs to know about.
 90 // Since they're in the Types section, they'll be included in any cleaved
 91 // compilation units. So no extern linkage.
 92 const int Max_depth = 9999;
 93 const int Error_depth = 0;  // definitely always print errors
 94 const int App_depth = 2;  // temporarily where all Mu code will trace to
 95 
 96 struct trace_stream {
 97   vector<trace_line> past_lines;
 98   // accumulator for current line
 99   ostringstream* curr_stream;
100   string curr_label;
101   int curr_depth;
102   int callstack_depth;
103   int collect_depth;
104   ofstream null_stream;  // never opens a file, so writes silently fail
105   trace_stream() :curr_stream(NULL), curr_depth(Max_depth), callstack_depth(0), collect_depth(Max_depth) {}
106   ~trace_stream() { if (curr_stream) delete curr_stream; }
107 
108   ostream& stream(string label) {
109   ¦ return stream(Max_depth, label);
110   }
111 
112   ostream& stream(int depth, string label) {
113   ¦ if (depth > collect_depth) return null_stream;
114   ¦ curr_stream = new ostringstream;
115   ¦ curr_label = label;
116   ¦ curr_depth = depth;
117   ¦ return *curr_stream;
118   }
119 
120   void dump() {
121   ¦ ofstream fout("last_run");
122   ¦ fout << readable_contents("");
123   ¦ fout.close();
124   }
125 
126   // be sure to call this before messing with curr_stream or curr_label
127   void newline();
128   // useful for debugging
129   string readable_contents(string label);  // empty label = show everything
130 };
131 
132 :(code)
133 void trace_stream::newline() {
134   if (!curr_stream) return;
135   string curr_contents = curr_stream->str();
136   if (!curr_contents.empty()) {
137   ¦ past_lines.push_back(trace_line(curr_depth, trim(curr_label), curr_contents));  // preserve indent in contents
138   ¦ if ((!Hide_errors && curr_label == "error")
139   ¦ ¦ ¦ || Dump_trace
140   ¦ ¦ ¦ || (!Dump_label.empty() && curr_label == Dump_label))
141   ¦ ¦ cerr << curr_label << ": " << curr_contents << '\n';
142   }
143   delete curr_stream;
144   curr_stream = NULL;
145   curr_label.clear();
146   curr_depth = Max_depth;
147 }
148 
149 string trace_stream::readable_contents(string label) {
150   ostringstream output;
151   label = trim(label);
152   for (vector<trace_line>::iterator p = past_lines.begin();  p != past_lines.end();  ++p)
153   ¦ if (label.empty() || label == p->label) {
154   ¦ ¦ output << std::setw(4) << p->depth << ' ' << p->label << ": " << p->contents << '\n';
155   ¦ }
156   return output.str();
157 }
158 
159 :(before "End Globals")
160 trace_stream* Trace_stream = NULL;
161 int Trace_errors = 0;  // used only when Trace_stream is NULL
162 
163 :(before "End Includes")
164 #define CLEAR_TRACE  delete Trace_stream, Trace_stream = new trace_stream;
165 
166 // Top-level helper. IMPORTANT: can't nest
167 #define trace(...)  !Trace_stream ? cerr /*print nothing*/ : Trace_stream->stream(__VA_ARGS__)
168 
169 // Just for debugging; 'git log' should never show any calls to 'dbg'.
170 #define dbg trace(0, "a")
171 #define DUMP(label)  if (Trace_stream) cerr << Trace_stream->readable_contents(label);
172 
173 // Errors are a special layer.
174 #define raise  (!Trace_stream ? (scroll_to_bottom_and_close_console(),++Trace_errors,cerr) /*do print*/ : Trace_stream->stream(Error_depth, "error"))
175 // If we aren't yet sure how to deal with some corner case, use assert_for_now
176 // to indicate that it isn't an inviolable invariant.
177 #define assert_for_now assert
178 
179 //: Automatically close the console in some situations.
180 :(before "End One-time Setup")
181 atexit(scroll_to_bottom_and_close_console);
182 :(code)
183 void scroll_to_bottom_and_close_console() {
184   if (!tb_is_active()) return;
185   // leave the screen in a relatively clean state
186   tb_set_cursor(tb_width()-1, tb_height()-1);
187   cout << "\r\n";
188   tb_shutdown();
189 }
190 
191 // Inside tests, fail any tests that displayed (unexpected) errors.
192 // Expected errors in tests should always be hidden and silently checked for.
193 :(before "End Test Teardown")
194 if (Passed && !Hide_errors && trace_contains_errors()) {
195   Passed = false;
196 }
197 :(code)
198 bool trace_contains_errors() {
199   return Trace_errors > 0 || trace_count("error") > 0;
200 }
201 
202 :(before "End Types")
203 struct end {};
204 :(code)
205 ostream& operator<<(ostream& os, unused end) {
206   if (Trace_stream) Trace_stream->newline();
207   return os;
208 }
209 
210 :(before "End Globals")
211 bool Save_trace = false;
212 
213 // Trace_stream is a resource, lease_tracer uses RAII to manage it.
214 :(before "End Types")
215 struct lease_tracer {
216   lease_tracer();
217   ~lease_tracer();
218 };
219 :(code)
220 lease_tracer::lease_tracer() { Trace_stream = new trace_stream; }
221 lease_tracer::~lease_tracer() {
222   if (!Trace_stream) return;  // in case tests close Trace_stream
223   if (Save_trace) Trace_stream->dump();
224   delete Trace_stream, Trace_stream = NULL;
225 }
226 :(before "End Includes")
227 #define START_TRACING_UNTIL_END_OF_SCOPE  lease_tracer leased_tracer;
228 :(before "End Test Setup")
229 START_TRACING_UNTIL_END_OF_SCOPE
230 
231 :(before "End Includes")
232 #define CHECK_TRACE_CONTENTS(...)  check_trace_contents(__FUNCTION__, __FILE__, __LINE__, __VA_ARGS__)
233 
234 #define CHECK_TRACE_CONTAINS_ERRORS()  CHECK(trace_contains_errors())
235 #define CHECK_TRACE_DOESNT_CONTAIN_ERRORS() \
236   if (Passed && trace_contains_errors()) { \
237   ¦ cerr << "\nF - " << __FUNCTION__ << "(" << __FILE__ << ":" << __LINE__ << "): unexpected errors\n"; \
238   ¦ DUMP("error"); \
239   ¦ Passed = false; \
240   ¦ return; \
241   }
242 
243 #define CHECK_TRACE_COUNT(label, count) \
244   if (Passed && trace_count(label) != (count)) { \
245   ¦ cerr << "\nF - " << __FUNCTION__ << "(" << __FILE__ << ":" << __LINE__ << "): trace_count of " << label << " should be " << count << '\n'; \
246   ¦ cerr << "  got " << trace_count(label) << '\n';  /* multiple eval */ \
247   ¦ DUMP(label); \
248   ¦ Passed = false; \
249   ¦ return;  /* Currently we stop at the very first failure. */ \
250   }
251 
252 #define CHECK_TRACE_DOESNT_CONTAIN(...)  CHECK(trace_doesnt_contain(__VA_ARGS__))
253 
254 :(code)
255 bool check_trace_contents(string FUNCTION, string FILE, int LINE, string expected) {
256   if (!Passed) return false;
257   if (!Trace_stream) return false;
258   vector<string> expected_lines = split(expected, "^D");
259   int curr_expected_line = 0;
260   while (curr_expected_line < SIZE(expected_lines) && expected_lines.at(curr_expected_line).empty())
261   ¦ ++curr_expected_line;
262   if (curr_expected_line == SIZE(expected_lines)) return true;
263   string label, contents;
264   split_label_contents(expected_lines.at(curr_expected_line), &label, &contents);
265   for (vector<trace_line>::iterator p = Trace_stream->past_lines.begin();  p != Trace_stream->past_lines.end();  ++p) {
266   ¦ if (label != p->label) continue;
267   ¦ if (contents != trim(p->contents)) continue;
268   ¦ ++curr_expected_line;
269   ¦ while (curr_expected_line < SIZE(expected_lines) && expected_lines.at(curr_expected_line).empty())
270   ¦ ¦ ++curr_expected_line;
271   ¦ if (curr_expected_line == SIZE(expected_lines)) return true;
272   ¦ split_label_contents(expected_lines.at(curr_expected_line), &label, &contents);
273   }
274 
275   if (line_exists_anywhere(label, contents)) {
276   ¦ cerr << "\nF - " << FUNCTION << "(" << FILE << ":" << LINE << "): line [" << label << ": " << contents << "] out of order in trace:\n";
277   ¦ DUMP("");
278   }
279   else {
280   ¦ cerr << "\nF - " << FUNCTION << "(" << FILE << ":" << LINE << "): missing [" << contents << "] in trace:\n";
281   ¦ DUMP(label);
282   }
283   Passed = false;
284   return false;
285 }
286 
287 void split_label_contents(const string& s, string* label, string* contents) {
288   static const string delim(": ");
289   size_t pos = s.find(delim);
290   if (pos == string::npos) {
291   ¦ *label = "";
292   ¦ *contents = trim(s);
293   }
294   else {
295   ¦ *label = trim(s.substr(0, pos));
296   ¦ *contents = trim(s.substr(pos+SIZE(delim)));
297   }
298 }
299 
300 bool line_exists_anywhere(const string& label, const string& contents) {
301   for (vector<trace_line>::iterator p = Trace_stream->past_lines.begin();  p != Trace_stream->past_lines.end();  ++p) {
302   ¦ if (label != p->label) continue;
303   ¦ if (contents == trim(p->contents)) return true;
304   }
305   return false;
306 }
307 
308 int trace_count(string label) {
309   return trace_count(label, "");
310 }
311 
312 int trace_count(string label, string line) {
313   if (!Trace_stream) return 0;
314   long result = 0;
315   for (vector<trace_line>::iterator p = Trace_stream->past_lines.begin();  p != Trace_stream->past_lines.end();  ++p) {
316   ¦ if (label == p->label) {
317   ¦ ¦ if (line == "" || trim(line) == trim(p->contents))
318   ¦ ¦ ¦ ++result;
319   ¦ }
320   }
321   return result;
322 }
323 
324 int trace_count_prefix(string label, string prefix) {
325   if (!Trace_stream) return 0;
326   long result = 0;
327   for (vector<trace_line>::iterator p = Trace_stream->past_lines.begin();  p != Trace_stream->past_lines.end();  ++p) {
328   ¦ if (label == p->label) {
329   ¦ ¦ if (starts_with(trim(p->contents), trim(prefix)))
330   ¦ ¦ ¦ ++result;
331   ¦ }
332   }
333   return result;
334 }
335 
336 bool trace_doesnt_contain(string label, string line) {
337   return trace_count(label, line) == 0;
338 }
339 
340 bool trace_doesnt_contain(string expected) {
341   vector<string> tmp = split_first(expected, ": ");
342   return trace_doesnt_contain(tmp.at(0), tmp.at(1));
343 }
344 
345 vector<string> split(string s, string delim) {
346   vector<string> result;
347   size_t begin=0, end=s.find(delim);
348   while (true) {
349   ¦ if (end == string::npos) {
350   ¦ ¦ result.push_back(string(s, begin, string::npos));
351   ¦ ¦ break;
352   ¦ }
353   ¦ result.push_back(string(s, begin, end-begin));
354   ¦ begin = end+SIZE(delim);
355   ¦ end = s.find(delim, begin);
356   }
357   return result;
358 }
359 
360 vector<string> split_first(string s, string delim) {
361   vector<string> result;
362   size_t end=s.find(delim);
363   result.push_back(string(s, 0, end));
364   if (end != string::npos)
365   ¦ result.push_back(string(s, end+SIZE(delim), string::npos));
366   return result;
367 }
368 
369 string trim(const string& s) {
370   string::const_iterator first = s.begin();
371   while (first != s.end() && isspace(*first))
372   ¦ ++first;
373   if (first == s.end()) return "";
374 
375   string::const_iterator last = --s.end();
376   while (last != s.begin() && isspace(*last))
377   ¦ --last;
378   ++last;
379   return string(first, last);
380 }
381 
382 :(before "End Includes")
383 #include <vector>
384 using std::vector;
385 #include <list>
386 using std::list;
387 #include <map>
388 using std::map;
389 #include <set>
390 using std::set;
391 
392 #include <sstream>
393 using std::istringstream;
394 using std::ostringstream;
395 
396 #include <fstream>
397 using std::ifstream;
398 using std::ofstream;
399 
400 #include "termbox/termbox.h"
401 
402 :(before "End Globals")
403 //: In future layers we'll use the depth field as follows:
404 //:
405 //: Errors will be depth 0.
406 //: Mu 'applications' will be able to use depths 1-100 as they like.
407 //: Primitive statements will occupy 101-9989
408 extern const int Initial_callstack_depth = 101;
409 extern const int Max_callstack_depth = 9989;
410 //: Finally, details of primitive Mu statements will occupy depth 9990-9999
411 //: (more on that later as well)
412 //:
413 //: This framework should help us hide some details at each level, mixing
414 //: static ideas like layers with the dynamic notion of call-stack depth.