kopia lustrzana https://github.com/TeamNewPipe/NewPipeExtractor
Add NonNull annotation
rodzic
f44eaa41f1
commit
607c8fe2d7
|
@ -76,7 +76,7 @@ public class Response {
|
||||||
* @return the first value assigned to this header
|
* @return the first value assigned to this header
|
||||||
*/
|
*/
|
||||||
@Nullable
|
@Nullable
|
||||||
public String getHeader(final String name) {
|
public String getHeader(@Nonnull final String name) {
|
||||||
// Header lookup is case-insensitive
|
// Header lookup is case-insensitive
|
||||||
final var values = responseHeaders.getOrDefault(name, List.of());
|
final var values = responseHeaders.getOrDefault(name, List.of());
|
||||||
return values.isEmpty() ? null : values.get(0);
|
return values.isEmpty() ? null : values.get(0);
|
||||||
|
|
Ładowanie…
Reference in New Issue