ModelDiffTool.java

package jetbrains.mps.vcs.platform.integration;

/*Generated by MPS */

import com.intellij.diff.FrameDiffTool;
import com.intellij.openapi.fileTypes.FileType;
import jetbrains.mps.fileTypes.MPSFileTypeFactory;
import org.jetbrains.annotations.NotNull;
import com.intellij.diff.DiffContext;
import com.intellij.diff.requests.DiffRequest;
import com.intellij.diff.requests.ContentDiffRequest;

public class ModelDiffTool implements FrameDiffTool {
  public static final FileType[] DIFF_SUPPORTED_TYPES = {MPSFileTypeFactory.MPS_FILE_TYPE, MPSFileTypeFactory.MPS_HEADER_FILE_TYPE, MPSFileTypeFactory.MPS_ROOT_FILE_TYPE};

  @NotNull
  public String getName() {
    return "MPS model viewer";
  }
  public boolean canShow(@NotNull DiffContext context, @NotNull DiffRequest request) {
    return ModelDiffViewer.canShow(context, request);
  }
  @NotNull
  public FrameDiffTool.DiffViewer createComponent(@NotNull DiffContext context, @NotNull DiffRequest request) {
    return new ModelDiffViewer(context, (ContentDiffRequest) request);
  }
}