#include <kernel/mod2.h>
#include <omalloc/omalloc.h>
#include <misc/options.h>
#include <reporter/reporter.h>
#include <kernel/oswrapper/feread.h>
#include <Singular/fevoices.h>
#include <Singular/subexpr.h>
#include <Singular/ipshell.h>
#include <Singular/sdb.h>
#include <stdlib.h>
#include <stdio.h>
#include <misc/mylimits.h>
#include <stdarg.h>
#include <sys/stat.h>
#include <ctype.h>
#include <unistd.h>
Go to the source code of this file.
#define fePutChar |
( |
|
c | ) |
fputc((unsigned char)(c),stdout) |
#define INITIAL_PRINT_BUFFER 24*1024L |
#define MAX_FILE_BUFFER 4*4096 |
Definition at line 338 of file fevoices.cc.
Voice * feInitStdin(Voice *pp)
void myyoldbuffer(void *oldb)
Definition at line 651 of file fevoices.cc.
658 p->
files=freopen(
"/dev/tty",
"r",stdin);
void omMarkAsStaticAddr(void *addr)
static int fePrintEcho |
( |
char * |
anf, |
|
|
char * |
|
|
) |
| |
|
static |
Definition at line 413 of file fevoices.cc.
415 char *ss=strrchr(anf,
'\n');
426 int mrc=
si_min(len_s,79)-1;
437 && (strncmp(anf,
";return();",10)!=0)
450 fwrite(anf,1,len_s,stdout);
455 while(fgetc(stdin)!=
'\n');
#define TRACE_SHOW_LINENO
static int si_min(const int a, const int b)
void sdb(Voice *currentVoice, const char *currLine, int len)
int feReadLine |
( |
char * |
b, |
|
|
int |
l |
|
) |
| |
Definition at line 489 of file fevoices.cc.
512 else if (c==
'}')
break;
533 const char *ss=strchr(anf,
'\n');
535 if (ss==
NULL) len=strlen(anf);
537 char *s=(
char *)
omAlloc(len+2);
538 strncpy(s,anf,len+2);
547 const char *ss=strchr(anf,
'\n');
549 if (ss==
NULL) len=strlen(anf);
551 char *s=(
char *)
omAlloc(len+2);
552 strncpy(s,anf,len+2);
640 Werror(
"premature end of file while reading %s",err);
const CanonicalForm int s
char *(* fe_fgets_stdin)(const char *pr, char *s, int size)
static void feShowPrompt(void)
size_t omSizeOfAddr(const void *addr)
static int fePrintEcho(char *anf, char *)
void omMarkAsStaticAddr(void *addr)
void Werror(const char *fmt,...)
static void feShowPrompt |
( |
void |
| ) |
|
|
static |
BOOLEAN newFile |
( |
char * |
fname, |
|
|
FILE * |
f |
|
) |
| |
Definition at line 129 of file fevoices.cc.
136 if (strcmp(fname,
"STDIN") == 0)
FILE * feFopen(const char *path, const char *mode, char *where, short useWerror, short path_only)
void omMarkAsStaticAddr(void *addr)
Definition at line 77 of file fevoices.cc.
85 PrintS(
"-- called from ? --\n");
87 Print(
"-- called from %s --\n",s);
const CanonicalForm int s
void PrintS(const char *s)
const char* VoiceName |
( |
| ) |
|
FILE* File_Profiling =NULL |
const char* sNoName_fe ="_" |