version 1.56, 2005/09/13 06:40:45 |
version 1.61, 2005/09/27 03:00:21 |
|
|
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE, |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE. |
* |
* |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.55 2005/07/26 01:33:46 noro Exp $ |
* $OpenXM: OpenXM_contrib2/asir2000/builtin/strobj.c,v 1.60 2005/09/22 00:23:18 noro Exp $ |
*/ |
*/ |
#include "ca.h" |
#include "ca.h" |
#include "parse.h" |
#include "parse.h" |
Line 79 void Pquotetotex_env(); |
|
Line 79 void Pquotetotex_env(); |
|
void Pflatten_quote(); |
void Pflatten_quote(); |
void Pquote_to_funargs(),Pfunargs_to_quote(),Pget_function_name(); |
void Pquote_to_funargs(),Pfunargs_to_quote(),Pget_function_name(); |
void Pquote_unify(); |
void Pquote_unify(); |
|
void do_assign(NODE arg); |
void fnodetotex_tb(FNODE f,TB tb); |
void fnodetotex_tb(FNODE f,TB tb); |
char *symbol_name(char *name); |
char *symbol_name(char *name); |
char *conv_rule(char *name); |
char *conv_rule(char *name); |
Line 109 struct ftab str_tab[] = { |
|
Line 110 struct ftab str_tab[] = { |
|
{"quotetotex_env",Pquotetotex_env,-99999999}, |
{"quotetotex_env",Pquotetotex_env,-99999999}, |
{"flatten_quote",Pflatten_quote,2}, |
{"flatten_quote",Pflatten_quote,2}, |
{"quote_to_funargs",Pquote_to_funargs,1}, |
{"quote_to_funargs",Pquote_to_funargs,1}, |
{"quote_unify",Pquote_unify,2}, |
{"quote_unify",Pquote_unify,2,0x3}, |
{"funargs_to_quote",Pfunargs_to_quote,1}, |
{"funargs_to_quote",Pfunargs_to_quote,1}, |
{"get_function_name",Pget_function_name,1}, |
{"get_function_name",Pget_function_name,1}, |
{0,0,0}, |
{0,0,0}, |
Line 507 void Pwrite_to_tb(NODE arg,Q *rp) |
|
Line 508 void Pwrite_to_tb(NODE arg,Q *rp) |
|
*rp = 0; |
*rp = 0; |
} |
} |
|
|
void Pquote_unify(NODE arg,LIST *rp) |
FNODE partial_eval(FNODE); |
|
|
|
void Pquote_unify(NODE arg,Q *rp) |
{ |
{ |
|
FNODE f,g; |
|
QUOTE q; |
NODE r; |
NODE r; |
int ret; |
int ret; |
|
|
ret = quote_unify((Obj)ARG0(arg),(Obj)ARG1(arg),&r); |
g = partial_eval(BDY(((QUOTE)ARG0(arg)))); |
if ( ret ) |
MKQUOTE(q,g); |
MKLIST(*rp,r); |
ret = quote_unify((Obj)q,(Obj)ARG1(arg),&r); |
else |
if ( ret ) { |
|
do_assign(r); |
|
*rp = ONE; |
|
} else |
*rp = 0; |
*rp = 0; |
} |
} |
|
|