Searched refs:read (Results 1 - 25 of 148) sorted by relevance

123456

/seL4-camkes-master/projects/camkes-tool/camkes/parser/
H A Dbase.py42 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 Dstage1.py40 _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 Dstage2.py36 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 Dstage0.py52 # 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 Dstage10.py55 def transform(self, ast_lifted, read):
57 return ast_lifted, read
H A Dstage5.py79 def transform(self, ast_lifted, read):
80 return collapse_groups(ast_lifted), read
H A Dquery.py109 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.c9 if (!__toread(f) && f->read(f, &c, 1)==1) return c;
H A Dstdin.c9 .read = __stdio_read,
H A Dvsscanf.c13 .read = do_read, .lock = -1
H A D__fopen_rb_ca.c16 f->read = __stdio_read;
H A Dfreopen.c36 f->read = f2->read;
/seL4-camkes-master/projects/musllibc/src/unistd/
H A Dread.c5 ssize_t read(int fd, void *buf, size_t count) function
/seL4-camkes-master/projects/camkes-tool/camkes/parser/tests/
H A Dtestreader.py35 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 Dteststage2.py43 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 Dtestcpp.py36 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 Dvma.h33 bool read; member in struct:camkes_vma
/seL4-camkes-master/projects/camkes/apps/rumprun_ethernet/components/rump_ether/
H A Dtcp_server.c100 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 Dtftp_server.h57 * 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 Dfs.c118 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 Deventfd.c17 return (sizeof(*value) == read(fd, value, sizeof(*value))) ? 0 : -1;
/seL4-camkes-master/projects/util_libs/libethdrivers/src/plat/tx2/uboot/
H A Dwait_bit.h29 * @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 Dfsclient.c78 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 Dchardev.h53 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 Dcases.cpp10 fin.read(pac.buffer(), pac.buffer_capacity());
12 throw std::runtime_error("read failed");

Completed in 137 milliseconds

123456