Added identifier (id() method) and made toString method return something more readable.

This commit is contained in:
Harald Kuhr 2011-04-27 14:13:48 +02:00
parent cb149a7c79
commit a4d4111195

View File

@ -236,8 +236,12 @@ public final class Platform {
return name;
}
public String toString() {
public String id() {
return id;
}
public String toString() {
return String.format("%s (%s)", id, name);
}
}
}