Struct SmtString

pub struct SmtString { /* private fields */ }

Internal representation of an SMT string

• s = a vector of SMT character. Each character is a 32bit unsigned integer
• maximal length = 2^31-1

Implementations

impl SmtString

pub fn is_good(&self) -> bool

Check whether this is a good string

pub fn is_unicode(&self) -> bool

Check whether all SMT chars are valid unicode

pub fn to_unicode_string(&self) -> String

Convert to a regular string

• any char that’s not a valid unicode code point is replaced by U+FFFD

pub fn len(&self) -> usize

Get the length

pub fn is_empty(&self) -> bool

Check whether the string is empty

pub fn char(&self, i: usize) -> u32

Get character at index i. panic if i is out of range

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

Iterator

Trait Implementations

impl AsRef<[u32]> for SmtString

fn as_ref(&self) -> &[u32]

Converts this type into a shared reference of the (usually inferred) input type.

impl Clone for SmtString

fn clone(&self) -> SmtString

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for SmtString

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

Formats the value using the given formatter.

impl Display for SmtString

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

Formats the value using the given formatter.

impl From<&[u32]> for SmtString

Construct an SmtString from a slice or array of integers.

Any element of a not in the range [0, 0x2ffff] is replaced by 0xfffd.

Example

use aws_smt_strings::smt_strings::*;

assert_eq!(SmtString::from(&[97, 98, 99]), SmtString::from("abc"));

fn from(a: &[u32]) -> Self

Converts to this type from the input type.

impl<const N: usize> From<&[u32; N]> for SmtString

fn from(a: &[u32; N]) -> Self

Converts to this type from the input type.

impl From<&str> for SmtString

Construct an SmtString from a UTF8 string x

Example

use aws_smt_strings::smt_strings::*;

assert_eq!(SmtString::from(""), EMPTY);
assert_eq!(SmtString::from("\u{0331}"), SmtString::from(0x331));

fn from(x: &str) -> Self

Converts to this type from the input type.

impl From<String> for SmtString

fn from(x: String) -> Self

Converts to this type from the input type.

impl From<Vec<u32>> for SmtString

fn from(a: Vec<u32>) -> Self

Converts to this type from the input type.

impl From<char> for SmtString

Construct a single-character string from character x.

fn from(x: char) -> SmtString

Converts to this type from the input type.

impl From<u32> for SmtString

Construct a single-character string from integer x.

Convert x to 0xfffd if it’s not a valid character (i.e., if x is not in the range [0, 0x2ffff])

fn from(x: u32) -> Self

Converts to this type from the input type.

impl Hash for SmtString

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.

impl PartialEq for SmtString

fn eq(&self, other: &SmtString) -> 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 SmtString

impl StructuralPartialEq for SmtString