モジュール lillib:io

Input and output routines

バージョン

April 07, 1999

登場したバージョン

July 08, 1998

著者


目次

述語


Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

述語

format/2

書式format(+$STREAM, +$FORMAT)
引数
+$STREAMinteger or handle_stream
+$FORMATstring
関連項目format/3
This is the same as in Prolog, but partially implemented currently. The current control sequences are `~d', `~f', `~s' and `~~', and the current control codes are `\n' and `\t'.

format/3

書式format(+$STREAM, +$FORMAT, +$ARGs)
引数
+$STREAMinteger or handle_stream
+$FORMATstring
+$ARGslist
関連項目format/2
This is the same as in Prolog, but partially implemented currently. The current control sequences are `~d', `~f', `~s' and `~~', and the current control codes are `\n' and `\t'.

formattostr/2

書式formattostr(+$FORMAT, -$STRING)
引数
+$FORMATstring
-$STRINGstring
関連項目format/3 formattostr/3
same as 'format/2', but output to a string.

formattostr/3

書式formattostr(+$FORMAT, +$ARGs, -$STRING)
引数
+$FORMATstring
+$ARGslist
-$STRINGstring
関連項目format/3 formattostr/2
same as 'format/3', but output to a string.

Top of this page Contents Index of this package LiLFeS Documents LiLFeS Home Page Tsujii laboratory

コメントはこちら:
MITSUISHI Yutaka (mitsuisi@is.s.u-tokyo.ac.jp)
KANAYAMA Hiroshi (kanayama@is.s.u-tokyo.ac.jp)
MIYAO Yusuke (yusuke@is.s.u-tokyo.ac.jp)

This document is automatically created by lildoc on Fri Sep 24 14:14:00 2004