Package jetbrains.mps.migration.global

Class MigrationOptions

java.lang.Object

jetbrains.mps.migration.global.MigrationOptions

public class MigrationOptions
extends Object

Constructor Summary

Constructors

Constructor	Description
MigrationOptions()

Method Summary

Modifier and Type	Method	Description
void	addOption(ProjectMigrationWithOptions.Option option)
<T> T	getOptionValue(ProjectMigrationWithOptions.Option<T> option)
List<ProjectMigrationWithOptions.Option>	optionsList()
<T> void	setOptionValue(ProjectMigrationWithOptions.Option<T> option, T value)

Methods inherited from class java.lang.Object

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

Constructor Detail

MigrationOptions

public MigrationOptions()

Method Detail

optionsList

public List<ProjectMigrationWithOptions.Option> optionsList()

addOption

public void addOption(ProjectMigrationWithOptions.Option option)

setOptionValue

public <T> void setOptionValue(ProjectMigrationWithOptions.Option<T> option,
                               T value)

getOptionValue

public <T> T getOptionValue(ProjectMigrationWithOptions.Option<T> option)