package jetbrains.mps.ide.migration.wizard;
/*Generated by MPS */
import jetbrains.mps.project.Project;
import jetbrains.mps.ide.migration.MigrationManager;
import jetbrains.mps.migration.global.MigrationOptions;
import org.jetbrains.annotations.Nullable;
public interface MigrationSession {
Project getProject();
MigrationManager getMigrationManager();
MigrationOptions getOptions();
/**
*
* @return null means success
*/
@Nullable
MigrationErrorDescriptor getErrorDescriptor();
void setErrorDescriptor(MigrationErrorDescriptor errors);
}