Enum rasn_compiler::intermediate::constraints::Constraint

pub enum Constraint {
    SubtypeConstraint(ElementSet),
    TableConstraint(TableConstraint),
    Parameter(Vec<Parameter>),
}

Variants

SubtypeConstraint(ElementSet)

TableConstraint(TableConstraint)

Parameter(Vec<Parameter>)

Implementations

impl Constraint

pub fn integer_constraints(&self) -> IntegerType

Returns the type of integer that should be used in a representation when applying the Constraint

Example

pub fn unpack_as_value_range( &self ) -> Result<(&Option<ASN1Value>, &Option<ASN1Value>, bool), GrammarError>

pub fn unpack_as_strict_value(&self) -> Result<(&ASN1Value, bool), GrammarError>

Trait Implementations

impl Clone for Constraint

fn clone(&self) -> Constraint

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Constraint

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

Formats the value using the given formatter.

impl From<Constraint> for SubtypeElement

fn from(value: Constraint) -> Self

Converts to this type from the input type.

impl PartialEq for Constraint

fn eq(&self, other: &Constraint) -> 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 TryFrom<&Constraint> for PerVisibleRangeConstraints

type Error = GrammarError

The type returned in the event of a conversion error.

fn try_from( value: &Constraint ) -> Result<PerVisibleRangeConstraints, Self::Error>

Performs the conversion.

impl StructuralPartialEq for Constraint