Struct ParsedFile

pub struct ParsedFile<'a> { /* private fields */ }

A parsed TLA file ready for formatting.

Implementations

impl<'a> ParsedFile<'a>

pub fn new(input: &'a str) -> Result<Self, Error>

Parse the input TLA spec into an AST.

pub fn format<W>(&self, out: W) -> Result<(), Error>

where W: Write,

Format and render the parsed spec into out.

Errors

If formatting fails out may contain partial content.

Trait Implementations

impl<'a> Debug for ParsedFile<'a>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.