Interface Plugin

  • All Known Implementing Classes:
    MmuPlugin

    public interface Plugin
    Plugin is an interface of the MicroTESK tool plugins.
    • Method Detail

      • getTranslator

        Translator<?> getTranslator()
        Returns the plugin's translator (or null).
        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).