Enum SExprData

pub enum SExprData<'a> {
    Atom(&'a str),
    String(&'a str),
    List(&'a [SExpr]),
}

The data contents of an SExpr.

Converting SExprData to an Integer

There are a variety of Context::get_* helper methods (such as for example [Context::get_u8] and [Context::get_i64]) to parse integers out of s-expressions. For example, you can use:

let mut ctx = easy_smt::ContextBuilder::new().build().unwrap();

let neg_one = ctx.binary(8, -1_i8);
assert_eq!(ctx.display(neg_one).to_string(), "#b11111111");

let x = ctx.get_u8(neg_one).unwrap();
assert_eq!(x, 0xff);

Variants

Atom(&'a str)

String(&'a str)

List(&'a [SExpr])

Trait Implementations

impl<'a> Debug for SExprData<'a>

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

Formats the value using the given formatter.

impl TryFrom<SExprData<'_>> for u128

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u16

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u32

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u64

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for u8

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.

impl TryFrom<SExprData<'_>> for usize

type Error = IntFromSExprError

The type returned in the event of a conversion error.

fn try_from(value: SExprData<'_>) -> Result<Self, Self::Error>

Performs the conversion.