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.FileResource;
023import org.jdrupes.builder.api.ResourceFactory;
024import org.jdrupes.builder.api.ResourceType;
025import org.jdrupes.builder.api.ZipFile;
026
027/// A [FileResource] that represents a Java jar file].
028///
029public interface JarFile extends ZipFile {
030
031    /// Creates a jar file resource from the given values.
032    ///
033    /// @param <T> the generic type
034    /// @param jarType the jar type
035    /// @param path the path
036    /// @return the t
037    ///
038    @SuppressWarnings("PMD.ShortMethodName")
039    static <T extends JarFile> T of(ResourceType<T> jarType, Path path) {
040        return ResourceFactory.create(jarType, path);
041    }
042
043}