#431

Committed 19 May 2025 02:23PM UTC coverage: 90.418% (+0.2%) from 90.169%

Build # #431

Build Type

Pull #258

github

Committed by

web-flow

Commit Message

Merge 896018de9 into 810d1995c

Pull Request Pull Request #258: Support .ELN-style crates in all zip readers and writers

Run Details

283 of 315 new or added lines in 25 files covered. (89.84%)

1 existing line in 1 file now uncovered.

2010 of 2223 relevant lines covered (90.42%)

0.9 hits per line

Source File
Press 'n' to go to next uncovered line, 'b' for previous

81.82

/src/main/java/edu/kit/datamanager/ro_crate/util/FileSystemUtil.java

package edu.kit.datamanager.ro_crate.util;

import java.util.Collection;
import java.util.regex.Matcher;

public class FileSystemUtil {
    private FileSystemUtil() {
        // Utility class, no instantiation
    }

    /**
     * Removes a specific set of given file extensions from a file name, if present.
     * The extensions are case-insensitive. Given "ELN", "eln" or "Eln" will also match.
     * The dot (.) before the extension is also assumed and removed implicitly:
     * <p>
     * Example:
     * filterExtensionsFromFileName("test.eln", Set.of("ELN")) -> "test"
     *
     * @param filename the file name to filter
     * @param extensionsToRemove the extensions to remove
     * @return the filtered file name
     */
    public static String filterExtensionsFromFileName(String filename, Collection<String> extensionsToRemove) {
        String dot = Matcher.quoteReplacement(".");
        String end = Matcher.quoteReplacement("$");
        for (String extension : extensionsToRemove) {
            // (?i) removes case sensitivity
            filename = filename.replaceFirst("(?i)" + dot + extension + end, "");
        }
        return filename;
    }

    /**
     * Ensures that a given path ends with a trailing slash.
     *
     * @param path the path to check
     * @return the path with a trailing slash if it didn't have one, or the original path
     */
    public static String ensureTrailingSlash(String path) {
        if (path == null || path.isEmpty()) {
            return path;
        }
        if (!path.endsWith("/")) {
            return path + "/";
        }
        return path;
    }
}

1	package edu.kit.datamanager.ro_crate.util;
2
3	import java.util.Collection;
4	import java.util.regex.Matcher;
5
6	public class FileSystemUtil {
7	private FileSystemUtil() {
8	// Utility class, no instantiation
9	}
10
11	/**
12	* Removes a specific set of given file extensions from a file name, if present.
13	* The extensions are case-insensitive. Given "ELN", "eln" or "Eln" will also match.
14	* The dot (.) before the extension is also assumed and removed implicitly:
15	* <p>
16	* Example:
17	* filterExtensionsFromFileName("test.eln", Set.of("ELN")) -> "test"
18	*
19	* @param filename the file name to filter
20	* @param extensionsToRemove the extensions to remove
21	* @return the filtered file name
22	*/
23	public static String filterExtensionsFromFileName(String filename, Collection<String> extensionsToRemove) {
24	String dot = Matcher.quoteReplacement(".");	1✔
25	String end = Matcher.quoteReplacement("$");	1✔
26	for (String extension : extensionsToRemove) {	1✔
27	// (?i) removes case sensitivity
28	filename = filename.replaceFirst("(?i)" + dot + extension + end, "");	1✔
29	}	1✔
30	return filename;	1✔
31	}
32
33	/**
34	* Ensures that a given path ends with a trailing slash.
35	*
36	* @param path the path to check
37	* @return the path with a trailing slash if it didn't have one, or the original path
38	*/
39	public static String ensureTrailingSlash(String path) {
40	if (path == null \|\| path.isEmpty()) {	1✔
NEW 41	return path;	×
42	}
43	if (!path.endsWith("/")) {	1✔
44	return path + "/";	1✔
45	}
NEW 46	return path;	×
47	}
48	}

kit-data-manager / ro-crate-java / #431

Source File Press 'n' to go to next uncovered line, 'b' for previous

Source File
Press 'n' to go to next uncovered line, 'b' for previous