m2isar.metamodel.type_info

This module contains helper data_type classes for modeling Symbol and data types for the architectural part of an M2-ISA-R model. The architectural part is anything but the functional behavior of functions and instructions.

Attributes

logger

Classes

`TypeKind`	Generic enumeration.
`PrimitiveType`
`BitFieldType`
`FloatType`
`ArrayType`
`PointerType`
`FunctionType`

Module Contents

logger[source]

class TypeKind[source]

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

NONE[source]

VOID[source]

UINT[source]

INT[source]

CHAR[source]

FLOAT[source]

STR[source]

property is_int[source]

property is_numeric[source]

property is_void[source]

property is_scalar[source]

property is_literal[source]

class PrimitiveType(kind: TypeKind, size: int)[source]

kind[source]

size[source]

__str__()[source]

class BitFieldType(kind: TypeKind)[source]

kind[source]

__str__()[source]

class FloatType(exponent: int, mantissa: int, size: int)[source]

exponent[source]

mantissa[source]

size[source]

__str__()[source]

class ArrayType(element_type: PrimitiveType | FloatType, length: int)[source]

element_type: PrimitiveType | FloatType[source]

length[source]

__str__()[source]

class PointerType[source]

ty: PrimitiveType | FloatType | ArrayType[source]

__str__()[source]

class FunctionType(size: int, kind: TypeKind)[source]

size: int[source]

kind: TypeKind[source]

__str__()[source]