diff options
author | 2017-08-09 11:13:54 +0200 | |
---|---|---|
committer | 2017-08-09 11:36:05 +0200 | |
commit | 0df3ddbdc289af97ffd2fb98197548f21b2c69a9 (patch) | |
tree | 58d3c44e42955f4fdc4f86a500cb45076d9ec2f7 /src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java | |
parent | 9e18b0a4f45c775bb58ee578a2f4ac0118e36275 (diff) |
Polishing
- Use Java 8 idioms more consistently.
- Use newer Guava idioms more consistently.
- Apply some IntelliJ IDEA refactoring suggestions.
- Other changes made for readability and/or brevity.
Closes #3462.
PiperOrigin-RevId: 164700946
Diffstat (limited to 'src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java')
-rw-r--r-- | src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java | 6 |
1 files changed, 2 insertions, 4 deletions
diff --git a/src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java b/src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java index b64360b656..65545603a1 100644 --- a/src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java +++ b/src/main/java/com/google/devtools/build/lib/graph/LabelSerializer.java @@ -15,10 +15,8 @@ package com.google.devtools.build.lib.graph; -/** - * <p> An interface for specifying a user-defined serialization of graph node - * labels as strings. </p> - */ +/** An interface for specifying a user-defined serialization of graph node labels as strings. */ +@FunctionalInterface public interface LabelSerializer<T> { /** |