/seL4-camkes-master/projects/camkes-tool/camkes/parser/ |
H A D | base.py | 42 ast_lifted, read = self.subordinate.parse_file(filename) 43 assert self.precondition(ast_lifted, read) 44 result, result_read = self.transform(ast_lifted, read) 50 ast_lifted, read = self.subordinate.parse_string(string) 51 assert self.precondition(ast_lifted, read) 52 result, result_read = self.transform(ast_lifted, read) 57 def precondition(self, ast_lifted, read): 59 assert isinstance(read, collections.Iterable) 63 def postcondition(self, ast_lifted, read): 65 assert isinstance(read, collection [all...] |
H A D | stage1.py | 40 _parser = plyplus.Grammar(f.read()) 50 processed, read = self.parse0.parse_file(filename) 57 return processed, ast_raw, read 60 processed, read = self.parse0.parse_string(string) 67 return processed, ast_raw, read
|
H A D | stage2.py | 36 def _resolve(self, source, filename, ast_raw, read): 92 if target in read: 96 read |= r 105 return final_ast_augmented, read 108 source, ast_raw, read = self.parse1.parse_file(filename) 109 return self._resolve(source, filename, ast_raw, read) 112 source, ast_raw, read = self.parse1.parse_string(string) 113 return self._resolve(source, None, ast_raw, read)
|
H A D | stage0.py | 52 # track what files it read. 63 processed = f.read() 65 read = set(parse_makefile_rule(f)) 66 return processed, set([filename]) | read 87 processed = f.read() 89 read = set(parse_makefile_rule(f)) 90 return processed, read 100 return f.read(), set([filename])
|
H A D | stage10.py | 55 def transform(self, ast_lifted, read): 57 return ast_lifted, read
|
H A D | stage5.py | 79 def transform(self, ast_lifted, read): 80 return collapse_groups(ast_lifted), read
|
H A D | query.py | 109 def resolve(ast_lifted, read, queries): 149 read.add(dep) 165 def transform(self, ast_lifted, read): 166 resolve(ast_lifted, read, self.queries) 167 return ast_lifted, read
|
/seL4-camkes-master/projects/musllibc/src/stdio/ |
H A D | __uflow.c | 9 if (!__toread(f) && f->read(f, &c, 1)==1) return c;
|
H A D | stdin.c | 9 .read = __stdio_read,
|
H A D | vsscanf.c | 13 .read = do_read, .lock = -1
|
H A D | __fopen_rb_ca.c | 16 f->read = __stdio_read;
|
H A D | freopen.c | 36 f->read = f2->read;
|
/seL4-camkes-master/projects/musllibc/src/unistd/ |
H A D | read.c | 5 ssize_t read(int fd, void *buf, size_t count) function
|
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/ |
H A D | testreader.py | 35 content, read = self.reader.parse_string('') 37 self.assertLen(read, 0) 40 content, read = self.reader.parse_string('hello world') 42 self.assertLen(read, 0) 45 content, read = self.reader.parse_string('���hello world') 47 self.assertLen(read, 0) 54 content, read = self.reader.parse_file(tmp) 57 self.assertEqual(read, set([tmp])) 64 content, read = self.reader.parse_file(tmp) 67 self.assertEqual(read, se [all...] |
H A D | teststage2.py | 43 content, read = self.parser.parse_string('') 46 self.assertLen(read, 0) 49 content, read = self.parser.parse_string('component foo {}') 63 self.assertLen(read, 0) 70 content, read = self.parser.parse_string('component fo�� {}') 84 self.assertLen(read, 0) 91 content, read = self.parser.parse_file(tmp) 105 self.assertEqual(read, set([tmp])) 117 content, read = self.cpp_parser.parse_file(parent) 130 self.assertIn(parent, read) [all...] |
H A D | testcpp.py | 36 content, read = self.reader.parse_string('') 40 content, read = self.reader.parse_string('hello world') 46 content, read = self.reader.parse_string('���hello world') 57 content, read = self.reader.parse_file(tmp) 61 self.assertIn(tmp, read) 84 _, read = self.reader.parse_file(parent) 86 self.assertIn(parent, read) 87 self.assertIn(child, read)
|
/seL4-camkes-master/projects/camkes-tool/libsel4camkes/include/camkes/ |
H A D | vma.h | 33 bool read; member in struct:camkes_vma
|
/seL4-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/ |
H A D | tcp_server.c | 100 int read = recv(client_fd, buf, REVERSE_STRING_BUFSIZE, 0); local 101 if (!read) break; // done reading 102 if (read < 0) on_error("Client read failed\n"); 103 buf[read] = 0; 104 snprintf(buffer_str, read +1, buf); 108 err = send(client_fd, buffer_str, read, 0);
|
/seL4-camkes-master/projects/lwip/src/include/lwip/apps/ |
H A D | tftp_server.h | 57 * Open file for read/write. 60 * @param write Flag indicating read (0) or write (!= 0) access 72 * @param buf Target buffer to copy read data to 76 int (*read)(void* handle, void* buf, int bytes); member in struct:tftp_context
|
/seL4-camkes-master/projects/lwip/src/apps/http/ |
H A D | fs.c | 118 int read; local 136 read = file->len - file->index; 137 if (read > count) { 138 read = count; 141 MEMCPY(buffer, (file->data + file->index), read); 142 file->index += read; 144 return (read);
|
/seL4-camkes-master/projects/musllibc/src/linux/ |
H A D | eventfd.c | 17 return (sizeof(*value) == read(fd, value, sizeof(*value))) ? 0 : -1;
|
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/ |
H A D | wait_bit.h | 29 * @param reg Register that will be read (using read_x()) 37 #define BUILD_WAIT_FOR_BIT(sfx, type, read) \
|
/seL4-camkes-master/projects/global-components/components/FileServer/libFileServer-client/ |
H A D | fsclient.c | 78 long read = ext_read(fd, iov[i].iov_len - iov_offset); local 79 if (read <= 0) { 82 memcpy(iov[i].iov_base + iov_offset, ext_buf, read); 83 iov_offset += read; 84 total += read;
|
/seL4-camkes-master/projects/util_libs/libplatsupport/include/platsupport/ |
H A D | chardev.h | 53 ssize_t (*read)(ps_chardevice_t* device, void* data, size_t bytes, chardev_callback_t cb, void* token); member in struct:ps_chardevice 125 ret = d->read(d, &data, 1, NULL, NULL); 131 * @param[in] d The device to read data from 132 * @param[out] data The location to store the read data to 133 * @param[in] size The number of bytes to read 135 * bytes have been read. The caller must periodically call 139 * @return Returns the number of bytes read on succes, negative 143 * read data from any internal fifos to meet the the request 150 return d->read(d, data, size, callback, token);
|
/seL4-camkes-master/projects/projects_libs/libmsgpack/msgpack-c/test/ |
H A D | cases.cpp | 10 fin.read(pac.buffer(), pac.buffer_capacity()); 12 throw std::runtime_error("read failed");
|