package org.ntlab.traceDebugger;
import java.util.HashMap;
import java.util.Map;
import org.eclipse.core.filebuffers.FileBuffers;
import org.eclipse.core.filebuffers.ITextFileBuffer;
import org.eclipse.core.filebuffers.ITextFileBufferManager;
import org.eclipse.core.filebuffers.LocationKind;
import org.eclipse.core.resources.IFile;
import org.eclipse.core.resources.IMarker;
import org.eclipse.core.runtime.CoreException;
import org.eclipse.core.runtime.IPath;
import org.eclipse.jface.dialogs.InputDialog;
import org.eclipse.jface.dialogs.MessageDialog;
import org.eclipse.jface.text.BadLocationException;
import org.eclipse.jface.text.IDocument;
import org.eclipse.jface.text.IRegion;
import org.eclipse.swt.SWT;
import org.eclipse.swt.widgets.FileDialog;
import org.eclipse.swt.widgets.Shell;
import org.ntlab.traceAnalysisPlatform.tracer.trace.ArrayUpdate;
import org.ntlab.traceAnalysisPlatform.tracer.trace.BlockEnter;
import org.ntlab.traceAnalysisPlatform.tracer.trace.FieldUpdate;
import org.ntlab.traceAnalysisPlatform.tracer.trace.MethodExecution;
import org.ntlab.traceAnalysisPlatform.tracer.trace.Statement;
import org.ntlab.traceAnalysisPlatform.tracer.trace.TraceJSON;
import org.ntlab.traceAnalysisPlatform.tracer.trace.TracePoint;
import org.ntlab.traceDebugger.analyzerProvider.DeltaExtractionAnalyzer;
import org.ntlab.traceDebugger.analyzerProvider.DeltaMarkerManager;
import org.ntlab.traceDebugger.analyzerProvider.VariableUpdatePointFinder;
public class DebuggingController {
private static final DebuggingController theInstance = new DebuggingController();
private TracePoint debuggingTp;
private TraceBreakPoint selectedTraceBreakPoint;
private TraceBreakPoints traceBreakPoints;
private IMarker currentLineMarker;
public static final String CURRENT_MARKER_ID = "org.ntlab.traceDebugger.currentMarker";
private DebuggingController() {
}
public static DebuggingController getInstance() {
return theInstance;
}
public void setDebuggingTp(TracePoint tp) {
this.debuggingTp = tp;
}
public void setSelectedTraceBreakPoint(TraceBreakPoint tbp) {
this.selectedTraceBreakPoint = tbp;
}
public TracePoint getCurrentTp() {
return debuggingTp.duplicate();
}
public boolean fileOpenAction(Shell shell) {
FileDialog fileDialog = new FileDialog(shell, SWT.OPEN);
fileDialog.setText("Open Trace File");
fileDialog.setFilterExtensions(new String[]{"*.*"});
String path = fileDialog.open();
if (path == null) return false;
TraceJSON trace = new TraceJSON(path);
TraceDebuggerPlugin.setAnalyzer(new DeltaExtractionAnalyzer(trace));
VariableUpdatePointFinder.getInstance().setTrace(trace);
// traceBreakPoints.clear();
traceBreakPoints = new TraceBreakPoints(trace);
((CallStackView)TraceDebuggerPlugin.getActiveView(CallStackView.ID)).reset();
((VariableView)TraceDebuggerPlugin.getActiveView(VariableView.ID)).reset();
((BreakPointView)TraceDebuggerPlugin.getActiveView(BreakPointView.ID)).update(traceBreakPoints);
return true;
}
public boolean addTraceBreakPointAction() {
if (TraceDebuggerPlugin.getAnalyzer() == null) {
MessageDialog.openInformation(null, "Error", "Trace file was not found");
return false;
}
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "E.setC(C)", null);
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "D.setC(_arraySample.C)", null);
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "Company.pay(Money,Person)", null);
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "P.setM(worstCase.M)", null);
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "DefaultDrawingView.addToSelection(Figure)", null);
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "SelectionManager.addFig(Fig)", null);
// InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "SelectionManager.makeSelectionFor(Fig)", null);
InputDialog inputDialog = new InputDialog(null, "method signature dialog", "Input method signature", "ActionRemoveFromDiagram.actionPerformed(ActionEvent)", null);
if (inputDialog.open() != InputDialog.OK) return false;
String methodSignature = inputDialog.getValue();
inputDialog = new InputDialog(null, "line No dialog", "Input line no", "", null);
if (inputDialog.open() != InputDialog.OK) return false;
int lineNo = Integer.parseInt(inputDialog.getValue());
long currentTime = 0L;
if (debuggingTp != null) {
currentTime = debuggingTp.getStatement().getTimeStamp();
}
boolean isSuccess = traceBreakPoints.addTraceBreakPoint(methodSignature, lineNo, currentTime);
if (!isSuccess) {
MessageDialog.openInformation(null, "Error", "This trace point does not exist in the trace.");
return false;
}
((BreakPointView)TraceDebuggerPlugin.getActiveView(BreakPointView.ID)).update(traceBreakPoints);
return true;
}
public boolean removeTraceBreakPointAction() {
if (selectedTraceBreakPoint == null) return false;
traceBreakPoints.removeTraceBreakPoint(selectedTraceBreakPoint);
((BreakPointView)TraceDebuggerPlugin.getActiveView(BreakPointView.ID)).update(traceBreakPoints);
return true;
}
public boolean changeAvailableAction() {
if (selectedTraceBreakPoint == null) return false;
selectedTraceBreakPoint.changeAvailable();
((BreakPointView)TraceDebuggerPlugin.getActiveView(BreakPointView.ID)).update(traceBreakPoints);
return true;
}
public boolean debugAction() {
if (TraceDebuggerPlugin.getAnalyzer() == null) {
MessageDialog.openInformation(null, "Error", "Trace file was not found");
return false;
}
terminateAction();
traceBreakPoints.reset();
debuggingTp = traceBreakPoints.getFirstTracePoint();
if (debuggingTp == null) return false;
refresh(null, debuggingTp, false);
return true;
}
public void terminateAction() {
debuggingTp = null;
if (currentLineMarker != null) {
try {
currentLineMarker.delete();
} catch (CoreException e) {
e.printStackTrace();
}
}
((CallStackView)TraceDebuggerPlugin.getActiveView(CallStackView.ID)).reset();
((VariableView)TraceDebuggerPlugin.getActiveView(VariableView.ID)).reset();
}
public boolean stepIntoAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
debuggingTp.stepFull();
if (debuggingTp.getStatement() instanceof BlockEnter) {
debuggingTp.stepFull();
}
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(null, debuggingTp, false);
return true;
}
public boolean stepOverAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
int currentLineNo = debuggingTp.getStatement().getLineNo();
boolean isReturned = false;
// ステップオーバーを用いて到達点を見つけておく
TracePoint startTp = debuggingTp.duplicate();
while (!(isReturned = !(debuggingTp.stepOver()))) {
if (currentLineNo != debuggingTp.getStatement().getLineNo()) break;
previousTp = debuggingTp.duplicate();
}
TracePoint goalTp = debuggingTp.duplicate();
if (!isReturned) {
// ステップフルを用いて今度は呼び出し先にも潜りながら予め見つけておいた到達点まで進ませる (変数差分更新のため途中のアップデートを全て拾う)
debuggingTp = startTp;
do {
Statement statement = debuggingTp.getStatement();
if (statement.equals(goalTp.getStatement())) break;
if (statement instanceof FieldUpdate || statement instanceof ArrayUpdate) {
Variables.getInstance().addDifferentialUpdatePoint(debuggingTp);
}
} while (debuggingTp.stepFull());
} else {
debuggingTp = goalTp;
}
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
if (debuggingTp.getStatement() instanceof BlockEnter) {
debuggingTp.stepFull();
}
refresh(previousTp, debuggingTp, isReturned, true);
return true;
}
public boolean stepReturnAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
while (debuggingTp.stepOver());
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(previousTp, debuggingTp, true);
return true;
}
public boolean stepNextAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
TracePoint startTp = debuggingTp.duplicate();
boolean isReturned = !(debuggingTp.stepNext());
TracePoint goalTp = debuggingTp.duplicate();
if (!isReturned) {
// ステップフルを用いて今度は呼び出し先にも潜りながら予め見つけておいた到達点まで進ませる (変数差分更新のため途中のアップデートを全て拾う)
debuggingTp = startTp;
do {
Statement statement = debuggingTp.getStatement();
if (statement.equals(goalTp.getStatement())) break;
if (statement instanceof FieldUpdate || statement instanceof ArrayUpdate) {
Variables.getInstance().addDifferentialUpdatePoint(debuggingTp);
}
} while (debuggingTp.stepFull());
} else {
debuggingTp = startTp;
startTp.stepOver();
}
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
if (debuggingTp.getStatement() instanceof BlockEnter) {
debuggingTp.stepFull();
}
refresh(previousTp, debuggingTp, isReturned, true);
return true;
}
public boolean resumeAction() {
if (debuggingTp == null) return false;
long currentTime = debuggingTp.getStatement().getTimeStamp();
TracePoint previousTp = debuggingTp;
debuggingTp = traceBreakPoints.getNextTracePoint(currentTime);
if (debuggingTp == null) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(null, debuggingTp, false);
return true;
}
public boolean stepBackIntoAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
debuggingTp.stepBackFull();
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(null, debuggingTp, true);
return true;
}
public boolean stepBackOverAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
int currentLineNo = debuggingTp.getStatement().getLineNo();
boolean isReturned;
while (!(isReturned = !debuggingTp.stepBackOver())) {
if (currentLineNo != debuggingTp.getStatement().getLineNo()) break;
}
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(null, debuggingTp, !isReturned);
return true;
}
public boolean stepBackReturnAction() {
if (debuggingTp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = debuggingTp.duplicate();
while (debuggingTp.stepBackOver());
if (!debuggingTp.isValid()) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(null, debuggingTp, false);
return true;
}
public boolean backResumeAction() {
if (debuggingTp == null) return false;
long currentTime = debuggingTp.getStatement().getTimeStamp();
TracePoint previousTp = debuggingTp;
debuggingTp = traceBreakPoints.getPreviousTracePoint(currentTime);
if (debuggingTp == null) {
terminateAction();
MessageDialog.openInformation(null, "Terminate", "This trace is terminated");
return false;
}
refresh(null, debuggingTp, false);
return true;
}
/**
* 現在のデバッグ位置を指定したトレースポイントに合わせる
* @return
*/
public boolean jumpToTheTracePoint(TracePoint tp, boolean isReturned) {
if (tp == null) return false;
TracePoint previousTp = debuggingTp;
debuggingTp = tp.duplicate();
refresh(null, debuggingTp, isReturned);
return true;
}
private void refresh(TracePoint from, TracePoint to, boolean isReturned) {
refresh(from, to, isReturned, false);
}
private void refresh(TracePoint from, TracePoint to, boolean isReturned, boolean canDifferentialUpdateVariables) {
MethodExecution me = to.getMethodExecution();
int lineNo = to.getStatement().getLineNo();
IMarker marker = createCurrentLineMarker(me, lineNo);
JavaEditorOperator.markAndOpenJavaFile(marker);
CallStackView callStackView = ((CallStackView)TraceDebuggerPlugin.getActiveView(CallStackView.ID));
callStackView.updateByTracePoint(to);
VariableView variableView = ((VariableView)TraceDebuggerPlugin.getActiveView(VariableView.ID));
if (!isReturned && canDifferentialUpdateVariables) {
// variableView.updateVariablesByTracePoint(from, to, isReturned);
variableView.updateVariablesForDifferential(from, to, isReturned);
} else {
variableView.updateVariablesByTracePoint(from, to, isReturned);
}
if ((TraceDebuggerPlugin.getAnalyzer() instanceof DeltaExtractionAnalyzer)) {
refreshRelatedDelta(to);
}
}
private void refreshRelatedDelta(TracePoint tp) {
DeltaMarkerView deltaMarkerView = (DeltaMarkerView)TraceDebuggerPlugin.getActiveView(DeltaMarkerView.ID);
if (deltaMarkerView == null) return;
DeltaMarkerManager deltaMarkerManager = deltaMarkerView.getDeltaMarkerManager();
if (deltaMarkerManager == null) return;
IMarker coordinatorMarker = deltaMarkerManager.getCoordinatorDeltaMarker();
if (coordinatorMarker == null) return;
MethodExecution coordinatorME = DeltaMarkerManager.getMethodExecution(coordinatorMarker);
CallStackView callStackView = (CallStackView)TraceDebuggerPlugin.getActiveView(CallStackView.ID);
callStackView.highlight(coordinatorME);
CallTreeView callTreeView = (CallTreeView)TraceDebuggerPlugin.getActiveView(CallTreeView.ID);
callTreeView.highlight(tp.getMethodExecution());
}
public IMarker createCurrentLineMarker(MethodExecution methodExecution, int highlightLineNo) {
IFile file = JavaElementFinder.findIFile(methodExecution);
try {
if (currentLineMarker != null) currentLineMarker.delete();
currentLineMarker = file.createMarker(CURRENT_MARKER_ID);
Map<String, Object> attributes = new HashMap<>();
attributes.put(IMarker.TRANSIENT, true);
attributes.put(IMarker.LINE_NUMBER, highlightLineNo);
IPath path = file.getFullPath();
ITextFileBufferManager manager = FileBuffers.getTextFileBufferManager();
manager.connect(path, LocationKind.IFILE, null);
ITextFileBuffer buffer = manager.getTextFileBuffer(path, LocationKind.IFILE);
IDocument document = buffer.getDocument();
try {
IRegion region = document.getLineInformation(highlightLineNo - 1);
attributes.put(IMarker.CHAR_START, region.getOffset());
attributes.put(IMarker.CHAR_END, region.getOffset() + region.getLength());
} catch (BadLocationException e) {
e.printStackTrace();
}
currentLineMarker.setAttributes(attributes);
} catch (CoreException e) {
e.printStackTrace();
}
return currentLineMarker;
}
}
