Struct modelator::artifact::TlaFile

pub struct TlaFile { /* fields omitted */ }

modelator’s artifact representing a TLA+ file.

Implementations

impl TlaFile

pub fn module_name(&self) -> &str

Returns the module name of the TLA file

pub fn file_name(&self) -> String

Returns a base filename {module_name}.tla

pub fn file_contents_backing(&self) -> &str

Returns raw file contents (string value that it was initialized with) NOTE: will change as our internal representation of relevant TLA+ related files improves

Trait Implementations

impl Artifact for TlaFile

fn as_string(&self) -> String

Returns a string representation.

fn try_write_to_file(&self, path: &Path) -> Result<(), Error>

Tries to write the contents to path using the result of as_string.

impl ArtifactCreator for TlaFile

fn from_string(s: &str) -> Result<Self, Error>

Create a new instance from a file content string.

fn try_read_from_file<P: AsRef<Path>>(path: P) -> Result<Self, Error>

Tries to read a file and initialize from the content.

impl ArtifactSaver for TlaFile

fn filename(&self) -> String

Returns filename

fn try_write_to_dir(&self, path: &Path) -> Result<PathBuf, Error>

Tries to save the contents to directory using the file name

impl Clone for TlaFile

fn clone(&self) -> TlaFile

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for TlaFile

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

Formats the value using the given formatter.

impl Display for TlaFile

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

Formats the value using the given formatter.

impl PartialEq<TlaFile> for TlaFile

fn eq(&self, other: &TlaFile) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &TlaFile) -> bool

This method tests for !=.

impl Eq for TlaFile

impl StructuralEq for TlaFile

impl StructuralPartialEq for TlaFile