Struct CesFile

pub struct CesFile { /* private fields */ }

Implementations

impl CesFile

pub fn from_script<S: AsRef<str>>(script: S) -> Result<Self, Box<dyn Error>>

pub fn set_root_name<S: AsRef<str>>( &mut self, root_name: S, ) -> Result<(), Box<dyn Error>>

pub fn get_vis_size<S: AsRef<str>>(&self, key: S) -> Option<u64>

pub fn get_vis_name<S: AsRef<str>>(&self, key: S) -> Option<&str>

pub fn get_nested_vis_size<I, S>( &self, subblock_keys: I, value_key: S, ) -> Option<u64>

where I: IntoIterator + Clone, I::Item: AsRef<str>, S: AsRef<str>,

pub fn get_nested_vis_name<I, S>( &self, subblock_keys: I, value_key: S, ) -> Option<&str>

where I: IntoIterator + Clone, I::Item: AsRef<str>, S: AsRef<str>,

pub fn get_sat_encoding(&self) -> Result<Option<Encoding>, AscesisError>

pub fn get_sat_search(&self) -> Result<Option<Search>, AscesisError>

Trait Implementations

impl CompilableMut for CesFile

fn compile_mut(&mut self, ctx: &ContextHandle) -> Result<bool, Box<dyn Error>>

impl Content for CesFile

fn get_script(&self) -> Option<&str>

Script is a content description in text, for example, YAML-formatted string or Ascesis source.

fn get_name(&self) -> Option<&str>

fn get_carrier_ids(&mut self) -> Vec<NodeID>

fn get_causes_by_id(&self, id: NodeID) -> Option<&Vec<Vec<NodeID>>>

fn get_effects_by_id(&self, id: NodeID) -> Option<&Vec<Vec<NodeID>>>

impl Debug for CesFile

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

Formats the value using the given formatter.

impl Default for CesFile

fn default() -> CesFile

Returns the “default value” for a type.

impl From<Vec<CesFileBlock>> for CesFile

fn from(blocks: Vec<CesFileBlock>) -> Self

Converts to this type from the input type.

impl FromStr for CesFile

type Err = ParseError<usize, String, AscesisError>

The associated error which can be returned from parsing.

fn from_str(s: &str) -> Result<Self, ParseError<usize, String, AscesisError>>

Parses a string s to return a value of this type.