m2isar.metamodel.attribute_info

Classes

`MemoryAttribute`	Generic enumeration.
`RegisterAttribute`	Generic enumeration.
`FunctionAttribute`	Generic enumeration.
`FunctionThrows`	Enum where members are also (and must be) ints
`ConstAttribute`	Generic enumeration.
`InstrAttribute`	Generic enumeration.
`AccessAttribute`	Describes the staticness of a Scalar or Function
`AccessContext`	A datakeeping class to track access of Varibles.
`Qualifier`	Support for integer-based Flags

Module Contents

class MemoryAttribute[source]

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

IS_MAIN_MEM[source]

IS_CSR_REG[source]

DELETE[source]

ETISS_CAN_FAIL[source]

ETISS_IS_GLOBAL_IRQ_EN[source]

ETISS_IS_IRQ_EN[source]

ETISS_IS_IRQ_PENDING[source]

ETISS_IS_PROCNO[source]

class RegisterAttribute[source]

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

IS_PC[source]

IS_MAIN_REG[source]

IS_FLOAT_REG[source]

IS_VECTOR_REG[source]

class FunctionAttribute[source]

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

ETISS_STATICFN[source]

ETISS_NEEDS_ARCH[source]

ETISS_TRAP_ENTRY_FN[source]

ETISS_TRAP_TRANSLATE_FN[source]

class FunctionThrows[source]

Bases: enum.IntEnum

Enum where members are also (and must be) ints

NO = 0[source]

YES = 1[source]

MAYBE = 2[source]

class ConstAttribute[source]

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

IS_REG_WIDTH[source]

IS_ADDR_WIDTH[source]

class InstrAttribute[source]

Bases: enum.Enum

Generic enumeration.

Derive from this class to define new enumerations.

NO_CONT[source]

COND[source]

FLUSH[source]

SIM_EXIT[source]

ENABLE[source]

ETISS_ERROR_INSTRUCTION[source]

class AccessAttribute[source]

Bases: enum.IntFlag

Describes the staticness of a Scalar or Function

NONE = 0[source]

READ[source]

WRITE[source]

RW[source]

class AccessContext[source]

A datakeeping class to track access of Varibles. Important in JIT compilation to know if depictable as a static element

access_is_static: AccessAttribute[source]

class Qualifier[source]

Bases: enum.IntFlag

Support for integer-based Flags

NONE = 0[source]

CONST[source]

STATIC[source]