From 00462806a2f387f64b2989b0c1323dded592775c Mon Sep 17 00:00:00 2001 From: Sebastien Besson Date: Thu, 10 Aug 2017 12:10:36 +0100 Subject: [PATCH 1/3] Use Java 8 Oracle documentation --- pom.xml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/pom.xml b/pom.xml index 410606aa..b95ec625 100644 --- a/pom.xml +++ b/pom.xml @@ -298,7 +298,7 @@ false - http://docs.oracle.com/javase/7/docs/api/ + http://docs.oracle.com/javase/8/docs/api/ @@ -455,7 +455,7 @@ false - http://docs.oracle.com/javase/7/docs/api/ + http://docs.oracle.com/javase/8/docs/api/ From 4e654d9685b3feb070e860f4337996161aba8ae9 Mon Sep 17 00:00:00 2001 From: Sebastien Besson Date: Thu, 10 Aug 2017 12:22:20 +0100 Subject: [PATCH 2/3] Copy File Javadoc and fix see also --- src/main/java/loci/common/Location.java | 26 +++++++++++++++++++------ 1 file changed, 20 insertions(+), 6 deletions(-) diff --git a/src/main/java/loci/common/Location.java b/src/main/java/loci/common/Location.java index 78a2be0e..61b86606 100644 --- a/src/main/java/loci/common/Location.java +++ b/src/main/java/loci/common/Location.java @@ -52,8 +52,8 @@ import com.google.common.collect.MapMaker; /** - * Pseudo-extension of java.io.File that supports reading over HTTP (among - * other things). + * Pseudo-extension of {@link java.io.File} that supports reading over HTTP + * (among other things). * It is strongly recommended to use this instead of java.io.File. */ public class Location { @@ -602,9 +602,13 @@ public String getName() { } /** - * Returns the name of this file's parent directory, i.e. the path name prefix - * and every name in the path name sequence except for the last. - * If this file does not have a parent directory, then null is returned. + * Returns the pathname string of this abstract pathname's parent, or null if + * this pathname does not have a parent directory. + * + * The parent of an abstract pathname consists of the pathname's prefix, if + * any, and each name in the pathname's name sequence except for the last. + * If the name sequence is empty then the pathname does not name a parent + * directory. * * @see java.io.File#getParent() */ @@ -618,7 +622,17 @@ public String getParent() { return file.getParent(); } - /* @see java.io.File#getParentFile() */ + /** + * Returns the abstract pathname of this abstract pathname's parent, or null + * if this pathname does not name a parent directory. + * + * The parent of an abstract pathname consists of the pathname's prefix, if + * any, and each name in the pathname's name sequence except for the last. + * If the name sequence is empty then the pathname does not name a parent + * directory. + * + * @see java.io.File#getParentFile() + */ public Location getParentFile() { String parent = this.getParent(); if (parent == null) return null; From 5ad8fb026a4a97e69ba8c74d79455ec7b73029c5 Mon Sep 17 00:00:00 2001 From: Sebastien Besson Date: Thu, 10 Aug 2017 12:30:07 +0100 Subject: [PATCH 3/3] Remove whitespace --- src/main/java/loci/common/Location.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/loci/common/Location.java b/src/main/java/loci/common/Location.java index 61b86606..008a8910 100644 --- a/src/main/java/loci/common/Location.java +++ b/src/main/java/loci/common/Location.java @@ -53,7 +53,7 @@ /** * Pseudo-extension of {@link java.io.File} that supports reading over HTTP - * (among other things). + * (among other things). * It is strongly recommended to use this instead of java.io.File. */ public class Location {