Enum cwe_checker_lib::abstract_domain::CharacterSet

pub enum CharacterSet {
    Top,
    Value(BTreeSet<char>),
}

A domain that represents character sets.

Variants

Top

The Top value represents a character set of all allowed characters.

Value(BTreeSet<char>)

Represents a real subset of all allowed characters.

Implementations

impl CharacterSet

pub fn unwrap_value(&self) -> BTreeSet<char>

Unwraps the values from the CharacterSet

pub fn intersection(&self, other: Self) -> Self

Takes the intersection of two character sets. None of the sets should be Top since otherwise the whole CharacterInclusionDomain would be Top which is checked beforehand.

pub fn union(&self, other: Self) -> Self

Takes the union of two character sets. If either of them is Top the union is Top. Otherwise the standard set union is taken.

Trait Implementations

impl Clone for CharacterSet

fn clone(&self) -> CharacterSet

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for CharacterSet

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for CharacterSet

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl Display for CharacterSet

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

Formats the value using the given formatter.

impl HasTop for CharacterSet

fn top(&self) -> Self

Return a Top value

impl PartialEq for CharacterSet

fn eq(&self, other: &CharacterSet) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Serialize for CharacterSet

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for CharacterSet

impl StructuralEq for CharacterSet

impl StructuralPartialEq for CharacterSet