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.eclipse;
020
021import org.jdrupes.builder.api.ResourceRequest;
022
023/// A resource request for an Eclipse launch configuration file.
024///
025public interface EclipseLauncherRequest
026        extends ResourceRequest<EclipseLauncher> {
027
028    /// Returns the main class.
029    ///
030    /// @return the string
031    ///
032    String mainClass();
033
034    /// Return the arguments to use in the launch configuration.
035    ///
036    /// @return the string
037    ///
038    String arguments();
039
040    /// Return the VM arguments to use in the launch configuration.
041    ///
042    /// @return the string
043    ///
044    String vmArguments();
045}