url-decode-string (プロシージャ)
public {url-decode-string
str:String,
character-encoding:CharEncoding = CharEncoding.utf8
}:String
パッケージ： CURL.IO.FILE

%<hex><hex> エスケープ コードを含む可能性のある String をデコードします。str が非 ASCII 文字から ASCII への文字エンコーディングを使っている場合があります。

str: デコードされる String。
character-encoding: str をバイト列として ('%' エスケープ シーケンスの結果を含む)、文字にデコードするのに使われる CharEncoding。ローカル ファイル Url の処理の場合には、既定値の CharEncoding.utf8 が使われます。CharEncoding.none-specified が指定されている場合、エンコードされている非 ASCII 文字はエンコードされたままになります。

注意事項

エスケープ コードがない場合は、同じ String を返すことがあります。無効なエスケープ コード (すなわち 2 つの 16 進数が後に続かない %) はそのまま渡されます。

注意事項

url-decode-filename も参照してください。