Struct WhileyTestFile 

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

Implementations

impl<'a> WhileyTestFile<'a>

pub fn new(input: &'a str) -> Result<WhileyTestFile<'a>>

pub fn get(&self, key: &str) -> Option<&Value<'_>>

Get configuration option associated with the given key.

pub fn size(&self) -> usize

Get number of frames in this test file.

pub fn frame(&self, n: usize) -> &Frame<'_>

Get nth frame within this test file.

pub fn get_int(&self, key: &str) -> Option<i64>

Get configuration option which is expected to be an integer. If its not an integer, or no such key exists, None is returned.

pub fn get_bool(&self, key: &str) -> Option<bool>

Get configuration option which is expected to be an boolean. If its not a boolean, or no such key exists, None is returned.

pub fn get_str(&self, key: &str) -> Option<&'a str>

Get configuration option which is expected to be a string If its not a string, or no such key exists, None is returned.

pub fn iter<'b>(&'b self) -> Iter<'b, Frame<'_>>

Obtain an iterator to the frames of this test file.