about summary refs log blame commit diff stats
path: root/tangle/003tangle.test.cc
blob: 6d6b88a77734001591d64582d2f865617e0579fd (plain) (tree)
1
2
3
4
5
6
7
8
9

                                                
                   



                                             

                                                
                   
                    



                                                                     

 
                                              
                                                

                           


                                                             
                                                        
                               

                            
              
                                        
                            


                                                                             









                                                                                                               

                                                  

                            
              
                                       
                            
                                                                             

 

                                                 
                   






                                                                   
                   




                                                                       







                                                                            













                                                                

                                               
                   





                                               
                   





                                                 
                   






                                                 
                   






                                                   
                   





                                                        
                   







                                                 
                   






                                                               
                   







                                                                              
                   




                                              

                                                                  
                   



                                                 

                                                                       
                   



                                                 

                                              
              


                                                                                
                   
                    
                                                                                 


                                                                                                                


                       



                                                                                    
                                                                                 





                                                                                                                






                                                                                  

                                                                                    
                   
                    
                                                                                 


                                                                                                    





                                              
                                                   
                                                                                                         
                   
                    
                                                                                 


                                                                                                                



                                                            











                                                                                                                










                                                                                     

                                                                                        
                   
                    
                                                                                 


                                                                                                                        




                                                                                  
                   
                    
                                                                                 


                                                                                                                     




                                                                                        
                   
                    
                                                                                 


                                                                                                                     




                                                                                           
                   
                    
                                                                                 




                                                                                                                     




                                                                                       
                   
                    
                                                                                 



                                                                                                         




                                                                                       
                   
                    
                                                                                 



                                                                                                         


                       



                                                                       
                                                                                 
                                                                                         
                                                                                              



                                                            



                                                                                                                                                                                                                                                                        
                                                                                 
                                                                                                                               

                                                                                                                
                                                                                              



                                                            
            



































                                          
void test_tangle() {
  istringstream in("a\nb\nc\n:(before b)\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "adbc");
}

void test_tangle_with_linenumber() {
  istringstream in("a\nb\nc\n:(before b)\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "#line 1a#line 5d#line 2bc");
  // no other #line directives
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "#line 3");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "#line 4");
}

void test_tangle_linenumbers_with_filename() {
  istringstream in("a\nb\nc\n:(before b)\nd\n");
  list<Line> dummy;
  tangle(in, "foo", dummy);
  CHECK_TRACE_CONTENTS("tangle", "a#line 5 \"foo\"dbc");
}

void test_tangle_linenumbers_with_multiple_filenames() {
  istringstream in1("a\nb\nc");
  list<Line> dummy;
  tangle(in1, "foo", dummy);
  CLEAR_TRACE;
  istringstream in2(":(before b)\nd\n");
  tangle(in2, "bar", dummy);
  CHECK_TRACE_CONTENTS("tangle", "a#line 2 \"bar\"d#line 2 \"foo\"bc");
}

void test_tangle_linenumbers_with_multiple_directives() {
  istringstream in1("a\nb\nc");
  list<Line> dummy;
  tangle(in1, "foo", dummy);
  CLEAR_TRACE;
  istringstream in2(":(before b)\nd\n:(before c)\ne");
  tangle(in2, "bar", dummy);
  CHECK_TRACE_CONTENTS("tangle", "a#line 2 \"bar\"d#line 2 \"foo\"b#line 4 \"bar\"e#line 3 \"foo\"c");
}

void test_tangle_with_multiple_filenames_after() {
  istringstream in1("a\nb\nc");
  list<Line> dummy;
  tangle(in1, "foo", dummy);
  CLEAR_TRACE;
  istringstream in2(":(after b)\nd\n");
  tangle(in2, "bar", dummy);
  CHECK_TRACE_CONTENTS("tangle", "ab#line 2 \"bar\"d#line 3 \"foo\"c");
}

