001/*
002 * JDrupes Builder
003 * Copyright (C) 2025 Michael N. Lipp
004 * 
005 * This program is free software: you can redistribute it and/or modify
006 * it under the terms of the GNU Affero General Public License as
007 * published by the Free Software Foundation, either version 3 of the
008 * License, or (at your option) any later version.
009 *
010 * This program is distributed in the hope that it will be useful,
011 * but WITHOUT ANY WARRANTY; without even the implied warranty of
012 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
013 * GNU Affero General Public License for more details.
014 *
015 * You should have received a copy of the GNU Affero General Public License
016 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
017 */
018
019package org.jdrupes.builder.java;
020
021import java.nio.file.Path;
022import org.jdrupes.builder.api.ResourceFactory;
023import org.jdrupes.builder.api.ResourceType;
024
025/// Marker interface for a jar file that is a library.
026///
027public interface LibraryJarFile extends JarFile, ClasspathElement {
028
029    @Override
030    default Path toPath() {
031        return path();
032    }
033
034    /// Creates a library jar file from the given path.
035    ///
036    /// @param path the path
037    /// @return the library jar file
038    ///
039    @SuppressWarnings("PMD.ShortMethodName")
040    static LibraryJarFile of(Path path) {
041        return ResourceFactory.create(new ResourceType<>() {}, path);
042    }
043}