| 变量名 | 类 型 | 静态 | 数组 | 备 注 |
| 文件号 | 整数型 | | |
| 头信息 | 字节集 | | |
| 标志位 | 整数型 | | |
文件号 ＝
打开文件 (文件路径,
#读入, )
如果真 (文件号 ＝ 0
)
返回 (假)
移到文件首 (文件号
)头信息 ＝
读入字节集 (文件号, 30
) 关闭文件 (文件号
)如果真 (取字节集长度 (头信息
) ＜ 30
)返回 (假) 如果真 (取字节集左边 (头信息, 4
) ≠
{ 80, 75, 3, 4
})返回 (假) 标志位 ＝
取字节集数据 (取字节集中间 (头信息, 7, 2
),
#短整数型, ) 返回 (位与 (标志位, 1
) ≠ 0
)
| 变量名 | 类 型 | 静态 | 数组 | 备 注 |
| 文件头 | 字节集 | | |
| 扩展名 | 文本型 | | |
| zip标记 | 整数型 | | |
| rar版本 | 整数型 | | |
| rar5标志 | 整数型 | | |
| rar4标志 | 整数型 | | |
如果真 (文件是否存在 (文件路径
) ＝
假)
返回 (假)
如果真 (取文件尺寸 (文件路径
) ＜ 30
)返回 (假) 文件头 ＝
读入文件头 (文件路径, 30
)如果真 (取字节集长度 (文件头
) ≠ 30
)返回 (假) 判断 (取字节集左边 (文件头, 4
) ＝
{ 80, 75, 3, 4
}) 
扩展名 ＝
“zip”
判断 (取字节集左边 (文件头, 7
) ＝
{ 82, 97, 114, 33, 26, 7, 0
}) 
扩展名 ＝
“rar”判断 (取字节集左边 (文件头, 8
) ＝
{ 82, 97, 114, 33, 26, 7, 1, 0
}) 
扩展名 ＝
“rar”
返回 (假)
判断 (扩展名 ＝
“zip”) zip标记 ＝
取字节集数据 (取字节集中间 (文件头, 7, 2
), 2,
) 返回 (位与 (zip标记, 1
) ≠ 0
) 判断 (扩展名 ＝
“rar”)rar版本 ＝
取字节集数据 (文件头, 8, 1
) 如果真 (rar版本 ＝ 1
) rar5标志 ＝
取字节集数据 (文件头, 25, 4
) 返回 (位与 (rar5标志, 4
) ≠ 0
) rar4标志 ＝
取字节集数据 (文件头, 24, 1
) 返回 (rar4标志 ≠ 0
)返回 (假)| 变量名 | 类 型 | 静态 | 数组 | 备 注 |
| 文件号 | 整数型 | | |
| 数据 | 字节集 | | |
文件号 ＝
打开文件 (文件路径,
#读入, )如果真 (文件号 ＝ 0
)返回 ({ })数据 ＝
读入字节集 (文件号, 长度
)关闭文件 (文件号
)返回 (数据
)