Essential Read

这是一个包含读取和反序列化合约和解决方案实用工具的Rust库。函数跳过子目录、非JSON文件和具有非有效UTF-8名称的文件。

返回类型都包裹在 anyhow::Result 中，为了简单起见，在其余的README中省略。

读取合约

从文件中读取并反序列化谓词。

参数

• 文件作为 PathBuf。

返回

• Vec<Predicate>，即合约。

读取合约

从目录中读取并反序列化合约。

参数

• 目录作为 PathBuf。

返回

• Vec<Vec<Predicate>>，其中内部向量是一个单独的合约。

读取解决方案

从文件中读取并反序列化解决方案。

参数

• 文件作为 PathBuf。

返回

• 解决方案.

读取解决方案

从目录中读取并反序列化解决方案。

参数

• 目录作为 PathBuf。

返回

• Vec<解决方案>.

读取字节

以字节的形式读取文件内容。此函数可用于不需要反序列化的情况。

参数

• 文件作为 PathBuf。

返回

• Vec<u8>.

读取字节（目录）

以字节向量形式读取目录中的文件内容。此函数可用于不需要反序列化的情况。

参数

• 目录作为 PathBuf。

返回

• Vec<Vec<u8>>，其中每个内部向量是文件的内容。

反序列化合约

从字节中反序列化合约。

参数

• Vec<u8>

返回

• Vec<Predicate>，即合约。

反序列化解决方案

从字节中反序列化解决方案。

参数

• Vec<u8>

返回

• 解决方案