~tapaal-contributor/tapaal/engine-option-matrix-dev

package dk.aau.cs.gui.undo;

 

import dk.aau.cs.gui.BatchProcessingDialog;

 

import javax.swing.*;

import java.io.File;

 

public class AddFileBatchProcessingCommand extends Command{

    private final DefaultListModel<File> listModel;

    private final BatchProcessingDialog dialog;

    public AddFileBatchProcessingCommand(DefaultListModel<File> listModel, File file, List<File> files, BatchProcessingDialog dialog){

        this.listModel = listModel;

        this.file = file;