void test_tangle_skip_tanglecomments() {
  istringstream in("a\nb\nc\n//: 1\n//: 2\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "abcd");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "//: 1");
}

void test_tangle_with_tanglecomments_and_directive() {
  istringstream in("a\n//: 1\nb\nc\n:(before b)\nd\n:(code)\ne\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "a#line 6d#line 3bc#line 8e");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "//: 1");
}

void test_tangle_with_tanglecomments_inside_directive() {
  istringstream in("a\n//: 1\nb\nc\n:(before b)\n//: abc\nd\n:(code)\ne\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "a#line 7d#line 3bc#line 9e");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "//: 1");
}

void test_tangle_with_multiword_directives() {
  istringstream in("a b\nc\n:(after \"a b\")\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "a bdc");
}

void test_tangle_with_quoted_multiword_directives() {
  istringstream in("a \"b\"\nc\n:(after \"a \\\"b\\\"\")\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "a \"b\"dc");
}

void test_tangle2() {
  istringstream in("a\nb\nc\n:(after b)\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "abdc");
}

void test_tangle_at_end() {
  istringstream in("a\nb\nc\n:(after c)\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "abcd");
}

void test_tangle_indents_hunks_correctly() {
  istringstream in("a\n  b\nc\n:(after b)\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "a  b  dc");
}

void test_tangle_warns_on_missing_target() {
  Hide_warnings = true;
  istringstream in(":(before)\nabc def\n");
  list<Line> lines;
  tangle(in, lines);
  CHECK_TRACE_WARNS();
}

void test_tangle_warns_on_unknown_target() {
  Hide_warnings = true;
  istringstream in(":(before \"foo\")\nabc def\n");
  list<Line> lines;
  tangle(in, lines);
  CHECK_TRACE_WARNS();
}

void test_tangle_delete_range_of_lines() {
  istringstream in("a\nb {\nc\n}\n:(delete{} \"b\")\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "a");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "b");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "c");
}

void test_tangle_replace() {
  istringstream in("a\nb\nc\n:(replace b)\nd\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "adc");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "b");
}

void test_tangle_replace_range_of_lines() {
  istringstream in("a\nb {\nc\n}\n:(replace{} \"b\")\nd\ne\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "ade");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "b {");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "c");
}

void test_tangle_replace_tracks_old_lines() {
  istringstream in("a\nb {\nc\n}\n:(replace{} \"b\")\nd\n:OLD_CONTENTS\ne\n");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "adce");
  CHECK_TRACE_DOESNT_CONTAIN("tangle", "b {");
}

void test_tangle_nested_patterns() {
  istringstream in("a\nc\nb\nc\nd\n:(after \"b\" then \"c\")\ne");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "acbced");
}

void test_tangle_nested_patterns2() {
  istringstream in("a\nc\nb\nc\nd\n:(after \"c\" following \"b\")\ne");
  list<Line> dummy;
  tangle(in, dummy);
  CHECK_TRACE_CONTENTS("tangle", "acbced");
}

// todo: include line numbers in tangle errors

//// scenarios

void test_tangle_supports_scenarios() {
  istringstream in(":(scenario does_bar)\nabc def\n+layer1: pqr\n+layer2: xyz");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_ignores_empty_lines_in_scenarios() {
  istringstream in(":(scenario does_bar)\nabc def\n+layer1: pqr\n  \n+layer2: xyz");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_handles_empty_lines_in_scenarios() {
  istringstream in(":(scenario does_bar)\nabc def\n\n+layer1: pqr\n+layer2: xyz");
  list<Line> lines;
  tangle(in, lines);
  // no infinite loop
}

void test_tangle_supports_configurable_toplevel() {
  istringstream in(":(scenarios foo)\n:(scenario does_bar)\nabc def\n+layer1: pqr");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  foo(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqr\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());

  istringstream cleanup(":(scenarios run)\n");
  tangle(cleanup, lines);
}

void test_tangle_can_hide_warnings_in_scenarios() {
  istringstream in(":(scenario does_bar)\n% Hide_warnings = true;\nabc def\n+layer1: pqr\n+layer2: xyz");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  Hide_warnings = true;");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_can_include_c_code_at_end_of_scenario() {
  istringstream in(":(scenario does_bar)\nabc def\n+layer1: pqr\n+layer2: xyz\n% int x = 1;");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  int x = 1;");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_can_include_c_code_at_end_of_scenario_without_trace_expectations() {
  istringstream in(":(scenario does_bar)\nabc def\n% int x = 1;");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  int x = 1;");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_supports_strings_in_scenarios() {
  istringstream in(":(scenario does_bar)\nabc \"def\"\n+layer1: pqr\n+layer2: \"xyz\"");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc \\\"def\\\"\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: \\\"xyz\\\"\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_supports_strings_in_scenarios2() {
  istringstream in(":(scenario does_bar)\nabc \"\"\n+layer1: pqr\n+layer2: \"\"");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc \\\"\\\"\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: \\\"\\\"\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_supports_multiline_input_in_scenarios() {
  istringstream in(":(scenario does_bar)\nabc def\n  efg\n+layer1: pqr\n+layer2: \"\"");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n  efg\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: \\\"\\\"\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_supports_reset_in_scenarios() {
  istringstream in(":(scenario does_bar)\nabc def\n===\nefg\n+layer1: pqr\n+layer2: \"\"");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CLEAR_TRACE;");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"efg\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer2: \\\"\\\"\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_can_check_for_absence_at_end_of_scenarios() {
  istringstream in(":(scenario does_bar)\nabc def\n  efg\n+layer1: pqr\n-layer1: xyz");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n  efg\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqr\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_DOESNT_CONTAIN(\"layer1: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_can_check_for_absence_at_end_of_scenarios2() {
  istringstream in(":(scenario does_bar)\nabc def\n  efg\n-layer1: pqr\n-layer1: xyz");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n  efg\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_DOESNT_CONTAIN(\"layer1: pqr\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_DOESNT_CONTAIN(\"layer1: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_can_check_for_count_in_scenario() {
  istringstream in(":(scenario does_bar)\nabc def\n  efg\n$layer1: 2");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n  efg\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_COUNT(\"layer1\", 2);");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

void test_tangle_can_handle_mu_comments_in_scenario() {
  istringstream in(":(scenario does_bar)\nabc def\n# comment1\n  efg\n  # indented comment 2\n+layer1: pqr\n# comment inside expected_trace\n+layer1: xyz\n# comment after expected trace\n-layer1: z\n# comment before trace count\n$layer1: 2\n# comment at end\n\n");
  list<Line> lines;
  tangle(in, lines);
  CHECK_EQ(lines.front().contents, "void test_does_bar() {");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  run(\"abc def\\n# comment1\\n  efg\\n  # indented comment 2\\n\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_CONTENTS(\"layer1: pqrlayer1: xyz\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_DOESNT_CONTAIN(\"layer1: z\");");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "  CHECK_TRACE_COUNT(\"layer1\", 2);");  lines.pop_front();
  CHECK_EQ(lines.front().contents, "}");  lines.pop_front();
  CHECK(lines.empty());
}

//// helpers

void test_trim() {
  CHECK_EQ(trim(""), "");
  CHECK_EQ(trim(" "), "");
  CHECK_EQ(trim("  "), "");
  CHECK_EQ(trim("a"), "a");
  CHECK_EQ(trim(" a"), "a");
  CHECK_EQ(trim("  a"), "a");
  CHECK_EQ(trim("  ab"), "ab");
  CHECK_EQ(trim("a "), "a");
  CHECK_EQ(trim("a  "), "a");
  CHECK_EQ(trim("ab  "), "ab");
  CHECK_EQ(trim(" a "), "a");
  CHECK_EQ(trim("  a  "), "a");
  CHECK_EQ(trim("  ab  "), "ab");
}

void test_strip_indent() {
  CHECK_EQ(strip_indent("", 0), "");
  CHECK_EQ(strip_indent("", 1), "");
  CHECK_EQ(strip_indent("", 3), "");
  CHECK_EQ(strip_indent(" ", 0), " ");
  CHECK_EQ(strip_indent(" a", 0), " a");
  CHECK_EQ(strip_indent(" ", 1), "");
  CHECK_EQ(strip_indent(" a", 1), "a");
  CHECK_EQ(strip_indent(" ", 2), "");
  CHECK_EQ(strip_indent(" a", 2), "a");
  CHECK_EQ(strip_indent("  ", 0), "  ");
  CHECK_EQ(strip_indent("  a", 0), "  a");
  CHECK_EQ(strip_indent("  ", 1), " ");
  CHECK_EQ(strip_indent("  a", 1), " a");
  CHECK_EQ(strip_indent("  ", 2), "");
  CHECK_EQ(strip_indent("  a", 2), "a");
  CHECK_EQ(strip_indent("  ", 3), "");
  CHECK_EQ(strip_indent("  a", 3), "a");
}