[efe697d] | 1 | /* |
---|
| 2 | uchunk - user-visible chunking: how a user's input-consuming loop experiences a presence/absence of qualifying input |
---|
| 3 | slight generalization of "eof handling"; we called many of these cases the "eof tests" while first devising them |
---|
| 4 | |
---|
| 5 | Coverage criteria include when an input-provided chunk exactly fills a user-provided buffer, |
---|
| 6 | because the double-boundary case of "this happens just before eof" is (white-box) uchunk-relevant. |
---|
| 7 | But cases of input-provided chunks exceeding the user's buffer live under |
---|
| 8 | manipulatorsInput#pre* and ../collections/string-io-istream-manip#pre*. |
---|
| 9 | |
---|
| 10 | Test design with subprocesses and auxiliary inputs is cargo-culted from |
---|
| 11 | configs/parseconfig, configs/usage and io/many_read. |
---|
| 12 | If you're here to cargo-cult, start there. |
---|
| 13 | |
---|
| 14 | */ |
---|
| 15 | |
---|
| 16 | #ifdef __cplusplus |
---|
| 17 | #include <iostream> |
---|
| 18 | #include <iomanip> |
---|
| 19 | #include <cstring> |
---|
| 20 | using namespace std; |
---|
| 21 | #define TRYREAD(str) tryread(sizeof(str)-1, str); |
---|
| 22 | #define DETECT_EOF( ... ) __VA_ARGS__ |
---|
| 23 | #define POLL_EOF if ( cin.fail() ) break; |
---|
| 24 | #define ECHO(stg, str) cout << #stg << " \"" << str << "\"" << str[sizeof(str)-1] << endl |
---|
| 25 | #elif defined __cforall |
---|
| 26 | #include <fstream.hfa> |
---|
| 27 | extern "C" { |
---|
| 28 | char* strcpy(char*, const char*); |
---|
| 29 | } |
---|
| 30 | #define DETECT_EOF( ... ) \ |
---|
| 31 | try { \ |
---|
| 32 | __VA_ARGS__ \ |
---|
| 33 | } catch ( end_of_file * ) {} |
---|
| 34 | #define TRYREAD(str) try { \ |
---|
| 35 | tryread(sizeof(str)-1, str); \ |
---|
| 36 | } \ |
---|
| 37 | catch ( cstring_length* ) { \ |
---|
| 38 | /* never expected; just harness robustness */ \ |
---|
| 39 | sout | "cstring_length and " | nonl; \ |
---|
| 40 | } |
---|
| 41 | #define POLL_EOF |
---|
| 42 | #define ECHO(stg, str) sout | #stg | " \"" | str | "\"" | str[sizeof(str)-1] |
---|
| 43 | #else |
---|
| 44 | #error no |
---|
| 45 | #endif |
---|
| 46 | |
---|
| 47 | |
---|
| 48 | |
---|
| 49 | // |
---|
| 50 | // BEGIN: functions only used in child process |
---|
| 51 | // |
---|
| 52 | // Parent process does not use test.py-provided stdin. |
---|
| 53 | // Parent process uses test.py-provided IN_DIR, from which it explicitly opens files. |
---|
| 54 | // Each child process sees content from one such file on its stdin. |
---|
| 55 | // The functions in this section echo, from this distinct child stdin, to parent-bridged stdout. |
---|
| 56 | // |
---|
| 57 | |
---|
| 58 | void subcaseHarness( void (*tryread)(size_t, char*) ) { |
---|
| 59 | char s[10]; |
---|
| 60 | DETECT_EOF ( |
---|
| 61 | for (bool first = true ;; ) { |
---|
| 62 | strcpy(s, "---"); // every time: restore "---"x |
---|
| 63 | s[9] = 'x'; |
---|
| 64 | if (first) { |
---|
| 65 | ECHO(BGN, s); // first time: show it |
---|
| 66 | first = false; |
---|
| 67 | } |
---|
| 68 | |
---|
| 69 | TRYREAD(s) |
---|
| 70 | POLL_EOF |
---|
| 71 | ECHO(GOT, s); |
---|
| 72 | } |
---|
| 73 | ) |
---|
| 74 | ECHO(END, s); |
---|
| 75 | } |
---|
| 76 | |
---|
| 77 | void tryread_default(size_t sizeof_s, char *s) { |
---|
| 78 | #ifdef __cplusplus |
---|
| 79 | cin >> setw( sizeof_s ) >> s; |
---|
| 80 | #else |
---|
| 81 | sin | wdi( sizeof_s, s ); |
---|
| 82 | #endif |
---|
| 83 | } |
---|
| 84 | |
---|
| 85 | void tryread_getline(size_t sizeof_s, char *s) { |
---|
| 86 | #ifdef __cplusplus |
---|
| 87 | cin.getline(s, sizeof_s); |
---|
| 88 | #else |
---|
| 89 | sin | getline( wdi( sizeof_s, s ) ); |
---|
| 90 | #endif |
---|
| 91 | } |
---|
| 92 | |
---|
| 93 | // |
---|
| 94 | // END: functions only used in child process |
---|
| 95 | // |
---|
| 96 | |
---|
| 97 | |
---|
| 98 | extern "C" { |
---|
| 99 | #include <sys/types.h> |
---|
| 100 | #include <sys/stat.h> |
---|
| 101 | #include <fcntl.h> |
---|
| 102 | #include <unistd.h> |
---|
| 103 | } |
---|
| 104 | |
---|
| 105 | #ifdef SUBCASE_ISOLATION |
---|
| 106 | |
---|
| 107 | #define x(s) s |
---|
| 108 | #define TRYREAD_FUNCTION x(tryread_ ## x(SUBCASE_ISOLATION)) |
---|
| 109 | |
---|
| 110 | #define MK_TRYREAD_FUNCTION(x) tryread_ ## x |
---|
| 111 | |
---|
| 112 | #define _MAKEDATA(n) tryread_ ## n |
---|
| 113 | #define MAKEDATA(n) _MAKEDATA(n) |
---|
| 114 | |
---|
| 115 | int main() { |
---|
| 116 | subcaseHarness( MAKEDATA(SUBCASE_ISOLATION) ); |
---|
| 117 | } |
---|
| 118 | |
---|
| 119 | #else |
---|
| 120 | #define xstr(s) str(s) |
---|
| 121 | #define str(s) #s |
---|
| 122 | |
---|
| 123 | #include "../meta/fork+exec.hfa" |
---|
| 124 | |
---|
| 125 | void forkJoinSubcase( void (*tryread)(size_t, char*), const char* subcase_name, const char* aux_in_fname ) { |
---|
| 126 | printf("--- %s ---\n", subcase_name); |
---|
| 127 | int aux_in_fd = open(aux_in_fname, 0); |
---|
| 128 | if( aux_in_fd < 0 ) { |
---|
| 129 | printf("Failed to open file: %s\n", aux_in_fname); |
---|
| 130 | exit(1); |
---|
| 131 | } |
---|
| 132 | if ( pid_t child_pid = strict_fork() ) { |
---|
| 133 | // in parent |
---|
| 134 | do_wait(child_pid); |
---|
| 135 | } else { |
---|
| 136 | // in child |
---|
| 137 | dup2(aux_in_fd, 0); // make stdin pull from aux |
---|
| 138 | subcaseHarness( tryread ); |
---|
| 139 | exit(0); |
---|
| 140 | } |
---|
| 141 | } |
---|
| 142 | |
---|
[406c806] | 143 | #define SUBCASE_( TRYREAD_FUNCTION, IN_FILE_SLUG ) forkJoinSubcase( TRYREAD_FUNCTION, (IN_FILE_SLUG), (xstr(IN_DIR) "manipulatorsInput-uchunk." IN_FILE_SLUG ".txt") ) |
---|
[efe697d] | 144 | #define SUBCASE( MANIP, IN_FILE_SUFFIX ) SUBCASE_( tryread_ ## MANIP, #MANIP "." #IN_FILE_SUFFIX ) |
---|
| 145 | |
---|
| 146 | int main() { |
---|
| 147 | |
---|
| 148 | SUBCASE( default, 1 ); |
---|
| 149 | SUBCASE( default, 2 ); |
---|
| 150 | SUBCASE( default, 3 ); |
---|
| 151 | SUBCASE( default, 4 ); |
---|
| 152 | SUBCASE( default, 5 ); |
---|
| 153 | SUBCASE( default, 6 ); |
---|
| 154 | SUBCASE( default, 7 ); |
---|
| 155 | SUBCASE( default, 8 ); |
---|
| 156 | SUBCASE( default, 9 ); |
---|
| 157 | SUBCASE( default, 10 ); |
---|
| 158 | SUBCASE( default, 11 ); |
---|
| 159 | SUBCASE( default, 12 ); |
---|
| 160 | SUBCASE( default, 13 ); |
---|
| 161 | SUBCASE( default, 14 ); |
---|
| 162 | |
---|
| 163 | SUBCASE( getline, 1 ); |
---|
| 164 | SUBCASE( getline, 2 ); |
---|
| 165 | SUBCASE( getline, 3 ); |
---|
| 166 | SUBCASE( getline, 4 ); |
---|
| 167 | SUBCASE( getline, 5 ); |
---|
| 168 | SUBCASE( getline, 6 ); |
---|
| 169 | SUBCASE( getline, 7 ); |
---|
| 170 | SUBCASE( getline, 8 ); |
---|
| 171 | SUBCASE( getline, 9 ); |
---|
| 172 | SUBCASE( getline, 10 ); |
---|
| 173 | SUBCASE( getline, 11 ); |
---|
| 174 | SUBCASE( getline, 12 ); |
---|
| 175 | SUBCASE( getline, 13 ); |
---|
| 176 | SUBCASE( getline, 14 ); |
---|
| 177 | |
---|
| 178 | return 0; |
---|
| 179 | } |
---|
| 180 | |
---|
| 181 | // not used |
---|
| 182 | static int true_main(const char * path, const char * env[]) { return 0; } |
---|
| 183 | |
---|
| 184 | |
---|
| 185 | #endif |
---|