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