/barrelfish-master/usr/eclipseclp/Kernel/src/ |
H A D | ec_io.h | 44 #define NO_STREAM ((stream_id) 0) 48 #define StreamId(n) (StreamDescriptors[n]) /* stream_id from int */ 49 #define StreamNr(nst) ((nst)->nr) /* int from stream_id */ 278 int (*at) ARGS((stream_id nst, long int*)); 279 int (*at_eof) ARGS((stream_id)); 280 int (*buffer_nonempty) ARGS((stream_id)); 282 int (*seek) ARGS((stream_id,long,int)); 283 int (*flush) ARGS((stream_id)); 284 int (*size) ARGS((stream_id)); 285 int (*content) ARGS((stream_id,cha [all...] |
H A D | read.h | 49 Extern int ec_read_term ARGS((stream_id nst, int options, pword *result,
|
H A D | io.c | 270 stream_tid.free((stream_id) prop->val.wptr); \ 345 stream_id stream_ids_[STREAM_MIN]; 352 stream_id current_input_, /* current streams */ 390 static void _free_stream(stream_id nst), 391 _init_fd_stream(stream_id nst, int unit, int mode, dident name, dident prompt, stream_id prompt_stream, int size); 394 static void _resize_stream_buffer(stream_id nst, long newsize); 398 _local_io_close(stream_id nst), 399 _local_io_flush_out(stream_id nst), 400 _local_fill_buffer(stream_id ns [all...] |
H A D | embed.h | 209 Extern DLLEXP int Winapi ec_get_stream ARGS((const pword,stream_id*)); 237 Extern stream_id current_input_, current_output_, current_err_; 238 Extern stream_id log_output_, warning_output_, null_; 239 Extern stream_id user_input_, user_output_, user_err_; 249 Extern DLLEXP stream_id Winapi ec_stream_id ARGS((int)); 250 Extern DLLEXP int ec_outf ARGS((stream_id, const char*, int)); 251 Extern DLLEXP int ec_outfc ARGS((stream_id, int)); 252 Extern DLLEXP int ec_outfs ARGS((stream_id, const char*)); 253 Extern DLLEXP int ec_flush ARGS((stream_id)); 255 Extern DLLEXP int p_fprintf ARGS((stream_id ns [all...] |
H A D | lex.h | 184 Extern int lex_an ARGS((stream_id, syntax_desc*, token_desc *)); 186 Extern char *string_to_number ARGS((char *start, pword *result, stream_id nst, syntax_desc *sd));
|
H A D | bip_io.c | 453 static void _lose_stream(stream_id nst); 454 static stream_id _copy_stream(stream_id nst); 455 static void _mark_stream(stream_id nst); 456 static int _tostr_stream(stream_id nst, char *buf, int quoted); 457 static int _strsz_stream(stream_id nst, int quoted); 461 _lose_stream(stream_id nst) /* nst != NULL */ 486 static stream_id 487 _copy_stream(stream_id nst) /* nst != NULL */ 494 _mark_stream(stream_id ns [all...] |
H A D | procedure.c | 87 _skip_header_if_present(stream_id nst, char *header, int len) 130 _read_eco_header(stream_id nst) 218 ec_load_eco_from_stream(stream_id nst, int options, pword *module)
|
H A D | write.c | 141 _printf_asterisk(word asterisk, pword **list, type arg_type, stream_id nst, char *par), 142 _print_var(int idwrite, value v, type t, stream_id str, int depth, dident module, type mod_tag, syntax_desc *sd), 143 _pwrite1(int idwrite, stream_id out, value val, type tag, int maxprec, int depth, dident module, type mod_tag, syntax_desc *sd, register int flags), 145 _write_args_from_list(int idwrite, stream_id out, pword *list, int depth, dident module, type mod_tag, syntax_desc *sd, int flags), 146 _write_quoted(int idwrite, stream_id out, char *name, register word len, char quotechar, syntax_desc *sd, int depth), 147 _write_infix(int idwrite, stream_id out, dident d, register int flags, dident module, type mod_tag, syntax_desc *sd, pword *right, int depth), 148 _write_atom(int idwrite, stream_id out, dident d, int what, int flag, dident module, type mod_tag, syntax_desc *sd, int depth), 149 _write_string(int idwrite, stream_id out, char *start, word length, int depth), 150 _portray_term(int idwrite, stream_id out, value val, type tag, dident module, type mod_tag); 363 stream_id ou [all...] |
H A D | external.h | 177 Extern stream_id get_stream_id();
|
H A D | read.c | 241 stream_id nst; /* stream we are reading from */ 279 *_alloc_parse_env(int caller, stream_id nst, dident module, type mod_tag); 289 _pread3(value v, type t, stream_id nst, value vm, type tm), 1513 stream_id nst, /* the stream to read from */ 1658 stream_id nst = get_stream_id(vs, ts, SREAD, &status); 1680 _pread3(value v, type t, stream_id nst, value vm, type tm) 1718 stream_id nst = get_stream_id(vs, ts, SREAD, &status); 1761 stream_id nst = get_stream_id(vs, ts, SREAD, &status); 1812 _alloc_parse_env(int options, stream_id nst, dident module, type mod_tag)
|
H A D | lex.c | 96 static void _find_matching_atom(unsigned char *end, stream_id nst, unsigned char **pw, unsigned char **stop); 115 static unsigned char *_extend_lex_aux(stream_id nst); 116 static int _skip_blanks(stream_id nst, syntax_desc *sd, unsigned char **p_pligne, int *p_cc, int *p_ctype); 352 lex_an( stream_id nst, /* in: stream to read from */ 806 _skip_blanks(stream_id nst, syntax_desc *sd, unsigned char **p_pligne, int *p_cc, int *p_ctype) 985 _extend_lex_aux(stream_id nst) 1136 stream_id nst, 1313 stream_id nst = get_stream_id(vs,ts, SREAD, &res); 1510 string_to_number(char *start, pword *result, stream_id nst, syntax_desc *sd)
|
H A D | types.h | 279 typedef stream_desc *stream_id; typedef 281 typedef void_ptr stream_id; typedef 562 int (* write)ARGS((int,stream_id,value,type));
|
H A D | bip_serialize.c | 897 _write_exdr(stream_id nst, pword *pw, t_heap_htable *strhm, int *perr) 1053 stream_id nst = get_stream_id(vs, ts, SWRITE, &res); 1094 _read_exdr(stream_id nst, t_heap_htable *strhm, pword *pw) 1274 stream_id nst = get_stream_id(vs, ts, SREAD, &res);
|
H A D | bip_control.c | 100 stream_id profile_stream_; 220 stream_id nst; 642 stream_id out = get_stream_id(data[0].val, data[0].tag, SWRITE, &res);
|
H A D | emu_par.c | 97 stream_id nst; /* MDT_ADDRESS */ 1670 stream_id nst; 1715 io_rpc(stream_id nst, int action)
|
H A D | printam.c | 59 void print_port(stream_id nst, int port); 1655 print_port(stream_id nst, int port)
|
H A D | emu_util.c | 578 static _print_code_address(stream_id nst, vmcode *code)
|
H A D | bip_tconv.c | 514 if (string_to_number(DidName(vs.did), &result, (stream_id) 0, 0) == 560 if (string_to_number(StringStart(vs), &result, (stream_id) 0, ModuleSyntax(vm.did)) ==
|
H A D | intervals.c | 1592 _write_ivl(int quoted, stream_id stream, value v, type t) 1603 (void) string_to_number(s, result, (stream_id) 0, 0);
|
/barrelfish-master/usr/eclipseclp/JavaInterface/ |
H A D | ec_java.c | 298 long stream_id; local 304 res = ec_handle_events(&stream_id); 305 (*e)->SetIntField(e,StreamId,fid,(jint) stream_id); 317 long stream_id; local 323 res = (jint) ec_resume_long(&stream_id); 324 (*e)->SetIntField(e,StreamId,fid,(jint) stream_id);
|
/barrelfish-master/usr/eclipseclp/icparc_solvers/ |
H A D | eregex.c | 36 Extern stream_id Winapi ec_stream_id(int); 37 Extern int ec_outf(stream_id, const char*, int); 38 Extern int ec_newline(stream_id);
|
/barrelfish-master/usr/eclipseclp/Shm/src/ |
H A D | alloc.c | 73 typedef void * stream_id; typedef 74 extern stream_id current_err_;
|
/barrelfish-master/usr/eclipseclp/Kernel/lib/ |
H A D | elipsys.pl | 564 MegaLog : buffered I/O level (stream_id = 'C' pointer) 565 Sepia : raw I/O level (stream_id = 0,1,2,...)
|
H A D | megalog.pl | 389 MegaLog : buffered I/O level (stream_id = 'C' pointer) 390 Sepia : raw I/O level (stream_id = 0,1,2,...)
|
/barrelfish-master/usr/eclipseclp/Eplex/ |
H A D | eplex.c | 416 static stream_id solver_streams[4]; 1366 (void) ec_outf((stream_id) nst, msg, strlen(msg)); 1367 (void) ec_flush((stream_id) nst); 1374 stream_id nst; 1447 stream_id nst; 1448 stream_id *solver_stream;
|