Struct Builtin 

pub struct Builtin {
    pub set: BuiltinSet,
    pub longs: u8,
    pub width: Option<ExprId>,
}

The keywords naming a built-in type, as the multiset that was written.

Kept rather than resolved, because the parser reads one keyword at a time and cannot tell what long will turn out to mean until the specifier list ends. Builtin::add catches a keyword written twice, at the place it is written, and Builtin::resolve catches a combination that names no type once there are no more keywords coming.

Fields

set: BuiltinSet

Which keywords were written.

longs: u8

How many times long was written, since it is the one that may repeat.

width: Option<ExprId>

The width of the _BitInt, for the one keyword here that takes one.

Implementations

impl Builtin

pub const NONE: Builtin

Nothing written yet.

pub const fn add(self, which: BuiltinSet) -> Result<Builtin, BuiltinError>

This with one more keyword.

long is the only keyword that may be written twice, so everything else is a duplicate the second time and is reported at the keyword rather than at the end of the specifier list, which is where the second half of the checking happens.

Errors

BuiltinError::Duplicate for a repeat, and BuiltinError::TooManyLongs for a third long.

pub const fn add_bit_int(self, width: ExprId) -> Result<Builtin, BuiltinError>

This with _BitInt(width) written into it.

The width is the one thing a type keyword carries, and it is kept here rather than in a specifier of its own so that unsigned _BitInt(8) and _BitInt(8) unsigned are the same declaration, which is what they are: a sign and a width may be written either way round, and neither of them names a type on its own.

Errors

BuiltinError::Duplicate when _BitInt was already written.

pub const fn is_none(self) -> bool

Whether any built-in keyword has been written.

pub fn resolve(self) -> Option<Basic>

The type this combination of keywords names, and None if it names no type.

The table is the one in 6.7.2 plus the GNU and C23 rows: _Complex and _Imaginary on the floating types, _Complex on the integer ones which GCC also allows, __int128 with a sign, and the _FloatN and _DecimalN families which stand alone.

Trait Implementations

impl Clone for Builtin

fn clone(&self) -> Builtin

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Copy for Builtin

impl Debug for Builtin

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

Formats the value using the given formatter.

impl Default for Builtin

fn default() -> Builtin

Returns the “default value” for a type.

impl Eq for Builtin

impl PartialEq for Builtin

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for Builtin