My Project  debian-1:4.1.1-p2+ds-4
blackbox.cc
Go to the documentation of this file.
1 #include "kernel/mod2.h"
2 
3 #include "Singular/tok.h"
4 #include "Singular/subexpr.h"
5 #include "Singular/ipshell.h"
6 
7 #include "Singular/blackbox.h"
8 
9 #define MAX_BB_TYPES 256
10 // #define BLACKBOX_DEVEL 1
11 
12 static blackbox* blackboxTable[MAX_BB_TYPES];
13 static char * blackboxName[MAX_BB_TYPES];
14 static int blackboxTableCnt=0;
15 #define BLACKBOX_OFFSET (MAX_TOK+1)
16 blackbox* getBlackboxStuff(const int t)
17 {
18  if (t>MAX_TOK) /*MAX_TOK+1 is BLACKBOX_OFFSET*/
19  return (blackboxTable[t-BLACKBOX_OFFSET]);
20  else
21  return NULL;
22 }
23 
24 
25 void blackbox_default_destroy(blackbox */*b*/, void */*d*/)
26 {
27  WerrorS("missing blackbox_destroy");
28 }
29 char *blackbox_default_String(blackbox */*b*/,void */*d*/)
30 {
31  WerrorS("missing blackbox_String");
32  return omStrDup("");
33 }
34 void *blackbox_default_Copy(blackbox */*b*/,void */*d*/)
35 {
36  WerrorS("missing blackbox_Copy");
37  return NULL;
38 }
39 void blackbox_default_Print(blackbox *b,void *d)
40 {
41  char *s=b->blackbox_String(b,d);
42  PrintS(s);
43  omFree(s);
44 }
45 void *blackbox_default_Init(blackbox */*b*/)
46 {
47  return NULL;
48 }
49 
50 BOOLEAN blackbox_default_serialize(blackbox */*b*/, void */*d*/, si_link /*f*/)
51 {
52  WerrorS("blackbox_serialize is not implemented");
53  return TRUE;
54 }
55 
56 BOOLEAN blackbox_default_deserialize(blackbox **/*b*/, void **/*d*/, si_link /*f*/)
57 {
58  WerrorS("blackbox_deserialize is not implemented");
59  return TRUE;
60 }
61 
63 {
64  if (op==TYPEOF_CMD)
65  {
66  l->data=omStrDup(getBlackboxName(r->Typ()));
67  l->rtyp=STRING_CMD;
68  return FALSE;
69  }
70  else if (op==NAMEOF_CMD)
71  {
72  if (r->name==NULL) l->data=omStrDup("");
73  else l->data=omStrDup(r->name);
74  l->rtyp=STRING_CMD;
75  return FALSE;
76  }
77 
78  return TRUE;
79 }
80 
81 BOOLEAN blackboxDefaultOp2(int /*op*/,leftv /*l*/, leftv /*r1*/, leftv /*r2*/)
82 {
83  return TRUE;
84 }
85 
86 BOOLEAN blackboxDefaultOp3(int /*op*/,leftv /*l*/, leftv /*r1*/,leftv /*r2*/, leftv /*r3*/)
87 {
88  return TRUE;
89 }
90 
92 {
93  if (op==LIST_CMD)
94  {
95  res->rtyp=LIST_CMD;
96  BOOLEAN bo=jjLIST_PL(res,args);
97  args->CleanUp();
98  return bo;
99  }
100  else if(op==STRING_CMD)
101  {
102  blackbox *b=getBlackboxStuff(args->Typ());
103  res->data=b->blackbox_String(b,args->Data());
104  res->rtyp=STRING_CMD;
105  args=args->next;
106  if(args!=NULL)
107  {
108  sleftv res2;
109  int ret=iiExprArithM(&res2,args,op);
110  if (ret) return TRUE;
111  char *s2=(char*)omAlloc(strlen((char*)res->data)+strlen((char*)res2.data)+1);
112  sprintf(s2,"%s%s",(char*)res->data,(char*)res2.data);
113  omFree(res2.data);
114  omFree(res->data);
115  res->data=s2;
116  }
117  return FALSE;
118  }
119  return TRUE;
120 }
121 
123 {
124  return FALSE;
125 }
126 int setBlackboxStuff(blackbox *bb, const char *n)
127 {
128  int where=-1;
130  {
131  // second try, find empty slot from removed bb:
132  for (int i=0;i<MAX_BB_TYPES;i++)
133  {
134  if (blackboxTable[i]==NULL) { where=i; break; }
135  }
136  }
137  else
138  {
139  where=blackboxTableCnt;
141  }
142  if (where==-1)
143  {
144  WerrorS("too many bb types defined");
145  return 0;
146  }
147  else
148  {
149  // check for alreday defined bb:
150  for (int i=0;i<MAX_BB_TYPES;i++)
151  {
152  if ((blackboxName[i]!=NULL) && (strcmp(blackboxName[i],n)==0))
153  {
154  Warn("not redefining blackbox type %s (%d)",n,i+BLACKBOX_OFFSET);
155  return 0;
156  }
157  }
158  blackboxTable[where]=bb;
159  blackboxName[where]=omStrDup(n);
160 #ifdef BLACKBOX_DEVEL
161  Print("setBlackboxStuff: define bb:name=%s:rt=%d (table:cnt=%d)\n",blackboxName[where],where+BLACKBOX_OFFSET,where);
162 #endif
163  if (bb->blackbox_destroy==NULL) bb->blackbox_destroy=blackbox_default_destroy;
164  if (bb->blackbox_String==NULL) bb->blackbox_String=blackbox_default_String;
165  if (bb->blackbox_Print==NULL) bb->blackbox_Print=blackbox_default_Print;
166  if (bb->blackbox_Init==NULL) bb->blackbox_Init=blackbox_default_Init;
167  if (bb->blackbox_Copy==NULL) bb->blackbox_Copy=blackbox_default_Copy;
168  if (bb->blackbox_Op1==NULL) bb->blackbox_Op1=blackboxDefaultOp1;
169  if (bb->blackbox_Op2==NULL) bb->blackbox_Op2=blackboxDefaultOp2;
170  if (bb->blackbox_Op3==NULL) bb->blackbox_Op3=blackboxDefaultOp3;
171  if (bb->blackbox_OpM==NULL) bb->blackbox_OpM=blackboxDefaultOpM;
172  if (bb->blackbox_CheckAssign==NULL) bb->blackbox_CheckAssign=blackbox_default_Check;
173  if (bb->blackbox_serialize==NULL) bb->blackbox_serialize=blackbox_default_serialize;
174  if (bb->blackbox_deserialize==NULL) bb->blackbox_deserialize=blackbox_default_deserialize;
175  return where+BLACKBOX_OFFSET;
176  }
177 }
178 
179 void removeBlackboxStuff(const int rt)
180 {
185 }
186 const char *getBlackboxName(const int t)
187 {
188  char *b=blackboxName[t-BLACKBOX_OFFSET];
189  if (b!=NULL) return b;
190  else return "";
191 }
192 int blackboxIsCmd(const char *n, int & tok)
193 {
194  for(int i=blackboxTableCnt-1;i>=0;i--)
195  {
196  if(strcmp(n,blackboxName[i])==0)
197  {
198 #ifdef BLACKBOX_DEVEL
199  Print("blackboxIsCmd: found bb:%s:%d (table:%d)\n",n,i+BLACKBOX_OFFSET,i);
200 #endif
201  tok=i+BLACKBOX_OFFSET;
202  return ROOT_DECL;
203  }
204  }
205  tok=0;
206  return 0;
207 }
208 
210 {
211  for(int i=blackboxTableCnt-1;i>=0;i--)
212  {
213  if (blackboxName[i]!=NULL)
214  Print("type %d: %s\n",i,blackboxName[i]);
215  }
216 }
removeBlackboxStuff
void removeBlackboxStuff(const int rt)
Definition: blackbox.cc:179
FALSE
#define FALSE
Definition: auxiliary.h:94
blackboxDefaultOp2
BOOLEAN blackboxDefaultOp2(int, leftv, leftv, leftv)
default procedure blackboxDefaultOp2, to be called as "default:" branch
Definition: blackbox.cc:81
blackboxTableCnt
static int blackboxTableCnt
Definition: blackbox.cc:14
sleftv::Data
void * Data()
Definition: subexpr.cc:1133
omFree
#define omFree(addr)
Definition: omAllocDecl.h:259
LIST_CMD
Definition: tok.h:117
STRING_CMD
Definition: tok.h:182
blackbox_default_Check
BOOLEAN blackbox_default_Check(blackbox *, leftv, leftv)
Definition: blackbox.cc:122
MAX_TOK
Definition: tok.h:214
iiExprArithM
BOOLEAN iiExprArithM(leftv res, leftv a, int op)
Definition: iparith.cc:8570
BLACKBOX_OFFSET
#define BLACKBOX_OFFSET
Definition: blackbox.cc:15
omStrDup
#define omStrDup(s)
Definition: omAllocDecl.h:261
printBlackboxTypes
void printBlackboxTypes()
list all defined type (for debugging)
Definition: blackbox.cc:209
sleftv
Class used for (list of) interpreter objects.
Definition: subexpr.h:81
blackbox_default_Print
void blackbox_default_Print(blackbox *b, void *d)
default procedure blackbox_default_Print: print the string
Definition: blackbox.cc:39
b
CanonicalForm b
Definition: cfModGcd.cc:4044
sleftv::name
const char * name
Definition: subexpr.h:86
TRUE
#define TRUE
Definition: auxiliary.h:98
i
int i
Definition: cfEzgcd.cc:125
res
CanonicalForm res
Definition: facAbsFact.cc:64
blackbox_default_serialize
BOOLEAN blackbox_default_serialize(blackbox *, void *, si_link)
Definition: blackbox.cc:50
PrintS
void PrintS(const char *s)
Definition: reporter.cc:283
blackboxDefaultOp3
BOOLEAN blackboxDefaultOp3(int, leftv, leftv, leftv, leftv)
default procedure blackboxDefaultOp3, to be called as "default:" branch
Definition: blackbox.cc:86
BOOLEAN
int BOOLEAN
Definition: auxiliary.h:85
blackboxTable
static blackbox * blackboxTable[MAX_BB_TYPES]
Definition: blackbox.cc:12
mod2.h
blackbox_default_Copy
void * blackbox_default_Copy(blackbox *, void *)
Definition: blackbox.cc:34
blackbox.h
blackboxIsCmd
int blackboxIsCmd(const char *n, int &tok)
used by scanner: returns ROOT_DECL for known types (and the type number in tok)
Definition: blackbox.cc:192
sleftv::data
void * data
Definition: subexpr.h:87
omAlloc
#define omAlloc(size)
Definition: omAllocDecl.h:208
subexpr.h
jjLIST_PL
BOOLEAN jjLIST_PL(leftv res, leftv v)
Definition: iparith.cc:7307
sleftv::CleanUp
void CleanUp(ring r=currRing)
Definition: subexpr.cc:327
blackboxDefaultOp1
BOOLEAN blackboxDefaultOp1(int op, leftv l, leftv r)
default procedure blackboxDefaultOp1, to be called as "default:" branch
Definition: blackbox.cc:62
Print
#define Print
Definition: emacs.cc:79
blackboxName
static char * blackboxName[MAX_BB_TYPES]
Definition: blackbox.cc:13
blackbox_default_destroy
void blackbox_default_destroy(blackbox *, void *)
Definition: blackbox.cc:25
tok.h
WerrorS
void WerrorS(const char *s)
Definition: feFopen.cc:24
sleftv::Typ
int Typ()
Definition: subexpr.cc:991
MAX_BB_TYPES
#define MAX_BB_TYPES
Definition: blackbox.cc:9
NULL
#define NULL
Definition: omList.c:9
l
int l
Definition: cfEzgcd.cc:93
blackbox_default_deserialize
BOOLEAN blackbox_default_deserialize(blackbox **, void **, si_link)
Definition: blackbox.cc:56
Warn
#define Warn
Definition: emacs.cc:76
blackbox_default_Init
void * blackbox_default_Init(blackbox *)
Definition: blackbox.cc:45
s
const CanonicalForm int s
Definition: facAbsFact.cc:55
ipshell.h
blackbox_default_String
char * blackbox_default_String(blackbox *, void *)
Definition: blackbox.cc:29
blackboxDefaultOpM
BOOLEAN blackboxDefaultOpM(int op, leftv res, leftv args)
default procedure blackboxDefaultOpM, to be called as "default:" branch
Definition: blackbox.cc:91
getBlackboxStuff
blackbox * getBlackboxStuff(const int t)
return the structure to the type given by t
Definition: blackbox.cc:16
ROOT_DECL
Definition: grammar.cc:317
getBlackboxName
const char * getBlackboxName(const int t)
return the name to the type given by t (r/o)
Definition: blackbox.cc:186
sleftv::next
leftv next
Definition: subexpr.h:85
TYPEOF_CMD
Definition: tok.h:190
setBlackboxStuff
int setBlackboxStuff(blackbox *bb, const char *n)
define a new type
Definition: blackbox.cc:126
omfree
#define omfree(addr)
Definition: omAllocDecl.h:235
NAMEOF_CMD
Definition: tok.h:133