OpenXM_contrib2/asir2000/builtin/strobj.c - diff

Return to strobj.c CVS log

Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/strobj.c between version 1.26 and 1.28

version 1.26, 2004/03/05 01:47:19

version 1.28, 2004/03/09 02:39:01

Line 45

* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,

* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.

* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.25 2004/03/05 01:34:24 noro Exp $

* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.27 2004/03/05 05:15:47 noro Exp $

#include "ca.h"

#include "parse.h"

Line 77 void Pquotetotex();

void Pquotetotex_env();

void fnodetotex_tb(FNODE f,TB tb);

char *symbol_name(char *name);

char *conv_rule(char *name);

char *conv_subscript(char *name);

char *call_convfunc(char *name);

void tb_to_string(TB tb,STRING *rp);

void fnodenodetotex_tb(NODE n,TB tb);

void fargstotex_tb(char *opname,FNODE f,TB tb);

Line 114 int register_symbol_table(Obj arg);

Line 117 int register_symbol_table(Obj arg);

int register_conv_rule(Obj arg);

int register_dp_vars(Obj arg);

int register_dp_vars_prefix(Obj arg);

int register_show_lt(Obj arg);

static struct TeXSymbol *user_texsymbol;

static char *(*conv_rule)(char *);

static char **dp_vars;

static int dp_vars_len;

static char *dp_vars_prefix;

static int show_lt;

static FUNC convfunc;

static int is_lt;

static int conv_flag;

#define CONV_SUBSCRIPT (1U<<0)

#define CONV_DMODE (1U<<1)

#define CONV_USERFUNC (1U<<31)

