1 package edu.uci.eecs.specCompiler.specExtraction;
4 import java.util.ArrayList;
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;
12 public SourceFileInfo(File file, ArrayList<String> content,
13 ArrayList<String> headers, ArrayList<Construct> constructs) {
15 this.content = content;
16 this.headers = headers;
17 this.constructs = constructs;
20 public boolean equals(Object o) {
21 if (!(o instanceof SourceFileInfo))
23 SourceFileInfo another = (SourceFileInfo) o;
24 return another.file.equals(file);