Package ru.ispras.microtesk.test.engine
Class EngineContext
- java.lang.Object
-
- ru.ispras.microtesk.test.engine.EngineContext
-
public final class EngineContext extends java.lang.Object
EngineContext
contains information required by anEngine
.
-
-
Constructor Summary
Constructors Constructor Description EngineContext(Options options, Model model, Statistics statistics)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description BufferPreparatorStore
getBufferPreparators()
long
getCodeAllocationAddress()
CodeAllocator
getCodeAllocator()
java.lang.Object
getCustomContext(java.lang.String id)
int
getDelaySlotSize()
DirectiveFactory
getDirectiveFactory()
LabelManager
getLabelManager()
MemoryPreparatorStore
getMemoryPreparators()
Model
getModel()
NumericLabelTracker
getNumericLabelTracker()
Options
getOptions()
PreparatorStore
getPreparators()
Statistics
getStatistics()
StreamStore
getStreams()
void
setCodeAllocationAddress(long value)
void
setCodeAllocator(CodeAllocator codeAllocator)
void
setCustomContext(java.lang.String id, java.lang.Object context)
void
setDirectiveFactory(DirectiveFactory value)
-
-
-
Constructor Detail
-
EngineContext
public EngineContext(Options options, Model model, Statistics statistics)
-
-
Method Detail
-
getOptions
public Options getOptions()
-
getModel
public Model getModel()
-
getLabelManager
public LabelManager getLabelManager()
-
getNumericLabelTracker
public NumericLabelTracker getNumericLabelTracker()
-
getPreparators
public PreparatorStore getPreparators()
-
getBufferPreparators
public BufferPreparatorStore getBufferPreparators()
-
getMemoryPreparators
public MemoryPreparatorStore getMemoryPreparators()
-
getStreams
public StreamStore getStreams()
-
getStatistics
public Statistics getStatistics()
-
getDelaySlotSize
public int getDelaySlotSize()
-
getCodeAllocationAddress
public long getCodeAllocationAddress()
-
setCodeAllocationAddress
public void setCodeAllocationAddress(long value)
-
getCodeAllocator
public CodeAllocator getCodeAllocator()
-
setCodeAllocator
public void setCodeAllocator(CodeAllocator codeAllocator)
-
getDirectiveFactory
public DirectiveFactory getDirectiveFactory()
-
setDirectiveFactory
public void setDirectiveFactory(DirectiveFactory value)
-
getCustomContext
public java.lang.Object getCustomContext(java.lang.String id)
-
setCustomContext
public void setCustomContext(java.lang.String id, java.lang.Object context)
-
-