bulloak-syntax

Crates.iobulloak-syntax
lib.rsbulloak-syntax
version0.9.0
created_at2024-07-27 09:04:33.024812+00
updated_at2025-09-17 19:00:00.536814+00
descriptionA Solidity test generator based on the Branching Tree Technique.
homepagehttps://github.com/alexfertel/bulloak
repositoryhttps://github.com/alexfertel/bulloak
max_upload_size
id1317123
size128,772
alexfertel (alexfertel)

documentation

https://github.com/alexfertel/bulloak

README

bulloak-syntax

Overview

bulloak-syntax is a Rust crate that provides a syntax parser for converting tree-like structures in string form into Abstract Syntax Trees (ASTs). It also includes a semantic analyzer for further processing of the parsed structures.

Features

  • Parse strings containing tree-like structures into ASTs.
  • Tokenize input strings.
  • Perform semantic analysis on parsed ASTs (e.g., ensure the tree has content, top‑level actions are unique). Duplicate condition titles are allowed; only duplicate top‑level actions are rejected.
  • Support for parsing both single and multiple trees.
  • Error handling with custom FrontendError type.

Usage

To use bulloak-syntax in your project, add it to your Cargo.toml:

[dependencies]
bulloak-syntax = "0.1.0"  # Replace with the actual version

And then parse the input:

use bulloak_syntax::parse;

fn main() -> anyhow::Result<()> {
    let input = "your tree-like structure here";
    let asts = parse(input)?;

    // Process the ASTs as needed
    for ast in asts {
        // ...
    }

    Ok(())
}

License

This project is licensed under either of:

Commit count: 237

cargo fmt