Struct ascesis::CesFile

pub struct CesFile { /* fields omitted */ }

Methods

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

Performs the conversion.

impl FromStr for CesFile

type Err = ParsingError

The associated error which can be returned from parsing.

fn from_str(s: &str) -> ParsingResult<Self>

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