version 1.15, 2003/10/21 05:16:35 |
version 1.16, 2003/11/27 03:43:37 |
|
|
@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/misc.texi,v 1.14 2003/10/19 04:57:00 ohara Exp $ |
@comment $OpenXM: OpenXM/src/asir-doc/parts/builtin/misc.texi,v 1.15 2003/10/21 05:16:35 takayama Exp $ |
\BJP |
\BJP |
@node $B$=$NB>(B,,, $BAH$_9~$_H!?t(B |
@node $B$=$NB>(B,,, $BAH$_9~$_H!?t(B |
@section $B$=$NB>(B |
@section $B$=$NB>(B |
Line 91 on $B$N;~(B, $BH!?t$N:FDj5A;~$K%a%C%;!<%8$rI=<($9$k |
|
Line 91 on $B$N;~(B, $BH!?t$N:FDj5A;~$K%a%C%;!<%8$rI=<($9$k |
|
0 $B$N$H$-%W%m%s%W%H$rI=<($7$J$$(B. 1 $B$N$H$-I8=`%W%m%s%W%H$rI=<((B. |
0 $B$N$H$-%W%m%s%W%H$rI=<($7$J$$(B. 1 $B$N$H$-I8=`%W%m%s%W%H$rI=<((B. |
C $B%9%?%$%k$N%U%)%^%C%HJ8;zNs$r$b$A$$$k$H%f!<%6Dj5A$N%W%m%s%W%H(B. |
C $B%9%?%$%k$N%U%)%^%C%HJ8;zNs$r$b$A$$$k$H%f!<%6Dj5A$N%W%m%s%W%H(B. |
$BNc(B(asirgui $B$G$OIT2D(B): |
$BNc(B(asirgui $B$G$OIT2D(B): |
@code{ ctrl("prompt",asciitostr([0x1b])+"[32m[%d]:= "+asciitostr([0x1b])+"[0m")} |
@code{ ctrl("prompt","\033[32m[%d]:= \033[0m")} |
@item hex |
@item hex |
1 $B$N$H$-(B, $B@0?t$O(B 0x $B$G;O$^$k(B 16 $B?J?t$H$7$FI=<($5$l$k(B. -1 $B$N$H$-(B, 16 $B?J?t$O(B, |
1 $B$N$H$-(B, $B@0?t$O(B 0x $B$G;O$^$k(B 16 $B?J?t$H$7$FI=<($5$l$k(B. -1 $B$N$H$-(B, 16 $B?J?t$O(B, |
$B4V$K(B @samp{|} $B$r$O$5$s$G(B 8 $B7e$4$H$K6h@Z$C$FI=<($5$l$k(B. |
$B4V$K(B @samp{|} $B$r$O$5$s$G(B 8 $B7e$4$H$K6h@Z$C$FI=<($5$l$k(B. |
Line 169 If the value is 0, then prompt is not output. |
|
Line 169 If the value is 0, then prompt is not output. |
|
If the value is 1, then the standard prompt is output. |
If the value is 1, then the standard prompt is output. |
Asir prompt can be customized by giving a C-style format string. |
Asir prompt can be customized by giving a C-style format string. |
Example (for unix asir); |
Example (for unix asir); |
@code{ ctrl("prompt",asciitostr([0x1b])+"[32m[%d]:= "+asciitostr([0x1b])+"[0m")} |
@code{ ctrl("prompt","\033[32m[%d]:= \033[0m")} |
|
|
@item hex |
@item hex |
If 1 is set, integers are displayed as hexadecimal numbers with prefix |
If 1 is set, integers are displayed as hexadecimal numbers with prefix |
@code{0x}. if -1 is set, hexadecimal numbers are displayed with |
@code{0x}. if -1 is set, hexadecimal numbers are displayed with |