Enum cbork_cddl_parser::cddl::Rule

pub enum Rule {
    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,
}

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

impl Rule

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

Trait Implementations

impl Clone for Rule

fn clone(&self) -> Rule

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for Rule

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

Formats the value using the given formatter.

impl Hash for Rule

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 Ord for Rule

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

This method returns an Ordering between self and other.

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

where Self: Sized,

Compares and returns the maximum of two values.

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

where Self: Sized,

Compares and returns the minimum of two values.

fn clamp(self, min: Self, max: Self) -> Self

where Self: Sized + PartialOrd,

Restrict a value to a certain interval.

impl Parser<Rule> for RFC8610Parser

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

Parses a &str starting from rule.

impl PartialEq for Rule

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

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

This method returns an ordering between self and other values if one exists.

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

Tests less than (for self and other) and is used by the < operator.

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

Tests less than or equal to (for self and other) and is used by the <= operator.

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

Tests greater than (for self and other) and is used by the > operator.

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

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

impl Copy for Rule

impl Eq for Rule

impl StructuralPartialEq for Rule