Enum binjs::meta::spec::TypeSpec

pub enum TypeSpec {
    Array {
        contents: Box<Type>,
        supports_empty: bool,
    },
    NamedType(NodeName),
    TypeSum(TypeSum),
    Boolean,
    String,
    Number,
    UnsignedLong,
    Offset,
    Void,
    IdentifierName,
    PropertyKey,
}

The contents of a type, typically that of a field.

Note that we generally use Type, to represent the fact that some fields accept null while others do not.

Variants

Array

An array of values of the same type.

Fields of Array

contents: Box<Type>

The type of values in the array.

supports_empty: bool

If true, the array may be empty.

NamedType(NodeName)

TypeSum(TypeSum)

Boolean

A boolean.

String

A string.

Number

A number, as per JavaScript specifications.

UnsignedLong

Offset

A number of bytes in the binary file.

This spec is used only internally, as a hidden field injected by deanonymization, to represent lazy fields.

Void

Nothing.

For the moment, this spec is used only internally.

IdentifierName

A string used to represent something bound in a scope (i.e. a variable, but not a property). At this level, we make no distinction between Identifier and IdentifierName.

Actually maps to a subset of IdentifierName in webidl.

PropertyKey

A key for a property. For the time being, we make no distinction between variants such as LiteralPropertyName and IdentifierName-as-property-keys.

Methods

impl TypeSpec

pub fn array(self) -> Type

pub fn non_empty_array(self) -> Type

pub fn optional(self) -> Option<Type>

pub fn required(self) -> Type

pub fn typenames(&'a self) -> HashSet<&'a NodeName, RandomState>

pub fn get_primitive(&self, spec: &Spec) -> Option<IsNullable<Primitive>>

Trait Implementations

impl Clone for TypeSpec

fn clone(&self) -> TypeSpec

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for TypeSpec

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

Formats the value using the given formatter.

impl Eq for TypeSpec

impl HasInterfaces for TypeSpec

fn get_interface(&self, spec: &Spec, name: &NodeName) -> Option<Rc<Interface>>

impl PartialEq<TypeSpec> for TypeSpec

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

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

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

This method tests for !=.

impl Pick for TypeSpec

fn random<T>(&self, syntax: &Spec, rng: &mut T, depth_limit: isize) -> Value where
    T: Rng, 

impl StructuralEq for TypeSpec

impl StructuralPartialEq for TypeSpec