diff options
author | 2018-06-26 11:55:40 -0700 | |
---|---|---|
committer | 2018-06-26 11:57:13 -0700 | |
commit | a19a56da38d4749d29e1720900a4017c94eccbb9 (patch) | |
tree | 7b91e61340c5d22641a031bae91502d37c8aedfb /src/main/java/com/google/devtools/build/lib/cmdline | |
parent | f166d1c5f4f353db6879a75c0b8424cd6c46cecc (diff) |
Enforce that repository mapping is never null (it can be empty).
RELNOTES: None
PiperOrigin-RevId: 202167782
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/cmdline')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/cmdline/Label.java | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/cmdline/Label.java b/src/main/java/com/google/devtools/build/lib/cmdline/Label.java index b81efab5f4..3f11858871 100644 --- a/src/main/java/com/google/devtools/build/lib/cmdline/Label.java +++ b/src/main/java/com/google/devtools/build/lib/cmdline/Label.java @@ -130,6 +130,7 @@ public final class Label boolean defaultToMain, ImmutableMap<RepositoryName, RepositoryName> repositoryMapping) throws LabelSyntaxException { + Preconditions.checkNotNull(repositoryMapping); String repo = defaultToMain ? "@" : RepositoryName.DEFAULT_REPOSITORY; int packageStartPos = absName.indexOf("//"); if (packageStartPos > 0) { @@ -158,6 +159,7 @@ public final class Label private static RepositoryName getGlobalRepoName( String repo, ImmutableMap<RepositoryName, RepositoryName> repositoryMapping) throws LabelSyntaxException { + Preconditions.checkNotNull(repositoryMapping); RepositoryName repoName = RepositoryName.create(repo); return repositoryMapping.getOrDefault(repoName, repoName); } @@ -524,6 +526,7 @@ public final class Label public Label getRelativeWithRemapping( String relName, ImmutableMap<RepositoryName, RepositoryName> repositoryMapping) throws LabelSyntaxException { + Preconditions.checkNotNull(repositoryMapping); if (relName.length() == 0) { throw new LabelSyntaxException("empty package-relative label"); } |