Struct TlaConfigFile 

pub struct TlaConfigFile { /* private fields */ }

modelator’s artifact representing a TLA+ config file containing the TLA+ model CONSTANTs and INIT and NEXT predicates.

Implementations

impl TlaConfigFile

pub fn filename(&self) -> String

Returns a base filename <>.cfg

pub const fn path(&self) -> &PathBuf

Returns the path to the TLA+ config file.

pub fn content(&self) -> &str

Returns the content of the TLA+ config file.

pub fn set_path(&mut self, path: &Path)

Set path

Trait Implementations

impl Artifact for TlaConfigFile

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 TlaConfigFile

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 TlaConfigFile

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 TlaConfigFile

fn clone(&self) -> TlaConfigFile

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TlaConfigFile

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

Formats the value using the given formatter.

impl Display for TlaConfigFile

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

Formats the value using the given formatter.

impl PartialEq for TlaConfigFile

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for TlaConfigFile

impl StructuralPartialEq for TlaConfigFile