public final class EngineContext
extends java.lang.Object
Constructor and Description |
---|
EngineContext(Options options,
Model model,
GeneratorSettings settings,
Statistics statistics) |
Modifier and Type | Method and Description |
---|---|
BufferPreparatorStore |
getBufferPreparators() |
long |
getCodeAllocationAddress() |
java.lang.Object |
getCustomContext(java.lang.String id) |
DataDirectiveFactory |
getDataDirectiveFactory() |
int |
getDelaySlotSize() |
LabelManager |
getLabelManager() |
Model |
getModel() |
Options |
getOptions() |
PreparatorStore |
getPreparators() |
GeneratorSettings |
getSettings() |
Statistics |
getStatistics() |
StreamStore |
getStreams() |
TestBase |
getTestBase() |
void |
setCodeAllocationAddress(long value) |
void |
setCustomContext(java.lang.String id,
java.lang.Object context) |
void |
setDataDirectiveFactory(DataDirectiveFactory value) |
public EngineContext(Options options, Model model, GeneratorSettings settings, Statistics statistics)
public Options getOptions()
public Model getModel()
public LabelManager getLabelManager()
public PreparatorStore getPreparators()
public BufferPreparatorStore getBufferPreparators()
public StreamStore getStreams()
public GeneratorSettings getSettings()
public TestBase getTestBase()
public Statistics getStatistics()
public int getDelaySlotSize()
public long getCodeAllocationAddress()
public void setCodeAllocationAddress(long value)
public DataDirectiveFactory getDataDirectiveFactory()
public void setDataDirectiveFactory(DataDirectiveFactory value)
public java.lang.Object getCustomContext(java.lang.String id)
public void setCustomContext(java.lang.String id, java.lang.Object context)