equal
deleted
inserted
replaced
167 |
167 |
168 public String toString() { |
168 public String toString() { |
169 return name; |
169 return name; |
170 } |
170 } |
171 |
171 |
172 static List<ExtensionType> knownExtensions = |
172 static List<ExtensionType> knownExtensions = new ArrayList<>(9); |
173 new ArrayList<ExtensionType>(9); |
|
174 |
173 |
175 static ExtensionType get(int id) { |
174 static ExtensionType get(int id) { |
176 for (ExtensionType ext : knownExtensions) { |
175 for (ExtensionType ext : knownExtensions) { |
177 if (ext.id == id) { |
176 if (ext.id == id) { |
178 return ext; |
177 return ext; |
672 return "unknown-" + f; |
671 return "unknown-" + f; |
673 } |
672 } |
674 } |
673 } |
675 |
674 |
676 public String toString() { |
675 public String toString() { |
677 List<String> list = new ArrayList<String>(); |
676 List<String> list = new ArrayList<>(); |
678 for (byte format : formats) { |
677 for (byte format : formats) { |
679 list.add(toString(format)); |
678 list.add(toString(format)); |
680 } |
679 } |
681 return "Extension " + type + ", formats: " + list; |
680 return "Extension " + type + ", formats: " + list; |
682 } |
681 } |