6.66. kink/io/PRINTER

printer 型のコンパニオンモジュール。

6.66.1. printer 型

printer は文字列の出力ポートである。

printer は下層の書き込み先へのシーケンシャルな前方アクセスを提供する。

例

6.66.1.1. Printer.print(Str ...[$config={}])

print は Str を書き込む。

• C.on_success($success): default = {}

• C.on_error($error): default = 例外を投げる関数

IOエラーなしに Str が書き込まれた場合、 print は$successを引数なしで末尾呼び出しする。

IOエラーが起きた場合、 print は exception を引数として$errorを末尾呼び出しする。

事前条件

Str は str 型でなければならない。

$successは引数を取らない関数でなければならない。

$errorは exception を取る関数でなければならない。

例

例: IOエラー

6.66.1.2. Printer.print_line(Str ...[$config={}])

print_line は Str と newline を書き込む。

• C.on_success($success): default = {}

• C.on_error($error): default = 例外を投げる関数

IOエラーなしにStrとnewlineが書き込まれた場合、print_lineは引数なしで$successを末尾呼び出しする。

IOエラーが起きた場合、print_lineはexceptionを引数として$errorを末尾呼び出しする。

事前条件

Str は str 型でなければならない。

$successは引数を取らない関数でなければならない。

$errorは exception を取る関数でなければならない。

例

例: IOエラー

6.66.1.3. Printer.newline

newlineはprint_lineが使う改行文字のstrを戻す。

6.66.2. PRINTER.is?(Val)

is?はValがprinterであるかどうかを戻す。

6.66.3. PRINTER.mixin

mixinはPrinter.print_lineメソッドを提供するミックスイントレイトを戻す。

print_lineはnewlineメソッドとprintメソッドを使って実装される。