Spoofax

public class Spoofax extends MetaBorgGeneric<ISpoofaxInputUnit, ISpoofaxParseUnit, ISpoofaxAnalyzeUnit, ISpoofaxAnalyzeUnitUpdate, ISpoofaxTransformUnit<?>, ISpoofaxTransformUnit<ISpoofaxParseUnit>, ISpoofaxTransformUnit<ISpoofaxAnalyzeUnit>, IStrategoTerm>

Facade for instantiating and accessing the Metaborg API, instantiated with the Spoofax implementation.

Fields

analysisResultProcessor

public final ISpoofaxAnalysisResultProcessor analysisResultProcessor

analysisService

public final ISpoofaxAnalysisService analysisService

builder

public final ISpoofaxBuilder builder

categorizerService

public final ISpoofaxCategorizerService categorizerService

completionService

public final ISpoofaxCompletionService completionService

hoverService

public final ISpoofaxHoverService hoverService

outlineService

public final ISpoofaxOutlineService outlineService

parseResultProcessor

public final ISpoofaxParseResultProcessor parseResultProcessor

processorRunner

public final ISpoofaxProcessorRunner processorRunner

resolverService

public final ISpoofaxResolverService resolverService

strategoCommon

public final IStrategoCommon strategoCommon

strategoRuntimeService

public final IStrategoRuntimeService strategoRuntimeService

stylerService

public final ISpoofaxStylerService stylerService

syntaxService

public final ISpoofaxSyntaxService syntaxService

termFactoryService

public final ITermFactoryService termFactoryService

tracingService

public final ISpoofaxTracingService tracingService

transformService

public final ISpoofaxTransformService transformService

unitService

public final ISpoofaxUnitService unitService

Constructors

Spoofax

public Spoofax(IModulePluginLoader loader, SpoofaxModule module, Module... additionalModules)

Instantiate the MetaBorg API with a Spoofax implementation.

Parameters:
  • loader – Module plugin loader to use.
  • module – Spoofax module to use.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

Spoofax

public Spoofax(SpoofaxModule module, Module... additionalModules)

Instantiate the MetaBorg API with a Spoofax implementation.

Parameters:
  • module – Spoofax module to use.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

Spoofax

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

Instantiate the MetaBorg API with a Spoofax implementation.

Parameters:
  • loader – Module plugin loader to use.
  • additionalModules – Additional modules to use.
Throws:
  • MetaborgException – When loading plugins or dependency injection fails.

Spoofax

public Spoofax(Module... additionalModules)

Instantiate the MetaBorg API with a Spoofax implementation.

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

Methods

defaultModule

protected static SpoofaxModule defaultModule()