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.ResourceType;
024import org.jdrupes.builder.core.DefaultFileResource;
025
026/// A [FileResource] that represents a Java jar.
027///
028public class DefaultJarFile extends DefaultFileResource implements JarFile {
029
030    /// Instantiates a new jar file.
031    ///
032    /// @param type the resource type
033    /// @param path the path
034    ///
035    protected DefaultJarFile(ResourceType<? extends JarFile> type, Path path) {
036        super(type, path);
037    }
038}