static struct {

char *name;

Obj value;

Line 130 static struct {

Line 140 static struct {

{"conv_rule",0,register_conv_rule},

{"dp_vars",0,register_dp_vars},

{"dp_vars_prefix",0,register_dp_vars_prefix},

{"show_lt",0,register_show_lt},

{0,0,0},

};

#define PARTIAL "\\partial"

char *conv_rule_d(char *name)

char *conv_rule(char *name)

{

int l,i,j,alpha,start;

char *body,*r;

char *b,*r;

l = strlen(name);

if ( name[0] == 'd' ) {

if ( conv_flag & CONV_DMODE ) {

/* 3 : _{} */

if ( *name == 'd' ) {

b = (char *)ALLOCA((2*l+1+strlen(PARTIAL)+3)*sizeof(char));

if ( conv_flag & CONV_SUBSCRIPT )

sprintf(b,"%s_{",PARTIAL);

body = conv_subscript(name+1);

i = 1;

else

j = strlen(b);

body = name+1;

} else {

r = MALLOC_ATOMIC((strlen(PARTIAL)+strlen(body)+5)*sizeof(char));

b = (char *)ALLOCA((2*l+1)*sizeof(char));

sprintf(r,"{%s}_{%s}",PARTIAL,body);

i = j = 0;

return r;

}

} else {

for ( ; i < l && name[i] == '_'; i++);

if ( conv_flag & CONV_SUBSCRIPT )

for ( ; i < l; ) {

body = conv_subscript(name);

if ( !isalpha(name[i]) )

else

break;

body = name;

}

} else if ( conv_flag & CONV_SUBSCRIPT )

return conv_subscript(name);

else if ( conv_flag & CONV_USERFUNC && convfunc )

return call_convfunc(name);

else

return name;

}

char *conv_subscript(char *name)

{

int i,j,k,len,clen,slen,start;

char *buf,*head,*r,*h;

char **subs;

len = strlen(name);

for ( i = 0; i < len && (isalpha(name[i]) || name[i]=='\\'); i++ );

if ( i == len ) return name;

buf = (char *)ALLOCA((i+1)*sizeof(char));

strncpy(buf,name,i); buf[i] = 0;

head = symbol_name(buf);

subs = (char **)ALLOCA(len*sizeof(char* ));

for ( j = 0, start = i; ; j++ ) {

while ( (i < len) && (name[i] == '_' || name[i] == ',') ) i++;

if ( i == len ) break;

start = i;

if ( isdigit(name[i]) )

while ( i < len && isdigit(name[i]) ) i++;

else

b[j++] = name[i++];

while ( i < len && (isalpha(name[i]) || name[i] == '\\') ) i++;

slen = i-start;

buf = (char *)ALLOCA((slen+1)*sizeof(char));

strncpy(buf,name+start,slen); buf[slen] = 0;

subs[j] = symbol_name(buf);

}

if ( i == l )

for ( k = 0, clen = strlen(head); k < j; k++ ) clen += strlen(subs[k]);

if ( name[0] == 'd' )

/* {head}_{{subs(0)},...,{subs(j-1)}} => {}:j+2 _:1 ,:j-1 */

goto END;

h = r = MALLOC_ATOMIC((clen+(j+2)*2+1+(j-1)+1)*sizeof(char));

else

if ( !j )

return name;

sprintf(h,"{%s}",head);

/* we found a digit or '_' */

else {

b[j++] = '_'; b[j++] = '{';

sprintf(h,"{%s}_{{%s}",head,subs[0]);

if ( name[i] == '_' ) i++;

h += strlen(h);

for ( start = 1; i < l; ) {

for ( k = 1; k < j; k++ ) {

if ( name[i] == '{' || name[i] == '}' || name[i] == ' ' )

sprintf(h,",{%s}",subs[k]);

b[j++] = name[i++];

h += strlen(h);

else if ( name[i] == '_' ) {

i++;

start = 1;

b[j++] = ',';

} else if ( start ) {

alpha = isalpha(name[i])?1:0;

b[j++] = name[i++];

start = 0;

} else if ( alpha ) {

if ( isalpha(name[i]) )

b[j++] = name[i++];

else {

alpha = 0;

start = 1;

b[j++] = ',';

}

} else {

if ( isdigit(name[i]) )

b[j++] = name[i++];

else {

alpha = 1;

start = 1;

b[j++] = ',';

}

strcpy(h,"}");

}

b[j++] = '}';

END:

if ( name[0] == 'd' ) b[j++] = '}';

b[j++] = 0;

r = (char *)MALLOC_ATOMIC((j+1)*sizeof(char));

strcpy(r,b);

return r;

}

Line 262 int register_symbol_table(Obj arg)

Line 275 int register_symbol_table(Obj arg)

return 1;

}

int register_show_lt(Obj arg)

{

if ( INT(arg) ) {

show_lt = QTOS((Q)arg);

return 1;

} else return 0;

}

int register_conv_rule(Obj arg)

{

if ( INT(arg) ) {

switch ( QTOS((Q)arg) ) {

conv_flag = QTOS((Q)arg);

case 0:

convfunc = 0;

conv_rule = 0;

return 1;

break;

case 1:

conv_rule = conv_rule_d;

return 1;

break;

default:

return 0;

break;

}

} else if ( OID(arg) == O_P &&

(int)(VR((P)arg))->attr == V_SR ) {

conv_flag = CONV_USERFUNC;

convfunc = (FUNC)(VR((P)arg)->priv);

/* f must be a function which takes single argument */

conv_rule = call_convfunc;

return 1;

} else return 0;

}

Line 397 void Pquotetotex(NODE arg,STRING *rp)

Line 407 void Pquotetotex(NODE arg,STRING *rp)

TB tb;

NEWTB(tb);

/* XXX for DP */

is_lt = 1;

fnodetotex_tb(BDY((QUOTE)ARG0(arg)),tb);

tb_to_string(tb,rp);

}

Line 407 void Pquotetotex_tb(NODE arg,Q *rp)

Line 419 void Pquotetotex_tb(NODE arg,Q *rp)

TB tb;

asir_assert(ARG1(arg),O_TB,"quotetotex_tb");

/* XXX for DP */

is_lt = 1;

fnodetotex_tb(BDY((QUOTE)ARG0(arg)),ARG1(arg));

*rp = 0;

}

Line 721 char *symbol_name(char *name)

Line 735 char *symbol_name(char *name)

for ( i = 0; texsymbol[i].text; i++ )

if ( !strcmp(texsymbol[i].text,name) )

return texsymbol[i].symbol;

if ( conv_rule )

return name;

return (*conv_rule)(name);

else

return name;

}

void fnodetotex_tb(FNODE f,TB tb)

Line 920 void fnodetotex_tb(FNODE f,TB tb)

Line 931 void fnodetotex_tb(FNODE f,TB tb)

/* function */

case I_FUNC:

opname = symbol_name(((FUNC)FA0(f))->name);

opname = conv_rule(((FUNC)FA0(f))->name);

write_tb(opname,tb);

write_tb("(",tb);

fargstotex_tb(opname,FA1(f),tb);

Line 929 void fnodetotex_tb(FNODE f,TB tb)

Line 940 void fnodetotex_tb(FNODE f,TB tb)

/* XXX */

case I_CAR:

opname = symbol_name("car");

opname = conv_rule("car");

write_tb(opname,tb);

write_tb("(",tb);

fargstotex_tb(opname,FA0(f),tb);

Line 937 void fnodetotex_tb(FNODE f,TB tb)

Line 948 void fnodetotex_tb(FNODE f,TB tb)

break;

case I_CDR:

opname = symbol_name("cdr");

opname = conv_rule("cdr");

write_tb(opname,tb);

write_tb("(",tb);

fargstotex_tb(opname,FA0(f),tb);

Line 948 void fnodetotex_tb(FNODE f,TB tb)

Line 959 void fnodetotex_tb(FNODE f,TB tb)

case I_EV:

n = (NODE)FA0(f);

allzero = 1;

if ( show_lt && is_lt )

write_tb("\\underline{",tb);

for ( t0 = 0, i = 0; n; n = NEXT(n), i++ ) {

fi = (FNODE)BDY(n);

if ( fi->id == I_FORMULA && !FA0(fi) ) continue;

Line 958 void fnodetotex_tb(FNODE f,TB tb)

Line 971 void fnodetotex_tb(FNODE f,TB tb)

sprintf(vname,"%s_{%d}",dp_vars_prefix,i);

else

sprintf(vname,"x_{%d}",i);

vname_conv = symbol_name(vname);

vname_conv = conv_rule(vname);

if ( fi->id == I_FORMULA && UNIQ(FA0(fi)) ) {

len = strlen(vname_conv);

opname = MALLOC_ATOMIC(len+2);

Line 977 void fnodetotex_tb(FNODE f,TB tb)

Line 990 void fnodetotex_tb(FNODE f,TB tb)

/* XXX */

if ( allzero )

write_tb(" 1 ",tb);

if ( show_lt && is_lt ) {

write_tb("}",tb);

is_lt = 0;

}

break;

/* string */

Line 988 void fnodetotex_tb(FNODE f,TB tb)

Line 1005 void fnodetotex_tb(FNODE f,TB tb)

case I_FORMULA:

obj = (Obj)FA0(f);

if ( obj && OID(obj) == O_P ) {

opname = symbol_name(VR((P)obj)->name);

opname = conv_rule(VR((P)obj)->name);

} else {

len = estimate_length(CO,obj);

opname = (char *)MALLOC_ATOMIC(len+1);

Line 1014 void fnodetotex_tb(FNODE f,TB tb)

Line 1031 void fnodetotex_tb(FNODE f,TB tb)

void fnodenodetotex_tb(NODE n,TB tb)

{

for ( ; n; n = NEXT(n) ) {

is_lt = 1;

fnodetotex_tb((FNODE)BDY(n),tb);

if ( NEXT(n) ) write_tb(", ",tb);

}

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>