Skip to main content

jia_parse/
lib.rs

1//! Parser library for PDDL and `.jia` model files.
2
3pub mod ast;
4pub mod error;
5pub mod jia_lang;
6pub mod lexer;
7pub mod parser;
8
9/// PDDL parser facade.
10pub mod pddl {
11    pub use crate::ast;
12    pub use crate::lexer;
13    pub use crate::parser;
14    pub use crate::parser::{parse_domain, parse_domain_str, parse_problem, parse_problem_str};
15}
16
17/// `.jia` model parser facade.
18pub mod jia {
19    pub use crate::jia_lang::analysis;
20    pub use crate::jia_lang::ast;
21    pub use crate::jia_lang::lexer;
22    pub use crate::jia_lang::parse_model_str;
23    pub use crate::jia_lang::parser;
24}
25
26pub use error::{ParseError, Span};