PHPマニュアル/PEARマニュアル | ユーザフォーラムで議論/質問 | マニュアル検索 | ハイライト | ハイライトオフ | ポータル | php spot

File_Fortune::setHeaderFile | JavaScript入門&応用&リファレンスなら「JavaScriptist」

  

File_Fortune::setHeaderFile

File_Fortune::setHeaderFile() – ヘッダファイルの名前を設定する

Synopsis

require_once 'File/Fortune.php';

File_Fortune File_Fortune::setHeaderFile ( string $headerFile )

Description

fortune ファイルは、メッセージをデリミタで区切って並べた ASCII ファイルとバイナリのヘッダファイルで構成されます。 ヘッダファイルには、使用するデリミタや fortune の個数、 そのファイルに含まれる fortune の長さの最大値と最小値、 各 fortune のファイル内での位置などといったメタ情報が含まれます。

たいていの場合は、ヘッダファイルの名前は fortune ファイル名の最後に拡張子 'dat' をつけたものとなります。この名前にしておけば、 File_Fortune は自動的にヘッダファイルを検出します。 しかし、もし違う名前を使用している場合は、 このメソッドで明示的にヘッダファイルを指定する必要があります。

Parameter

string $headerFile

Throws

例外はスローされません。

Note

This function can not be called statically.

忘却曲線を使ってこの知識を確実に記憶に残す

フォーラムで「File_Fortune::setHeaderFile」について話す
各種マニュアル: PHPマニュアル | PEARマニュアル | Smarty(英語)マニュアル | PHP-GTKマニュアル | File_Fortune::setHeaderFile」をGoogle検索
copyright © 1997-2024 PHP ドキュメント作成グループ(ライセンス). provided by php spot. マニュアル: