All Classes Interface Summary Class Summary Enum Summary Exception Summary
Class |
Description |
AbstractCall |
|
AbstractCallBuilder |
|
AbstractSequence |
|
AbstractSequence.Builder |
|
AbstractSettings |
|
AbstractSettingsParser<T extends AbstractSettings> |
|
AbstractStorage |
|
Access |
Access describes an execution path of a memory access instruction.
|
AccessChooser |
|
AccessConstraints |
|
AccessConstraints.Builder |
|
AccessesIterator |
|
AccessesIterator.Mode |
|
AccessesIteratorExhaustive |
|
AccessesIteratorRandom |
|
AccessIterator |
AccessIterator implements a DFS-based iterator of memory access paths.
|
AccessIterator.Result |
|
AccessPath |
AccessPath represents an execution path of a memory access instruction.
|
AccessPath.Builder |
|
AccessPath.Entry |
|
AccessPath.Entry.Kind |
|
AccessSettings |
|
AccessSettingsParser |
|
Action |
|
Adapter |
The Adapter class adapts the program execution trace and writes it to file in JSON
format.
|
AdapterSettings |
|
Address<T> |
Address must be supported by all address classes.
|
Address |
|
AddressDataGenerator |
|
AddressingMode |
The AddressingMode interface describes an object that holds
information on the addressing mode that provided an access to the given location.
|
AddressingModeWrapper |
Wrapper class for addressing mode primitives that allows checking equality and calculating
hash code.
|
AddressObject |
|
AddressView<A> |
|
AdjacencyList<T> |
The AdjacencyList class is an implementation of list that facilitates
dealing with adjacent items.
|
AllocationData<T> |
|
AllocationSettings |
|
AllocationSettingsParser |
|
AllocationTable<T> |
AllocationTable implements a resource allocation table, which is a finite set of objects
(registers, pages, etc.) in couple with allocation / deallocation methods.
|
Allocator |
Allocator defines some resource allocation strategies.
|
AllocatorAction |
|
AllocatorAction.Kind |
|
AllocatorBuilder |
|
AllocatorEngine |
AllocatorEngine allocates addressing modes for a given abstract sequence.
|
AllPathsTemplate |
|
ArchitectureTemplate |
The ArchitectureTemplate class generates template for architecture validation.
|
Argument |
|
Argument.Kind |
|
ArgumentMode |
The ArgumentMode enumeration specifies how an argument of
an instructions or its primitives (addressing modes, operations, shortcuts)
is used (in, out, in/out).
|
ArgumentModeDetector |
|
ArkIrMemory |
|
ArkRecord |
The ArkRecord class describes Ark(Panda) Tracer log records.
|
Aspectracer |
The Aspectracer class is responsible for printing Aspectrace traces.
|
Atom |
|
Atom.Kind |
|
AtomExtractor |
|
Attribute |
|
Attribute |
The Attribute class describes an attribute of an nML primitive (OP or MODE).
|
Attribute.Kind |
|
AttributeRef |
|
AutoGenInstruction |
|
BaseInstruction |
The AutoGenInstruction abstract class for instructions used
in the template auto generation.
|
BaseTemplate |
|
BasicBlock |
|
BasicBlock.Origin |
|
Bias |
Bias represents a constraint bias (i.e.
|
BiasedConstraints<T> |
|
BiasedConstraints.Builder<T> |
|
BiasedConstraints.Entry<T> |
|
BiConsumer<T,U> |
|
BiFunction<T,U,R> |
|
BigIntegerUtils |
|
BinaryProgramReader |
|
BinaryReader |
|
BinaryWriter |
|
BinProgramReader |
|
BiPredicate<T,U> |
|
BitStream |
|
Block |
|
Block.Kind |
|
BlockBuilder |
|
BlockId |
The BlockId class describes unique identifiers for instruction call blocks.
|
BlockId.Distance |
The Distance class describe a distance between blocks.
|
BooleanOptionSettings |
|
BooleanOptionSettingsParser |
|
BooleanValuesSettings |
|
BooleanValuesSettings.Values |
|
BooleanValuesSettingsParser |
|
BoundaryValuesTemplate |
|
BranchDataGenerator |
BranchDataGenerator is a base class for test data generators
for conditional branch instructions.
|
BranchDetector |
|
BranchEngine |
BranchEngine implements a test engine that constructs test cases by enumerating
feasible execution traces of the bounded length.
|
BranchEntry |
BranchEntry represents a node of the internal representation of a branch structure.
|
BranchEntry.Type |
|
BranchExecution |
|
BranchExecutionIterator |
|
BranchInitializerMaker |
|
BranchStructureIterator |
BranchExecutionIterator implements an iterator of valid branch structures for given
branch instructions (conditional and unconditional jumps, procedures calls, etc.).
|
BranchStructureIterator.Flags |
|
BranchTrace |
BranchTrace represents an execution trace of a branch instruction.
|
BranchTraceIterator |
|
Buffer<E,A> |
Buffer represents a buffer that stores addressable entries.
|
Buffer |
|
BufferAccessEvent |
This enumeration contains types buffer access events.
|
BufferDependency |
|
BufferEventConstraint |
|
BufferEventsSettings |
|
BufferEventsSettings.Values |
|
BufferEventsSettingsParser |
|
BufferHazard |
|
BufferHazard.Instance |
|
BufferHazard.Type |
|
BufferInstanceProxy<E,A> |
|
BufferObserver |
BufferObserver provides information on a buffer without changing its state.
|
BufferPreparator |
The BufferPreparator describes instruction sequences to set up the state of MMU buffers.
|
BufferPreparatorBuilder |
|
BufferPreparatorStore |
|
BufferStateTracker<A extends java.lang.Number> |
|
BufferUnitedDependency |
|
BufferUnitedHazard |
BufferUnitedHazard represents a united buffer access hazard,
which combines information on hazards for a single buffer access.
|
CacheLine<E extends Struct<?>,A extends Address<?>> |
|
CachePolicy |
CachePolicy contains all cache-related policies including:
an eviction policy;
a write policy;
an inclusion policy;
a coherence policy.
|
CacheSet<E extends Struct<?>,A extends Address<?>> |
|
CacheUnit<E extends Struct<?>,A extends Address<?>> |
CacheUnit represents an abstract way-associative cache memory.
|
Callable |
|
Callgraph |
|
Code |
The Code class describes the organization of code sections to be simulated.
|
Code.Iterator |
|
Code2 |
The Code2 class describes the organization of code sections to be simulated.
|
Code2.Entry |
|
CodeAllocator |
|
CoherenceProtocol |
|
CoherenceProtocolId |
|
CoherenceProtocolNone |
|
CoherenceProtocolNone.State |
|
Combinator<T> |
|
CombinatorDiagonal<T> |
|
CombinatorPermutator<T> |
|
CombinatorProduct<T> |
|
CombinatorRandom<T> |
|
CompositeIterator<T> |
This class is a basic class for composite iterators (e.g., combinators or compositors).
|
Compositor<T> |
|
CompositorCatenation<T> |
|
CompositorNesting<T> |
|
CompositorOverlapping<T> |
|
CompositorRandom<T> |
|
CompositorRotation<T> |
|
ConcFlowPass |
|
ConcreteCall |
The ConcreteCall class describes an instruction call with fixed arguments
which can be simulated.
|
ConcreteEvent |
|
ConcreteSequence |
The ConcreteSequence class describes a test sequence, a symbolic test program (or a part
of a test program) that consists of concrete calls which can be simulated on the microprocessor
model or dumped to textual representation (assembler code).
|
ConcreteSequence.Builder |
|
Condition |
|
Condition.Type |
|
Config |
The Config class provides methods that read configuration files and create objects
they described.
|
ConfigurationException |
The ConfigurationException exception is thrown on an attempt
to address an entity that is not defined by the microprocessor model.
|
Constant |
|
Constant |
|
ConstantPropagator |
|
ConstraintFactory |
The ConstraintFactory class is used by test templates to
create memory-related constraints from Ruby code.
|
Consumer<T> |
|
ControlFlowInspector |
|
ControlFlowInspector.Range |
|
CoverageExtractor |
|
Data |
|
DataGenerator |
The DataGenerator class is responsible for generating data values
of the specified type using a set of provided methods.
|
DataManager |
The DataManager class create internal representation of data sections.
|
DataSection |
The DataSection class describes data sections defined in
test templates or created by engines.
|
DataSectionBuilder |
|
DataType |
This enumeration contains basic data types.
|
Decoder |
|
DecoderGenerator |
|
DecoderGroup |
|
DecoderItem |
|
DecoderResult |
|
DelaySlotSettings |
|
DelaySlotSettingsParser |
|
DependencyIterator |
|
DependencyIteratorExhaustive |
|
DependencyIteratorRandom |
|
DestructCssa |
Destruction of conventional SSA form.
|
Directive |
|
Directive.Kind |
Directive kind.
|
DirectiveAlign |
|
DirectiveAlignByte |
|
DirectiveAlignPower2 |
|
DirectiveComment |
|
DirectiveDataConst |
|
DirectiveDataValue |
|
DirectiveFactory |
DirectiveFactory implements a configurable factory for creating data directives.
|
DirectiveFactory.Builder |
|
DirectiveLabel |
|
DirectiveLabelGlobal |
|
DirectiveLabelWeak |
|
DirectiveOption |
|
DirectiveOrigin |
|
DirectiveOriginAbsolute |
|
DirectiveOriginRelative |
|
DirectiveOriginText |
|
DirectiveSpace |
|
DirectiveString |
|
DirectiveText |
|
DirectiveTypeInfo |
|
DirectiveZero |
|
Disassembler |
Disassembler is a class responsible for disassembling binary files.
|
Disassembler.Output |
|
Disassembler.OutputFactory |
|
DomTreeBuilder |
|
Element |
|
ElementPrinter |
|
ElfProgramReader |
|
Engine |
Engine defines an interface of abstract sequence processing engines.
|
EngineConfig |
|
EngineContext |
|
EngineParameter<T> |
|
EngineParameter.Option<T> |
|
EngineParameterInteger |
|
EngineUtils |
EngineUtils implements functions shared among test data generators.
|
EntryIdAllocator |
EntryIdAllocator implements an allocator of entry identifiers (indices) for
non-replaceable (non-transparent) buffers.
|
EntryObject |
|
EntryTracker |
EntryTracker tracks entries to be written to a memory-mapped buffer.
|
EnumSetSettings<T extends java.lang.Enum<T>> |
|
EnumSetSettingsParser<T extends java.lang.Enum<T>> |
|
ErrorReporter |
|
EvalContext |
|
EventElementPart |
The EventElementPart class reads RegEx from a JSON file to recognize the target part of
the event element.
|
EventElementPattern |
|
EventElementType |
The EventElementType enum describes event element types.
|
EventList |
The EventList class returns trace events one by one.
|
EventListReader |
|
EventListWriter |
|
EventRecognizer |
|
Events |
|
EventTemplate |
|
EventTemplateReader |
|
EventTransformer |
The EventList class returns trace events one by one.
|
EventType |
|
EvictionPolicyId |
|
ExceptionDetector |
|
ExceptionHandler |
The ExceptionHandler class holds template descriptions of
handers of certain exception types to be executed on certain processing
element instance.
|
ExceptionHandler.EntryPoint |
|
ExceptionHandlerBuilder |
|
ExcludeEnumSettingsParser<T extends java.lang.Enum<T>> |
|
ExcludeIntSettingsParser |
|
ExcludeSettings |
|
ExcludeSettings<T> |
|
ExcludeSettingsParser |
|
ExcludeSettingsParser<T> |
|
Execution |
The Execution class implements the execution environment.
|
Execution.InternalVariable |
|
ExecutionException |
|
Executor |
The role of the Executor class is to execute (simulate) instruction calls
(concrete calls).
|
Executor.Listener |
The Executor.Listener interface is to be implemented by classes that monitor
execution of instruction calls.
|
Executor.Status |
|
Expr |
|
ExprFactory |
|
ExprPrinter |
|
ExprPrinter |
|
ExprPrinter |
|
ExprReducer |
|
ExprReducer.Reduced |
Class for holding a reduced expression that is represented by the formula:
constant + polynomial, where constant is a constant integer value and
polynomial is expression that cannot be reduced any further.
|
ExprTransformer |
Class ExprTransformer transforms operations that involve shifts and
bit masks into concatenation-based expressions.
|
ExtensionSettings |
|
ExtensionSettingsParser |
|
ExtensionsSettings |
|
ExtensionsSettingsParser |
|
ExternalSource |
|
ExternalSource.Kind |
|
FilterIterable<T> |
|
FilterIterator<E> |
Decorates another Iterator using a predicate to filter elements.
|
FixedValue |
|
FloatX |
FloatX stores floating-point numbers of the specified precision.
|
FormatMarker |
The FormatMarker class provides facilities to identify markers within a format string.
|
FormatMarker.Kind |
|
FormulaBuilder |
|
FortressUtils |
|
ForwardPass |
|
Frame |
|
Function<T,R> |
|
GeneratedTemplate |
|
GenerationAbortedException |
|
Generator<T> |
|
Generator |
|
GeneratorAllPaths |
|
GeneratorBuilder<T> |
|
GeneratorC |
|
GeneratorCompositor<T> |
|
GeneratorConfig<T> |
|
GeneratorIterate<T> |
|
GeneratorNitems<T> |
|
GeneratorObfuscator<T> |
|
GeneratorPrologueEpilogue<T> |
|
GeneratorRandom<T> |
GeneratorRandom uses another randomly selected generator to generate instruction
sequences.
|
GeneratorRearranger<T> |
|
GeneratorSequence<T> |
|
GeneratorSettings |
|
GeneratorSettingsParser |
|
GeneratorUtils |
|
GlobalNumbering |
|
Graph |
Graph represents a memory subsystem's control flow graph (CFG).
|
Graph.Edge |
|
GraphAbstraction |
GraphAbstraction contains different abstractions for memory access path transitions.
|
GroupTemplate |
|
HierarchicalCollection<T> |
|
HierarchicalCollection.Kind |
|
HierarchicalMap<K,V> |
|
HierarchicalSet<T> |
|
Immediate |
Immediate is a primitive that describes immediate values.
|
Immediate.Info |
|
IncludeEnumSettingsParser<T extends java.lang.Enum<T>> |
|
IncludeIntSettingsParser |
|
IncludeSettings |
|
IncludeSettings<T> |
|
IncludeSettingsParser |
|
IncludeSettingsParser<T> |
|
InclusionPolicyId |
|
Indexer<A extends Address<?>> |
Indexer is a generic interface of a cache set indexer.
|
InitializerMaker |
|
InitializerMaker.Stage |
|
InitializerMakerDefault |
|
InlineNoAccess |
|
InlinePass |
|
InsnRewriter |
|
InsnVisitor |
|
Instance |
The Instance class describes a statically created instance of a MODE or OP.
|
InstanceArgument |
|
InstanceArgument.Kind |
|
Instruction |
|
Instruction.Assignment |
|
Instruction.Branch |
|
Instruction.Call |
|
Instruction.Concat |
|
Instruction.Conditional |
|
Instruction.Disclose |
|
Instruction.Exception |
|
Instruction.Extract |
|
Instruction.Invoke |
|
Instruction.Load |
|
Instruction.Return |
|
Instruction.Sext |
|
Instruction.Store |
|
Instruction.Terminator |
|
Instruction.Zext |
|
InstructionCall |
The InstructionCall class provides methods to run execution
simulation of some instruction within the processor model.
|
IntegerCast |
|
IntegerValuesSettings |
|
IntegerValuesSettingsParser |
|
Ir |
|
Ir |
|
IrInquirer |
|
IrMemory |
The IrMemory class contains the memory data to be loaded into the simulator's memory
|
IrProgram |
|
IrVisitor |
The IrVisitor interface is to be implemented by all visitor objects
applied to the IR of an ISA specification.
|
IrVisitorDefault |
|
IrWalker |
|
IrWalker.Direction |
|
IrWalkerFlow |
|
IrWalkerShortcuts |
|
IsaListing |
The IsaListing creates a list of a model operations and prints it out.
|
IsaPrimitive |
The IsaPrimitive class implements base functionality of addressing modes
and operations.
|
IsaPrimitiveBuilder |
The IsaPrimitiveBuilder class is responsible for creating and initializing
instances of nML primitives (addressing modes and operations).
|
IsaPrimitiveInfo |
|
IsaPrimitiveInfoAnd |
|
IsaPrimitiveInfoOr |
|
IsaPrimitiveKind |
Specifies the kind of the object described by the ISA primitive.
|
ISemanticError |
Base interface to be supported by all object describing semantic errors in the specification
detected by the translator.
|
Item |
|
IteratorEntry<T> |
This class represents an iterator entry that is used in some compositors.
|
JsonConfig |
|
Label |
The Label class labels some memory location with the provided identifier.
|
Label |
The Label class describes a label set in test templates and symbolic test programs.
|
Label.Kind |
|
LabelManager |
The role of the LabelManager class is resolving references to labels that have the same
names, but are defined in different blocks.
|
LabelManager.Target |
The LabelManager.Target class stores information about the target the specified label points to.
|
LabelReference |
|
LabelUniqualizer |
|
LabelUniqualizer.SeriesId |
|
LabelValue |
|
LazyValue |
|
LengauerTarjanDom<Node,Graph> |
|
LetConstant |
|
LetFactory |
|
LetLabel |
|
Lists |
|
Location |
|
Location |
|
Location.Bitfield |
|
LocationAccessor |
The LocationAccessor interface is used by the simulator to access data stored
in the specified location.
|
LocationFactory |
|
LocationManager |
The job of the LocationManager class is to save and restore values stored
in specific locations.
|
LocationSource |
|
LocationSourceMemory |
|
LocationSourcePrimitive |
|
LogEntry |
The LogEntry class stores information about a translation issue registered in the log.
|
LogEntry.Kind |
The enumeration describes categories of events or exceptions (usually a record is added
to the log due to a runtime exception) that can occur during translation.
|
LogStore |
A base interface for a log store class (the class that will store and process information about
events occurred during translation).
|
LogStoreConsole |
The simplest implementation of the LogStore interface, which posts messages to the
console (the "standard" error output stream).
|
LogStoreListener |
The LogStoreListener class is designed as a base class for classes that listen
to events posted to the log.
|
LogWriter |
The LogWriter is a helper class that provides facilities to post messages to the log.
|
Lvalue |
|
MapBuilder |
|
Mask |
The Mask class implements masks applied to bit vectors.
|
Matcher<E extends Struct<?>,A extends Address<?>> |
Matcher is a generic interface of a cache line matcher (hit checker).
|
Memory<E extends Struct<?>,A extends Address> |
|
Memory |
|
Memory |
|
Memory.Kind |
|
MemoryAccessContext |
|
MemoryAccessDetector |
|
MemoryAccessMode |
|
MemoryAccessStack |
|
MemoryAccessStack.Frame |
|
MemoryAccessStatus |
|
MemoryAccessType |
MemoryAccessType describes a memory access type, which is an operation (load or store) in
couple with a block size (byte, word, etc.).
|
MemoryAlias |
|
MemoryAlias.Kind |
|
MemoryAllocator |
The job of the MemoryAllocator class is to place data in the memory storage.
|
MemoryControlFlowExplorer |
|
MemoryDataGenerator |
|
MemoryDataType |
This enumeration contains basic data types.
|
MemoryDevice |
The MemoryDevice interface provides a unified access
to an abstract memory device, which can be implemented as a simple
data array or as a complex hierarchy of data buffers.
|
MemoryDeviceWrapper |
|
MemoryEngine |
MemoryEngine implements a test engine for memory management units (MMU).
|
MemoryEngineUtils |
|
MemoryFactory |
|
MemoryFactory |
|
MemoryFiles |
|
MemoryImageLoader |
|
MemoryImageLoader.Request |
|
MemoryInitializerMaker |
|
MemoryLoader |
The MemoryLoader class is implements loading of data from the file into the model's
memory.
|
MemoryObject |
|
MemoryObjectBuilder |
|
MemoryOperation |
|
MemoryPreparator |
|
MemoryPreparatorBuilder |
|
MemoryPreparatorStore |
|
MemoryRegion |
The MemoryRegion class contains information about memory region for loading and writing
data.
|
MemoryResource |
|
MemorySaver |
The MemorySaver class is implements saving model memory to a file
|
MemorySettings |
MemorySettings represents memory regions being accessed by test programs.
|
MemorySettingsParser |
|
MemoryStructure |
|
MemoryTracker |
|
MemoryTracker.Region |
|
MetaAddressingMode |
The MetaAddressingMode class holds information on the specified addressing mode.
|
MetaArgument |
The MetaArgument class describes arguments or addressing modes and operations.
|
MetaData |
The MetaData interface is a common interface to be implemented by metadata object.
|
MetaDataGenerator |
|
MetaDataUtils |
The MetaDataUtils class contains utility methods to deal with objects
implementing the MetaData interface.
|
MetaGroup |
The MetaGroup class describes a group of metadata items
such as addressing modes and operations.
|
MetaGroup.Kind |
Specifies the kind of stored items.
|
MetaLocationStore |
The MetaLocationStore class describes memory resources of the processor (as registers and memory
store locations).
|
MetaModel |
The MetaModel class stores information on the model and provides methods to access it.
|
MetaModelBuilder |
|
MetaModelPrinter |
TODO: port all code to the toString method of corresponding meta data objects.
|
MetaOperation |
The MetaOperation class stores information on the given operation.
|
MetaShortcut |
The MetaShortcut class describes a shortcut way to refer to an operation in some specific
context.
|
MicroTESK |
|
Mir2Node |
|
Mir2Node.AssignList |
|
MirArchive |
|
MirArchive.EntryLoadException |
|
MirBlock |
|
MirBuilder |
|
MirContext |
|
MirContext.Attribute |
|
MirContext.LocalInfo |
|
MirParser |
|
MirParser.LineFormatException |
|
MirPassDriver |
|
MirText |
|
MirTransHandler |
|
MirTy |
|
Mmu<A extends Address<?>> |
|
MmuAction |
|
MmuAddressInstance |
|
MmuAddressViewBuilder |
|
MmuBinding |
|
MmuBuffer |
|
MmuBuffer.Kind |
Describes buffer type.
|
MmuBufferAccess |
|
MmuDynamicConst |
The MmuDynamicConst class implements a dynamic constant that describes
a bit vector of the specified size.
|
MmuEntry |
|
MmuGuard |
|
MmuLanguageContext |
|
MmuLanguageContext.CheckResult |
|
MmuLexer |
|
MmuLexer_CommonLexer |
|
MmuMapping<E extends Struct<?>,A extends Address<?>> |
|
MmuModel |
MmuModel is a base class for all MMU models.
|
MmuOperation |
|
MmuParser |
|
MmuParser_CommonParser |
|
MmuParser_CommonParser.andBitExpr_return |
|
MmuParser_CommonParser.andLogicExpr_return |
|
MmuParser_CommonParser.argument_return |
|
MmuParser_CommonParser.atom_return |
|
MmuParser_CommonParser.attrExpr_return |
|
MmuParser_CommonParser.attributeCall_return |
|
MmuParser_CommonParser.attributeCallStatement_return |
|
MmuParser_CommonParser.attributeFormatCall_return |
|
MmuParser_CommonParser.bitFieldExpr_return |
|
MmuParser_CommonParser.comparisionExpr_return |
|
MmuParser_CommonParser.conditionalStatement_return |
|
MmuParser_CommonParser.constant_return |
|
MmuParser_CommonParser.elseExpr_return |
|
MmuParser_CommonParser.elseIfExpr_return |
|
MmuParser_CommonParser.elseIfStmt_return |
|
MmuParser_CommonParser.elseStmt_return |
|
MmuParser_CommonParser.expr_return |
|
MmuParser_CommonParser.formatId_return |
|
MmuParser_CommonParser.formatIdElseIf_return |
|
MmuParser_CommonParser.formatIdList_return |
|
MmuParser_CommonParser.functionCall_return |
|
MmuParser_CommonParser.functionCallStatement_return |
|
MmuParser_CommonParser.functionDecl_return |
|
MmuParser_CommonParser.ifExpr_return |
|
MmuParser_CommonParser.ifStmt_return |
|
MmuParser_CommonParser.instance_arg_return |
|
MmuParser_CommonParser.instance_arg2_return |
|
MmuParser_CommonParser.instance_return |
|
MmuParser_CommonParser.letConst_return |
|
MmuParser_CommonParser.location_return |
|
MmuParser_CommonParser.locationAtom_return |
|
MmuParser_CommonParser.locationExpr_return |
|
MmuParser_CommonParser.locationVal_return |
|
MmuParser_CommonParser.mathFunc_return |
|
MmuParser_CommonParser.mulExpr_return |
|
MmuParser_CommonParser.nonNumExpr_return |
|
MmuParser_CommonParser.numExpr_return |
|
MmuParser_CommonParser.orBitExpr_return |
|
MmuParser_CommonParser.orLogicExpr_return |
|
MmuParser_CommonParser.plusExpr_return |
|
MmuParser_CommonParser.powExpr_return |
|
MmuParser_CommonParser.relationExpr_return |
|
MmuParser_CommonParser.revision_return |
|
MmuParser_CommonParser.sequence_return |
|
MmuParser_CommonParser.shiftExpr_return |
|
MmuParser_CommonParser.statement_return |
|
MmuParser_CommonParser.typeCast_return |
|
MmuParser_CommonParser.typeExpr_return |
|
MmuParser_CommonParser.unaryExpr_return |
|
MmuParser_CommonParser.xorBitExpr_return |
|
MmuParser.address_return |
|
MmuParser.addressType_return |
|
MmuParser.addressValue_return |
|
MmuParser.buffer_return |
|
MmuParser.bufferId_return |
|
MmuParser.bufferParameter_return |
|
MmuParser.bufferParameterRev_return |
|
MmuParser.declaration_return |
|
MmuParser.declarationRev_return |
|
MmuParser.entry_return |
|
MmuParser.extern_return |
|
MmuParser.externExpr_return |
|
MmuParser.field_return |
|
MmuParser.fields_return |
|
MmuParser.funcBody_return |
|
MmuParser.funcHeader_return |
|
MmuParser.funcParams_return |
|
MmuParser.function_return |
|
MmuParser.index_return |
|
MmuParser.let_return |
|
MmuParser.localVars_return |
|
MmuParser.match_return |
|
MmuParser.mmu_return |
|
MmuParser.mmuFunction_return |
|
MmuParser.mmuVariable_return |
|
MmuParser.mmuVariableType_return |
|
MmuParser.nameType_return |
|
MmuParser.next_return |
|
MmuParser.operation_return |
|
MmuParser.policy_return |
|
MmuParser.range_return |
|
MmuParser.segment_return |
|
MmuParser.sets_return |
|
MmuParser.startRule_return |
|
MmuParser.struct_return |
|
MmuParser.typeRef_return |
|
MmuParser.ways_return |
|
MmuPlugin |
MmuPlugin is a MicroTESK plugin responsible for specifying and testing memory management
units (MMU) (address translation, caching, etc.).
|
MmuProgram |
|
MmuProgram.Builder |
|
MmuSegment |
MmuSegment represents a virtual memory segment (address space).
|
MmuSettings |
MmuSettings is the base class for the MMU test generator settings.
|
MmuSettingsParser |
|
MmuSettingsUtils |
|
MmuStruct |
The MmuStruct class describes a variable represented
by a structure (a list of Variable objects).
|
MmuSubsystem |
|
MmuSubsystem.Builder |
|
MmuSubsystem.Holder |
The MmuSubsystem.Holder interface must be implemented by classes generated
by the MMU translator which hold MMU specifications.
|
MmuSymbolKind |
|
MmuTransition |
|
MmuTranslator |
|
MmuTreeWalker |
|
MmuTreeWalker.elseExpr_return |
|
MmuTreeWalker.elseIfExpr_return |
|
MmuTreeWalker.expr_return |
|
MmuTreeWalker.functionCall_return |
|
MmuTreeWalker.statement_return |
|
MmuTreeWalker.variableAtom_return |
|
MmuTreeWalker.variableBitfield_return |
|
MmuTreeWalkerBase |
|
Model |
The Model class implements an ISA model and provides its facilities to external users.
|
ModelBuilder |
|
ModelStateManager |
The ModelStateManager interface is to be defines methods
for managing the state of the model.
|
ModeSettings |
ModeSettings describes an addressing mode's allocation table.
|
ModeSettingsParser |
|
NamePath |
|
NmlFunction |
|
NmlInstances |
Contains utilities to construct complete instances of nML primitives.
|
NmlInstances.BinderInfo |
|
NmlIrTrans |
|
NmlIrTrans.ModeAccess |
|
NmlLexer |
|
NmlLexer_CommonLexer |
|
NmlParser |
|
NmlParser_CommonParser |
|
NmlParser_CommonParser.andBitExpr_return |
|
NmlParser_CommonParser.andLogicExpr_return |
|
NmlParser_CommonParser.argument_return |
|
NmlParser_CommonParser.atom_return |
|
NmlParser_CommonParser.attrExpr_return |
|
NmlParser_CommonParser.attributeCall_return |
|
NmlParser_CommonParser.attributeCallStatement_return |
|
NmlParser_CommonParser.attributeFormatCall_return |
|
NmlParser_CommonParser.bitFieldExpr_return |
|
NmlParser_CommonParser.comparisionExpr_return |
|
NmlParser_CommonParser.conditionalStatement_return |
|
NmlParser_CommonParser.constant_return |
|
NmlParser_CommonParser.elseExpr_return |
|
NmlParser_CommonParser.elseIfExpr_return |
|
NmlParser_CommonParser.elseIfStmt_return |
|
NmlParser_CommonParser.elseStmt_return |
|
NmlParser_CommonParser.expr_return |
|
NmlParser_CommonParser.formatId_return |
|
NmlParser_CommonParser.formatIdElseIf_return |
|
NmlParser_CommonParser.formatIdList_return |
|
NmlParser_CommonParser.functionCall_return |
|
NmlParser_CommonParser.functionCallStatement_return |
|
NmlParser_CommonParser.functionDecl_return |
|
NmlParser_CommonParser.ifExpr_return |
|
NmlParser_CommonParser.ifStmt_return |
|
NmlParser_CommonParser.instance_arg_return |
|
NmlParser_CommonParser.instance_arg2_return |
|
NmlParser_CommonParser.instance_return |
|
NmlParser_CommonParser.letConst_return |
|
NmlParser_CommonParser.location_return |
|
NmlParser_CommonParser.locationAtom_return |
|
NmlParser_CommonParser.locationExpr_return |
|
NmlParser_CommonParser.locationVal_return |
|
NmlParser_CommonParser.mathFunc_return |
|
NmlParser_CommonParser.mulExpr_return |
|
NmlParser_CommonParser.nonNumExpr_return |
|
NmlParser_CommonParser.numExpr_return |
|
NmlParser_CommonParser.orBitExpr_return |
|
NmlParser_CommonParser.orLogicExpr_return |
|
NmlParser_CommonParser.plusExpr_return |
|
NmlParser_CommonParser.powExpr_return |
|
NmlParser_CommonParser.relationExpr_return |
|
NmlParser_CommonParser.revision_return |
|
NmlParser_CommonParser.sequence_return |
|
NmlParser_CommonParser.shiftExpr_return |
|
NmlParser_CommonParser.statement_return |
|
NmlParser_CommonParser.typeCast_return |
|
NmlParser_CommonParser.typeExpr_return |
|
NmlParser_CommonParser.unaryExpr_return |
|
NmlParser_CommonParser.xorBitExpr_return |
|
NmlParser.actionDef_return |
|
NmlParser.alias_return |
|
NmlParser.aliasExpr_return |
|
NmlParser.andRule_return |
|
NmlParser.argDef_return |
|
NmlParser.argType_return |
|
NmlParser.attrDef_return |
|
NmlParser.attrDefList_return |
|
NmlParser.attrDefRev_return |
|
NmlParser.idRev_return |
|
NmlParser.imageDef_return |
|
NmlParser.letDef_return |
|
NmlParser.letExpr_return |
|
NmlParser.memDef_return |
|
NmlParser.modeDef_return |
|
NmlParser.modeReturn_return |
|
NmlParser.modeSpecPart_return |
|
NmlParser.modifier_return |
|
NmlParser.nmlFuncDef_return |
|
NmlParser.nmlFuncParam_return |
|
NmlParser.opDef_return |
|
NmlParser.opId_return |
|
NmlParser.orRule_return |
|
NmlParser.procSpec_return |
|
NmlParser.procSpecRev_return |
|
NmlParser.sizeType_return |
|
NmlParser.startRule_return |
|
NmlParser.structDef_return |
|
NmlParser.structField_return |
|
NmlParser.structFields_return |
|
NmlParser.syntaxDef_return |
|
NmlParser.typeDef_return |
|
NmlSymbolKind |
Symbols used in nML translators.
|
NmlToSmtTranslator |
Translator of nML instances to SMT-Lib.
|
NmlToSmtTranslator.FunctionBuilder |
|
NmlTranslator |
|
NmlTreeWalker |
|
NmlTreeWalker.actionDef_return |
|
NmlTreeWalker.argType_return |
|
NmlTreeWalker.assignmentStatement_return |
|
NmlTreeWalker.attrDef_return |
|
NmlTreeWalker.attrDefList_return |
|
NmlTreeWalker.attrExpr_return |
|
NmlTreeWalker.attributeCallStatement_return |
|
NmlTreeWalker.conditionalStatement_return |
|
NmlTreeWalker.constExpr_return |
|
NmlTreeWalker.dataExpr_return |
|
NmlTreeWalker.elseExpr_return |
|
NmlTreeWalker.elseIfExpr_return |
|
NmlTreeWalker.elseIfStmt_return |
|
NmlTreeWalker.elseStmt_return |
|
NmlTreeWalker.expr_return |
|
NmlTreeWalker.formatId_return |
|
NmlTreeWalker.functionCallStatement_return |
|
NmlTreeWalker.imageDef_return |
|
NmlTreeWalker.indexExpr_return |
|
NmlTreeWalker.instance_return |
|
NmlTreeWalker.location_return |
|
NmlTreeWalker.locationAtom_return |
|
NmlTreeWalker.locationExpr_return |
|
NmlTreeWalker.locationVal_return |
|
NmlTreeWalker.logicExpr_return |
|
NmlTreeWalker.modeDef_return |
|
NmlTreeWalker.modeReturn_return |
|
NmlTreeWalker.modifier_return |
|
NmlTreeWalker.opDef_return |
|
NmlTreeWalker.parameters_return |
|
NmlTreeWalker.procSpec_return |
|
NmlTreeWalker.sequence_return |
|
NmlTreeWalker.sizeExpr_return |
|
NmlTreeWalker.sizeType_return |
|
NmlTreeWalker.statement_return |
|
NmlTreeWalker.structFields_return |
|
NmlTreeWalker.syntaxDef_return |
|
NmlTreeWalker.typeCast_return |
|
NmlTreeWalker.typeExpr_return |
|
NmlTreeWalkerBase |
|
NodeInfo |
|
NodeInfo.Coercion |
|
NodeInfo.Kind |
|
NumericLabelTracker |
|
Operand |
|
Operation<A extends Address<?>> |
Operation describes objects responsible for initializing fields of an address passed to
the MMU simulator when simulation of a memory access is started.
|
Operation |
|
Operator |
|
Operator |
|
OperatorValueFactory |
|
Option |
The Option enumeration describes options.
|
OptionReader |
The OptionReader class reads options from command line or
from table of cached values.
|
Options |
|
Oracle |
|
OracleEventMatcher |
|
OracleEventMatcherFull |
|
OracleEventMatcherNotFull |
|
OracleSettings |
|
OracleSimulator |
|
Output |
The Output class holds information to be printed to the simulation output to inserted
into the generated test program.
|
Output.Kind |
|
OutputBuilder |
|
PackageInfo |
The PackageInfo class holds information on package structure and names
of generated Java classes.
|
ParametersLoader |
The ParametersLoader class is provided methods for reading model memory parameters
|
ParserBase |
The ParserBase class is a base class for implementing ANTLR-based parsers.
|
ParserEx |
The ParserEx class is an extension of the ANTLR library class Parser that
provides means of error reporting based on MicroTESK library classes
facilitating logging.
|
Pass |
|
PathAnalysis |
Contains utilities to analyse syntactically available paths and construct
corresponding path conditions.
|
PathAnalysis.PathConditionWalkAction |
An abstract class to construct and process path conditions of the given
condition graph.
|
Permutator<T> |
|
PermutatorExhaustive<T> |
PermutatorExhaustive implements an exhaustive permutator that produces all
possible permutations for a given tuple.
|
PermutatorRandom<T> |
|
PermutatorTrivial<T> |
|
Plugin |
Plugin is an interface of the MicroTESK tool plugins.
|
Precision |
Precision describes supported precisions of floating-point numbers.
|
Predicate<T> |
|
Predicate<T> |
Defines a functor interface implemented by classes that perform a predicate
test on an object.
|
Preparator |
|
Preparator.Argument |
|
Preparator.Variant |
|
PreparatorBuilder |
|
PreparatorReference |
|
PreparatorStore |
|
Preprocessor |
|
Primitive |
|
Primitive |
|
Primitive.Kind |
|
Primitive.Kind |
|
Primitive.Modifier |
|
PrimitiveAnd |
|
PrimitiveBuilder |
|
PrimitiveFactory |
|
PrimitiveInfo |
|
PrimitiveOr |
|
PrimitiveReference |
The PrimitiveReference class describes references to the current primitive made from
another primitive (parent).
|
PrimitiveSyntesizer |
The PrimitiveSyntesizer class provides facilities to analyze information on relations
between operations and to synthesize on its basis the following elements:
|
PrimitiveUtils |
The PrimitiveUtils class provides a range of utilities for working with primitives.
|
PrimitiveUtils.PathCounter |
The PathCounter class helps count the number of possible paths from a source (parent) primitive
to a target (child) primitive.
|
Printer |
The Printer class is responsible for printing generated symbolic test programs
(sequences of concrete calls to a file and to the screen).
|
PrinterInstance |
|
PrinterInstance |
|
PrinterLocation |
|
PrinterLocation |
|
ProcessingElement |
|
ProcessingElement.Factory |
|
ProgramImage |
The ProgramImage class contains all information about the program to be simulated.
|
ProgramReader |
|
ProgramReaderFactory |
|
ProgramSimulator |
|
Property |
Property is an interface to be implemented by all enumerations used to identify
properties stored in PropertyMap .
|
PropertyMap<T extends java.lang.Enum<T> & Property> |
The PropertyMap class is a map that stores values identified by a enumeration.
|
RandomValue |
|
Range<T> |
Range specifies the range interface.
|
RangeSettings |
|
RangeSettingsParser |
|
Reader |
The Reader class allows reading data from the microprocessor
register and memory directly or via addressing modes.
|
Rearranger<T> |
The Rearranger interface is a base interface for objects
that rearrange a collection of sequences described by an iterator.
|
RearrangerExpand<T> |
The RearrangerExpand rearranger concatenates the sequences
returned by the original iterator into a single sequence.
|
RearrangerSample<T> |
The RearrangerSample rearranger samples the sequences
returned by the original iterator in a random manner.
|
RearrangerTrivial<T> |
The RearrangerTrivial rearranger does not modify the
collection of sequences described by the original iterator.
|
Record |
The Record class describes Tracer log records.
|
RecordFactory |
|
RecordFormatType |
|
RecordKind |
The RecordKind enumeration describes types or log records used
in the Tracer log format.
|
RedeclaredSymbol |
|
ReferenceDetector |
|
RegionSettings |
|
RegionSettings.Type |
|
RegionSettingsParser |
|
RegisterAnalyzer |
|
RegisterMapping<E extends Struct<?>,A extends Address<?>> |
|
RegisterMode |
|
Registers |
|
ReplaceableBuffer<E extends Struct<?>,A extends Address<?>> |
|
ReservedKeywords |
|
ResourceOperation |
|
Restriction |
Restriction is generic interface of a bit-vector constraint.
|
Restriction.Kind |
|
Revisions |
The Revisions class stores information about revision dependencies.
|
RootDetector |
|
RubyTemplatePrinter |
The RubyTemplatePrinter class prints data of template into a ruby file.
|
SccpPass |
|
ScopeStorage<T> |
|
ScriptRunner |
The ScriptRunner class runs test template scripts with corresponding scripting engines.
|
Section |
|
Sections |
|
Segment<PA extends Address<?>,VA extends Address<?>> |
|
Segment |
|
SelfCheck |
|
SelfCheckEngine |
|
SemanticError |
The SemanticError class describes a semantic error in the specification detected
by a translator.
|
SemanticException |
The SemanticException exception is thrown by the translator (lexer, parser, tree walker
or other its parts) if it detects a semantic error in the translated specification.
|
SenderKind |
The SenderKind enumeration identifies the subsystem responsible for raising an event to be
registered in the log.
|
SequenceProcessor |
|
SequenceSelector |
|
SequenceTemplate |
|
SettingsParser |
SettingsParser implements a SAX-based parser of XML-based generator settings.
|
SharedObject<T extends SharedObject<T>> |
The SharedObject class implements a protocol of copying shared
objects.
|
Shortcut |
The Shortcut class describes a shortcut (a short way) to address a group of operations within the
operation tree (some specific path) that describes a composite operation.
|
Shortcut.Argument |
The Argument class describes shortcut arguments (arguments of a composite operation).
|
SimGenerator |
|
SimpleTemplate |
The SimpleTemplate class generates simple template of meta model.
|
Simulator |
The Simulator class simulates the input program on the target model.
|
SimulatorOptions |
|
SimulatorParameters |
|
SimulatorParametersFactory |
|
SimulatorSettings |
|
Situation |
Situation represents a situation, a test data provider, or an allocation constraint.
|
Situation.Builder |
|
Situation.Kind |
|
SmtLib |
Contains utilties for translation to SMT-Lib.
|
SnoopController<E,A> |
|
SourceFiles |
|
SparseArray<T> |
|
SparseCCP |
|
SpecGenerator |
|
SsaForwardPass |
|
Statement |
|
Statement.Kind |
|
StatementAssignment |
|
StatementAttributeCall |
|
StatementBuilder |
|
StatementBuilder |
|
StatementCondition |
|
StatementFactory |
|
StatementFormat |
|
StatementFunctionCall |
|
Static |
|
Statistic |
|
Statistics |
The Statistics class collects statistical information and performance metrics
during test program generation.
|
Statistics.Activity |
|
StbAddressingMode |
|
StbAddressingMode |
|
StbAddressingModeOr |
|
StbAddressingModeOr |
|
StbConstant |
|
StbExtern |
|
StbModel |
|
StbModel |
|
StbOperation |
|
StbOperation |
|
StbOperation |
|
StbOperationOr |
|
StbOperationOr |
|
StbPrimitiveBase |
|
StbPrimitiveBase |
|
StbProcessingElement |
|
StbProcessingElement |
|
StbTemporaryVariables |
|
StbTemporaryVariables |
|
StbTypes |
|
StbTypes |
|
Stmt |
|
Stmt.Kind |
|
StmtAssert |
|
StmtAssign |
|
StmtCall |
|
StmtException |
|
StmtIf |
|
StmtMark |
|
StmtReturn |
|
StmtTrace |
|
StoreAnalysis |
|
StrategySettings |
|
StrategySettingsParser |
|
Stream |
|
StreamPreparator |
|
StreamPreparatorBuilder |
|
StreamStore |
|
StringUtils |
The StringUtils class provides utility methods to deal with strings.
|
StringUtils.Converter<T> |
|
Struct<T> |
Struct must be supported by all structures (including data and addresses).
|
Struct |
|
Struct.Field |
|
StructBase<T> |
StructBase is an abstract base class for buffer entries.
|
Supplier<T> |
|
Symbol |
The Symbol class describes a record in a symbol table.
|
SymbolicExecutor |
SymbolicExecutor implements a simple symbolic executor of memory access structures.
|
SymbolicExecutor |
|
SymbolicRestrictor |
|
SymbolicResult |
|
SymbolScope |
The SymbolScope interface is to be implemented by symbol scopes.
|
SymbolTable |
|
SymbolTypeMismatch |
|
SysUtils |
The SysUtils class provides utility methods to interact with the environment.
|
Template |
Template builds a test template's representation and passes it for further processing.
|
Template.Processor |
|
Template.SectionKind |
|
TemplateGenerator |
The TemplateGenerator class automatically creates a set of templates for a model of
microprocessor.
|
TemplateOperation |
|
TemplatePrinter |
The TemplatePrinter interface is used to create data printers for templates.
|
TemplatesUtils |
TemplatesUtils contains a number of utilities to deal with autogen Templates.
|
TemplateTest |
The TemplateTest class is a base class for all JUnit test
cases that run test templates and check the results.
|
TemporaryVariables |
|
TemporaryVariables.Factory |
|
TestBase |
|
TestBaseQueryCreator |
|
TestEngine |
TestEngine is responsible for test program generation.
|
ToolUtils |
The ToolUtils class provides utility methods for tools to interact with the environment.
|
Tracer |
The Tracer class is responsible for printing Tracer logs.
|
TraceTransformer |
|
TraceTransformer.Message |
|
TrajectoryExtractor |
Given a memory subsystem specification and an abstraction (labeling) function,
TrajectoryExtractor extracts all possible trajectories (abstract paths).
|
TrajectoryExtractor.Result |
|
Translator<Ir> |
The Translator is a base class for all translators.
|
TranslatorContext |
|
TranslatorHandler<Ir> |
|
TreeParserBase |
The TreeParserBase class is a base class for implementing ANTLR-based tree walkers.
|
TreeParserEx |
The TreeParserEx class is an extension of the standard ANTLR TreeParser class.
|
TriConsumer<T,U,W> |
|
TriPredicate<T,U,W> |
|
Type |
|
Type |
|
Type |
|
TypeCast |
|
TypeFactory |
|
TypeId |
The TypeId enumeration stores the list of data types (ways to interpret raw data)
supported by the model.
|
Types |
|
UnaryOperator<T> |
|
UndeclaredSymbol |
|
UndefinedPrimitive |
|
UndefinedProductionRuleItem |
|
UnknownImmediateValue |
The UnknownImmediateValue class describes an unknown immediate value to be specified as
an argument of an addressing mode or operation.
|
UnrecognizedStructure |
|
UnsupportedParameterType |
|
Utils |
|
Utils |
The Utils class provides methods for printing the state of the simulator.
|
Value |
The Value interface is to be implemented by all classes that hold immediate values (arguments
of addressing modes and operations).
|
Var |
|
Variable |
|
VariableConstraint |
|
VariableStorage |
|
WalkerContext |
|
WalkerFactoryBase |
|
Where |
The Where class holds information about a position in a test template.
|
Where |
The Where class describes a location in a source file.
|
WhymlGenerator |
|
WritePolicyId |
|