about summary refs log tree commit diff stats
path: root/edit.arc.t
blob: ff039602349701c8bebca5fa7cc2609755947d10 (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
(selective-load "mu.arc" section-level)
(set allow-raw-addresses*)

(section 100

(reset)
(new-trace "new-screen")
(add-code:readfile "edit.mu")
(add-code
  '((function test-new-screen [
      (1:screen-address/global <- new-screen 5:literal 5:literal)
     ])))
;? (each stmt function*!new-screen
;?   (prn stmt))
(let routine make-routine!test-new-screen
  (let before rep.routine!alloc
;?     (= dump-trace* (obj blacklist '("sz" "m" "setm" "addr" "cvt0" "cvt1")))
    (run 'test-new-screen)
;?     (prn memory*)
;?     (prn memory*.2001)
    (when (~is (memory* memory*.1) 5)  ; number of rows
      (prn "F - newly-allocated screen doesn't have the right number of rows: @(memory* memory*!2001)"))
    (let row-pointers (let base (+ 1 memory*.1)
                        (range base (+ base 4)))
  ;?     (prn row-pointers)
      (when (some nil (map memory* row-pointers))
        (prn "F - newly-allocated screen didn't initialize all of its row pointers"))
      (when (~all 5 (map memory* (map memory* row-pointers)))
        (prn "F - newly-allocated screen didn't initialize all of its row lengths")))))

(reset)

)  ; section 100 for all editor code
>true; // set this to false inside any test to indicate failure long Num_failures = 0; #define CHECK(X) \ if (!(X)) { \ ++Num_failures; \ cerr << "\nF - " << __FUNCTION__ << "(" << __FILE__ << ":" << __LINE__ << "): " << #X << '\n'; \ Passed = false; \ return; /* Currently we stop at the very first failure. */ \ } #define CHECK_EQ(X, Y) \ if ((X) != (Y)) { \ ++Num_failures; \ cerr << "\nF - " << __FUNCTION__ << "(" << __FILE__ << ":" << __LINE__ << "): " << #X << " == " << #Y << '\n'; \ cerr << " got " << (X) << '\n'; /* BEWARE: multiple eval */ \ Passed = false; \ return; /* Currently we stop at the very first failure. */ \ } :(before "End Setup") Passed = true; :(before "End Commandline Parsing") if (argc > 1 && is_equal(argv[1], "test")) { Run_tests = true; --argc; ++argv; // shift 'test' out of commandline args } :(before "End Main") if (Run_tests) { // Test Runs // we run some tests and then exit; assume no state need be maintained afterward // End Test Run Initialization time_t t; time(&t); cerr << "C tests: " << ctime(&t); for (size_t i=0; i < sizeof(Tests)/sizeof(Tests[0]); ++i) { //? cerr << i << '\n'; run_test(i); } // End Tests cerr << '\n'; if (Num_failures > 0) { cerr << Num_failures << " failure" << (Num_failures > 1 ? "s" : "") << '\n'; return 1; } return 0; } :(code) void run_test(size_t i) { if (i >= sizeof(Tests)/sizeof(Tests[0])) { cerr << "no test " << i << '\n'; return; } setup(); // End Test Setup (*Tests[i])(); // End Test Teardown teardown(); if (Passed) cerr << '.'; } bool is_integer(const string& s) { return s.find_first_not_of("0123456789-") == string::npos // no other characters && s.find_first_of("0123456789") != string::npos // at least one digit && s.find('-', 1) == string::npos; // '-' only at first position } long long int to_integer(string n) { char* end = NULL; // safe because string.c_str() is guaranteed to be null-terminated long long int result = strtoll(n.c_str(), &end, /*any base*/0); if (*end != '\0') cerr << "tried to convert " << n << " to number\n"; assert(*end == '\0'); return result; } void test_is_integer() { CHECK(is_integer("1234")); CHECK(is_integer("-1")); CHECK(!is_integer("234.0")); CHECK(is_integer("-567")); CHECK(!is_integer("89-0")); CHECK(!is_integer("-")); CHECK(!is_integer("1e3")); // not supported } :(before "End Includes") #include<cstdlib>