Package org.jetbrains.mps.openapi.model

Class SaveOptions.SaveOptionsBuilder

java.lang.Object

org.jetbrains.mps.openapi.model.SaveOptions.SaveOptionsBuilder

Enclosing interface:

SaveOptions

public static final class SaveOptions.SaveOptionsBuilder
extends Object

Constructor Summary

Constructors

Constructor	Description
SaveOptionsBuilder()

Method Summary

Modifier and Type	Method	Description
SaveOptions	build()
SaveOptions.SaveOptionsBuilder	forceSave()
SaveOptions.SaveOptionsBuilder	preloadModel()
SaveOptions.SaveOptionsBuilder	refreshDataSource()
SaveOptions.SaveOptionsBuilder	resolveConflicts(boolean value)
SaveOptions.SaveOptionsBuilder	updateResolveInfoInRefs()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

SaveOptionsBuilder

public SaveOptionsBuilder()

Method Detail

forceSave

public SaveOptions.SaveOptionsBuilder forceSave()

refreshDataSource

public SaveOptions.SaveOptionsBuilder refreshDataSource()

preloadModel

public SaveOptions.SaveOptionsBuilder preloadModel()

resolveConflicts

public SaveOptions.SaveOptionsBuilder resolveConflicts(boolean value)

updateResolveInfoInRefs

public SaveOptions.SaveOptionsBuilder updateResolveInfoInRefs()

build

@NotNull
public SaveOptions build()