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

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