MetaBorgMeta

public class MetaBorgMeta implements AutoCloseable

Facade for instantiating and accessing the MetaBorg meta API, as an extension of the MetaBorg API.

Fields

autoCloseables

public final Set<AutoCloseable> autoCloseables

injector

public final Injector injector

languageSpecConfigService

public final ILanguageSpecConfigService languageSpecConfigService

languageSpecService

public final ILanguageSpecService languageSpecService

parent

public final MetaBorg parent

Constructors

MetaBorgMeta

public MetaBorgMeta(MetaBorg metaborg, IModulePluginLoader loader, MetaborgMetaModule module, Module... additionalModules)

Instantiate the MetaBorg meta API.

Parameters:
  • metaborg – MetaBorg API to extend.
  • loader – Meta-module plugin loader to use.
  • module – MetaBorg meta-module to use.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

MetaBorgMeta

public MetaBorgMeta(MetaBorg metaborg, MetaborgMetaModule module, Module... additionalModules)

Instantiate the MetaBorg meta API.

Parameters:
  • metaborg – MetaBorg API to extend.
  • module – MetaBorg meta-module to use.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

MetaBorgMeta

public MetaBorgMeta(MetaBorg metaborg, IModulePluginLoader loader, Module... additionalModules)

Instantiate the MetaBorg meta API.

Parameters:
  • metaborg – MetaBorg API to extend.
  • loader – Meta-module plugin loader to use.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

MetaBorgMeta

public MetaBorgMeta(MetaBorg metaborg, Module... additionalModules)

Instantiate the MetaBorg meta API.

Parameters:
  • metaborg – MetaBorg API to extend.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

Methods

close

public void close()

Closes the MetaBorg meta API, closing any resources and services created by the API. The parent MetaBorg (non-meta) API is NOT closed.

defaultModule

protected static MetaborgMetaModule defaultModule()

defaultPluginLoader

protected static IModulePluginLoader defaultPluginLoader()