PluginDescriptor.java

package jetbrains.mps.tool.environment;

/*Generated by MPS */


public final class PluginDescriptor {
  private final String myPath;
  private final String myId;

  public PluginDescriptor(String path, String id) {
    myPath = path;
    myId = id;
  }

  public String getId() {
    return myId;
  }

  public String getPath() {
    return myPath;
  }

  public String toString() {
    return String.format("MpsPluginDescriptor[id:%s;path:%s]", myId, myPath);
  }
}