1 package edu.uci.eecs.specCompiler.specExtraction;
3 import java.io.BufferedWriter;
5 import java.io.FileWriter;
6 import java.io.IOException;
7 import java.util.ArrayList;
9 import edu.uci.eecs.specCompiler.codeGenerator.Environment;
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;
17 public SourceFileInfo(File file, ArrayList<String> content,
18 ArrayList<String> headers, ArrayList<Construct> constructs) {
20 this.content = content;
21 this.headers = headers;
22 this.constructs = constructs;
25 public boolean equals(Object o) {
26 if (!(o instanceof SourceFileInfo))
28 SourceFileInfo another = (SourceFileInfo) o;
29 return another.file.equals(file);