package jetbrains.mps.ide.migration.wizard;
/*Generated by MPS */
import jetbrains.mps.lang.migration.runtime.base.Problem;
import com.intellij.openapi.progress.ProgressIndicator;
public abstract class MigrationErrorDescriptor {
public MigrationErrorDescriptor() {
}
/**
*
* @return text to display on next step
*/
public abstract String getMessage();
/**
*
* @return if migrations can start despite of errors
*/
public abstract boolean canIgnore();
/**
*
* @return problems to show in model checker tool
*/
public abstract Iterable<Problem> getProblems(ProgressIndicator progressIndicator);
}