001 /* 002 * Created by IntelliJ IDEA. 003 * User: Wei Wang 004 * ACL Lab, School of Computer Science, Montreal, QC 005 * Date: 2002-9-2 006 * Time: 13:44:53 007 */ 008 package EVolve.util; 009 010 import java.util.HashSet; 011 012 public class BatchInfo { 013 private HashSet traceFileList; 014 private String strConfigureFile; 015 016 public BatchInfo() { 017 018 } 019 020 public void setTraceFileList(HashSet input) { 021 traceFileList = (HashSet)input.clone(); 022 } 023 024 public HashSet getTraceFileList() { 025 return traceFileList; 026 } 027 028 public void setConfigureFile(String filename) { 029 strConfigureFile = filename; 030 } 031 032 public String getConfigureFile() { 033 return strConfigureFile; 034 } 035 }