package jetbrains.mps.tool.common;

/*Generated by MPS */

import jetbrains.mps.annotations.GeneratedClass;
import java.nio.file.Path;

/**
 * delegates to the platform PathManager
 * I suppose that there might be MPS-specific path requests for different kinds of MPS startup.
 * I would think that it is better for them to rather go into MPS.Boot/startup module than in here.
 */
@Deprecated
@GeneratedClass(node = "r:067fd2c9-d009-4506-91db-a69992d65964(jetbrains.mps.tool.common)/4774692914340655529", model = "r:067fd2c9-d009-4506-91db-a69992d65964(jetbrains.mps.tool.common)")
public class PathManager {
  @Deprecated
  private PathManager() {
  }

  public static String getHomePath() {
    return com.intellij.openapi.application.PathManager.getHomePath();
  }

  public static Path getConfigPath() {
    return com.intellij.openapi.application.PathManager.getConfigDir();
  }

  public static String getPluginsPath() {
    return com.intellij.openapi.application.PathManager.getPluginsPath();
  }
}
