SpoofaxMeta

public class SpoofaxMeta extends MetaBorgMeta

Facade for instantiating and accessing the MetaBorg meta API, as an extension of the MetaBorg API, instantiated with the Spoofax implementation.

Fields

languageSpecConfigService

public final ISpoofaxLanguageSpecConfigService languageSpecConfigService

languageSpecService

public final ISpoofaxLanguageSpecService languageSpecService

metaBuilder

public final LanguageSpecBuilder metaBuilder

parent

public final Spoofax parent

Constructors

SpoofaxMeta

public SpoofaxMeta(Spoofax spoofax, IModulePluginLoader loader, SpoofaxMetaModule module, Module... additionalModules)

Instantiate the MetaBorg meta API, with a Spoofax implementation.

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

SpoofaxMeta

public SpoofaxMeta(Spoofax spoofax, SpoofaxMetaModule module, Module... additionalModules)

Instantiate the MetaBorg meta API, with a Spoofax implementation.

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

SpoofaxMeta

public SpoofaxMeta(Spoofax spoofax, IModulePluginLoader loader, Module... additionalModules)

Instantiate the MetaBorg meta API, with a Spoofax implementation.

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

SpoofaxMeta

public SpoofaxMeta(Spoofax spoofax, Module... additionalModules)

Instantiate the MetaBorg meta API, with a Spoofax implementation.

Parameters:
  • spoofax – MetaBorg API, implemented by Spoofax, to extend.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

Methods

defaultModule

protected static SpoofaxMetaModule defaultModule()

languageSpecConfigBuilder

public ISpoofaxLanguageSpecConfigBuilder languageSpecConfigBuilder()
Returns:Fresh language specification configuration builder.