src/edu/uci/eecs/specCompiler/specExtraction/SourceFileInfo.java

   1 package edu.uci.eecs.specCompiler.specExtraction;
   2
   3 import java.io.File;
   4 import java.util.ArrayList;
   5
   6 public class SourceFileInfo {
   7         public final File file;
   8         public final ArrayList<String> content;
   9         public final ArrayList<String> headers;
  10         public final ArrayList<Construct> constructs;
  11
  12         public SourceFileInfo(File file, ArrayList<String> content,
  13                         ArrayList<String> headers, ArrayList<Construct> constructs) {
  14                 this.file = file;
  15                 this.content = content;
  16                 this.headers = headers;
  17                 this.constructs = constructs;
  18         }
  19
  20         public boolean equals(Object o) {
  21                 if (!(o instanceof SourceFileInfo))
  22                         return false;
  23                 SourceFileInfo another = (SourceFileInfo) o;
  24                 return another.file.equals(file);
  25         }
  26 }