Package ru.ispras.microtesk.mmu.model.spec
-
Interface Summary Interface Description MmuSubsystem.Holder TheMmuSubsystem.Holder
interface must be implemented by classes generated by the MMU translator which hold MMU specifications. -
Class Summary Class Description MmuAction MmuAction
describes an action, i.e.MmuAddressInstance MmuAddressInstance
describes an address, i.e.MmuAddressViewBuilder MmuAddressViewBuilder
implements an address view builder.MmuBinding MmuBinding
describes an assignment, i.e.MmuBuffer MmuBuffer
represents an MMU buffer.MmuBufferAccess MmuBufferAccess
represents an MMU buffer access.MmuDynamicConst TheMmuDynamicConst
class implements a dynamic constant that describes a bit vector of the specified size.MmuEntry MmuGuard MmuGuard
represents a guard, i.e.MmuOperation MmuProgram MmuProgram
represents a system of transitions.MmuProgram.Builder MmuSegment MmuSegment
represents a virtual memory segment (address space).MmuStruct TheMmuStruct
class describes a variable represented by a structure (a list ofVariable
objects).MmuSubsystem MmuSubsystem
describes a memory management unit (MMU).MmuSubsystem.Builder MmuTransition MmuTransition
represents a transition, which is a link between twoMmuAction
. -
Enum Summary Enum Description MmuBuffer.Kind Describes buffer type.