Skip to content
Snippets Groups Projects
Commit f6b65522 authored by Jan Gruteser's avatar Jan Gruteser
Browse files

minor fix

parent 62cb935f
No related branches found
No related tags found
No related merge requests found
...@@ -28,11 +28,7 @@ public interface ExploreNode { ...@@ -28,11 +28,7 @@ public interface ExploreNode {
* semNodesTable for itself and every descendant in the semantic tree * * semNodesTable for itself and every descendant in the semantic tree *
* by executing * * by executing *
* * * *
<<<<<<< Updated upstream
* Integer uid = Integer.valueOf(myUID); * * Integer uid = Integer.valueOf(myUID); *
=======
* Integer uid = myUID; *
>>>>>>> Stashed changes
* if (semNodesTable.get(uid) != null) return; * * if (semNodesTable.get(uid) != null) return; *
* semNodesTable.put(uid, this); * * semNodesTable.put(uid, this); *
* * * *
......
...@@ -55,7 +55,7 @@ import util.FileUtil; ...@@ -55,7 +55,7 @@ import util.FileUtil;
// TODO-MAK Flush asynchronously and with multiple threads (Exploit SSD support // TODO-MAK Flush asynchronously and with multiple threads (Exploit SSD support
// for multiple concurrent readers) // for multiple concurrent readers)
@SuppressWarnings("serial") @SuppressWarnings("serial")
public abstract class DiskFPSet extends FPSet implements FPSetStatistic { public abstract class DiskFPSet extends FPSet implements FPSetStatistic, AutoCloseable {
protected final static Logger LOGGER = Logger.getLogger(DiskFPSet.class.getName()); protected final static Logger LOGGER = Logger.getLogger(DiskFPSet.class.getName());
...@@ -278,25 +278,6 @@ public abstract class DiskFPSet extends FPSet implements FPSetStatistic { ...@@ -278,25 +278,6 @@ public abstract class DiskFPSet extends FPSet implements FPSetStatistic {
public abstract long sizeof(); public abstract long sizeof();
/* (non-Javadoc)
* @see java.lang.Object#finalize()
*/
/*public final void finalize() {
/* Close any backing disk files in use by this object. */
/* for (int i = 0; i < this.braf.length; i++) {
try {
this.braf[i].close();
} catch (IOException e) { /* SKIP */
/* }
}
for (int i = 0; i < this.brafPool.length; i++) {
try {
this.brafPool[i].close();
} catch (IOException e) { /* SKIP */
/* }
}
}*/
/* (non-Javadoc) /* (non-Javadoc)
* @see tlc2.tool.fp.FPSet#addThread() * @see tlc2.tool.fp.FPSet#addThread()
*/ */
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment