Data Types¶

The yace data types consists of:

No type: Void, VoidPtr
Boolean: Bool
Textual: Char
Size types: USize / ISize
Integers (Signed)
- I, I16, IShort, I8
- ILongLong, I64, ILong, I32
Integers (Unsigned)
- U, U16, UShort, U8
- ULongLong, U64, ULong, U32
Floating Point: F32, F64

Conventions¶

A specialized Typespec should only update attribute-values, that is, not introduce new attributes
A specialized Typespec should only set attributes which have values different than the default.

Their Yace IR follows below.

class yace.ir.datatypes.Array(*, key: str = 'array_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = True, array_typ: ~yace.ir.datatypes.Typespec, array_length: int | None)¶

Fixed-length arrays

array: bool¶

array_length: int | None¶

array_typ: Typespec¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class yace.ir.datatypes.Bool(*, key: str = 'bool_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = True, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int = 8, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

A boolean, at least 8 bits wide

Equivalent to the C99 “_Bool” and available as “bool” as defined by the standardized “stdbool.h” header.

A C emitter could produce:

# In C99
_Bool

Or, using <stdbool.h>:

bool

for the Bool entity.

boolean: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

width: int¶

class yace.ir.datatypes.CString(*, key: str = 'string_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = True, static: bool = False, pointer: bool = True, pointee: ~yace.ir.datatypes.Typespec = Char(key='char_tspec', ant={}, canonical='', void=False, boolean=False, character=True, size=False, integer=False, real=False, signed=True, unsigned=False, width=8, width_fixed=False, union=False, struct=False, enum=False, sym=None, const=False, static=False, pointer=False, pointee=None, array=False, array_typ=None, array_length=0), array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

A string pointer

The C emitter produces:

const char *

for the String entity.

const: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

pointee: Typespec¶

pointer: bool¶

class yace.ir.datatypes.Char(*, key: str = 'char_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = True, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int = 8, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

A character; at least 8 bits wide.

The C API emitter could produce:

char

for the Char entity.

character: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int¶

class yace.ir.datatypes.Enumeration(*, key: str = 'enum_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Elaborated / Enum / Enumeration

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class yace.ir.datatypes.F32(*, key: str = 'f32_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = True, signed: bool = True, unsigned: bool = False, width: int = 32, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Floating point numerical value, possibly 32 bits wide

The C language spec. does not define the width to be exact. However, we treat it as though it is, and error if it is not.

A C emitter could produce:

float

for the F32 entity.

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

real: bool¶

width: int¶

width_fixed: bool¶

class yace.ir.datatypes.F64(*, key: str = 'f64_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = True, signed: bool = True, unsigned: bool = False, width: int = 64, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Floating point numerical value, possibly 64 bits wide

The C language spec. does not define the width to be exact. However, we treat it as though it is, and error if it is not.

A C emitter could produce:

double

for the F64 entity.

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

real: bool¶

width: int¶

class yace.ir.datatypes.FunctionPointer(*, key: str = 'function_pointer_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = True, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Function pointer

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

pointer: bool¶

class yace.ir.datatypes.I(*, key: str = 'i_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int = 16, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer at least 16 bits wide.

Historically, the int matched the bit-width of the processor when C came out in the early days on “ANSI” C / K&R. That is, 16bit processors.

Thus, the short/long/long/long are “modifiers” of this base-type, although the width on a 64bit system today is often 32bit for this type.

The C emitter can produce:

int

for the I entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int¶

class yace.ir.datatypes.I16(*, key: str = 'i16_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = 16, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer exactly 16 bits wide.

A C emitter could produce:

int16_t

for the I16 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.I32(*, key: str = 'i32_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int = 32, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer exactly 32 bits wide.

A C emitter could produce:

int32_t

for the I32 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int¶

width_fixed: bool¶

class yace.ir.datatypes.I64(*, key: str = 'i64_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = 64, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer exactly 64 bits wide.

A C emitter could produce:

int64_t

for the I64 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.I8(*, key: str = 'i8_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int = 8, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer exactly 8 bits wide.

A C emitter could for example produce:

int8_t

for the I8 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int¶

width_fixed: bool¶

class yace.ir.datatypes.ILong(*, key: str = 'il_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = 32, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer at least 32 bits wide.

The C emitter produces:

long int

for the ILong entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.ILongLong(*, key: str = 'ill_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = 64, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer at least 64 bits wide.

A C emitter could produce:

long long int

for the ILongLong entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.IShort(*, key: str = 'ih_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = 8, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed integer at least 8 bits wide.

This is also known as a “short” int, as it is relative to “Int” shorter, typically, half the amount of bits.

The C emitter can produce:

short int

for the IHalf entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.ISize(*, key: str = 'isize_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = True, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = 16, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Signed Size-type

The C API emitter could produce:

ssize_t

for the ISize entity.

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

size: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.Pointer(*, key: str = 'pointer_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = True, pointee: ~yace.ir.datatypes.Typespec, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

pointee: Typespec¶

pointer: bool¶

class yace.ir.datatypes.Record(*, key: str = 'record_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Record; struct, union or enum

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

class yace.ir.datatypes.Typed(*, typ: Typespec | Literal['array_tspec', 'bool_tspec', 'char_tspec', 'enum_tspec', 'f32_tspec', 'f64_tspec', 'function_pointer_tspec', 'i16_tspec', 'i32_tspec', 'i64_tspec', 'i8_tspec', 'i_tspec', 'ih_tspec', 'il_tspec', 'ill_tspec', 'isize_tspec', 'pointer_tspec', 'record_tspec', 'string_tspec', 'u16_tspec', 'u32_tspec', 'u64_tspec', 'u8_tspec', 'u_tspec', 'ul_tspec', 'ull_tspec', 'us_tspec', 'usize_tspec', 'void_pointer_tspec', 'void_tspec'])¶

Attribute-mixin; adding a reqried “has-a” relation to Typespec

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

typ: Typespec | Literal['array_tspec', 'bool_tspec', 'char_tspec', 'enum_tspec', 'f32_tspec', 'f64_tspec', 'function_pointer_tspec', 'i16_tspec', 'i32_tspec', 'i64_tspec', 'i8_tspec', 'i_tspec', 'ih_tspec', 'il_tspec', 'ill_tspec', 'isize_tspec', 'pointer_tspec', 'record_tspec', 'string_tspec', 'u16_tspec', 'u32_tspec', 'u64_tspec', 'u8_tspec', 'u_tspec', 'ul_tspec', 'ull_tspec', 'us_tspec', 'usize_tspec', 'void_pointer_tspec', 'void_tspec']¶

class yace.ir.datatypes.Typespec(*, key: str, ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

All entities is-a Entity

array: bool¶

array_length: int¶

array_typ: Typespec | None¶

boolean: bool¶

c_spelling()¶: Construct the C spelling This should produce the same as a concatenation of tokens.

canonical: str¶

character: bool¶

classmethod check_signage(values)¶

const: bool¶

enum: bool¶

integer: bool¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

pointee: Typespec | None¶

pointer: bool¶

real: bool¶

signed: bool¶

size: bool¶

static: bool¶

struct: bool¶

sym: str | None¶

union: bool¶

unsigned: bool¶

void: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.U(*, key: str = 'u_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 16, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer at least 16 bits wide.

The C emitter can produce:

unsigned int

for the U entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.U16(*, key: str = 'u16_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 16, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer exactly 16 bits wide.

A C emitter could produce:

uint16_t

for the U16 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.U32(*, key: str = 'u32_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 32, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer exactly 32 bits wide.

A C emitter could produce:

uint32_t

for the U32 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.U64(*, key: str = 'u64_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 64, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer exactly 64 bits wide.

A C emitter could produce:

uint64_t

for the U64 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.U8(*, key: str = 'u8_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 8, width_fixed: bool = True, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer exactly 8 bits wide.

A C emitter could produce:

uint8_t

for the U8 entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

width_fixed: bool¶

class yace.ir.datatypes.ULong(*, key: str = 'ul_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 32, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer at least 32 bits wide.

A C emitter could produce:

unsigned long int

for the ULong entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.ULongLong(*, key: str = 'ull_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 64, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer at least 64 bits wide.

A C emitter could produce:

unsigned long long int

for the ULongLong entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.UShort(*, key: str = 'us_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = True, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 8, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned integer at least 8 bits wide.

This is also known as a “short” int, as it is relative to “Int” shorter, typically, half the amount of bits.

A C emitter could produce:

unsigned short int

for the UShort entity.

integer: bool¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.USize(*, key: str = 'usize_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool = False, boolean: bool = False, character: bool = False, size: bool = True, integer: bool = False, real: bool = False, signed: bool = False, unsigned: bool = True, width: int | None = 16, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

Unsigned Size-type

A C emitter could produce:

size_t

for the USize entity.

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

signed: bool¶

size: bool¶

unsigned: bool¶

width: int | None¶

class yace.ir.datatypes.Void(*, key: str = 'void_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool | None = True, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0)¶

A void, that is, the type signaling no type

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

void: bool | None¶

class yace.ir.datatypes.VoidPtr(*, key: str = 'void_pointer_tspec', ant: dict | None = <factory>, canonical: str = '', void: bool | None = True, boolean: bool = False, character: bool = False, size: bool = False, integer: bool = False, real: bool = False, signed: bool = True, unsigned: bool = False, width: int | None = None, width_fixed: bool = False, union: bool = False, struct: bool = False, enum: bool = False, sym: str | None = None, const: bool = False, static: bool = False, pointer: bool = False, pointee: ~yace.ir.datatypes.Typespec | None = None, array: bool = False, array_typ: ~yace.ir.datatypes.Typespec | None = None, array_length: int = 0, is_pointer: int = 1)¶

A void-pointer, that is, point to anything (including nothing)

is_pointer: int¶

key: str¶

model_config: ClassVar[ConfigDict] = {}¶: Configuration for the model, should be a dictionary conforming to [ConfigDict][pydantic.config.ConfigDict].

void: bool | None¶

yace.ir.datatypes.classes()¶: Return all datatype classes

yace.ir.datatypes.classes_shorthand_data()¶: Returns a map of shorthands to non-default datatype data

yace.ir.datatypes.get_shorthand_to_cls()¶