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    }