+++ /dev/null
-package edu.uci.eecs.specCompiler.specExtraction;
-
-import java.io.BufferedWriter;
-import java.io.File;
-import java.io.FileWriter;
-import java.io.IOException;
-import java.util.ArrayList;
-
-import edu.uci.eecs.specCompiler.codeGenerator.Environment;
-
-public class SourceFileInfo {
- public final File file;
- public final ArrayList<String> content;
- public final ArrayList<String> headers;
- public final ArrayList<Construct> constructs;
-
- public SourceFileInfo(File file, ArrayList<String> content,
- ArrayList<String> headers, ArrayList<Construct> constructs) {
- this.file = file;
- this.content = content;
- this.headers = headers;
- this.constructs = constructs;
- }
-
- public boolean equals(Object o) {
- if (!(o instanceof SourceFileInfo))
- return false;
- SourceFileInfo another = (SourceFileInfo) o;
- return another.file.equals(file);
- }
-}