Enum cbork_cddl_parser::rfc_8610::Rule

source ·
pub enum Rule {
Show 55 variants EOI, cddl, rule, typename, groupname, assignt, assigng, genericparm, genericarg, type, type1, type2, rangeop, ctlop, group, grpchoice, grpent, memberkey, bareword, optcom, occur, value, number, hexfloat, intfloat, fraction, exponent, int, uint, text, bytes, bytes_hex, bytes_b64, bytes_text, id, group_socket, type_socket, name, HEX_PAIR, URL_BASE64, S, WHITESPACE, COMMENT, URL_BASE64_ALPHA, URL_BASE64_PAD, NAME_START, NAME_END, PCHAR, SCHAR, BCHAR, SESC, ASCII_VISIBLE, SCHAR_ASCII_VISIBLE, BCHAR_ASCII_VISIBLE, UNICODE_CHAR,
}
Expand description

CDDL Grammar adapted from RFC8610 Appendix B https://www.rfc-editor.org/rfc/rfc8610#appendix-B

Variants§

§

EOI

End-of-input

§

cddl

§

rule

§

typename

§

groupname

§

assignt

§

assigng

§

genericparm

§

genericarg

§

type

§

type1

§

type2

§

rangeop

§

ctlop

§

group

§

grpchoice

§

grpent

§

memberkey

§

bareword

§

optcom

Optional Comma - Note eligible for producing pairs as this might be useful for linting

§

occur

§

value

All Literal Values

§

number

Literal Numbers - A float if it has fraction or exponent; int otherwise

§

hexfloat

Hex floats of the form -0x123.abc0p+12

§

intfloat

Ints or Int floats

§

fraction

Fractional part of a number

§

exponent

Exponent for a number

§

int

All integers, singed and unsigned

§

uint

Unsigned Integers

§

text

Literal Text

§

bytes

Literal Bytes.

§

bytes_hex

§

bytes_b64

§

bytes_text

§

id

identifier, called the name in the CDDL spec.

§

group_socket

Special form of a name that represents a Group Socket.

§

type_socket

Special form of a name that represents a Type Socket.

§

name

General form of a name.

§

HEX_PAIR

A pair of hex digits. (Must always have even numbers of hex digits.)

§

URL_BASE64

Whitespace is allowed and is ignored. This token will keep the whitespace, so it will need to handled when converted to binary.

§

S

§

WHITESPACE

§

COMMENT

§

URL_BASE64_ALPHA

§

URL_BASE64_PAD

§

NAME_START

A name can start with an alphabetic character (including “@”, “”, “$”) The body of the name can consist of any of the characters from the set {“A” to “Z”, “a” to “z”, “0” to “9”, “”, “-”, “@”, “.”, “$”}

§

NAME_END

A name can end with an alphabetic character (including “@”, “_”, “$”) or a digit.

§

PCHAR

All Visible characters.

§

SCHAR

The set of characters valid for a text string.

§

BCHAR

The set of characters valid for a byte string.

§

SESC

Escaping code to allow invalid characters to be used in text or byte strings.

§

ASCII_VISIBLE

All Visible Ascii characters.

§

SCHAR_ASCII_VISIBLE

Ascii subset valid for text strings.

§

BCHAR_ASCII_VISIBLE

Ascii subset valid for byte text strings.

§

UNICODE_CHAR

Valid non ascii unicode Characters

Implementations§

source§

impl Rule

source

pub fn all_rules() -> &'static [Rule]

Trait Implementations§

source§

impl Clone for Rule

source§

fn clone(&self) -> Rule

Returns a copy of the value. Read more
1.0.0 · source§

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

Performs copy-assignment from source. Read more
source§

impl Debug for Rule

source§

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

Formats the value using the given formatter. Read more
source§

impl Hash for Rule

source§

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

Feeds this value into the given Hasher. Read more
1.3.0 · source§

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

Feeds a slice of this type into the given Hasher. Read more
source§

impl Ord for Rule

source§

fn cmp(&self, other: &Rule) -> Ordering

This method returns an Ordering between self and other. Read more
1.21.0 · source§

fn max(self, other: Self) -> Self
where Self: Sized,

Compares and returns the maximum of two values. Read more
1.21.0 · source§

fn min(self, other: Self) -> Self
where Self: Sized,

Compares and returns the minimum of two values. Read more
1.50.0 · source§

fn clamp(self, min: Self, max: Self) -> Self
where Self: Sized + PartialOrd,

Restrict a value to a certain interval. Read more
source§

impl Parser<Rule> for RFC8610Parser

source§

fn parse<'i>(rule: Rule, input: &'i str) -> Result<Pairs<'i, Rule>, Error<Rule>>

Parses a &str starting from rule.
source§

impl PartialEq for Rule

source§

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

Tests for self and other values to be equal, and is used by ==.
1.0.0 · source§

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.
source§

impl PartialOrd for Rule

source§

fn partial_cmp(&self, other: &Rule) -> Option<Ordering>

This method returns an ordering between self and other values if one exists. Read more
1.0.0 · source§

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

Tests less than (for self and other) and is used by the < operator. Read more
1.0.0 · source§

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

Tests less than or equal to (for self and other) and is used by the <= operator. Read more
1.0.0 · source§

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

Tests greater than (for self and other) and is used by the > operator. Read more
1.0.0 · source§

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

Tests greater than or equal to (for self and other) and is used by the >= operator. Read more
source§

impl Copy for Rule

source§

impl Eq for Rule

source§

impl StructuralPartialEq for Rule

Auto Trait Implementations§

§

impl Freeze for Rule

§

impl RefUnwindSafe for Rule

§

impl Send for Rule

§

impl Sync for Rule

§

impl Unpin for Rule

§

impl UnwindSafe for Rule

Blanket Implementations§

source§

impl<T> Any for T
where T: 'static + ?Sized,

source§

fn type_id(&self) -> TypeId

Gets the TypeId of self. Read more
source§

impl<T> Borrow<T> for T
where T: ?Sized,

source§

fn borrow(&self) -> &T

Immutably borrows from an owned value. Read more
source§

impl<T> BorrowMut<T> for T
where T: ?Sized,

source§

fn borrow_mut(&mut self) -> &mut T

Mutably borrows from an owned value. Read more
source§

impl<T> CloneToUninit for T
where T: Clone,

source§

unsafe fn clone_to_uninit(&self, dst: *mut T)

🔬This is a nightly-only experimental API. (clone_to_uninit)
Performs copy-assignment from self to dst. Read more
source§

impl<T> From<T> for T

source§

fn from(t: T) -> T

Returns the argument unchanged.

source§

impl<T, U> Into<U> for T
where U: From<T>,

source§

fn into(self) -> U

Calls U::from(self).

That is, this conversion is whatever the implementation of From<T> for U chooses to do.

source§

impl<T> ToOwned for T
where T: Clone,

source§

type Owned = T

The resulting type after obtaining ownership.
source§

fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more
source§

fn clone_into(&self, target: &mut T)

Uses borrowed data to replace owned data, usually by cloning. Read more
source§

impl<T, U> TryFrom<U> for T
where U: Into<T>,

source§

type Error = Infallible

The type returned in the event of a conversion error.
source§

fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

Performs the conversion.
source§

impl<T, U> TryInto<U> for T
where U: TryFrom<T>,

source§

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.
source§

fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Performs the conversion.
source§

impl<T> RuleType for T
where T: Copy + Debug + Eq + Hash + Ord,