公共接口 padr
右填充输入字符串 规范
模块过程
私有纯函数 padr_string_default(string, output_length) 结果(res)
使用 " " (1 个空格) 右填充输入字符串
返回一个新字符串
参数
| 类型 | 意图 | 可选 | 属性 | 名称 | ||
|---|---|---|---|---|---|---|
| 类型(string_type), | 意图(in) | :: | string | |||
| 整数, | 意图(in) | :: | output_length |
返回值 类型(string_type)
私有纯函数 padr_string_pad_with(string, output_length, pad_with) 结果(res)
使用 'pad_with' 字符右填充输入字符串
返回一个新字符串
参数
| 类型 | 意图 | 可选 | 属性 | 名称 | ||
|---|---|---|---|---|---|---|
| 类型(string_type), | 意图(in) | :: | string | |||
| 整数, | 意图(in) | :: | output_length | |||
| 字符(len=1), | 意图(in) | :: | pad_with |
返回值 类型(string_type)
私有纯函数 padr_char_default(string, output_length) 结果(res)
使用 " " (1 个空格) 右填充输入字符串
返回一个新字符串
参数
| 类型 | 意图 | 可选 | 属性 | 名称 | ||
|---|---|---|---|---|---|---|
| 字符(len=*), | 意图(in) | :: | string | |||
| 整数, | 意图(in) | :: | output_length |
返回值 字符(kind=output_length), len=max)
私有纯函数 padr_char_pad_with(string, output_length, pad_with) 结果(res)
使用 'pad_with' 字符右填充输入字符串
返回一个新字符串
参数
| 类型 | 意图 | 可选 | 属性 | 名称 | ||
|---|---|---|---|---|---|---|
| 字符(len=*), | 意图(in) | :: | string | |||
| 整数, | 意图(in) | :: | output_length | |||
| 字符(len=1), | 意图(in) | :: | pad_with |