File: [local] / OpenXM / src / asir-doc / int-parts / parser.texi (download)
Revision 1.3, Thu Apr 7 10:59:50 2005 UTC (19 years, 1 month ago) by noro
Branch: MAIN
CVS Tags: R_1_3_1-2, RELEASE_1_3_1_13b, RELEASE_1_2_3_12, KNOPPIX_2006, HEAD, DEB_REL_1_2_3-9
Changes since 1.2: +3 -3
lines
Corrected a typo.
|
@comment $OpenXM: OpenXM/src/asir-doc/int-parts/parser.texi,v 1.3 2005/04/07 10:59:50 noro Exp $
@chapter Parser
\JP @section Parser $B$N9=@.(B
\EG @section Configuration of the parser
\BJP
parser $B$O(B Asir $B8@8l$G=q$+$l$?J8;zNs$rCf4V8@8l$KJQ49$9$k(B. parser $B$O(B
$B<!$N$b$N$+$i9=@.$5$l$k(B.
\E
\BEG
\E
\BJP
@itemize
@item $BJ8K!Dj5A(B
Asir $B8@8l$NJ8K!$O(B @code{yacc} $B$N%=!<%9%U%!%$%k$H$7$FDj5A$5$l$F$$$k(B. $B$3$N(B
$B%U%!%$%k$O(B @code{yacc} $B$K$h$j(B parser $B%W%m%0%i%`$KJQ49$5$l$k(B.
@item $B;z6g2r@O(B
yacc $B$G@8@.$5$l$k(B parser $B%W%m%0%i%`$O(B, $BF~NOJ8;zNs$N@hF,$+$i=g$K(B, $BB0@-Kh(B
$B$KJ8;zNs$r@Z$jJ,$1$k4X?t(B @code{yylex()} $B$r8F$S=P$7$J$,$i(B, $BJ8K!Dj5A$K=>$C(B
$B$FCf4V8@8l(B tree $B$r9=@.$7$F$$$/(B. $B;z6g2r@ODj5A%U%!%$%k$+$i(B @code{yylex()}
$B$r@8@.$9$k%W%m%0%i%`(B @code{lex} $B$b$"$k$,(B, Asir $B$G$ONr;KE*$JM}M3$+$i(B
C $B8@8l$K$h$jD>@\5-=R$7$F$$$k(B.
@item $BL>A04IM}(B
@code{yylex()} $B$K$h$C$F@Z$jJ,$1$i$l$kJ8;zNs$H$7$F(B, $B$"$i$+$8$aDj5A$5$l$?(B
keyword (@samp{if}, @samp{for} $B$J$I(B) $B$NB>$K(B, $BJQ?tL>(B, $B4X?tL>$J$IF0E*$K(B
$B@8@.$5$l$kL>A0$,$"$k(B. $B$3$l$i$OB0@-Kh$K%j%9%H(B, $BG[Ns$J$I$N7A$G4IM}$5$l(B,
parser $B$N<B9TCf$K;2>H(B, $BDI2C$J$I$,9T$o$l$k(B.
@end itemize
\E
\BEG
@itemize
@item
@item
@item
@end itemize
\E
\JP @section $BCf4V8@8l(B
\EG @section Intermediate language
\BJP
@example
typedef struct oFNODE @{ $B<0$rI=$9%N!<%I(B
fid id; $B<1JL;R(B
pointer arg[1]; $B0z?tG[Ns(B ($BD9$52DJQ(B)
@} oFNODE *FNODE;
typedef struct oSNODE @{ $BJ8$rI=$9%N!<%I(B
sid id; $B<1JL;R(B
int ln; $B9THV9f(B
pointer arg[1]; $B0z?tG[Ns(B ($BD9$52DJQ(B)
@} oSNODE *SNODE;
@end example
\E
\BEG
@example
typedef struct oFNODE @{
fid id;
pointer arg[1];
@} oFNODE *FNODE;
typedef struct oSNODE @{
sid id;
int ln;
pointer arg[1];
@} oSNODE *SNODE;
@end example
\E
\BJP
interpreter $B$NF~NO$H$J$kCf4V8@8l$N9=@.$O6K$a$FC1=c$G$"$k(B.
$BCf4V8@8l$N9=@.MWAG$O(B @b{$BJ8(B} $B$*$h$S(B @b{$B<0(B} $B$G$"$k(B.
Asir $B8@8l$K$h$kF~NOJ8;zNs$O(B, $BJ8$NJB$S$H$7$F(B parse $B$5$l(B,
@code{SNODE} $B9=B$BN$N%j%9%H$KJQ49$5$l$k(B. $BJ8$N<oN`$O<1JL;R(B @code{id}
$B$K$h$j<($5$l$k(B. $B0z?tG[Ns$OJ8$N<oN`$K1~$8$FD9$5(B, $B$*$h$S$=$N3FMWAG$N(B
$B0UL#(B($BLr3d(B)$B$,7h$^$k(B. $B0J2<$G(B @code{S_} $B$G;O$^$k$N$O<1JL;R$NL>A0$G(B,
$B<B:]$K$OAj0[$J$k@0?t$,3d$jEv$F$i$l$F$$$k(B.
@samp{|} $B$O(B, $B<1JL;R$*$h$S0z?t$N;E@Z$j$r<($9(B.
\E
@table @code
@item S_SINGLE | expr
\JP @samp{expr}$B$r<B9T$9$k(B.
\EG
@item S_BREAK
\JP $B:G$bFbB&$N%k!<%W(B (@code{S_FOR}, @code{S_DO}) $B$rH4$1$k(B.
\EG
@item S_CONTINUE
\JP $B:G$bFbB&$N%k!<%W$N@hF,$KHt$V(B.
\EG
@item S_RETURN | expr
\JP $B4X?t$+$iH4$1$F(B, @samp{expr} $B$NCM$rJV$9(B.
\EG
@item S_IFELSE | dummy | expr | stat1 | stat2
\JP@samp{expr} $B$NCM$,(B 0 $B$G$J$$$J$i(B @samp{stat 1} $B$r<B9T(B, 0 $B$J$i(B @samp{stat 2} $B$r(B
$B<B9T(B.
\EG
@item S_FOR | dummy | expr1 | expr | stat | expr2
\BJP
$B$^$:(B @samp{expr1} $B$r<B9T$7$?$"$H(B, @samp{expr} $B$NCM$,(B 0 $B$G$J$$4V(B, @samp{stat}
$B$H(B @samp{expr2} $B$N7W;;$r7+$jJV$9(B.
\E
\BEG
\E
@item S_DO | dummy | stat | expr
\JP @samp{stat} $B$r<B9T$7$?$"$H(B @samp{expr} $B$r7W;;$7(B, $B$=$NCM$,(B 0 $B$G$J$$4V7+$jJV$9(B.
\EG
@end table
\BJP
@code{SNODE} $B$O9THV9f$r<($9%a%s%P(B @code{ln} $B$r;}$D(B. $B3F9T$,%U%!%$%k$+$iFI$^$l$?(B
$B>l9g$K(B, $B$=$N%U%!%$%k$K$*$1$k9THV9f$r3JG<$7$F$*$/(B. $B$3$l$O%G%P%C%0;~$K9THV9f(B
$B$+$iJ8$rFCDj$9$k$?$a$J$I$KMQ$$$i$l$k(B.
$BJ8$KBP$9$kCf4V8@8lDj5A$GJ,$+$k$h$&$K(B, $BJ8$O:G=*E*$K$O<0$+$i9=@.$5$l$F$$$k(B.
$BJ8Cf$K8=$l$?<0$O(B, parser $B$K$h$C$F2r@O$5$l(B, @code{FNODE} $B9=B$BN$N%j%9%H$K(B
$BJQ49$5$l$k(B. $B<0$N<oN`$O<1JL;R(B @code{id}$B$K$h$j<($5$l$k(B. $B0z?tG[Ns$O<0$N<oN`(B
$B$K1~$8$FD9$5(B, $B$*$h$S$=$N3FMWAG$N0UL#(B($BLr3d(B)$B$,7h$^$k(B. $B0J2<$G(B @code{I_} $B$G(B
$B;O$^$k$N$O<1JL;R$NL>A0$G(B, $B<B:]$K$OAj0[$J$k@0?t$,3d$jEv$F$i$l$F$$(B
$B$k(B. @samp{|} $B$O(B, $B<1JL;R$*$h$S0z?t$N;E@Z$j$r<($9(B.
\E
\BEG
\E
@table @code
@item I_STR | string
\JP $BJ8;zNs(B
\EG
@item I_FORMULA | object
\JP $B4{$K(B Risa object $B$KJQ49$5$l$F$$$k(B \code{object}
\EG
@item I_ANS | index
\JP @samp{index} $BHVL\$N7W;;7k2L(B
\EG
@item I_GF2NGEN
\JP $BI8?t(B 2 $BM-8BBN$N@8@.85(B
\EG
@item I_EV | node
\JP @samp{node} $B$r;X?t%Y%/%H%k$H$_$F(B, $B78?t(B 1 $B$NC19`<0$r@8@.$9$k(B.
\EG
@item I_FUNC | function | argument list
\JP $B4X?t8F$S=P$7(B
\EG
@item I_CAR | list
\JP @code{list} $B$N@hF,MWAG(B
\EG
@item I_CDR | list
\JP @code{list} $B$+$i@hF,MWAG$r=|$$$?%j%9%H(B
\EG
@item I_PVAR | index
\JP @code{index} $BHVL\$N%W%m%0%i%`JQ?t$NCM(B
\EG
@item I_ASSPVAR | expr1 | expr2
\JP @samp{expr1} $B$G<($5$l$k%W%m%0%i%`JQ?t$K(B @samp{expr2} $B$rBeF~(B
\EG
@item I_INDEX | expr | index
\JP @samp{expr} $B$rG[Ns$^$?$O%j%9%H$H8+$F(B, @samp{index}$B$G;XDj$5$l$kMWAG$r<h$j=P$9(B.
\EG
@item I_POSTSELF | function | expr
\BJP
@samp{expr} $B$NCM$r<h$j=P$7$?$"$H(B, @samp{function} $B$,2C;;$J$i(B @samp{expr} $B$r(B 1 $BA}$d$7(B,
@samp{function} $B$,8:;;$J$i(B @samp{expr} $B$r(B 1 $B8:$i$9(B.
\E
\BEG
\E
@item I_PRESELF | function | expr
\BJP
@samp{function} $B$,2C;;$J$i(B @samp{expr} $B$r(B 1 $BA}$d$7(B, @samp{function} $B$,8:;;$J$i(B
@samp{$B<0(B} $B$r(B 1 $B8:$i$9(B. $B$=$N8e(B @samp{expr} $B$NCM$r<h$j=P$9(B.
\E
\BEG
\E
@item I_LIST | node
\JP @samp{node}$B$+$i%j%9%H$r@8@.$9$k(B.
\EG
@item I_NOP | expr
\JP @samp{expr} $B$,(B 0 $B$G$J$$$J$i(B 0, 0 $B$J$i(B 1.
\EG
@item I_OR | expr1 | expr2
\JP @samp{expr1}, @samp{expr2} $B$,$H$b$K(B 0 $B$J$i(B 0, $B$=$l0J30$O(B 1.
\EG
@item I_AND | expr1 | expr2
\JP @samp{expr1}, @samp{expr2} $B$,$H$b$K(B 0 $B$G$J$$$J$i(B 1, $B$=$l0J30$O(B 0.
\EG
@item I_CE | expr | expr1 | expr2
\JP @samp{expr} $B$,(B 0 $B$G$J$$$H$-(B @samp{expr1} $B$NCM(B, 0 $B$N$H$-(B @samp{expr2} $B$NCM(B.
\EG
@item I_BOP | bop_id | expr1 | expr2
\BJP
@samp{bop_id} $B$G;XDj$5$l$kFs9`1i;;;R(B ($B2C8:>h=|$J$I(B) $B$K=>$C$F(B, @samp{expr1},
@samp{expr2} $B$r0z?t$H$7$F1i;;(B.
\E
\BEG
\E
@item I_COP | cop_id | expr1 | expr2
\BJP
@samp{cop_id} $B$G;XDj$5$l$kHf3S1i;;;R$K=>$C$F(B, @samp{expr1},
@samp{expr2} $B$rHf3S(B. $B7k2L$O(B 0, 1, -1.
\E
\BEG
\E
@item I_LOP | lop_id | expr1 | expr2
\BJP
@samp{lop_id} $B$G;XDj$5$l$kO@M}1i;;;R$K$h$j(B, @samp{expr1},
@samp{expr2} $B$r0z?t$H$7$FO@M}<0$r@8@.(B.
\E
\BEG
\E
@end table
\JP @section $B;z6g2r@O(B
\EG @section Lexical analysis
\BJP
$B;z6g2r@OIt$G$O(B, $B6uGr(B, $B%?%V(B, $B2~9T$r%9%-%C%W$7$?$"$H$N:G=i$NJ8;z$K$h$C$F(B
$B:G=i$NJ,N`$r9T$&(B.
\E
\BEG
\E
@itemize @bullet
\BJP
@item 0
$BB3$/(B 0 $B$r%9%-%C%W$7$F(B, $B?t;z$,Mh$?$i(B 10 $B?J?t(B, b $B$,Mh$?$i(B 2 $B?J?t(B, x $B$,Mh$?$i(B
16 $B?J?t$H$7$F(B, $B$"$H$KB3$/(B valid $B$JJ8;z$r%P%C%U%!$KFI$_9~$_(B, 2^32 $B?J?t$K(B
$BJQ49$9$k(B.
@item 0 $B0J30$N?t;z(B
$B0J2<$KB3$/?t;z$r%P%C%U%!$KFI$_9~$_(B, 10 $B?J?t$H$7$F(B 2^32 $B?J?t$KJQ49$9$k(B.
@item $B1Q>.J8;z(B
$B0J2<$KB3$/(B, $B%"%k%U%!%Y%C%H(B, $B?t;z(B, @samp{_} $B$r%P%C%U%!$KFI$_9~$_(B, keyword
$B$N>l9g$K$O$=$N<1JL;R(B, $B$=$&$G$J$$>l9g$K$O(B @samp{$B>.J8;z$G;O$^$kJ8;zNs(B} $B$r0UL#(B
$B$9$k<1JL;R$rJV$9(B.
@item $B1QBgJ8;z(B
$B0J2<$KB3$/(B, $B%"%k%U%!%Y%C%H(B, $B?t;z(B, @samp{_} $B$r%P%C%U%!$KFI$_9~$_(B,
@samp{$BBgJ8;z$G;O$^$kJ8;zNs(B} $B$r0UL#$9$k<1JL;R$rJV$9(B.
@item @code{@@}
@code{@@} $B$O$=$N8e$KMh$kJ8;zNs$K$h$j$5$^$6$^$JBP>]$rI=$9(B.
@itemize @code{-}
@item @code{@@@@}
$BD>A0$N7W;;7k2L(B
@item @code{@@pi}
$B1_<~N($rI=$9ITDj85(B
@item @code{@@e}
$B<+A3BP?t$NDl$rI=$9ITDj85(B
@item @code{@@i}
$B5u?tC10L(B
@item @code{@@p}
$B4qI8?tM-8BBN$N3HBgBN$N@8@.85(B
@item @code{@@true}, @code{@@false}, @code{@@impl}, @code{@@repl}, @code{@@equiv}
$BO@M}1i;;;R(B
@end itemize
$B$3$l0J30$N>l9g(B @code{@@} $B$OI8?t(B 2 $B$NM-8BBN$N@8@.85$rI=$9(B.
@item @samp{"}
$B<!$N(B @samp{"} $B$ND>A0$NJ8;z$^$G$rJ8;zNs(B Risa object $B$H$_$J$9(B.
@item @samp{'}
$B<!$N(B @samp{'} $B$ND>A0$NJ8;z$^$G$r(B @samp{$B>.J8;z$G;O$^$kJ8;zNs(B} $B$H$_$J$9(B.
$B$3$l$O(B, $BG$0UJ8;zNs$rL>A0$H$9$kITDj85$r@8@.$9$kI,MW$,$"$k>l9g$J$I$K(B
$BMQ$$$k(B.
@item $B$=$NB>$N5-9f(B
$B5-9f$K1~$8$F$5$^$6$^$K07$o$l$k(B. $BB?$/$O1i;;;R$H$7$F07$o$l$k$,(B,
@samp{@{}, @samp{@}}, @samp{[}, @samp{]}, @samp{(}, @samp{)}
$B$J$I(B, $B0lBP$G4V$K$"$kBP>]$K:nMQ$9$k$b$N$b$"$k(B.
\E
\BEG
@item 0
$BB3$/(B 0 $B$r%9%-%C%W$7$F(B, $B?t;z$,Mh$?$i(B 10 $B?J?t(B, b $B$,Mh$?$i(B 2 $B?J?t(B, x $B$,Mh$?$i(B
16 $B?J?t$H$7$F(B, $B$"$H$KB3$/(B valid $B$JJ8;z$r%P%C%U%!$KFI$_9~$_(B, 2^32 $B?J?t$K(B
$BJQ49$9$k(B.
@item 0 $B0J30$N?t;z(B
$B0J2<$KB3$/?t;z$r%P%C%U%!$KFI$_9~$_(B, 10 $B?J?t$H$7$F(B 2^32 $B?J?t$KJQ49$9$k(B.
@item $B1Q>.J8;z(B
$B0J2<$KB3$/(B, $B%"%k%U%!%Y%C%H(B, $B?t;z(B, @samp{_} $B$r%P%C%U%!$KFI$_9~$_(B, keyword
$B$N>l9g$K$O$=$N<1JL;R(B, $B$=$&$G$J$$>l9g$K$O(B @samp{$B>.J8;z$G;O$^$kJ8;zNs(B} $B$r0UL#(B
$B$9$k<1JL;R$rJV$9(B.
@item $B1QBgJ8;z(B
$B0J2<$KB3$/(B, $B%"%k%U%!%Y%C%H(B, $B?t;z(B, @samp{_} $B$r%P%C%U%!$KFI$_9~$_(B,
@samp{$BBgJ8;z$G;O$^$kJ8;zNs(B} $B$r0UL#$9$k<1JL;R$rJV$9(B.
@item @code{@@}
@code{@@} $B$O$=$N8e$KMh$kJ8;zNs$K$h$j$5$^$6$^$JBP>]$rI=$9(B.
@itemize @code{-}
@item @code{@@@@}
$BD>A0$N7W;;7k2L(B
@item @code{@@pi}
$B1_<~N($rI=$9ITDj85(B
@item @code{@@e}
$B<+A3BP?t$NDl$rI=$9ITDj85(B
@item @code{@@i}
$B5u?tC10L(B
@item @code{@@p}
$B4qI8?tM-8BBN$N3HBgBN$N@8@.85(B
@item @code{@@true}, @code{@@false}, @code{@@impl}, @code{@@repl}, @code{@@equiv}
$BO@M}1i;;;R(B
@end itemize
$B$3$l0J30$N>l9g(B @code{@@} $B$OI8?t(B 2 $B$NM-8BBN$N@8@.85$rI=$9(B.
@item @samp{"}
$B<!$N(B @samp{"} $B$ND>A0$NJ8;z$^$G$rJ8;zNs(B Risa object $B$H$_$J$9(B.
@item @samp{'}
$B<!$N(B @samp{'} $B$ND>A0$NJ8;z$^$G$r(B @samp{$B>.J8;z$G;O$^$kJ8;zNs(B} $B$H$_$J$9(B.
$B$3$l$O(B, $BG$0UJ8;zNs$rL>A0$H$9$kITDj85$r@8@.$9$kI,MW$,$"$k>l9g$J$I$K(B
$BMQ$$$k(B.
@item $B$=$NB>$N5-9f(B
$B5-9f$K1~$8$F$5$^$6$^$K07$o$l$k(B. $BB?$/$O1i;;;R$H$7$F07$o$l$k$,(B,
@samp{@{}, @samp{@}}, @samp{[}, @samp{]}, @samp{(}, @samp{)}
$B$J$I(B, $B0lBP$G4V$K$"$kBP>]$K:nMQ$9$k$b$N$b$"$k(B.
\E
@end itemize
\JP @section $BL>A04IM}(B
\EG @section Names
\BJP
Asir $B$K$*$$$F$O(B, $BITDj85(B, $B4X?t(B, $B%W%m%0%i%`JQ?t$H$$$&(B 3 $B$D$N%+%F%4%jJL$K(B
$BL>A0$,4IM}$5$l$F$$$k(B.
\E
\BEG
\E
\JP @subsection $BITDj85(B
\EG @subsection Indeterminates
\BJP
$BITDj85$OJQ?t%j%9%H(B @code{CO} (Current variable Order) $B$G4IM}$5$l$k(B. $BITDj(B
$B85$HG'<1$5$l$kJ8;zNs$,;z6g2r@OIt$+$iM?$($i$l$?>l9g(B, @code{CO} $B$KEPO?$5$l(B
$B$F$$$kITDj85$NL>A0$H$=$NJ8;zNs$r=g$KHf3S$7(B, $B0lCW$7$?>l9g$K$O$=$NITDj859=(B
$BB$BN%]%$%s%?$rBP1~$9$kJQ?t$H$7$FMQ$$$k(B. $B0lCW$9$kL>A0$,$J$$>l9g$K$O?7$?$K(B
$BITDj859=B$BN$r@8@.$7(B, $BM?$($i$l$?J8;zNs$rL>A0$H$7$FEPO?$7(B, @code{CO} $B$N(B
$BKvHx$KDI2C$9$k(B.
\E
\BEG
\E
\JP @subsection $B4X?t(B
\EG @subsection Functions
@example
\BJP
typedef struct oFUNC @{ Asir $B4X?t(B
char *name; $B4X?tL>(B
int argc; $B0z?t$N8D?t(B
int type; PARI $B4X?t7?(B
aid id; $B7?(B ($BL$Dj5A(B, $BAH$_9~$_(B, $B%f!<%6(B, $B=c(B, PARI)
union @{
void (*binf)(); $BAH$_9~$_4X?t(B
struct oUSRF *usrf; $B%f!<%6Dj5A4X?t9=B$BN(B
struct oPF *puref; $B=c4X?t(B
@} f;
@} *FUNC;
typedef struct oUSRF @{ $B%f!<%6Dj5A4X?t(B
char *fname; $B4X?tL>(B
short vol; $BL$;HMQ(B
int startl,endl; $B%U%!%$%kFb$G$N3+;O(B, $B=*N;0LCV(B
NODE args; $B2>0z?t%j%9%H(B
VS pvs; $B6I=j%W%m%0%i%`JQ?tG[Ns(B
char *desc; $B4X?t$N@bL@(B
struct oSNODE *body; $BJ8%j%9%H(B($B4X?tK\BN(B)
@} *USRF;
typedef struct oPF @{ $B=c4X?t(B
char *name; $B4X?tL>(B
int argc; $B0z?t$N8D?t(B
Obj body; $B%f!<%6Dj5A=c4X?t$NK\BN(B
V *args; $B0z?tG[Ns(B
Obj *deriv; $BJPF34X?tG[Ns(B
NODE ins; $B4X?t%$%s%9%?%s%9%j%9%H(B
int (*pari)(); PARI $B8F$S=P$74X?t(B
double (*libm)(); C $B?t3X4X?t(B
int (*simplify)(); simplifier
@} *PF;
struct oV @{ $BITDj85(B($B:F7G(B)
char *name;
pointer attr; $BB0@-(B
pointer priv;
@};
extern NODE sysf,noargsysf; $BAH$_9~$_4X?t%j%9%H(B
extern NODE usrf; $B%f!<%6Dj5A4X?t%j%9%H(B
extern NODE parif; PARI $B4X?t%j%9%H(B
extern NODE pflist; $B=c4X?t%j%9%H(B
\E
\BEG
typedef struct oFUNC @{ Asir $B4X?t(B
char *name; $B4X?tL>(B
int argc; $B0z?t$N8D?t(B
int type; PARI $B4X?t7?(B
aid id; $B7?(B ($BL$Dj5A(B, $BAH$_9~$_(B, $B%f!<%6(B, $B=c(B, PARI)
union @{
void (*binf)(); $BAH$_9~$_4X?t(B
struct oUSRF *usrf; $B%f!<%6Dj5A4X?t9=B$BN(B
struct oPF *puref; $B=c4X?t(B
@} f;
@} *FUNC;
typedef struct oUSRF @{ $B%f!<%6Dj5A4X?t(B
char *fname; $B4X?tL>(B
short vol; $BL$;HMQ(B
int startl,endl; $B%U%!%$%kFb$G$N3+;O(B, $B=*N;0LCV(B
NODE args; $B2>0z?t%j%9%H(B
VS pvs; $B6I=j%W%m%0%i%`JQ?tG[Ns(B
char *desc; $B4X?t$N@bL@(B
struct oSNODE *body; $BJ8%j%9%H(B($B4X?tK\BN(B)
@} *USRF;
typedef struct oPF @{ $B=c4X?t(B
char *name; $B4X?tL>(B
int argc; $B0z?t$N8D?t(B
Obj body; $B%f!<%6Dj5A=c4X?t$NK\BN(B
V *args; $B0z?tG[Ns(B
Obj *deriv; $BJPF34X?tG[Ns(B
NODE ins; $B4X?t%$%s%9%?%s%9%j%9%H(B
int (*pari)(); PARI $B8F$S=P$74X?t(B
double (*libm)(); C $B?t3X4X?t(B
int (*simplify)(); simplifier
@} *PF;
struct oV @{ $BITDj85(B($B:F7G(B)
char *name;
pointer attr; $BB0@-(B
pointer priv;
@};
extern NODE sysf,noargsysf; $BAH$_9~$_4X?t%j%9%H(B
extern NODE usrf; $B%f!<%6Dj5A4X?t%j%9%H(B
extern NODE parif; PARI $B4X?t%j%9%H(B
extern NODE pflist; $B=c4X?t%j%9%H(B
\E
@end example
\BJP
$B4X?t$K$O(B, $BAH$_9~$_4X?t(B, $B%f!<%6Dj5A4X?t(B, PARI $B4X?t$*$h$S=c4X?t$,$"$k(B. $B$$(B
$B$:$l$b(B $B4X?t9=B$BN(B @code{FUNC} $B$H$7$FEPO?$5$l%j%9%H$H$7$FJ];}$5$l$k(B. $BAH$_(B
$B9~$_4X?t$N$&$A(B, $B0z?t$r;}$D$b$N$O(B, @code{sysf} $B$K(B, $B;}$?$J$$$b$N$O(B
@code{noargsysf} $B$KEPO?$5$l$k(B.
$B%f!<%6Dj5A4X?t$O(B, $B8F$S=P$7;~$"$k$$$O4X?tDj5A;~$K(B, @code{usrf} $B$r8!:w$7(B,
$B%j%9%HCf$K$=$NL>$N4X?t$,$J$$>l9g$K(B @code{FUNC} $B9=B$BN$,@8@.$5$l(B, $B%j%9%H$K(B
$BDI2C$5$l$k(B. $B4X?tDj5A$,9T$o$l$kA0$K8F$S=P$7$,9T$o$l$?>l9g(B, @code{FUNC}
$B9=B$BN$N%a%s%P(B @code{id} $B$K$O(B, $BL$Dj5A$r0UL#$9$k<1JL;R$,%;%C%H$5$l$k(B.
$B8e$K<B:]$K4X?tDj5A$,9T$o$l$?:]$K(B, $B$3$N%a%s%P$O%f!<%6Dj5A4X?t$r0UL#$9$k(B
$B<1JL;R$G>e=q$-$5$l(B, $B$=$NB>$N%a%s%P$bA3$k$Y$/%;%C%H$5$l$k(B. $B4{$KDj5A(B
$B$5$l$F$$$k>l9g$K$O(B, $B$3$l$i$N%a%s%P$O>e=q$-$5$l$k(B. $BB($A(B, $BF10l4X?tL>(B
$B$G$O:G?7$NDj5A$,MQ$$$i$l$k(B.
PARI $B4X?t$O(B, $B<B:]$N7W;;$K(B PARI $B%i%$%V%i%j$rMQ$$$k$H$$$&E@$r=|$1$P(B,
$BAH$_9~$_4X?t$HF1Ey$G$"$k(B. $B$?$@$7(B, PARI $B%i%$%V%i%j$O(B PARI bigfloat
$B$r7k2L$H$7$FJV$9$N$G(B, double float $B$N7k2L$rF@$?$$>l9g$N$?$a$K(B,
C $B$N(B @code{libm} $B%i%$%V%i%j$NF1Ey$N4X?t%]%$%s%?$rJ];}$7$F$$$k(B.
$BAH$_9~$_(B, $B%f!<%6Dj5A(B, PARI $B4X?t$O(B, $B0z?t$rMQ$$$F7W;;$r9T$$(B, Risa object
$B$r7k2L$H$7$FJV$9(B, $BDL>o$N%W%m%0%i%_%s%08@8l$N0UL#$G$N4X?t$@$,(B, $B=c4X?t$O(B,
$B0z?t$N$_$,I>2A$5$l$F(B, $B$=$N0z?t$r;}$D4X?t8F$S=P$7$=$N$b$N$rJV$9(B.
Asir $B$N<B9TNc$r<($9(B.
\E
\BEG
\E
@example
[0] A=sin(x);
sin(x);
[1] type(A);
\JP 2 <--- $B=c4X?t$OB?9`<0(B
\EG 2 <---
[2] vtype(A);
\JP 2 <--- $BB0@-$O=c4X?t(B
\EG 2 <---
[3] args(A);
\JP [x] <--- $B0z?t%j%9%H(B
\EG [x] <---
[4] B=functor(A);
\JP sin <--- $B4X?t;R(B
\EG sin <---
[5] type(B);
\JP 2 <--- $B4X?t;R$bB?9`<0(B
\EG 2 <---
[4] vtype(B);
\JP 3 <--- $BB0@-$O4X?t;R(B
\EG 3 <---
@end example
\BJP
$B$3$NNc$G$O(B, @code{sin(x)} $B$J$k=c4X?t$,@8@.$5$l$F$$$k$,(B, Risa object $B$H$7(B
$B$F$O(B, @code{sin(x)} $B<+?H$,ITDj85(B, $BB($AB?9`<0$H$J$k(B. $B$7$+$7(B @code{V} $B9=B$(B
$BBN$H$7$F$NB0@-(B ($B%a%s%P(B @code{attr}) $B$NCM$,0[$J$k(B. $B$3$NCM$,=c4X?t$r0UL#$9(B
$B$k$H$-(B, $B%a%s%P(B @code{priv} $B$K$O$3$N=c4X?t$K4X$9$k$5$^$6$^$J>pJs$,3JG<$5(B
$B$l(B, @code{args}, @code{functor} $B$K$h$j<hF@$5$l$k(B. $B4X?t;R<+?H$b(B, Risa
object $B$H$7$F$OITDj85$H$7$FB8:_$9$k(B. $B$3$N>l9g$bB0@-$K$h$j4X?t;R$G$"$k(B
$B$3$H$,<($5$l$k(B.
\E
\BEG
\E
\JP @subsection $B%W%m%0%i%`JQ?t(B
\EG @subsection Program variables
@example
\BJP
typedef struct oVS @{ $B%W%m%0%i%`JQ?tG[Ns(B
unsigned int n; $B8=:_4^$^$l$kJQ?t$N8D?t(B
unsigned int asize; $B3d$jEv$F$i$l$?G[Ns$ND9$5(B
unsigned int at;
unsigned int level;
struct oFUNC *usrf;
struct oPV *va; $BG[NsK\BN(B
NODE opt; $BL$;HMQ(B
@} *VS;
typedef struct oPV @{ $B%W%m%0%i%`JQ?t(B
char *name; $BJQ?tL>(B
sort attr,type;
pointer priv;
@} *PV;
extern VS GPVS; $BBg0hJQ?tG[Ns(B
extern VS CPVS; $B8=:_$NJQ?tG[Ns(B
extern VS EPVS; extern $B@k8@$5$l$?JQ?tG[Ns(B
extern VS APVS; $B7W;;7k2L$r3JG<$9$kG[Ns(B
\E
\BEG
typedef struct oVS @{
unsigned int n;
unsigned int asize;
unsigned int at;
unsigned int level;
struct oFUNC *usrf;
struct oPV *va;
NODE opt;
@} *VS;
typedef struct oPV @{
char *name;
sort attr,type;
pointer priv;
@} *PV;
extern VS GPVS;
extern VS CPVS;
extern VS EPVS;
extern VS APVS;
\E
@end example
\BJP
Asir $B$K$*$$$F$O(B, $B%W%m%0%i%`JQ?t$N%9%3!<%W$O(B, $BBg0hJQ?t$H(B, $B%W%m%0%i%`Fb$G(B
$B$N6I=jJQ?t$N(B 2 $B%l%Y%k$KC1=c2=$5$l$F$$$k(B. $BJQ?t$O(B, $B8=$l$?;~E@$G$$$:$l$+$N(B
$B%W%m%0%i%`JQ?t$H$7$FEPO?$5$l$k(B. $B4X?t$N30$G8=$l$?%W%m%0%i%`JQ?t$O(B, $BBg0hJQ(B
$B?tG[Ns$KEPO?$5$l$k(B. $B4X?tDj5AFb$G8=$l$?%W%m%0%i%`JQ?t$O(B, $B4X?tDj5A8GM-$N6I(B
$B=jJQ?tG[Ns$KEPO?$5$l(B, @code{USRF} $B9=B$BN$N%a%s%P(B @code{pvs}$B$H$7$FEPO?$5(B
$B$l$k(B. $B4X?t$,<B9T$5$l$k>l9g$K(B, $BEPO?$5$l$?6I=jJQ?tG[Ns$r%F%s%W%l!<%H$H$7$F(B,
$B%9%?%C%/$KAjEv$9$kJQ?tG[Ns$,@8@.$5$l(B, $B<B9T;~$NJQ?t$NCM$O$3$NG[Ns$K3JG<(B
$B$5$l$k(B.
$BCf4V8@8l$K$*$$$F(B, $B%W%m%0%i%`JQ?t;2>H$O%$%s%G%C%/%9$K$h$j9T$o$l$k(B. $B4X?t(B
$BFb$G$NJQ?t;2>H$O(B, $BDL>o$O6I=jJQ?tG[NsFb$NJQ?t$KBP$9$k%$%s%G%C%/%9$,MQ$$$i(B
$B$l$k$,(B, extern $B@k8@$5$l$F$$$kJQ?t$K4X$7$F$O(B, $BF1L>$NBg0hJQ?tG[Ns$NJQ?t$K(B
$BBP$9$k%$%s%G%C%/%9$,MQ$$$i$l$k(B. $B$3$N>l9g(B, $B<B:]$K$O$3$N6hJL$O%$%s%G%C%/%9(B
$B$N:G>e0L%S%C%H$r(B 1 $B$K$9$k$3$H$G9T$C$F$$$k(B.
\E
\BEG
\E
![[BACK]](/icons/cvsweb/back.gif){kind=icon}
Return to parser.texi CVS log ![[TXT]](/icons/cvsweb/text.gif){kind=icon}
![[DIR]](/icons/cvsweb/dir.gif){kind=icon}
Up to [local] / OpenXM / src / asir-doc / int-parts