MigrationErrorDescriptor.java

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);
}