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	force()
SaveOptions.SaveOptionsBuilder	loadModelIfNeeded()
SaveOptions.SaveOptionsBuilder	refreshDataSource()

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

force

public SaveOptions.SaveOptionsBuilder force()

refreshDataSource

public SaveOptions.SaveOptionsBuilder refreshDataSource()

loadModelIfNeeded

public SaveOptions.SaveOptionsBuilder loadModelIfNeeded()

build

@NotNull
public SaveOptions build()