import java.util.Deque;
import java.util.LinkedList;
import java.util.List;
+import java.util.logging.Logger;
import org.eclipse.jdt.annotation.NonNull;
+import org.eclipse.tracecompass.common.core.log.TraceCompassLog;
import org.eclipse.tracecompass.internal.statesystem.core.Activator;
import org.eclipse.tracecompass.statesystem.core.backend.IStateHistoryBackend;
import org.eclipse.tracecompass.statesystem.core.exceptions.StateSystemDisposedException;
*/
public class HistoryTreeBackend implements IStateHistoryBackend {
+ private static final Logger LOGGER = TraceCompassLog.getLogger(HistoryTreeBackend.class);
+
private final @NonNull String fSsid;
/**
@Override
public void dispose() {
if (fFinishedBuilding) {
+ LOGGER.info(() -> "[HistoryTreeBackend:ClosingFile] size=" + getSHT().getFileSize()); //$NON-NLS-1$
getSHT().closeFile();
} else {
/*
checkValidTime(t);
/* Queue is a stack of nodes containing nodes intersecting t */
- Deque<HTNode> queue = new LinkedList<>();
+ Deque<Integer> queue = new LinkedList<>();
/* We start by reading the information in the root node */
- queue.add(getSHT().getRootNode());
+ queue.add(getSHT().getRootNode().getSequenceNumber());
/* Then we follow the down in the relevant children */
try {
while (!queue.isEmpty()) {
- HTNode currentNode = queue.pop();
+ int sequenceNumber = queue.pop();
+ HTNode currentNode = getSHT().readNode(sequenceNumber);
if (currentNode.getNodeType() == HTNode.NodeType.CORE) {
- /*Here we add the relevant children nodes for BFS*/
- queue.addAll(getSHT().selectNextChildren((ParentNode) currentNode, t));
+ /* Here we add the relevant children nodes for BFS */
+ queue.addAll(((ParentNode) currentNode).selectNextChildren(t));
}
currentNode.writeInfoFromNode(stateInfo, t);
}
throws TimeRangeException, ClosedChannelException {
checkValidTime(t);
- Deque<HTNode> queue = new LinkedList<>();
- queue.add(getSHT().getRootNode());
+ Deque<Integer> queue = new LinkedList<>();
+ queue.add(getSHT().getRootNode().getSequenceNumber());
HTInterval interval = null;
while (interval == null && !queue.isEmpty()) {
- HTNode currentNode = queue.pop();
+ int sequenceNumber = queue.pop();
+ HTNode currentNode = getSHT().readNode(sequenceNumber);
if (currentNode.getNodeType() == HTNode.NodeType.CORE) {
- queue.addAll(getSHT().selectNextChildren((ParentNode) currentNode, t));
+ /* Here we add the relevant children nodes for BFS */
+ queue.addAll(((ParentNode) currentNode).selectNextChildren(t));
}
interval = currentNode.getRelevantInterval(key, t);
}