write-manifest (プロシージャ)
public {write-manifest
manifest:ComponentManifest,
url:Url,
out:TextOutputStream = {write-open url},
relative-locations?:bool = true,
header:#StringInterface = null
}:void
パッケージ: CURL.LANGUAGE.COMPILER

出力ストリームに manifest を書き込みます。

url: 出力ストリームの URL を指定します。
out: マニフェストを書き込む出力ストリームです。既定では、url で指定されたファイルをオーバーライドします。
relative-locations?: 場所のキーワードが url の相対パスとして出力されるかどうかを示します。
header: 指定されている場合、manifest 宣言の後に出力されます。

説明

このプロシージャは、manifest の各 direct-delegates について delegate-to ステートメントを出力しますが、デリゲート マニフェストそのものは記述しません。