Package jetbrains.mps.generator
Class GenerationOptions.OptionsBuilder
- java.lang.Object
 - 
- jetbrains.mps.generator.GenerationOptions.OptionsBuilder
 
 
- 
- Enclosing class:
 - GenerationOptions
 
public static class GenerationOptions.OptionsBuilder extends Object
Options builder Usage: GenerationOptions.getDefaults().saveTransientModels(true).reporting(true, true, true, 4); 
- 
- 
Method Summary
 
 - 
 
- 
- 
Method Detail
- 
create
public GenerationOptions create()
 
- 
saveTransientModels
public GenerationOptions.OptionsBuilder saveTransientModels(boolean saveTransientModels)
 
- 
parameters
public GenerationOptions.OptionsBuilder parameters(@Nullable GenerationParametersProvider parametersProvider)
 
- 
strictMode
public GenerationOptions.OptionsBuilder strictMode(boolean strictMode)
 
- 
showBadChildWarning
public GenerationOptions.OptionsBuilder showBadChildWarning(boolean value)
 
- 
useInplaceTransformations
public GenerationOptions.OptionsBuilder useInplaceTransformations(boolean use)
 
- 
rebuildAll
public GenerationOptions.OptionsBuilder rebuildAll(boolean rebuildAll)
 
- 
generateInParallel
public GenerationOptions.OptionsBuilder generateInParallel(boolean generateInParallel, int numberOfThreads)
 
- 
reporting
public GenerationOptions.OptionsBuilder reporting(boolean showInfo, boolean showWarnings, boolean keepModelsWithWarnings, int numberOfModelsToKeep)
 
- 
tracing
public GenerationOptions.OptionsBuilder tracing(int tracingMode)
 
- 
useDynamicReferences
public GenerationOptions.OptionsBuilder useDynamicReferences(boolean useDynamicRefs)
 
- 
customPlan
public GenerationOptions.OptionsBuilder customPlan(@NotNull SModel model, @NotNull ModelGenerationPlan modelGenerationPlan)
 
 - 
 
 -