ISpoofaxProjectConfigBuilder

public interface ISpoofaxProjectConfigBuilder extends IProjectConfigBuilder

Methods

copyFrom

ISpoofaxProjectConfigBuilder copyFrom(ISpoofaxProjectConfig config)

Copies the values from the specified configuration.

Parameters:
  • config – The configuration to copy values from.

withMetaborgVersion

ISpoofaxProjectConfigBuilder withMetaborgVersion(String metaborgVersion)

{@inheritDoc}

withNaBL2Config

ISpoofaxProjectConfigBuilder withNaBL2Config(NaBL2Config config)

Sets whether debug output is enabled for the constraint solver.

Parameters:
  • incremental – True to enable, false to disable.
Returns:

This builder.

withTypesmart

ISpoofaxProjectConfigBuilder withTypesmart(boolean typesmart)

Sets the typesmart property.

Parameters:
  • typesmart – The typesmart property.
Returns:

This builder.