Package ru.ispras.microtesk
Interface Plugin
-
-
Method Summary
All Methods Instance Methods Abstract Methods Modifier and Type Method Description java.util.Map<java.lang.String,ru.ispras.testbase.generator.DataGenerator>
getDataGenerators()
Returns the plugin's data generators with their names.java.util.Map<java.lang.String,Engine>
getEngines()
Returns the plugin's engines with their names.java.util.Map<java.lang.String,InitializerMaker>
getInitializerMakers()
Returns the plugin's initializer makers with their names.Translator<?>
getTranslator()
Returns the plugin's translator (ornull
).void
initializeGenerationEnvironment()
Performs all required initialization before generation is started (e.g.
-
-
-
Method Detail
-
getTranslator
Translator<?> getTranslator()
Returns the plugin's translator (ornull
).- Returns:
- the translator.
-
getEngines
java.util.Map<java.lang.String,Engine> getEngines()
Returns the plugin's engines with their names.- Returns:
- the engines.
-
getInitializerMakers
java.util.Map<java.lang.String,InitializerMaker> getInitializerMakers()
Returns the plugin's initializer makers with their names.- Returns:
- the initializer makers.
-
getDataGenerators
java.util.Map<java.lang.String,ru.ispras.testbase.generator.DataGenerator> getDataGenerators()
Returns the plugin's data generators with their names.- Returns:
- the data generators.
-
initializeGenerationEnvironment
void initializeGenerationEnvironment()
Performs all required initialization before generation is started (e.g. integrated different parts of the microprocessor model).
-
-