Skip to main content

parse_terms

Function parse_terms 

Source
pub fn parse_terms(path: &str, text: &str) -> Result<Vec<Term>, Vec<Error>>
Expand description

Read a file of bare terms rather than of rules.

The machine model is written in the same language as the rules and is not a rule, so this is how it is read. Keeping one reader for both is the point: a model written in a second syntax would be a second thing to get wrong.

ยงErrors

The first malformed term, since a model file has no rule boundaries to resynchronise on.