Merge branch 'release/2.1.2'
This commit is contained in:
commit
429ea37080
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -2,6 +2,10 @@
|
||||||
<classpath>
|
<classpath>
|
||||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
||||||
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
||||||
<classpathentry kind="src" path="src"/>
|
<classpathentry kind="src" path="src/">
|
||||||
|
<attributes>
|
||||||
|
<attribute name="test" value="true"/>
|
||||||
|
</attributes>
|
||||||
|
</classpathentry>
|
||||||
<classpathentry kind="output" path="target/classes"/>
|
<classpathentry kind="output" path="target/classes"/>
|
||||||
</classpath>
|
</classpath>
|
||||||
|
|
|
@ -1,3 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding//src/com/minres/scviewer/database/test/DatabaseServicesTest.java=UTF-8
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -1,19 +1,22 @@
|
||||||
<?xml version="1.0" encoding="UTF-8"?>
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
<classpath>
|
<classpath>
|
||||||
<classpathentry exported="true" kind="lib" path="lib/elsa-3.0.0-M5.jar"/>
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8">
|
||||||
<classpathentry exported="true" kind="lib" path="lib/eclipse-collections-9.2.0.jar"/>
|
<attributes>
|
||||||
<classpathentry exported="true" kind="lib" path="lib/eclipse-collections-api-9.2.0.jar"/>
|
<attribute name="maven.pomderived" value="true"/>
|
||||||
<classpathentry exported="true" kind="lib" path="lib/eclipse-collections-forkjoin-9.2.0.jar"/>
|
</attributes>
|
||||||
<classpathentry exported="true" kind="lib" path="lib/kotlin-stdlib-1.2.42.jar"/>
|
</classpathentry>
|
||||||
<classpathentry exported="true" kind="lib" path="lib/lz4-1.3.0.jar"/>
|
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
||||||
<classpathentry exported="true" kind="lib" path="lib/mapdb-3.0.7.jar" sourcepath="lib/mapdb-3.0.7-sources.jar">
|
<classpathentry exported="true" kind="lib" path="lib/mapdb-3.0.7.jar" sourcepath="lib/mapdb-3.0.7-sources.jar">
|
||||||
<attributes>
|
<attributes>
|
||||||
<attribute name="javadoc_location" value="jar:platform:/resource/com.minres.scviewer.database.text/lib/mapdb-3.0.7-javadoc.jar!/"/>
|
<attribute name="javadoc_location" value="jar:platform:/resource/com.minres.scviewer.database.text/lib/mapdb-3.0.7-javadoc.jar!/"/>
|
||||||
</attributes>
|
</attributes>
|
||||||
</classpathentry>
|
</classpathentry>
|
||||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
<classpathentry kind="src" path="src/"/>
|
||||||
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
<classpathentry exported="true" kind="lib" path="lib/eclipse-collections-9.2.0.jar"/>
|
||||||
<classpathentry kind="src" path="src"/>
|
<classpathentry exported="true" kind="lib" path="lib/eclipse-collections-api-9.2.0.jar"/>
|
||||||
<classpathentry exported="true" kind="con" path="GROOVY_DSL_SUPPORT"/>
|
<classpathentry exported="true" kind="lib" path="lib/eclipse-collections-forkjoin-9.2.0.jar"/>
|
||||||
|
<classpathentry exported="true" kind="lib" path="lib/kotlin-stdlib-1.2.42.jar"/>
|
||||||
|
<classpathentry exported="true" kind="lib" path="lib/lz4-1.3.0.jar"/>
|
||||||
|
<classpathentry exported="true" kind="lib" path="lib/elsa-3.0.0-M5.jar"/>
|
||||||
<classpathentry kind="output" path="target/classes"/>
|
<classpathentry kind="output" path="target/classes"/>
|
||||||
</classpath>
|
</classpath>
|
||||||
|
|
|
@ -5,4 +5,5 @@ org.eclipse.jdt.core.compiler.compliance=1.8
|
||||||
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
org.eclipse.jdt.core.compiler.problem.assertIdentifier=error
|
||||||
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
org.eclipse.jdt.core.compiler.problem.enumIdentifier=error
|
||||||
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
|
org.eclipse.jdt.core.compiler.problem.forbiddenReference=warning
|
||||||
|
org.eclipse.jdt.core.compiler.release=disabled
|
||||||
org.eclipse.jdt.core.compiler.source=1.8
|
org.eclipse.jdt.core.compiler.source=1.8
|
||||||
|
|
|
@ -84,7 +84,11 @@ public class TextDbLoader implements IWaveformDbLoader{
|
||||||
calculateConcurrencyIndicees()
|
calculateConcurrencyIndicees()
|
||||||
return true
|
return true
|
||||||
}
|
}
|
||||||
} catch(Exception e) { }
|
} catch(EOFException e) {
|
||||||
|
return true;
|
||||||
|
} catch(Exception e) {
|
||||||
|
e.printStackTrace()
|
||||||
|
}
|
||||||
return false;
|
return false;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
||||||
Bundle-ManifestVersion: 2
|
Bundle-ManifestVersion: 2
|
||||||
Bundle-Name: SWT widget
|
Bundle-Name: SWT widget
|
||||||
Bundle-SymbolicName: com.minres.scviewer.database.ui.swt
|
Bundle-SymbolicName: com.minres.scviewer.database.ui.swt
|
||||||
Bundle-Version: 2.0.0.qualifier
|
Bundle-Version: 2.0.2.qualifier
|
||||||
Bundle-Vendor: MINRES Technologies GmbH
|
Bundle-Vendor: MINRES Technologies GmbH
|
||||||
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
||||||
Require-Bundle: org.eclipse.swt;bundle-version="3.103.1",
|
Require-Bundle: org.eclipse.swt;bundle-version="3.103.1",
|
||||||
|
|
|
@ -8,4 +8,5 @@
|
||||||
<version>2.0.0-SNAPSHOT</version>
|
<version>2.0.0-SNAPSHOT</version>
|
||||||
<relativePath>../com.minres.scviewer.parent</relativePath>
|
<relativePath>../com.minres.scviewer.parent</relativePath>
|
||||||
</parent>
|
</parent>
|
||||||
|
<version>2.0.2-SNAPSHOT</version>
|
||||||
</project>
|
</project>
|
|
@ -46,6 +46,8 @@ public class ArrowPainter implements IPainter {
|
||||||
|
|
||||||
private RelationType highlightType;
|
private RelationType highlightType;
|
||||||
|
|
||||||
|
private long selectionOffset;
|
||||||
|
|
||||||
long scaleFactor;
|
long scaleFactor;
|
||||||
|
|
||||||
boolean deferredUpdate;
|
boolean deferredUpdate;
|
||||||
|
@ -87,8 +89,9 @@ public class ArrowPainter implements IPainter {
|
||||||
deferredUpdate = true;
|
deferredUpdate = true;
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
|
selectionOffset = waveCanvas.getXOffset();
|
||||||
int laneHeight = painter.getHeight() / stream.getMaxConcurrency();
|
int laneHeight = painter.getHeight() / stream.getMaxConcurrency();
|
||||||
txRectangle = new Rectangle((int) (tx.getBeginTime() / scaleFactor),
|
txRectangle = new Rectangle((int) (tx.getBeginTime() / scaleFactor-waveCanvas.getXOffset()),
|
||||||
waveCanvas.rulerHeight + painter.getVerticalOffset() + laneHeight * tx.getConcurrencyIndex(),
|
waveCanvas.rulerHeight + painter.getVerticalOffset() + laneHeight * tx.getConcurrencyIndex(),
|
||||||
(int) ((tx.getEndTime() - tx.getBeginTime()) / scaleFactor), laneHeight);
|
(int) ((tx.getEndTime() - tx.getBeginTime()) / scaleFactor), laneHeight);
|
||||||
deriveGeom(tx.getIncomingRelations(), iRect, false);
|
deriveGeom(tx.getIncomingRelations(), iRect, false);
|
||||||
|
@ -102,7 +105,7 @@ public class ArrowPainter implements IPainter {
|
||||||
ITxStream<?> stream = otherTx.getStream();
|
ITxStream<?> stream = otherTx.getStream();
|
||||||
IWaveformPainter painter = waveCanvas.wave2painterMap.get(stream);
|
IWaveformPainter painter = waveCanvas.wave2painterMap.get(stream);
|
||||||
int laneHeight = painter.getHeight() / stream.getMaxConcurrency();
|
int laneHeight = painter.getHeight() / stream.getMaxConcurrency();
|
||||||
Rectangle bb = new Rectangle((int) (otherTx.getBeginTime() / scaleFactor),
|
Rectangle bb = new Rectangle((int) (otherTx.getBeginTime() / scaleFactor-waveCanvas.getXOffset()),
|
||||||
waveCanvas.rulerHeight + painter.getVerticalOffset()
|
waveCanvas.rulerHeight + painter.getVerticalOffset()
|
||||||
+ laneHeight * otherTx.getConcurrencyIndex(),
|
+ laneHeight * otherTx.getConcurrencyIndex(),
|
||||||
(int) ((otherTx.getEndTime() - otherTx.getBeginTime()) / scaleFactor), laneHeight);
|
(int) ((otherTx.getEndTime() - otherTx.getBeginTime()) / scaleFactor), laneHeight);
|
||||||
|
@ -120,14 +123,19 @@ public class ArrowPainter implements IPainter {
|
||||||
scaleFactor = waveCanvas.getScaleFactor();
|
scaleFactor = waveCanvas.getScaleFactor();
|
||||||
calculateGeometries();
|
calculateGeometries();
|
||||||
}
|
}
|
||||||
|
if(txRectangle == null) return;
|
||||||
|
int correctionValue = (int)(selectionOffset - waveCanvas.getXOffset());
|
||||||
|
Rectangle correctedTargetRectangle = new Rectangle(txRectangle.x+correctionValue, txRectangle.y, txRectangle.width, txRectangle.height);
|
||||||
for (LinkEntry entry : iRect) {
|
for (LinkEntry entry : iRect) {
|
||||||
|
Rectangle correctedRectangle = new Rectangle(entry.rectangle.x+correctionValue, entry.rectangle.y, entry.rectangle.width, entry.rectangle.height);
|
||||||
Point target = drawPath(gc, highlightType.equals(entry.relationType) ? highliteColor : fgColor,
|
Point target = drawPath(gc, highlightType.equals(entry.relationType) ? highliteColor : fgColor,
|
||||||
entry.rectangle, txRectangle);
|
correctedRectangle, correctedTargetRectangle);
|
||||||
drawArrow(gc, target);
|
drawArrow(gc, target);
|
||||||
}
|
}
|
||||||
for (LinkEntry entry : oRect) {
|
for (LinkEntry entry : oRect) {
|
||||||
Point target = drawPath(gc, highlightType.equals(entry.relationType) ? highliteColor : fgColor, txRectangle,
|
Rectangle correctedRectangle = new Rectangle(entry.rectangle.x+correctionValue, entry.rectangle.y, entry.rectangle.width, entry.rectangle.height);
|
||||||
entry.rectangle);
|
Point target = drawPath(gc, highlightType.equals(entry.relationType) ? highliteColor : fgColor, correctedTargetRectangle,
|
||||||
|
correctedRectangle);
|
||||||
drawArrow(gc, target);
|
drawArrow(gc, target);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -30,6 +30,11 @@ public class CursorPainter implements IPainter, ICursor {
|
||||||
|
|
||||||
public final int id;
|
public final int id;
|
||||||
|
|
||||||
|
/// maximum visible canvas position in canvas coordinates
|
||||||
|
int maxPosX;
|
||||||
|
/// maximum visible position in waveform coordinates
|
||||||
|
int maxValX;
|
||||||
|
|
||||||
/**
|
/**
|
||||||
* @param i
|
* @param i
|
||||||
* @param txDisplay
|
* @param txDisplay
|
||||||
|
@ -56,23 +61,32 @@ public class CursorPainter implements IPainter, ICursor {
|
||||||
this.isDragging = isDragging;
|
this.isDragging = isDragging;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
public void paintArea(GC gc, Rectangle area) {
|
public void paintArea(GC gc, Rectangle area) {
|
||||||
if(this.waveCanvas.painterList.size()>0){
|
if(this.waveCanvas.painterList.size()>0){
|
||||||
|
|
||||||
long scaleFactor=waveCanvas.getScaleFactor();
|
long scaleFactor=waveCanvas.getScaleFactor();
|
||||||
|
long beginPos = area.x;
|
||||||
|
|
||||||
|
maxPosX = area.x + area.width;
|
||||||
|
maxValX = maxPosX + (int)waveCanvas.getXOffset();
|
||||||
|
|
||||||
|
// x position of marker in pixels on canvas
|
||||||
int x = (int) (time/scaleFactor);
|
int x = (int) (time/scaleFactor);
|
||||||
|
// distance of marker from the top of Canvas' painting area
|
||||||
int top = id<0?area.y:area.y+15;
|
int top = id<0?area.y:area.y+15;
|
||||||
|
|
||||||
Color drawColor=waveCanvas.colors[id<0?WaveformColors.CURSOR.ordinal():WaveformColors.MARKER.ordinal()];
|
Color drawColor=waveCanvas.colors[id<0?WaveformColors.CURSOR.ordinal():WaveformColors.MARKER.ordinal()];
|
||||||
Color dragColor = waveCanvas.colors[WaveformColors.CURSOR_DRAG.ordinal()];
|
Color dragColor = waveCanvas.colors[WaveformColors.CURSOR_DRAG.ordinal()];
|
||||||
Color textColor=waveCanvas.colors[id<0?WaveformColors.CURSOR_TEXT.ordinal():WaveformColors.MARKER_TEXT.ordinal()];
|
Color textColor=waveCanvas.colors[id<0?WaveformColors.CURSOR_TEXT.ordinal():WaveformColors.MARKER_TEXT.ordinal()];
|
||||||
if(x>=area.x && x<=(area.x+area.width)){
|
if(x>=beginPos && x<=maxValX){
|
||||||
gc.setForeground(isDragging?dragColor:drawColor);
|
gc.setForeground(isDragging?dragColor:drawColor);
|
||||||
gc.drawLine(x, top, x, area.y+area.height);
|
gc.drawLine(x-(int)waveCanvas.getXOffset(), top, x-(int)waveCanvas.getXOffset(), area.y+area.height);
|
||||||
gc.setBackground(drawColor);
|
gc.setBackground(drawColor);
|
||||||
gc.setForeground(textColor);
|
gc.setForeground(textColor);
|
||||||
Double dTime=new Double(time);
|
Double dTime=new Double(time);
|
||||||
gc.drawText((dTime/waveCanvas.getScaleFactorPow10())+waveCanvas.getUnitStr(), x+1, top);
|
gc.drawText((dTime/waveCanvas.getScaleFactorPow10())+waveCanvas.getUnitStr(), x+1-(int)waveCanvas.getXOffset(), top);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
|
@ -32,6 +32,7 @@ public class RulerPainter implements IPainter {
|
||||||
|
|
||||||
@Override
|
@Override
|
||||||
public void paintArea(GC gc, Rectangle area) {
|
public void paintArea(GC gc, Rectangle area) {
|
||||||
|
|
||||||
Color headerFgColor=waveCanvas.getDisplay().getSystemColor(SWT.COLOR_WIDGET_FOREGROUND);
|
Color headerFgColor=waveCanvas.getDisplay().getSystemColor(SWT.COLOR_WIDGET_FOREGROUND);
|
||||||
if(headerFgColor.isDisposed())
|
if(headerFgColor.isDisposed())
|
||||||
headerFgColor=SWTResourceManager.getColor(0,0,0);
|
headerFgColor=SWTResourceManager.getColor(0,0,0);
|
||||||
|
@ -41,9 +42,11 @@ public class RulerPainter implements IPainter {
|
||||||
String unit=waveCanvas.getUnitStr();
|
String unit=waveCanvas.getUnitStr();
|
||||||
int unitMultiplier=waveCanvas.getUnitMultiplier();
|
int unitMultiplier=waveCanvas.getUnitMultiplier();
|
||||||
long scaleFactor=waveCanvas.getScaleFactor();
|
long scaleFactor=waveCanvas.getScaleFactor();
|
||||||
// long zoomLevel = waveCanvas.getZoomLevel();
|
|
||||||
long start=area.x*scaleFactor;
|
long startPos=area.x*scaleFactor;
|
||||||
long end=start+area.width*scaleFactor;
|
long startVal=startPos + waveCanvas.getXOffset()*scaleFactor;
|
||||||
|
long endPos=startPos+area.width*scaleFactor;
|
||||||
|
long endVal=startVal+area.width*scaleFactor;
|
||||||
|
|
||||||
long rulerTickMinor = rulerTickMinorC*scaleFactor;
|
long rulerTickMinor = rulerTickMinorC*scaleFactor;
|
||||||
long rulerTickMajor = rulerTickMajorC*scaleFactor;
|
long rulerTickMajor = rulerTickMajorC*scaleFactor;
|
||||||
|
@ -54,9 +57,9 @@ public class RulerPainter implements IPainter {
|
||||||
int baselineY=waveCanvas.rulerHeight - 1;
|
int baselineY=waveCanvas.rulerHeight - 1;
|
||||||
int bottom=waveCanvas.rulerHeight - 2;
|
int bottom=waveCanvas.rulerHeight - 2;
|
||||||
|
|
||||||
long startMinorIncr = start;
|
long modulo = startVal % rulerTickMinor;
|
||||||
long modulo = start % rulerTickMinor;
|
long startMinorIncrPos = startPos+rulerTickMinor-modulo;
|
||||||
startMinorIncr+=rulerTickMinor-modulo;
|
long startMinorIncrVal = startVal+rulerTickMinor-modulo;
|
||||||
|
|
||||||
gc.setBackground(waveCanvas.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
|
gc.setBackground(waveCanvas.getDisplay().getSystemColor(SWT.COLOR_WIDGET_BACKGROUND));
|
||||||
gc.fillRectangle(new Rectangle(area.x, area.y, area.width, waveCanvas.rulerHeight));
|
gc.fillRectangle(new Rectangle(area.x, area.y, area.width, waveCanvas.rulerHeight));
|
||||||
|
@ -65,15 +68,18 @@ public class RulerPainter implements IPainter {
|
||||||
gc.setForeground(headerFgColor);
|
gc.setForeground(headerFgColor);
|
||||||
gc.drawLine(area.x, area.y+bottom, area.x+area.width, area.y+bottom);
|
gc.drawLine(area.x, area.y+bottom, area.x+area.width, area.y+bottom);
|
||||||
|
|
||||||
for (long tick = startMinorIncr; tick < end; tick += rulerTickMinor) {
|
int x0_max = 0;
|
||||||
int x0 = (int) (tick/scaleFactor);
|
|
||||||
|
for (long pos = startMinorIncrPos, tick = startMinorIncrVal; pos < endPos; pos+= rulerTickMinor, tick += rulerTickMinor) {
|
||||||
|
int x0_pos = (int) (pos/scaleFactor);
|
||||||
|
long x0_val = tick/scaleFactor;
|
||||||
|
x0_max = x0_pos;
|
||||||
if ((tick % rulerTickMajor) == 0) {
|
if ((tick % rulerTickMajor) == 0) {
|
||||||
gc.drawText(df.format(tick/scaleFactor*unitMultiplier)+unit, x0, area.y+textY);
|
gc.drawText(df.format(x0_val*unitMultiplier)+unit, x0_pos, area.y+textY);
|
||||||
gc.drawLine(x0, area.y+majorTickY, x0,area.y+ bottom);
|
gc.drawLine(x0_pos, area.y+majorTickY, x0_pos,area.y+ bottom);
|
||||||
} else {
|
} else {
|
||||||
gc.drawLine(x0, area.y+minorTickY, x0, area.y+bottom);
|
gc.drawLine(x0_pos, area.y+minorTickY, x0_pos, area.y+bottom);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -68,16 +68,24 @@ public class SignalPainter extends TrackPainter {
|
||||||
int yOffsetT;
|
int yOffsetT;
|
||||||
int yOffsetM;
|
int yOffsetM;
|
||||||
int yOffsetB;
|
int yOffsetB;
|
||||||
int maxX;
|
/// maximum visible canvas position in canvas coordinates
|
||||||
|
int maxPosX;
|
||||||
|
/// maximum visible position in waveform coordinates
|
||||||
|
int maxValX;
|
||||||
|
|
||||||
public SignalPainter(WaveformCanvas txDisplay, boolean even, TrackEntry trackEntry) {
|
public SignalPainter(WaveformCanvas txDisplay, boolean even, TrackEntry trackEntry) {
|
||||||
super(trackEntry, even);
|
super(trackEntry, even);
|
||||||
this.waveCanvas = txDisplay;
|
this.waveCanvas = txDisplay;
|
||||||
}
|
}
|
||||||
|
|
||||||
private int getXEnd(long time) {
|
private int getXValEnd(long time) {
|
||||||
long ltmp = time / this.waveCanvas.getScaleFactor();
|
long ltmp = time / this.waveCanvas.getScaleFactor();
|
||||||
return ltmp > maxX ? maxX : (int) ltmp;
|
return ltmp > maxValX ? maxValX : (int) ltmp;
|
||||||
|
}
|
||||||
|
|
||||||
|
private int getXPosEnd(long time) {
|
||||||
|
long ltmp = time / this.waveCanvas.getScaleFactor() - waveCanvas.getXOffset();
|
||||||
|
return ltmp > maxPosX ? maxPosX : (int) ltmp;
|
||||||
}
|
}
|
||||||
|
|
||||||
public void paintArea(GC gc, Rectangle area) {
|
public void paintArea(GC gc, Rectangle area) {
|
||||||
|
@ -88,8 +96,13 @@ public class SignalPainter extends TrackPainter {
|
||||||
gc.setBackground(this.waveCanvas.colors[even ? WaveformColors.TRACK_BG_EVEN.ordinal() : WaveformColors.TRACK_BG_ODD.ordinal()]);
|
gc.setBackground(this.waveCanvas.colors[even ? WaveformColors.TRACK_BG_EVEN.ordinal() : WaveformColors.TRACK_BG_ODD.ordinal()]);
|
||||||
gc.setFillRule(SWT.FILL_EVEN_ODD);
|
gc.setFillRule(SWT.FILL_EVEN_ODD);
|
||||||
gc.fillRectangle(area);
|
gc.fillRectangle(area);
|
||||||
long beginTime = area.x * this.waveCanvas.getScaleFactor();
|
|
||||||
long endTime = (area.x + area.width) * this.waveCanvas.getScaleFactor();
|
long scaleFactor = this.waveCanvas.getScaleFactor();
|
||||||
|
long beginPos = area.x;
|
||||||
|
long beginTime = (beginPos + waveCanvas.getXOffset())*scaleFactor;
|
||||||
|
long endPos = beginPos + area.width;
|
||||||
|
long endTime = beginTime + area.width*scaleFactor;
|
||||||
|
|
||||||
Entry<Long, ?> first = signal.getEvents().floorEntry(beginTime);
|
Entry<Long, ?> first = signal.getEvents().floorEntry(beginTime);
|
||||||
Entry<Long, ?> last = signal.getEvents().floorEntry(endTime);
|
Entry<Long, ?> last = signal.getEvents().floorEntry(endTime);
|
||||||
if (first == null) {
|
if (first == null) {
|
||||||
|
@ -105,14 +118,18 @@ public class SignalPainter extends TrackPainter {
|
||||||
NavigableMap<Long, ?> entries = signal.getEvents().subMap(first.getKey(), false, last.getKey(), true);
|
NavigableMap<Long, ?> entries = signal.getEvents().subMap(first.getKey(), false, last.getKey(), true);
|
||||||
SignalChange left = new SignalChange(first);
|
SignalChange left = new SignalChange(first);
|
||||||
SignalChange right = new SignalChange(entries.size() > 0 ? entries.firstEntry() : first);
|
SignalChange right = new SignalChange(entries.size() > 0 ? entries.firstEntry() : first);
|
||||||
maxX = area.x + area.width;
|
maxPosX = area.x + area.width;
|
||||||
|
maxValX = maxPosX + (int)waveCanvas.getXOffset();
|
||||||
yOffsetT = this.waveCanvas.getTrackHeight() / 5 + area.y;
|
yOffsetT = this.waveCanvas.getTrackHeight() / 5 + area.y;
|
||||||
yOffsetM = this.waveCanvas.getTrackHeight() / 2 + area.y;
|
yOffsetM = this.waveCanvas.getTrackHeight() / 2 + area.y;
|
||||||
yOffsetB = 4 * this.waveCanvas.getTrackHeight() / 5 + area.y;
|
yOffsetB = 4 * this.waveCanvas.getTrackHeight() / 5 + area.y;
|
||||||
int xBegin = Math.max(area.x, (int) (left.time / this.waveCanvas.getScaleFactor()));
|
int xSigChangeBeginVal = Math.max(area.x + (int)waveCanvas.getXOffset(), (int) (left.time / this.waveCanvas.getScaleFactor()));
|
||||||
int xEnd = Math.max(area.x, getXEnd(right.time));
|
int xSigChangeBeginPos = area.x;
|
||||||
|
int xSigChangeEndVal = Math.max(area.x + (int)waveCanvas.getXOffset(), getXValEnd(right.time));
|
||||||
|
int xSigChangeEndPos = Math.max(area.x, getXPosEnd(right.time));
|
||||||
|
|
||||||
boolean multiple = false;
|
boolean multiple = false;
|
||||||
if (xEnd == xBegin) {
|
if (xSigChangeEndPos == xSigChangeBeginPos) {
|
||||||
// this can trigger if
|
// this can trigger if
|
||||||
// a) left == right
|
// a) left == right
|
||||||
// b) left to close to right
|
// b) left to close to right
|
||||||
|
@ -120,30 +137,31 @@ public class SignalPainter extends TrackPainter {
|
||||||
right.time = endTime;
|
right.time = endTime;
|
||||||
} else {
|
} else {
|
||||||
multiple = true;
|
multiple = true;
|
||||||
long eTime = (xBegin + 1) * this.waveCanvas.getScaleFactor();
|
long eTime = (xSigChangeBeginVal + 1) * this.waveCanvas.getScaleFactor();
|
||||||
right.set(entries.floorEntry(eTime), endTime);
|
right.set(entries.floorEntry(eTime), endTime);
|
||||||
right.time = eTime;
|
right.time = eTime;
|
||||||
}
|
}
|
||||||
xEnd = getXEnd(right.time);
|
xSigChangeEndPos = getXPosEnd(right.time);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
SignalStencil stencil = getStencil(gc, left, entries);
|
SignalStencil stencil = getStencil(gc, left, entries);
|
||||||
do {
|
do {
|
||||||
stencil.draw(gc, area, left.value, right.value, xBegin, xEnd, multiple);
|
stencil.draw(gc, area, left.value, right.value, xSigChangeBeginPos, xSigChangeEndPos, multiple);
|
||||||
if (right.time >= endTime)
|
if (right.time >= endTime)
|
||||||
break;
|
break;
|
||||||
left.assign(right);
|
left.assign(right);
|
||||||
xBegin = xEnd;
|
xSigChangeBeginPos = xSigChangeEndPos;
|
||||||
right.set(entries.higherEntry(left.time), endTime);
|
right.set(entries.higherEntry(left.time), endTime);
|
||||||
xEnd = getXEnd(right.time);
|
xSigChangeEndPos = getXPosEnd(right.time);
|
||||||
multiple = false;
|
multiple = false;
|
||||||
if (xEnd == xBegin) {
|
if (xSigChangeEndPos == xSigChangeBeginPos) {
|
||||||
multiple = true;
|
multiple = true;
|
||||||
long eTime = (xBegin + 1) * this.waveCanvas.getScaleFactor();
|
long eTime = (xSigChangeBeginPos + 1) * this.waveCanvas.getScaleFactor();
|
||||||
Entry<Long, ?> entry = entries.floorEntry(eTime);
|
Entry<Long, ?> entry = entries.floorEntry(eTime);
|
||||||
if(entry!=null && entry.getKey()> right.time)
|
if(entry!=null && entry.getKey()> right.time)
|
||||||
right.set(entry, endTime);
|
right.set(entry, endTime);
|
||||||
xEnd = getXEnd(eTime);
|
xSigChangeEndPos = getXPosEnd(eTime);
|
||||||
}
|
}
|
||||||
} while (left.time < endTime);
|
} while (left.time < endTime);
|
||||||
}
|
}
|
||||||
|
@ -273,14 +291,14 @@ public class SignalPainter extends TrackPainter {
|
||||||
int yOffsetLeft = (int) ((leftVal-minVal) / range * (yOffsetB-yOffsetT));
|
int yOffsetLeft = (int) ((leftVal-minVal) / range * (yOffsetB-yOffsetT));
|
||||||
int yOffsetRight = (int) ((rightVal-minVal) / range * (yOffsetB-yOffsetT));
|
int yOffsetRight = (int) ((rightVal-minVal) / range * (yOffsetB-yOffsetT));
|
||||||
if(continous) {
|
if(continous) {
|
||||||
if (xEnd > maxX) {
|
if (xEnd > maxPosX) {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxX, yOffsetB-yOffsetRight);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxPosX, yOffsetB-yOffsetRight);
|
||||||
} else {
|
} else {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetRight);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetRight);
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
if (xEnd > maxX) {
|
if (xEnd > maxPosX) {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxX, yOffsetB-yOffsetLeft);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxPosX, yOffsetB-yOffsetLeft);
|
||||||
} else {
|
} else {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetLeft);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetLeft);
|
||||||
if(yOffsetRight!=yOffsetLeft) {
|
if(yOffsetRight!=yOffsetLeft) {
|
||||||
|
@ -316,8 +334,8 @@ public class SignalPainter extends TrackPainter {
|
||||||
default:
|
default:
|
||||||
}
|
}
|
||||||
gc.setForeground(color);
|
gc.setForeground(color);
|
||||||
if (xEnd > maxX) {
|
if (xEnd > maxPosX) {
|
||||||
gc.drawLine(xBegin, yOffset, maxX, yOffset);
|
gc.drawLine(xBegin, yOffset, maxPosX, yOffset);
|
||||||
} else {
|
} else {
|
||||||
gc.drawLine(xBegin, yOffset, xEnd, yOffset);
|
gc.drawLine(xBegin, yOffset, xEnd, yOffset);
|
||||||
int yNext = yOffsetM;
|
int yNext = yOffsetM;
|
||||||
|
@ -398,14 +416,14 @@ public class SignalPainter extends TrackPainter {
|
||||||
int yOffsetLeft = (int) ((leftVal-minVal) / range * (yOffsetB-yOffsetT));
|
int yOffsetLeft = (int) ((leftVal-minVal) / range * (yOffsetB-yOffsetT));
|
||||||
int yOffsetRight = Double.isNaN(rightVal)?yOffsetLeft:(int) ((rightVal-minVal) / range * (yOffsetB-yOffsetT));
|
int yOffsetRight = Double.isNaN(rightVal)?yOffsetLeft:(int) ((rightVal-minVal) / range * (yOffsetB-yOffsetT));
|
||||||
if(continous) {
|
if(continous) {
|
||||||
if (xEnd > maxX) {
|
if (xEnd > maxPosX) {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxX, yOffsetB-yOffsetRight);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxPosX, yOffsetB-yOffsetRight);
|
||||||
} else {
|
} else {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetRight);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetRight);
|
||||||
}
|
}
|
||||||
} else {
|
} else {
|
||||||
if (xEnd > maxX) {
|
if (xEnd > maxPosX) {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxX, yOffsetB-yOffsetLeft);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, maxPosX, yOffsetB-yOffsetLeft);
|
||||||
} else {
|
} else {
|
||||||
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetLeft);
|
gc.drawLine(xBegin, yOffsetB-yOffsetLeft, xEnd, yOffsetB-yOffsetLeft);
|
||||||
if(yOffsetRight!=yOffsetLeft) {
|
if(yOffsetRight!=yOffsetLeft) {
|
||||||
|
|
|
@ -45,64 +45,93 @@ public class StreamPainter extends TrackPainter{
|
||||||
this.seenTx=new TreeSet<ITx>();
|
this.seenTx=new TreeSet<ITx>();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
/*
|
||||||
|
* convert java.awt.Color to org.eclipse.swt.graphics.Color
|
||||||
|
*/
|
||||||
|
static org.eclipse.swt.graphics.Color toSwtColor( GC gc, java.awt.Color awtColor ){
|
||||||
|
return new org.eclipse.swt.graphics.Color( gc.getDevice(), awtColor.getRed(), awtColor.getGreen(), awtColor.getBlue() );
|
||||||
|
}
|
||||||
|
|
||||||
|
static org.eclipse.swt.graphics.Color[] toSwtColors( GC gc, java.awt.Color[] awtColors ){
|
||||||
|
org.eclipse.swt.graphics.Color[] swtColors = new org.eclipse.swt.graphics.Color[awtColors.length];
|
||||||
|
for( int i=0; i<awtColors.length; i++ )
|
||||||
|
swtColors[i] = toSwtColor( gc, awtColors[i] );
|
||||||
|
return swtColors;
|
||||||
|
}
|
||||||
|
|
||||||
@SuppressWarnings("unchecked")
|
@SuppressWarnings("unchecked")
|
||||||
public void paintArea(GC gc, Rectangle area) {
|
public void paintArea(GC gc, Rectangle area) {
|
||||||
if(stream.getEvents().size()==0) return;
|
if(stream.getEvents().size()==0) return;
|
||||||
int trackHeight=trackEntry.height/stream.getMaxConcurrency();
|
int trackHeight=trackEntry.height/stream.getMaxConcurrency();
|
||||||
txBase=trackHeight/5;
|
txBase=trackHeight/5;
|
||||||
txHeight=trackHeight*3/5;
|
txHeight=trackHeight*3/5;
|
||||||
if(trackEntry.selected)
|
if(trackEntry.selected) {
|
||||||
gc.setBackground(this.waveCanvas.colors[WaveformColors.TRACK_BG_HIGHLITE.ordinal()]);
|
gc.setBackground(this.waveCanvas.colors[WaveformColors.TRACK_BG_HIGHLITE.ordinal()]);
|
||||||
|
}
|
||||||
else
|
else
|
||||||
gc.setBackground(this.waveCanvas.colors[even?WaveformColors.TRACK_BG_EVEN.ordinal():WaveformColors.TRACK_BG_ODD.ordinal()]);
|
gc.setBackground(this.waveCanvas.colors[even?WaveformColors.TRACK_BG_EVEN.ordinal():WaveformColors.TRACK_BG_ODD.ordinal()]);
|
||||||
gc.setFillRule(SWT.FILL_EVEN_ODD);
|
gc.setFillRule(SWT.FILL_EVEN_ODD);
|
||||||
gc.fillRectangle(area);
|
gc.fillRectangle(area);
|
||||||
Entry<Long, ?> firstTx=stream.getEvents().floorEntry(area.x*waveCanvas.getScaleFactor());
|
|
||||||
Entry<Long, ?> lastTx=stream.getEvents().ceilingEntry((area.x+area.width)*waveCanvas.getScaleFactor());
|
long scaleFactor = this.waveCanvas.getScaleFactor();
|
||||||
|
long beginPos = area.x;
|
||||||
|
long beginTime = (beginPos + waveCanvas.getXOffset())*scaleFactor;
|
||||||
|
//long endPos = beginPos + area.width;
|
||||||
|
long endTime = beginTime + area.width*scaleFactor;
|
||||||
|
|
||||||
|
Entry<Long, ?> firstTx=stream.getEvents().floorEntry(beginTime);
|
||||||
|
Entry<Long, ?> lastTx=stream.getEvents().ceilingEntry(endTime);
|
||||||
if(firstTx==null) firstTx = stream.getEvents().firstEntry();
|
if(firstTx==null) firstTx = stream.getEvents().firstEntry();
|
||||||
if(lastTx==null) lastTx=stream.getEvents().lastEntry();
|
if(lastTx==null) lastTx=stream.getEvents().lastEntry();
|
||||||
gc.setFillRule(SWT.FILL_EVEN_ODD);
|
gc.setFillRule(SWT.FILL_EVEN_ODD);
|
||||||
gc.setLineStyle(SWT.LINE_SOLID);
|
gc.setLineStyle(SWT.LINE_SOLID);
|
||||||
gc.setLineWidth(1);
|
gc.setLineWidth(1);
|
||||||
gc.setForeground(this.waveCanvas.colors[WaveformColors.LINE.ordinal()]);
|
gc.setForeground(this.waveCanvas.colors[WaveformColors.LINE.ordinal()]);
|
||||||
for(int y1=area.y+trackHeight/2; y1<area.y+trackEntry.height; y1+=trackHeight)
|
|
||||||
|
for( int y1=area.y+trackHeight/2; y1<area.y+trackEntry.height; y1+=trackHeight)
|
||||||
gc.drawLine(area.x, y1, area.x+area.width, y1);
|
gc.drawLine(area.x, y1, area.x+area.width, y1);
|
||||||
if(firstTx==lastTx)
|
if(firstTx==lastTx) {
|
||||||
for(ITxEvent txEvent:(Collection<? extends ITxEvent>)firstTx.getValue())
|
for(ITxEvent txEvent:(Collection<? extends ITxEvent>)firstTx.getValue())
|
||||||
drawTx(gc, area, txEvent.getTransaction());
|
drawTx(gc, area, txEvent.getTransaction(), false);
|
||||||
else{
|
}else{
|
||||||
seenTx.clear();
|
seenTx.clear();
|
||||||
NavigableMap<Long,?> entries = stream.getEvents().subMap(firstTx.getKey(), true, lastTx.getKey(), true);
|
NavigableMap<Long,?> entries = stream.getEvents().subMap(firstTx.getKey(), true, lastTx.getKey(), true);
|
||||||
boolean highlighed=false;
|
boolean highlighed=false;
|
||||||
gc.setForeground(this.waveCanvas.colors[WaveformColors.LINE.ordinal()]);
|
gc.setForeground(this.waveCanvas.colors[WaveformColors.LINE.ordinal()]);
|
||||||
gc.setBackground(this.waveCanvas.colors[WaveformColors.TX_BG.ordinal()]);
|
|
||||||
for(Entry<Long, ?> entry: entries.entrySet())
|
for(Entry<Long, ?> entry: entries.entrySet())
|
||||||
for(ITxEvent txEvent:(Collection<? extends ITxEvent>)entry.getValue()){
|
for(ITxEvent txEvent:(Collection<? extends ITxEvent>)entry.getValue()){
|
||||||
if(txEvent.getType()==ITxEvent.Type.BEGIN)
|
if(txEvent.getType()==ITxEvent.Type.BEGIN)
|
||||||
seenTx.add(txEvent.getTransaction());
|
seenTx.add(txEvent.getTransaction());
|
||||||
if(txEvent.getType()==ITxEvent.Type.END){
|
if(txEvent.getType()==ITxEvent.Type.END){
|
||||||
ITx tx = txEvent.getTransaction();
|
ITx tx = txEvent.getTransaction();
|
||||||
highlighed|=waveCanvas.currentSelection!=null && waveCanvas.currentSelection.equals(tx);
|
highlighed|=waveCanvas.currentSelection!=null && waveCanvas.currentSelection.equals(tx);
|
||||||
drawTx(gc, area, tx);
|
drawTx(gc, area, tx, false);
|
||||||
seenTx.remove(tx);
|
seenTx.remove(tx);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
for(ITx tx:seenTx){
|
for(ITx tx:seenTx){
|
||||||
drawTx(gc, area, tx);
|
drawTx(gc, area, tx, false);
|
||||||
}
|
}
|
||||||
if(highlighed){
|
if(highlighed){
|
||||||
gc.setForeground(this.waveCanvas.colors[WaveformColors.LINE_HIGHLITE.ordinal()]);
|
gc.setForeground(this.waveCanvas.colors[WaveformColors.LINE_HIGHLITE.ordinal()]);
|
||||||
gc.setBackground(this.waveCanvas.colors[WaveformColors.TX_BG_HIGHLITE.ordinal()]);
|
drawTx(gc, area, waveCanvas.currentSelection, true);
|
||||||
drawTx(gc, area, waveCanvas.currentSelection);
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
protected void drawTx(GC gc, Rectangle area, ITx tx) {
|
protected void drawTx(GC gc, Rectangle area, ITx tx, boolean highlighted ) {
|
||||||
|
// compute colors
|
||||||
|
java.awt.Color[] fallbackColors = trackEntry.getColors();
|
||||||
|
java.awt.Color[] transColor = TrackEntry.computeColor( tx.getGenerator().getName(), fallbackColors[0], fallbackColors[1] );
|
||||||
|
|
||||||
|
gc.setBackground( toSwtColor( gc, transColor[highlighted?1:0] ) );
|
||||||
|
|
||||||
int offset = tx.getConcurrencyIndex()*this.waveCanvas.getTrackHeight();
|
int offset = tx.getConcurrencyIndex()*this.waveCanvas.getTrackHeight();
|
||||||
Rectangle bb = new Rectangle(
|
Rectangle bb = new Rectangle(
|
||||||
(int)(tx.getBeginTime()/this.waveCanvas.getScaleFactor()), area.y+offset+txBase,
|
(int)(tx.getBeginTime()/this.waveCanvas.getScaleFactor()-waveCanvas.getXOffset()), area.y+offset+txBase,
|
||||||
(int)((tx.getEndTime()-tx.getBeginTime())/this.waveCanvas.getScaleFactor()), txHeight);
|
(int)((tx.getEndTime()-tx.getBeginTime())/this.waveCanvas.getScaleFactor()), txHeight);
|
||||||
|
|
||||||
if(bb.x+bb.width<area.x || bb.x>area.x+area.width) return;
|
if(bb.x+bb.width<area.x || bb.x>area.x+area.width) return;
|
||||||
if(bb.width==0){
|
if(bb.width==0){
|
||||||
gc.drawLine(bb.x, bb.y, bb.x, bb.y+bb.height);
|
gc.drawLine(bb.x, bb.y, bb.x, bb.y+bb.height);
|
||||||
|
@ -110,7 +139,6 @@ public class StreamPainter extends TrackPainter{
|
||||||
gc.fillRectangle(bb);
|
gc.fillRectangle(bb);
|
||||||
gc.drawRectangle(bb);
|
gc.drawRectangle(bb);
|
||||||
} else {
|
} else {
|
||||||
// adjusting drawing width to circumvent issues in canvas algos
|
|
||||||
if(bb.x < area.x) {
|
if(bb.x < area.x) {
|
||||||
bb.width = bb.width-(area.x-bb.x)+5;
|
bb.width = bb.width-(area.x-bb.x)+5;
|
||||||
bb.x=area.x-5;
|
bb.x=area.x-5;
|
||||||
|
@ -121,7 +149,7 @@ public class StreamPainter extends TrackPainter{
|
||||||
bb_x2=area_x2+5;
|
bb_x2=area_x2+5;
|
||||||
bb.width= bb_x2-bb.x;
|
bb.width= bb_x2-bb.x;
|
||||||
}
|
}
|
||||||
gc.fillRoundRectangle(bb.x, bb.y, bb.width, bb.height, 5, 5);
|
gc.fillRoundRectangle(bb.x, bb.y, bb.width, bb.height, 5, 5);
|
||||||
gc.drawRoundRectangle(bb.x, bb.y, bb.width, bb.height, 5, 5);
|
gc.drawRoundRectangle(bb.x, bb.y, bb.width, bb.height, 5, 5);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -45,7 +45,7 @@ import com.minres.scviewer.database.ui.IWaveformViewer;
|
||||||
import com.minres.scviewer.database.ui.TrackEntry;
|
import com.minres.scviewer.database.ui.TrackEntry;
|
||||||
import com.minres.scviewer.database.ui.WaveformColors;
|
import com.minres.scviewer.database.ui.WaveformColors;
|
||||||
|
|
||||||
public class WaveformCanvas extends Canvas {
|
public class WaveformCanvas extends Canvas{
|
||||||
|
|
||||||
Color[] colors = new Color[WaveformColors.values().length];
|
Color[] colors = new Color[WaveformColors.values().length];
|
||||||
|
|
||||||
|
@ -84,13 +84,13 @@ public class WaveformCanvas extends Canvas {
|
||||||
* Constructor for ScrollableCanvas.
|
* Constructor for ScrollableCanvas.
|
||||||
*
|
*
|
||||||
* @param parent
|
* @param parent
|
||||||
* the parent of this control.
|
* the parent of this control.super(parent, style | SWT.DOUBLE_BUFFERED | SWT.NO_BACKGROUND | SWT.NO_REDRAW_RESIZE | SWT.V_SCROLL | SWT.H_SCROLL);
|
||||||
* @param style
|
* @param style
|
||||||
* the style of this control.
|
* the style of this control.
|
||||||
*/
|
*/
|
||||||
public WaveformCanvas(final Composite parent, int style) {
|
public WaveformCanvas(final Composite parent, int style) {
|
||||||
super(parent, style | SWT.DOUBLE_BUFFERED | SWT.NO_BACKGROUND | SWT.NO_REDRAW_RESIZE | SWT.V_SCROLL | SWT.H_SCROLL);
|
super(parent, style | SWT.DOUBLE_BUFFERED | SWT.NO_BACKGROUND | SWT.NO_REDRAW_RESIZE | SWT.V_SCROLL | SWT.H_SCROLL);
|
||||||
addControlListener(new ControlAdapter() { /* resize listener. */
|
addControlListener(new ControlAdapter() { /* resize listener. */
|
||||||
public void controlResized(ControlEvent event) {
|
public void controlResized(ControlEvent event) {
|
||||||
syncScrollBars();
|
syncScrollBars();
|
||||||
}
|
}
|
||||||
|
@ -150,6 +150,10 @@ public class WaveformCanvas extends Canvas {
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public long getXOffset() {
|
||||||
|
return -origin.x;
|
||||||
|
}
|
||||||
|
|
||||||
public void addCursoPainter(CursorPainter cursorPainter){
|
public void addCursoPainter(CursorPainter cursorPainter){
|
||||||
painterList.add(cursorPainter);
|
painterList.add(cursorPainter);
|
||||||
cursorPainters.add(cursorPainter);
|
cursorPainters.add(cursorPainter);
|
||||||
|
@ -243,10 +247,11 @@ public class WaveformCanvas extends Canvas {
|
||||||
long xoffs=xc+origin.x; // cursor offset relative to left border
|
long xoffs=xc+origin.x; // cursor offset relative to left border
|
||||||
long xcn=tc/scaleFactor; // new total x-offset
|
long xcn=tc/scaleFactor; // new total x-offset
|
||||||
long originX=xcn-xoffs;
|
long originX=xcn-xoffs;
|
||||||
if(originX>0)
|
if(originX>0) {
|
||||||
origin.x=(int) -originX; // new cursor time offset relative to left border
|
origin.x=(int) -originX; // new cursor time offset relative to left border
|
||||||
else
|
}else {
|
||||||
origin.x=0;
|
origin.x=0;
|
||||||
|
}
|
||||||
syncScrollBars();
|
syncScrollBars();
|
||||||
arrowPainter.setTx(tx);
|
arrowPainter.setTx(tx);
|
||||||
redraw();
|
redraw();
|
||||||
|
@ -354,7 +359,7 @@ public class WaveformCanvas extends Canvas {
|
||||||
return;
|
return;
|
||||||
}
|
}
|
||||||
int height = trackAreaPainter.getHeight(); // incl. Ruler
|
int height = trackAreaPainter.getHeight(); // incl. Ruler
|
||||||
int width = (int) (maxTime / scaleFactor);
|
long width = maxTime / scaleFactor;
|
||||||
Rectangle clientArea=getClientArea();
|
Rectangle clientArea=getClientArea();
|
||||||
ScrollBar horizontal = getHorizontalBar();
|
ScrollBar horizontal = getHorizontalBar();
|
||||||
horizontal.setIncrement((int) (getClientArea().width / 100));
|
horizontal.setIncrement((int) (getClientArea().width / 100));
|
||||||
|
@ -362,10 +367,11 @@ public class WaveformCanvas extends Canvas {
|
||||||
int clientWidthw = clientArea.width;
|
int clientWidthw = clientArea.width;
|
||||||
if (width > clientWidthw) { /* image is wider than client area */
|
if (width > clientWidthw) { /* image is wider than client area */
|
||||||
horizontal.setMinimum(0);
|
horizontal.setMinimum(0);
|
||||||
horizontal.setMaximum(width);
|
horizontal.setMaximum((int)width);
|
||||||
horizontal.setEnabled(true);
|
horizontal.setEnabled(true);
|
||||||
if (((int) -origin.x) > horizontal.getMaximum() - clientWidthw)
|
if (((int) -origin.x) > horizontal.getMaximum() - clientWidthw) {
|
||||||
origin.x = -horizontal.getMaximum() + clientWidthw;
|
origin.x = -horizontal.getMaximum() + clientWidthw;
|
||||||
|
}
|
||||||
} else { /* image is narrower than client area */
|
} else { /* image is narrower than client area */
|
||||||
horizontal.setEnabled(false);
|
horizontal.setEnabled(false);
|
||||||
}
|
}
|
||||||
|
@ -380,8 +386,9 @@ public class WaveformCanvas extends Canvas {
|
||||||
vertical.setMinimum(0);
|
vertical.setMinimum(0);
|
||||||
vertical.setMaximum(height);
|
vertical.setMaximum(height);
|
||||||
vertical.setEnabled(true);
|
vertical.setEnabled(true);
|
||||||
if (((int) -origin.y) > vertical.getMaximum() - clientHeighth)
|
if (((int) -origin.y) > vertical.getMaximum() - clientHeighth) {
|
||||||
origin.y = -vertical.getMaximum() + clientHeighth;
|
origin.y = -vertical.getMaximum() + clientHeighth;
|
||||||
|
}
|
||||||
} else { /* image is less higher than client area */
|
} else { /* image is less higher than client area */
|
||||||
vertical.setMaximum((int) (clientHeighth));
|
vertical.setMaximum((int) (clientHeighth));
|
||||||
vertical.setEnabled(false);
|
vertical.setEnabled(false);
|
||||||
|
@ -396,12 +403,13 @@ public class WaveformCanvas extends Canvas {
|
||||||
/* Paint function */
|
/* Paint function */
|
||||||
private void paint(GC gc) {
|
private void paint(GC gc) {
|
||||||
Rectangle clientRect = getClientArea(); /* Canvas' painting area */
|
Rectangle clientRect = getClientArea(); /* Canvas' painting area */
|
||||||
clientRect.x = -origin.x;
|
// clientRect.x = -origin.x;
|
||||||
clientRect.y = -origin.y;
|
clientRect.y = -origin.y;
|
||||||
// reset the transform
|
// reset the transform
|
||||||
transform.identity();
|
transform.identity();
|
||||||
// shift the content
|
// shift the content
|
||||||
transform.translate(origin.x, origin.y);
|
// DO NOT SHIFT HORIZONTALLY, the range is WAY TOO BIG for float!!!
|
||||||
|
transform.translate(0, origin.y);
|
||||||
gc.setTransform(transform);
|
gc.setTransform(transform);
|
||||||
gc.setClipping(clientRect);
|
gc.setClipping(clientRect);
|
||||||
if (painterList.size() > 0 ) {
|
if (painterList.size() > 0 ) {
|
||||||
|
|
|
@ -10,6 +10,7 @@
|
||||||
*******************************************************************************/
|
*******************************************************************************/
|
||||||
package com.minres.scviewer.database.swt.internal;
|
package com.minres.scviewer.database.swt.internal;
|
||||||
|
|
||||||
|
import java.awt.Color;
|
||||||
import java.beans.PropertyChangeEvent;
|
import java.beans.PropertyChangeEvent;
|
||||||
import java.beans.PropertyChangeListener;
|
import java.beans.PropertyChangeListener;
|
||||||
import java.beans.PropertyChangeSupport;
|
import java.beans.PropertyChangeSupport;
|
||||||
|
@ -489,9 +490,11 @@ public class WaveformViewer implements IWaveformViewer {
|
||||||
}while(firstTx!=null && !isArrayFull(resultsList));
|
}while(firstTx!=null && !isArrayFull(resultsList));
|
||||||
entry.currentValue="";
|
entry.currentValue="";
|
||||||
boolean separator=false;
|
boolean separator=false;
|
||||||
|
|
||||||
for(ITx o:resultsList){
|
for(ITx o:resultsList){
|
||||||
if(separator) entry.currentValue+="|";
|
if(separator) entry.currentValue+="|";
|
||||||
if(o!=null) entry.currentValue+=((ITx)o).getGenerator().getName();
|
if(o!=null) entry.currentValue+=((ITx)o).getGenerator().getName();
|
||||||
|
|
||||||
separator=true;
|
separator=true;
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -503,6 +506,7 @@ public class WaveformViewer implements IWaveformViewer {
|
||||||
valueListScrolled.redraw();
|
valueListScrolled.redraw();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
|
||||||
private boolean isArrayFull(Object[] array){
|
private boolean isArrayFull(Object[] array){
|
||||||
for(Object o:array){
|
for(Object o:array){
|
||||||
if(o==null) return false;
|
if(o==null) return false;
|
||||||
|
@ -600,6 +604,9 @@ public class WaveformViewer implements IWaveformViewer {
|
||||||
TrackEntry trackEntry = getEntryForStream(txSel.getStream());
|
TrackEntry trackEntry = getEntryForStream(txSel.getStream());
|
||||||
if(trackEntry==null && addIfNeeded){
|
if(trackEntry==null && addIfNeeded){
|
||||||
trackEntry=new TrackEntry(txSel.getStream());
|
trackEntry=new TrackEntry(txSel.getStream());
|
||||||
|
// compute fallback colors
|
||||||
|
Color fallbackColors[] = TrackEntry.computeColor(txSel.getStream().getName(), TrackEntry.fallbackColor, TrackEntry.highlightedFallbackColor);
|
||||||
|
trackEntry.setColor(fallbackColors[0], fallbackColors[1]);
|
||||||
streams.add(trackEntry);
|
streams.add(trackEntry);
|
||||||
}
|
}
|
||||||
currentTxSelection = txSel;
|
currentTxSelection = txSel;
|
||||||
|
|
|
@ -10,13 +10,87 @@
|
||||||
*******************************************************************************/
|
*******************************************************************************/
|
||||||
package com.minres.scviewer.database.ui;
|
package com.minres.scviewer.database.ui;
|
||||||
|
|
||||||
|
|
||||||
|
import java.awt.Color;
|
||||||
|
|
||||||
import com.minres.scviewer.database.ISignal;
|
import com.minres.scviewer.database.ISignal;
|
||||||
import com.minres.scviewer.database.ITxEvent;
|
import com.minres.scviewer.database.ITxEvent;
|
||||||
import com.minres.scviewer.database.ITxStream;
|
import com.minres.scviewer.database.ITxStream;
|
||||||
import com.minres.scviewer.database.IWaveform;
|
import com.minres.scviewer.database.IWaveform;
|
||||||
|
|
||||||
|
|
||||||
public class TrackEntry {
|
public class TrackEntry {
|
||||||
|
|
||||||
|
// color info
|
||||||
|
public static Color fallbackColor = new Color(200,0,0);
|
||||||
|
public static Color highlightedFallbackColor = new Color(255,0,0);
|
||||||
|
private Color[]signalColors;
|
||||||
|
|
||||||
|
// list of random colors
|
||||||
|
private static Color[][] randomColors = {
|
||||||
|
{ new Color( 170, 66, 37 ), new Color ( 190, 66, 37 ) },
|
||||||
|
{ new Color( 96, 74, 110 ), new Color ( 96, 74, 130 ) },
|
||||||
|
{ new Color( 133, 105, 128 ), new Color ( 153, 105, 128 ) },
|
||||||
|
{ new Color( 0, 126, 135 ), new Color ( 0, 126, 155 ) },
|
||||||
|
{ new Color( 243, 146, 75 ), new Color ( 255, 146, 75 ) },
|
||||||
|
{ new Color( 206, 135, 163 ), new Color ( 226, 135, 163 ) },
|
||||||
|
{ new Color( 124, 103, 74 ), new Color ( 144, 103, 74 ) },
|
||||||
|
{ new Color( 194, 187, 169 ), new Color ( 214, 187, 169 ) },
|
||||||
|
{ new Color( 104, 73, 71 ), new Color ( 124, 73, 71 ) },
|
||||||
|
{ new Color( 75, 196, 213 ), new Color ( 75, 196, 233 ) },
|
||||||
|
{ new Color( 206, 232, 229 ), new Color ( 206, 252, 229 ) },
|
||||||
|
{ new Color( 169, 221, 199 ), new Color ( 169, 241, 199 ) },
|
||||||
|
{ new Color( 100, 165, 197 ), new Color ( 100, 165, 217 ) },
|
||||||
|
{ new Color( 150, 147, 178 ), new Color ( 150, 147, 198 ) },
|
||||||
|
{ new Color( 200, 222, 182 ), new Color ( 200, 242, 182 ) },
|
||||||
|
{ new Color( 147, 208, 197 ), new Color ( 147, 228, 197 ) }
|
||||||
|
};
|
||||||
|
|
||||||
|
public static Color[] computeColor (String streamValue, Color fallback, Color highlightedFallback) {
|
||||||
|
|
||||||
|
Color[]result = new Color[2];
|
||||||
|
|
||||||
|
result[0] = fallback;
|
||||||
|
result[1] = highlightedFallback;
|
||||||
|
|
||||||
|
// assign colors to standard values
|
||||||
|
if (streamValue.contains("read")){
|
||||||
|
result[0] = new Color(86,174,53);
|
||||||
|
result[1] = new Color (86,194,53);
|
||||||
|
}else if (streamValue.contains("rdata")){
|
||||||
|
result[0] = new Color(138,151,71);
|
||||||
|
result[1] = new Color (138,171,71);
|
||||||
|
}else if (streamValue.contains("addr")){
|
||||||
|
result[0] = new Color(233,187,68);
|
||||||
|
result[1] = new Color (233,207,68);
|
||||||
|
}else if (streamValue.contains("write")){
|
||||||
|
result[0] = new Color(1,128,191);
|
||||||
|
result[1] = new Color (1,128,211);
|
||||||
|
}else if (streamValue.contains("wdata")){
|
||||||
|
result[0] = new Color(2,181,160);
|
||||||
|
result[1] = new Color (2,201,160);
|
||||||
|
|
||||||
|
}else {
|
||||||
|
// assign "random" color here, one name always results in the same color!
|
||||||
|
if( randomColors.length > 0 ) {
|
||||||
|
int index = Math.abs(streamValue.hashCode()) % randomColors.length;
|
||||||
|
result[0] = randomColors[index][0];
|
||||||
|
result[1] = randomColors[index][1];
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
return result;
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
public void setColor(Color changedColor, Color highlightColor) {
|
||||||
|
signalColors[0] = changedColor;
|
||||||
|
signalColors[1] = highlightColor;
|
||||||
|
}
|
||||||
|
|
||||||
|
public Color[] getColors() {
|
||||||
|
return signalColors;
|
||||||
|
}
|
||||||
|
|
||||||
public enum ValueDisplay {
|
public enum ValueDisplay {
|
||||||
DEFAULT, SIGNED, UNSIGNED
|
DEFAULT, SIGNED, UNSIGNED
|
||||||
|
|
||||||
|
@ -45,6 +119,9 @@ public class TrackEntry {
|
||||||
vOffset=0;
|
vOffset=0;
|
||||||
height=0;
|
height=0;
|
||||||
selected=false;
|
selected=false;
|
||||||
|
signalColors = new Color[2];
|
||||||
|
signalColors[0] = fallbackColor;
|
||||||
|
signalColors[1] = highlightedFallbackColor;
|
||||||
}
|
}
|
||||||
|
|
||||||
public boolean isStream(){
|
public boolean isStream(){
|
||||||
|
|
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
||||||
Bundle-ManifestVersion: 2
|
Bundle-ManifestVersion: 2
|
||||||
Bundle-Name: VCD signal database
|
Bundle-Name: VCD signal database
|
||||||
Bundle-SymbolicName: com.minres.scviewer.database.vcd
|
Bundle-SymbolicName: com.minres.scviewer.database.vcd
|
||||||
Bundle-Version: 2.0.0.qualifier
|
Bundle-Version: 2.0.2.qualifier
|
||||||
Bundle-Vendor: MINRES Technologies GmbH
|
Bundle-Vendor: MINRES Technologies GmbH
|
||||||
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
Bundle-RequiredExecutionEnvironment: JavaSE-1.8
|
||||||
Require-Bundle: com.minres.scviewer.database;bundle-version="1.0.0",
|
Require-Bundle: com.minres.scviewer.database;bundle-version="1.0.0",
|
||||||
|
|
|
@ -1,6 +1,7 @@
|
||||||
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
|
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
|
||||||
<modelVersion>4.0.0</modelVersion>
|
<modelVersion>4.0.0</modelVersion>
|
||||||
<artifactId>com.minres.scviewer.database.vcd</artifactId>
|
<artifactId>com.minres.scviewer.database.vcd</artifactId>
|
||||||
|
<version>2.0.2-SNAPSHOT</version>
|
||||||
<parent>
|
<parent>
|
||||||
<groupId>com.minres.scviewer</groupId>
|
<groupId>com.minres.scviewer</groupId>
|
||||||
<artifactId>com.minres.scviewer.parent</artifactId>
|
<artifactId>com.minres.scviewer.parent</artifactId>
|
||||||
|
|
|
@ -13,6 +13,8 @@ package com.minres.scviewer.database.vcd;
|
||||||
import java.io.File;
|
import java.io.File;
|
||||||
import java.io.FileInputStream;
|
import java.io.FileInputStream;
|
||||||
import java.io.FileNotFoundException;
|
import java.io.FileNotFoundException;
|
||||||
|
import java.io.IOException;
|
||||||
|
import java.io.InputStream;
|
||||||
import java.util.Collection;
|
import java.util.Collection;
|
||||||
import java.util.Collections;
|
import java.util.Collections;
|
||||||
import java.util.List;
|
import java.util.List;
|
||||||
|
@ -20,6 +22,7 @@ import java.util.NavigableMap;
|
||||||
import java.util.Stack;
|
import java.util.Stack;
|
||||||
import java.util.TreeMap;
|
import java.util.TreeMap;
|
||||||
import java.util.Vector;
|
import java.util.Vector;
|
||||||
|
import java.util.zip.GZIPInputStream;
|
||||||
|
|
||||||
import com.minres.scviewer.database.BitVector;
|
import com.minres.scviewer.database.BitVector;
|
||||||
import com.minres.scviewer.database.ISignal;
|
import com.minres.scviewer.database.ISignal;
|
||||||
|
@ -56,8 +59,20 @@ public class VCDDbLoader implements IWaveformDbLoader, IVCDDatabaseBuilder {
|
||||||
public VCDDbLoader() {
|
public VCDDbLoader() {
|
||||||
}
|
}
|
||||||
|
|
||||||
/** The date bytes. */
|
private static boolean isGzipped(File f) {
|
||||||
private byte[] dateBytes = "$date".getBytes();
|
InputStream is = null;
|
||||||
|
try {
|
||||||
|
is = new FileInputStream(f);
|
||||||
|
byte [] signature = new byte[2];
|
||||||
|
int nread = is.read( signature ); //read the gzip signature
|
||||||
|
return nread == 2 && signature[ 0 ] == (byte) 0x1f && signature[ 1 ] == (byte) 0x8b;
|
||||||
|
} catch (IOException e) {
|
||||||
|
return false;
|
||||||
|
} finally {
|
||||||
|
try { is.close();} catch (IOException e) { }
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
|
||||||
/* (non-Javadoc)
|
/* (non-Javadoc)
|
||||||
* @see com.minres.scviewer.database.ITrDb#load(java.io.File)
|
* @see com.minres.scviewer.database.ITrDb#load(java.io.File)
|
||||||
|
@ -67,22 +82,16 @@ public class VCDDbLoader implements IWaveformDbLoader, IVCDDatabaseBuilder {
|
||||||
public boolean load(IWaveformDb db, File file) throws Exception {
|
public boolean load(IWaveformDb db, File file) throws Exception {
|
||||||
this.db=db;
|
this.db=db;
|
||||||
this.maxTime=0;
|
this.maxTime=0;
|
||||||
try {
|
String name = file.getCanonicalFile().getName();
|
||||||
FileInputStream fis = new FileInputStream(file);
|
if(!(name.endsWith(".vcd") ||
|
||||||
byte[] buffer = new byte[dateBytes.length];
|
name.endsWith(".vcdz") ||
|
||||||
int read = fis.read(buffer, 0, dateBytes.length);
|
name.endsWith(".vcdgz") ||
|
||||||
fis.close();
|
name.endsWith(".vcd.gz")) )
|
||||||
if (read == dateBytes.length)
|
|
||||||
for (int i = 0; i < dateBytes.length; i++)
|
|
||||||
if (buffer[i] != dateBytes[i])
|
|
||||||
return false;
|
|
||||||
} catch(FileNotFoundException e) {
|
|
||||||
return false;
|
return false;
|
||||||
}
|
|
||||||
|
|
||||||
signals = new Vector<IWaveform>();
|
signals = new Vector<IWaveform>();
|
||||||
moduleStack= new Stack<String>();
|
moduleStack= new Stack<String>();
|
||||||
boolean res = new VCDFileParser(false).load(new FileInputStream(file), this);
|
FileInputStream fis = new FileInputStream(file);
|
||||||
|
boolean res = new VCDFileParser(false).load(isGzipped(file)?new GZIPInputStream(fis):fis, this);
|
||||||
moduleStack=null;
|
moduleStack=null;
|
||||||
if(!res) throw new InputFormatException();
|
if(!res) throw new InputFormatException();
|
||||||
// calculate max time of database
|
// calculate max time of database
|
||||||
|
|
|
@ -22,10 +22,12 @@ class VCDFileParser {
|
||||||
private HashMap<String, Integer> nameToNetMap = new HashMap<String, Integer>();
|
private HashMap<String, Integer> nameToNetMap = new HashMap<String, Integer>();
|
||||||
private long picoSecondsPerIncrement;
|
private long picoSecondsPerIncrement;
|
||||||
private boolean stripNetWidth;
|
private boolean stripNetWidth;
|
||||||
|
private boolean replaceColon;
|
||||||
long currentTime;
|
long currentTime;
|
||||||
|
|
||||||
public VCDFileParser(boolean stripNetWidth) {
|
public VCDFileParser(boolean stripNetWidth) {
|
||||||
this.stripNetWidth=stripNetWidth;
|
this.stripNetWidth=stripNetWidth;
|
||||||
|
this.replaceColon=false;
|
||||||
}
|
}
|
||||||
|
|
||||||
public boolean load(InputStream is, IVCDDatabaseBuilder builder) {
|
public boolean load(InputStream is, IVCDDatabaseBuilder builder) {
|
||||||
|
@ -76,11 +78,17 @@ class VCDFileParser {
|
||||||
}
|
}
|
||||||
|
|
||||||
Integer net = nameToNetMap.get(id);
|
Integer net = nameToNetMap.get(id);
|
||||||
if (net == null) {
|
if (net == null) { // We've never seen this net before
|
||||||
// We've never seen this net before
|
int openBracket = netName.indexOf('[');
|
||||||
if(stripNetWidth){
|
if(stripNetWidth){
|
||||||
int openBracket = netName.indexOf('[');
|
|
||||||
if (openBracket != -1) netName = netName.substring(0, openBracket);
|
if (openBracket != -1) netName = netName.substring(0, openBracket);
|
||||||
|
openBracket = -1;
|
||||||
|
}
|
||||||
|
if(replaceColon) {
|
||||||
|
if (openBracket != -1) {
|
||||||
|
netName = netName.substring(0, openBracket).replaceAll(":", ".")+netName.substring(openBracket);
|
||||||
|
} else
|
||||||
|
netName=netName.replaceAll(":", ".");
|
||||||
}
|
}
|
||||||
nameToNetMap.put(id, traceBuilder.newNet(netName, -1, width));
|
nameToNetMap.put(id, traceBuilder.newNet(netName, -1, width));
|
||||||
} else {
|
} else {
|
||||||
|
@ -89,6 +97,17 @@ class VCDFileParser {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
||||||
|
private void parseComment() throws Exception {
|
||||||
|
nextToken();
|
||||||
|
String s = tokenizer.sval;
|
||||||
|
nextToken();
|
||||||
|
while(!tokenizer.sval.equals("$end")){
|
||||||
|
s+=" "+tokenizer.sval;
|
||||||
|
nextToken();
|
||||||
|
}
|
||||||
|
replaceColon|=s.contains("ARTERIS Architecture");
|
||||||
|
}
|
||||||
|
|
||||||
private void parseTimescale() throws Exception {
|
private void parseTimescale() throws Exception {
|
||||||
nextToken();
|
nextToken();
|
||||||
String s = tokenizer.sval;
|
String s = tokenizer.sval;
|
||||||
|
@ -132,6 +151,8 @@ class VCDFileParser {
|
||||||
parseUpscope();
|
parseUpscope();
|
||||||
else if (tokenizer.sval.equals("$timescale"))
|
else if (tokenizer.sval.equals("$timescale"))
|
||||||
parseTimescale();
|
parseTimescale();
|
||||||
|
else if (tokenizer.sval.equals("$comment"))
|
||||||
|
parseComment();
|
||||||
else if (tokenizer.sval.equals("$enddefinitions")) {
|
else if (tokenizer.sval.equals("$enddefinitions")) {
|
||||||
match("$end");
|
match("$end");
|
||||||
return false;
|
return false;
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
<?xml version="1.0" encoding="UTF-8"?>
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
<classpath>
|
<classpath>
|
||||||
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
|
||||||
<classpathentry kind="src" path="src"/>
|
|
||||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
||||||
|
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
||||||
|
<classpathentry kind="src" path="src/"/>
|
||||||
<classpathentry kind="output" path="target/classes"/>
|
<classpathentry kind="output" path="target/classes"/>
|
||||||
</classpath>
|
</classpath>
|
||||||
|
|
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -76,6 +76,7 @@ public class BitVector {
|
||||||
for(int i=resWidth-1; i>=0; i--){
|
for(int i=resWidth-1; i>=0; i--){
|
||||||
int digit=0;
|
int digit=0;
|
||||||
for(int j=3; j>=0; j--){
|
for(int j=3; j>=0; j--){
|
||||||
|
if((4*i+j)>=value.length) continue;
|
||||||
BitValue val = BitValue.fromChar(value[4*i+j]);
|
BitValue val = BitValue.fromChar(value[4*i+j]);
|
||||||
switch(val) {
|
switch(val) {
|
||||||
case X:
|
case X:
|
||||||
|
|
|
@ -3,5 +3,5 @@
|
||||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
||||||
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
||||||
<classpathentry kind="src" path="src"/>
|
<classpathentry kind="src" path="src"/>
|
||||||
<classpathentry kind="output" path="bin"/>
|
<classpathentry kind="output" path="target/classes"/>
|
||||||
</classpath>
|
</classpath>
|
||||||
|
|
|
@ -26,19 +26,22 @@
|
||||||
</menus>
|
</menus>
|
||||||
</children>
|
</children>
|
||||||
<children xsi:type="basic:PartSashContainer" xmi:id="_uT9BIHgtEeWwZ-9vrAR2UQ" elementId="" containerData="80">
|
<children xsi:type="basic:PartSashContainer" xmi:id="_uT9BIHgtEeWwZ-9vrAR2UQ" elementId="" containerData="80">
|
||||||
<children xsi:type="basic:PartStack" xmi:id="_95QGyXNmEeWBq8z1Dv39LA" elementId="org.eclipse.editorss" containerData="75"/>
|
<children xsi:type="basic:PartStack" xmi:id="_95QGyXNmEeWBq8z1Dv39LA" elementId="org.eclipse.editorss" containerData="75">
|
||||||
|
<tags>NoAutoCollapse</tags>
|
||||||
|
</children>
|
||||||
<children xsi:type="basic:Part" xmi:id="_vtfm8HgtEeWwZ-9vrAR2UQ" elementId="com.minres.scviewer.e4.application.parts.WaveformDetails" containerData="25" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.parts.TransactionDetails" label="Waveform Details"/>
|
<children xsi:type="basic:Part" xmi:id="_vtfm8HgtEeWwZ-9vrAR2UQ" elementId="com.minres.scviewer.e4.application.parts.WaveformDetails" containerData="25" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.parts.TransactionDetails" label="Waveform Details"/>
|
||||||
</children>
|
</children>
|
||||||
</children>
|
</children>
|
||||||
</children>
|
</children>
|
||||||
</children>
|
</children>
|
||||||
|
<children xsi:type="basic:Part" xmi:id="__VNlAIytEeWid7xO48ZBXw" elementId="com.minres.scviewer.e4.application.dialog.aboutscviewer" toBeRendered="false" visible="false" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.parts.AboutDialog" label="About SCViewer"/>
|
||||||
<mainMenu xmi:id="_95PfyXNmEeWBq8z1Dv39LA" elementId="menu:org.eclipse.ui.main.menu">
|
<mainMenu xmi:id="_95PfyXNmEeWBq8z1Dv39LA" elementId="menu:org.eclipse.ui.main.menu">
|
||||||
<children xsi:type="menu:Menu" xmi:id="_95QGwHNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.menu.file" label="File">
|
<children xsi:type="menu:Menu" xmi:id="_95QGwHNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.menu.file" label="File">
|
||||||
<children xsi:type="menu:HandledMenuItem" xmi:id="_VJG3YHgvEeWwZ-9vrAR2UQ" elementId="" label="Open Database" iconURI="platform:/plugin/com.minres.scviewer.e4.application/icons/folder_database.png" command="_95PfwHNmEeWBq8z1Dv39LA"/>
|
<children xsi:type="menu:HandledMenuItem" xmi:id="_VJG3YHgvEeWwZ-9vrAR2UQ" elementId="" label="Open Database" iconURI="platform:/plugin/com.minres.scviewer.e4.application/icons/folder_database.png" command="_95PfwHNmEeWBq8z1Dv39LA"/>
|
||||||
<children xsi:type="menu:HandledMenuItem" xmi:id="_e7MOYJedEeW09eyIbHsdvg" elementId="" label="Load settings" iconURI="platform:/plugin/com.minres.scviewer.e4.application/icons/folder_page.png" command="_7-AIMJebEeW09eyIbHsdvg">
|
<children xsi:type="menu:HandledMenuItem" xmi:id="_e7MOYJedEeW09eyIbHsdvg" elementId="" label="Load active tab settings" iconURI="platform:/plugin/com.minres.scviewer.e4.application/icons/folder_page.png" command="_7-AIMJebEeW09eyIbHsdvg">
|
||||||
<parameters xmi:id="_4vtYgJehEeW09eyIbHsdvg" elementId="com.minres.scviewer.e4.application.parameter.30" name="com.minres.scviewer.e4.application.commandparameter.loadStore" value="load"/>
|
<parameters xmi:id="_4vtYgJehEeW09eyIbHsdvg" elementId="com.minres.scviewer.e4.application.parameter.30" name="com.minres.scviewer.e4.application.commandparameter.loadStore" value="load"/>
|
||||||
</children>
|
</children>
|
||||||
<children xsi:type="menu:HandledMenuItem" xmi:id="_95QGwnNmEeWBq8z1Dv39LA" label="Save settings" iconURI="platform:/plugin/com.minres.scviewer.e4.application/icons/script_save.png" command="_7-AIMJebEeW09eyIbHsdvg">
|
<children xsi:type="menu:HandledMenuItem" xmi:id="_95QGwnNmEeWBq8z1Dv39LA" label="Save active tab settings" iconURI="platform:/plugin/com.minres.scviewer.e4.application/icons/script_save.png" command="_7-AIMJebEeW09eyIbHsdvg">
|
||||||
<parameters xmi:id="_61QIsJehEeW09eyIbHsdvg" elementId="com.minres.scviewer.e4.application.parameter.31" name="com.minres.scviewer.e4.application.commandparameter.loadStore" value="store"/>
|
<parameters xmi:id="_61QIsJehEeW09eyIbHsdvg" elementId="com.minres.scviewer.e4.application.parameter.31" name="com.minres.scviewer.e4.application.commandparameter.loadStore" value="store"/>
|
||||||
</children>
|
</children>
|
||||||
<children xsi:type="menu:HandledMenuItem" xmi:id="_95QGw3NmEeWBq8z1Dv39LA" label="Quit" command="_95PfvHNmEeWBq8z1Dv39LA"/>
|
<children xsi:type="menu:HandledMenuItem" xmi:id="_95QGw3NmEeWBq8z1Dv39LA" label="Quit" command="_95PfvHNmEeWBq8z1Dv39LA"/>
|
||||||
|
@ -142,9 +145,6 @@
|
||||||
</children>
|
</children>
|
||||||
</trimBars>
|
</trimBars>
|
||||||
</children>
|
</children>
|
||||||
<children xsi:type="basic:Window" xmi:id="_8BTkQIytEeWid7xO48ZBXw" elementId="com.minres.scviewer.e4.application.dialog.aboutscviewer" toBeRendered="false" visible="false" selectedElement="__VNlAIytEeWid7xO48ZBXw" label="About SCViewer" x="200" y="200">
|
|
||||||
<children xsi:type="basic:Part" xmi:id="__VNlAIytEeWid7xO48ZBXw" elementId="com.minres.scviewer.e4.application.part.0" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.parts.AboutDialog"/>
|
|
||||||
</children>
|
|
||||||
<handlers xmi:id="_95PfvXNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.handler.quitCommand" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.handlers.QuitHandler" command="_95PfvHNmEeWBq8z1Dv39LA"/>
|
<handlers xmi:id="_95PfvXNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.handler.quitCommand" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.handlers.QuitHandler" command="_95PfvHNmEeWBq8z1Dv39LA"/>
|
||||||
<handlers xmi:id="_95PfwXNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.handler.openCommand" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.handlers.OpenHandler" command="_95PfwHNmEeWBq8z1Dv39LA"/>
|
<handlers xmi:id="_95PfwXNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.handler.openCommand" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.handlers.OpenHandler" command="_95PfwHNmEeWBq8z1Dv39LA"/>
|
||||||
<handlers xmi:id="_95PfxHNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.handler.saveCommand" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.handlers.SaveHandler" command="_95Pfw3NmEeWBq8z1Dv39LA"/>
|
<handlers xmi:id="_95PfxHNmEeWBq8z1Dv39LA" elementId="com.minres.scviewer.e4.application.handler.saveCommand" contributionURI="bundleclass://com.minres.scviewer.e4.application/com.minres.scviewer.e4.application.handlers.SaveHandler" command="_95Pfw3NmEeWBq8z1Dv39LA"/>
|
||||||
|
|
|
@ -2,7 +2,7 @@ Manifest-Version: 1.0
|
||||||
Bundle-ManifestVersion: 2
|
Bundle-ManifestVersion: 2
|
||||||
Bundle-Name: %Bundle-Name
|
Bundle-Name: %Bundle-Name
|
||||||
Bundle-SymbolicName: com.minres.scviewer.e4.application;singleton:=true
|
Bundle-SymbolicName: com.minres.scviewer.e4.application;singleton:=true
|
||||||
Bundle-Version: 2.0.0.qualifier
|
Bundle-Version: 2.1.1.qualifier
|
||||||
Bundle-Vendor: %Bundle-Vendor
|
Bundle-Vendor: %Bundle-Vendor
|
||||||
Require-Bundle: javax.inject;bundle-version="1.0.0",
|
Require-Bundle: javax.inject;bundle-version="1.0.0",
|
||||||
org.eclipse.core.runtime;bundle-version="3.11.1",
|
org.eclipse.core.runtime;bundle-version="3.11.1",
|
||||||
|
|
|
@ -1,6 +1,7 @@
|
||||||
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
|
<project xmlns="http://maven.apache.org/POM/4.0.0" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xsi:schemaLocation="http://maven.apache.org/POM/4.0.0 http://maven.apache.org/xsd/maven-4.0.0.xsd">
|
||||||
<modelVersion>4.0.0</modelVersion>
|
<modelVersion>4.0.0</modelVersion>
|
||||||
<artifactId>com.minres.scviewer.e4.application</artifactId>
|
<artifactId>com.minres.scviewer.e4.application</artifactId>
|
||||||
|
<version>2.1.1-SNAPSHOT</version>
|
||||||
<parent>
|
<parent>
|
||||||
<groupId>com.minres.scviewer</groupId>
|
<groupId>com.minres.scviewer</groupId>
|
||||||
<artifactId>com.minres.scviewer.parent</artifactId>
|
<artifactId>com.minres.scviewer.parent</artifactId>
|
||||||
|
|
|
@ -12,6 +12,7 @@ package com.minres.scviewer.e4.application.handlers;
|
||||||
|
|
||||||
import org.eclipse.e4.core.di.annotations.Execute;
|
import org.eclipse.e4.core.di.annotations.Execute;
|
||||||
import org.eclipse.e4.ui.model.application.MApplication;
|
import org.eclipse.e4.ui.model.application.MApplication;
|
||||||
|
import org.eclipse.e4.ui.model.application.ui.basic.MPart;
|
||||||
import org.eclipse.e4.ui.model.application.ui.basic.MWindow;
|
import org.eclipse.e4.ui.model.application.ui.basic.MWindow;
|
||||||
import org.eclipse.e4.ui.workbench.modeling.EModelService;
|
import org.eclipse.e4.ui.workbench.modeling.EModelService;
|
||||||
import org.eclipse.swt.widgets.Shell;
|
import org.eclipse.swt.widgets.Shell;
|
||||||
|
@ -22,9 +23,9 @@ public class AboutHandler {
|
||||||
|
|
||||||
@Execute
|
@Execute
|
||||||
public void execute(Shell shell, MApplication app, MWindow window, EModelService ms /*@Named("mdialog01.dialog.0") MDialog dialog*/) {
|
public void execute(Shell shell, MApplication app, MWindow window, EModelService ms /*@Named("mdialog01.dialog.0") MDialog dialog*/) {
|
||||||
MWindow dialog = (MWindow) ms.find(DIALOG_ID, app); //$NON-NLS-1$
|
MPart mel = (MPart) ms.find(DIALOG_ID, app); //$NON-NLS-1$
|
||||||
dialog.setToBeRendered(true);
|
mel.setToBeRendered(true);
|
||||||
dialog.setToBeRendered(false);
|
mel.setToBeRendered(false);
|
||||||
}
|
}
|
||||||
|
|
||||||
}
|
}
|
||||||
|
|
|
@ -40,13 +40,16 @@ public class AddWaveformHandler {
|
||||||
@Named(IServiceConstants.ACTIVE_SELECTION) @Optional IStructuredSelection selection) {
|
@Named(IServiceConstants.ACTIVE_SELECTION) @Optional IStructuredSelection selection) {
|
||||||
if(designBrowser==null) designBrowser = getListPart( partService);
|
if(designBrowser==null) designBrowser = getListPart( partService);
|
||||||
if(designBrowser==null || designBrowser.getActiveWaveformViewerPart()==null) return false;
|
if(designBrowser==null || designBrowser.getActiveWaveformViewerPart()==null) return false;
|
||||||
Boolean before = "before".equalsIgnoreCase(where); //$NON-NLS-1$
|
boolean before = "before".equalsIgnoreCase(where); //$NON-NLS-1$
|
||||||
|
IStructuredSelection waveformSelection = null;
|
||||||
|
if(designBrowser.getActiveWaveformViewerPart()!=null)
|
||||||
|
waveformSelection = (IStructuredSelection)designBrowser.getActiveWaveformViewerPart().getSelection();
|
||||||
if("true".equalsIgnoreCase(all)) //$NON-NLS-1$
|
if("true".equalsIgnoreCase(all)) //$NON-NLS-1$
|
||||||
return designBrowser.getFilteredChildren().length>0 &&
|
return designBrowser.getFilteredChildren().length>0 &&
|
||||||
(!before || ((IStructuredSelection)designBrowser.getActiveWaveformViewerPart().getSelection()).size()>0);
|
(!before || (waveformSelection!=null && waveformSelection.size()>0));
|
||||||
else
|
else
|
||||||
return selection.size()>0 &&
|
return selection!=null && selection.size()>0 &&
|
||||||
(!before || ((IStructuredSelection)designBrowser.getActiveWaveformViewerPart().getSelection()).size()>0);
|
(!before || (waveformSelection!=null && waveformSelection.size()>0));
|
||||||
}
|
}
|
||||||
|
|
||||||
@Execute
|
@Execute
|
||||||
|
|
|
@ -10,6 +10,8 @@
|
||||||
*******************************************************************************/
|
*******************************************************************************/
|
||||||
package com.minres.scviewer.e4.application.handlers;
|
package com.minres.scviewer.e4.application.handlers;
|
||||||
|
|
||||||
|
import java.io.File;
|
||||||
|
|
||||||
import javax.inject.Named;
|
import javax.inject.Named;
|
||||||
|
|
||||||
import org.eclipse.e4.core.di.annotations.CanExecute;
|
import org.eclipse.e4.core.di.annotations.CanExecute;
|
||||||
|
@ -20,6 +22,7 @@ import org.eclipse.e4.ui.workbench.modeling.EModelService;
|
||||||
import org.eclipse.e4.ui.workbench.modeling.EPartService;
|
import org.eclipse.e4.ui.workbench.modeling.EPartService;
|
||||||
import org.eclipse.swt.SWT;
|
import org.eclipse.swt.SWT;
|
||||||
import org.eclipse.swt.widgets.FileDialog;
|
import org.eclipse.swt.widgets.FileDialog;
|
||||||
|
import org.eclipse.swt.widgets.MessageBox;
|
||||||
import org.eclipse.swt.widgets.Shell;
|
import org.eclipse.swt.widgets.Shell;
|
||||||
|
|
||||||
import com.minres.scviewer.e4.application.Messages;
|
import com.minres.scviewer.e4.application.Messages;
|
||||||
|
@ -38,21 +41,60 @@ public class LoadStoreSettingsHandler {
|
||||||
@Execute
|
@Execute
|
||||||
public void execute(@Named(PARAMETER_ID) String param, Shell shell, MApplication app, EModelService modelService,
|
public void execute(@Named(PARAMETER_ID) String param, Shell shell, MApplication app, EModelService modelService,
|
||||||
EPartService partService){
|
EPartService partService){
|
||||||
|
|
||||||
boolean load = "load".equals(param); //$NON-NLS-1$
|
boolean load = "load".equals(param); //$NON-NLS-1$
|
||||||
FileDialog dialog = new FileDialog(shell, load?SWT.OPEN:SWT.SAVE);
|
FileDialog dialog = new FileDialog(shell, load?SWT.OPEN:SWT.SAVE);
|
||||||
dialog.setFilterExtensions (new String []{Messages.LoadStoreSettingsHandler_2});
|
dialog.setFilterExtensions (new String []{Messages.LoadStoreSettingsHandler_2});
|
||||||
if(!load) dialog.setFileName(Messages.LoadStoreSettingsHandler_3);
|
if(!load) dialog.setFileName(Messages.LoadStoreSettingsHandler_3);
|
||||||
String res = dialog.open();
|
|
||||||
MPart part = partService.getActivePart();
|
|
||||||
if(res!=null && part!=null){
|
|
||||||
Object obj = part.getObject();
|
|
||||||
if(obj instanceof WaveformViewer){
|
|
||||||
if(load)
|
|
||||||
((WaveformViewer)obj).loadState(res);
|
|
||||||
else
|
|
||||||
((WaveformViewer)obj).saveState(res);
|
|
||||||
}
|
|
||||||
}
|
|
||||||
}
|
|
||||||
|
|
||||||
|
String fileName = null;
|
||||||
|
MPart part = partService.getActivePart();
|
||||||
|
Object obj = part.getObject();
|
||||||
|
|
||||||
|
// Save active tab settings
|
||||||
|
if(!load) {
|
||||||
|
// 3 possible cases when when saving active tab settings:
|
||||||
|
// - user dismisses the dialog by pressing Cancel
|
||||||
|
// - selected file name does not exist
|
||||||
|
// - user agrees to overwrite existing file
|
||||||
|
boolean done = false;
|
||||||
|
while (!done) {
|
||||||
|
// open the File Dialog
|
||||||
|
fileName = dialog.open();
|
||||||
|
if (fileName == null) {
|
||||||
|
// user has cancelled -> quit and return
|
||||||
|
done = true;
|
||||||
|
} else {
|
||||||
|
// user has selected a file -> see if it already exists
|
||||||
|
File file = new File(fileName);
|
||||||
|
if (file.exists()) {
|
||||||
|
// file already exists -> asks for confirmation
|
||||||
|
MessageBox mb = new MessageBox(dialog.getParent(), SWT.ICON_WARNING
|
||||||
|
| SWT.YES | SWT.NO);
|
||||||
|
mb.setText("Confirm overwrite");
|
||||||
|
mb.setMessage(fileName + " already exists. Do you want to overwrite it?");
|
||||||
|
// user clicks Yes -> all done, drop out
|
||||||
|
if(mb.open() == SWT.YES) {
|
||||||
|
((WaveformViewer)obj).saveState(fileName);
|
||||||
|
done = true;
|
||||||
|
} else { // user clicks No -> redisplay the File Dialog
|
||||||
|
done = false;
|
||||||
|
}
|
||||||
|
} else {
|
||||||
|
// file does not exist -> save and drop out
|
||||||
|
((WaveformViewer)obj).saveState(fileName);
|
||||||
|
done = true;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return;
|
||||||
|
} // end if(!load)
|
||||||
|
|
||||||
|
else { // load active tab settings
|
||||||
|
String res = dialog.open();
|
||||||
|
if(res != null && part!=null && (obj instanceof WaveformViewer)) {
|
||||||
|
((WaveformViewer)obj).loadState(res);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
}
|
}
|
|
@ -59,7 +59,7 @@ public class WaveStatusBarControl extends StatusBarControl {
|
||||||
final String labelString;
|
final String labelString;
|
||||||
|
|
||||||
/** The width. */
|
/** The width. */
|
||||||
final int width;
|
//final int width;
|
||||||
|
|
||||||
/** The text. */
|
/** The text. */
|
||||||
CLabel label, text;
|
CLabel label, text;
|
||||||
|
@ -73,10 +73,10 @@ public class WaveStatusBarControl extends StatusBarControl {
|
||||||
* @param labelString the label string
|
* @param labelString the label string
|
||||||
* @param width the width
|
* @param width the width
|
||||||
*/
|
*/
|
||||||
public TextContributionItem(String labelString, int width) {
|
public TextContributionItem(String labelString /*, int width */) {
|
||||||
super();
|
super();
|
||||||
this.labelString = labelString;
|
this.labelString = labelString;
|
||||||
this.width=width;
|
//this.width=width;
|
||||||
content=""; //$NON-NLS-1$
|
content=""; //$NON-NLS-1$
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -85,14 +85,16 @@ public class WaveStatusBarControl extends StatusBarControl {
|
||||||
*/
|
*/
|
||||||
@Override
|
@Override
|
||||||
public void fill(Composite parent) {
|
public void fill(Composite parent) {
|
||||||
Composite box=new Composite(parent, SWT.NONE);
|
Composite box=new Composite(parent, SWT.NONE); //NONE
|
||||||
box.setLayout(new GridLayout(2, false));
|
box.setLayout(new GridLayout(2, false));
|
||||||
label=new CLabel(box, SWT.SHADOW_NONE);
|
label=new CLabel(box, SWT.SHADOW_NONE);
|
||||||
label.setText(labelString);
|
label.setText(labelString);
|
||||||
text=new CLabel(box, SWT.SHADOW_IN);
|
text=new CLabel(box, SWT.SHADOW_IN);
|
||||||
text.setAlignment(SWT.RIGHT);
|
text.setAlignment(SWT.RIGHT);
|
||||||
|
//GridData layoutData=new GridData(SWT.DEFAULT, SWT.DEFAULT, true, false);
|
||||||
GridData layoutData=new GridData(SWT.DEFAULT, SWT.DEFAULT, true, false);
|
GridData layoutData=new GridData(SWT.DEFAULT, SWT.DEFAULT, true, false);
|
||||||
layoutData.minimumWidth=width;
|
layoutData.minimumWidth=70;
|
||||||
|
//layoutData.minimumWidth=width;
|
||||||
text.setLayoutData(layoutData);
|
text.setLayoutData(layoutData);
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -127,10 +129,11 @@ public class WaveStatusBarControl extends StatusBarControl {
|
||||||
@Inject
|
@Inject
|
||||||
public WaveStatusBarControl(UISynchronize sync) {
|
public WaveStatusBarControl(UISynchronize sync) {
|
||||||
super(sync);
|
super(sync);
|
||||||
cursorContribution = new TextContributionItem(Messages.WaveStatusBarControl_5, 150);
|
|
||||||
markerContribution = new TextContributionItem(Messages.WaveStatusBarControl_6, 150);
|
cursorContribution = new TextContributionItem(Messages.WaveStatusBarControl_5 /*, 150 */); //150
|
||||||
markerDiffContribution = new TextContributionItem(Messages.WaveStatusBarControl_7, 150);
|
markerContribution = new TextContributionItem(Messages.WaveStatusBarControl_6 /*, 150 */); //150
|
||||||
zoomContribution = new TextContributionItem(Messages.WaveStatusBarControl_8, 60);
|
markerDiffContribution = new TextContributionItem(Messages.WaveStatusBarControl_7 /*, 150 */); //150
|
||||||
|
zoomContribution = new TextContributionItem(Messages.WaveStatusBarControl_8 /*, 60 */); //60
|
||||||
manager.appendToGroup(StatusLineManager.BEGIN_GROUP,cursorContribution);
|
manager.appendToGroup(StatusLineManager.BEGIN_GROUP,cursorContribution);
|
||||||
manager.appendToGroup(StatusLineManager.BEGIN_GROUP,markerContribution);
|
manager.appendToGroup(StatusLineManager.BEGIN_GROUP,markerContribution);
|
||||||
manager.appendToGroup(StatusLineManager.BEGIN_GROUP,markerDiffContribution);
|
manager.appendToGroup(StatusLineManager.BEGIN_GROUP,markerDiffContribution);
|
||||||
|
|
|
@ -1,5 +1,5 @@
|
||||||
AboutDialog_0=\nSCViewer - a SystemC waveform viewer\n\nVersion: 2.0\n
|
AboutDialog_0=\nSCViewer - a SystemC waveform viewer\n\nVersion: {0}\n
|
||||||
AboutDialog_1=\nCopyright (c) 2015, 2018 MINRES Technologies GmbH and others.\n\nAll rights reserved. MINRES and the MINRES logo are trademarks of MINRES Technologies GmbH, http://www.minres.com/. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html\n\nParts of the software are governed by the Apache License Version 2.0 available at http://www.apache.org/licenses/. These are namely org.mapdb and org.sqlite JDBC driver\n\nSources code is hosted at https://git.minres.com/VP/SCViewer and the master branch is mirrored to GitHub: https://git.com/minres/SCViewer\n
|
AboutDialog_1=\nCopyright (c) 2015, 2019 MINRES Technologies GmbH and others.\n\nAll rights reserved. MINRES and the MINRES logo are trademarks of MINRES Technologies GmbH, http://www.minres.com/. This program and the accompanying materials are made available under the terms of the Eclipse Public License v1.0 which accompanies this distribution, and is available at http://www.eclipse.org/legal/epl-v10.html\n\nParts of the software are governed by the Apache License Version 2.0 available at http://www.apache.org/licenses/. These are namely org.mapdb and org.sqlite JDBC driver\n\nSource code is hosted at https://git.minres.com/VP-Tools/SCViewer and the master branch is mirrored to GitHub: https://github.com/minres/SCViewer\n
|
||||||
DesignBrowser_12=Append all after
|
DesignBrowser_12=Append all after
|
||||||
DesignBrowser_16=Insert all before
|
DesignBrowser_16=Insert all before
|
||||||
DesignBrowser_2=Enter text to filter waveforms
|
DesignBrowser_2=Enter text to filter waveforms
|
||||||
|
|
|
@ -19,8 +19,10 @@ import java.util.regex.Pattern;
|
||||||
import javax.annotation.PostConstruct;
|
import javax.annotation.PostConstruct;
|
||||||
import javax.inject.Inject;
|
import javax.inject.Inject;
|
||||||
|
|
||||||
|
import org.eclipse.core.runtime.Platform;
|
||||||
import org.eclipse.jface.dialogs.Dialog;
|
import org.eclipse.jface.dialogs.Dialog;
|
||||||
import org.eclipse.jface.dialogs.IDialogConstants;
|
import org.eclipse.jface.dialogs.IDialogConstants;
|
||||||
|
import org.eclipse.osgi.util.NLS;
|
||||||
import org.eclipse.swt.SWT;
|
import org.eclipse.swt.SWT;
|
||||||
import org.eclipse.swt.custom.StyleRange;
|
import org.eclipse.swt.custom.StyleRange;
|
||||||
import org.eclipse.swt.custom.StyledText;
|
import org.eclipse.swt.custom.StyledText;
|
||||||
|
@ -39,6 +41,7 @@ import org.eclipse.swt.widgets.Listener;
|
||||||
import org.eclipse.swt.widgets.Shell;
|
import org.eclipse.swt.widgets.Shell;
|
||||||
import org.eclipse.wb.swt.ResourceManager;
|
import org.eclipse.wb.swt.ResourceManager;
|
||||||
import org.eclipse.wb.swt.SWTResourceManager;
|
import org.eclipse.wb.swt.SWTResourceManager;
|
||||||
|
import org.osgi.framework.Version;
|
||||||
|
|
||||||
import com.minres.scviewer.e4.application.Messages;
|
import com.minres.scviewer.e4.application.Messages;
|
||||||
|
|
||||||
|
@ -75,7 +78,7 @@ public class AboutDialog extends Dialog {
|
||||||
Composite composite = new Composite(parent, SWT.NONE);
|
Composite composite = new Composite(parent, SWT.NONE);
|
||||||
GridData gd_composite = new GridData(SWT.LEFT, SWT.FILL, true, true);
|
GridData gd_composite = new GridData(SWT.LEFT, SWT.FILL, true, true);
|
||||||
gd_composite.widthHint = 600;
|
gd_composite.widthHint = 600;
|
||||||
gd_composite.heightHint =250;
|
gd_composite.heightHint =300;
|
||||||
composite.setLayoutData(gd_composite);
|
composite.setLayoutData(gd_composite);
|
||||||
composite.setLayout(new GridLayout(2, false));
|
composite.setLayout(new GridLayout(2, false));
|
||||||
|
|
||||||
|
@ -86,7 +89,7 @@ public class AboutDialog extends Dialog {
|
||||||
Canvas canvas = new Canvas(composite,SWT.NO_REDRAW_RESIZE);
|
Canvas canvas = new Canvas(composite,SWT.NO_REDRAW_RESIZE);
|
||||||
GridData gd_canvas = new GridData(SWT.LEFT, SWT.CENTER, false, false, 1, 1);
|
GridData gd_canvas = new GridData(SWT.LEFT, SWT.CENTER, false, false, 1, 1);
|
||||||
gd_canvas.widthHint = 200;
|
gd_canvas.widthHint = 200;
|
||||||
gd_canvas.heightHint =250;
|
gd_canvas.heightHint =300;
|
||||||
canvas.setLayoutData(gd_canvas);
|
canvas.setLayoutData(gd_canvas);
|
||||||
canvas.addPaintListener(new PaintListener() {
|
canvas.addPaintListener(new PaintListener() {
|
||||||
public void paintControl(PaintEvent e) {
|
public void paintControl(PaintEvent e) {
|
||||||
|
@ -97,11 +100,14 @@ public class AboutDialog extends Dialog {
|
||||||
}
|
}
|
||||||
});
|
});
|
||||||
|
|
||||||
StyledText styledText = new StyledText(composite, SWT.BORDER);
|
StyledText styledText = new StyledText(composite, SWT.V_SCROLL | SWT.BORDER);
|
||||||
styledText.setEditable(false);
|
styledText.setEditable(false);
|
||||||
GridData gd_styledText = new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1);
|
GridData gd_styledText = new GridData(SWT.FILL, SWT.FILL, true, true, 1, 1);
|
||||||
styledText.setLayoutData(gd_styledText);
|
styledText.setLayoutData(gd_styledText);
|
||||||
styledText.setText(productTitle+copyrightText);
|
Version version = Platform.getProduct().getDefiningBundle().getVersion();
|
||||||
|
String versionString = String.format("%d.%d.%d", version.getMajor(), version.getMinor(), version.getMicro());
|
||||||
|
String pt = NLS.bind(Messages.AboutDialog_0, versionString);
|
||||||
|
styledText.setText(pt+copyrightText);
|
||||||
styledText.setBackground(white);
|
styledText.setBackground(white);
|
||||||
styledText.setWordWrap(true);
|
styledText.setWordWrap(true);
|
||||||
styledText.setLeftMargin(5);
|
styledText.setLeftMargin(5);
|
||||||
|
@ -133,7 +139,7 @@ public class AboutDialog extends Dialog {
|
||||||
// links are activated on mouse down when the control key is held down
|
// links are activated on mouse down when the control key is held down
|
||||||
// if ((event.stateMask & SWT.MOD1) != 0) {
|
// if ((event.stateMask & SWT.MOD1) != 0) {
|
||||||
try {
|
try {
|
||||||
int offset = ((StyledText)event.widget).getOffsetAtPoint(new Point (event.x, event.y));
|
int offset = ((StyledText)event.widget).getOffsetAtLocation(new Point (event.x, event.y));
|
||||||
StyleRange style = ((StyledText)event.widget).getStyleRangeAtOffset(offset);
|
StyleRange style = ((StyledText)event.widget).getStyleRangeAtOffset(offset);
|
||||||
if (style != null && style.underline && style.underlineStyle == SWT.UNDERLINE_LINK) {
|
if (style != null && style.underline && style.underlineStyle == SWT.UNDERLINE_LINK) {
|
||||||
Desktop.getDesktop().browse(new java.net.URI(style.data.toString()));
|
Desktop.getDesktop().browse(new java.net.URI(style.data.toString()));
|
||||||
|
|
|
@ -10,6 +10,7 @@
|
||||||
*******************************************************************************/
|
*******************************************************************************/
|
||||||
package com.minres.scviewer.e4.application.parts;
|
package com.minres.scviewer.e4.application.parts;
|
||||||
|
|
||||||
|
import java.util.ArrayList;
|
||||||
import java.util.Vector;
|
import java.util.Vector;
|
||||||
|
|
||||||
import javax.annotation.PostConstruct;
|
import javax.annotation.PostConstruct;
|
||||||
|
@ -29,14 +30,16 @@ import org.eclipse.jface.viewers.IDoubleClickListener;
|
||||||
import org.eclipse.jface.viewers.ISelection;
|
import org.eclipse.jface.viewers.ISelection;
|
||||||
import org.eclipse.jface.viewers.IStructuredSelection;
|
import org.eclipse.jface.viewers.IStructuredSelection;
|
||||||
import org.eclipse.jface.viewers.ITreeContentProvider;
|
import org.eclipse.jface.viewers.ITreeContentProvider;
|
||||||
|
import org.eclipse.jface.viewers.ITreeViewerListener;
|
||||||
import org.eclipse.jface.viewers.LabelProvider;
|
import org.eclipse.jface.viewers.LabelProvider;
|
||||||
import org.eclipse.jface.viewers.StructuredSelection;
|
import org.eclipse.jface.viewers.StructuredSelection;
|
||||||
import org.eclipse.jface.viewers.StyledString;
|
import org.eclipse.jface.viewers.StyledString;
|
||||||
|
import org.eclipse.jface.viewers.TreeExpansionEvent;
|
||||||
import org.eclipse.jface.viewers.TreeViewer;
|
import org.eclipse.jface.viewers.TreeViewer;
|
||||||
import org.eclipse.jface.viewers.TreeViewerColumn;
|
import org.eclipse.jface.viewers.TreeViewerColumn;
|
||||||
import org.eclipse.jface.viewers.Viewer;
|
import org.eclipse.jface.viewers.Viewer;
|
||||||
import org.eclipse.jface.viewers.ViewerFilter;
|
|
||||||
import org.eclipse.jface.viewers.ViewerComparator;
|
import org.eclipse.jface.viewers.ViewerComparator;
|
||||||
|
import org.eclipse.jface.viewers.ViewerFilter;
|
||||||
import org.eclipse.swt.SWT;
|
import org.eclipse.swt.SWT;
|
||||||
import org.eclipse.swt.events.ControlAdapter;
|
import org.eclipse.swt.events.ControlAdapter;
|
||||||
import org.eclipse.swt.events.ControlEvent;
|
import org.eclipse.swt.events.ControlEvent;
|
||||||
|
@ -51,11 +54,12 @@ import org.eclipse.swt.layout.GridLayout;
|
||||||
import org.eclipse.swt.widgets.Composite;
|
import org.eclipse.swt.widgets.Composite;
|
||||||
import org.eclipse.swt.widgets.Text;
|
import org.eclipse.swt.widgets.Text;
|
||||||
import org.eclipse.swt.widgets.Tree;
|
import org.eclipse.swt.widgets.Tree;
|
||||||
|
import org.eclipse.swt.widgets.TreeItem;
|
||||||
|
|
||||||
|
import com.minres.scviewer.database.DataType;
|
||||||
import com.minres.scviewer.database.ITx;
|
import com.minres.scviewer.database.ITx;
|
||||||
import com.minres.scviewer.database.ITxAttribute;
|
import com.minres.scviewer.database.ITxAttribute;
|
||||||
import com.minres.scviewer.database.ITxRelation;
|
import com.minres.scviewer.database.ITxRelation;
|
||||||
import com.minres.scviewer.database.DataType;
|
|
||||||
import com.minres.scviewer.e4.application.Messages;
|
import com.minres.scviewer.e4.application.Messages;
|
||||||
import com.minres.scviewer.e4.application.provider.TxPropertiesLabelProvider;
|
import com.minres.scviewer.e4.application.provider.TxPropertiesLabelProvider;
|
||||||
|
|
||||||
|
@ -129,6 +133,19 @@ public class TransactionDetails {
|
||||||
treeViewer.addFilter(attributeFilter);
|
treeViewer.addFilter(attributeFilter);
|
||||||
treeViewer.setComparator(viewSorter);
|
treeViewer.setComparator(viewSorter);
|
||||||
treeViewer.setAutoExpandLevel(2);
|
treeViewer.setAutoExpandLevel(2);
|
||||||
|
treeViewer.addTreeListener(new ITreeViewerListener() {
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void treeCollapsed(TreeExpansionEvent event) {
|
||||||
|
treeViewer.getSelection();
|
||||||
|
}
|
||||||
|
|
||||||
|
@Override
|
||||||
|
public void treeExpanded(TreeExpansionEvent event) {
|
||||||
|
treeViewer.getSelection();
|
||||||
|
}
|
||||||
|
|
||||||
|
});
|
||||||
|
|
||||||
// Set up the table
|
// Set up the table
|
||||||
Tree tree = treeViewer.getTree();
|
Tree tree = treeViewer.getTree();
|
||||||
|
@ -187,7 +204,7 @@ public class TransactionDetails {
|
||||||
Object[] selectedArray = (Object[]) selected;
|
Object[] selectedArray = (Object[]) selected;
|
||||||
if(selectedArray.length==3 && selectedArray[2] instanceof ITx){
|
if(selectedArray.length==3 && selectedArray[2] instanceof ITx){
|
||||||
waveformViewerPart.setSelection(new StructuredSelection(selectedArray[2]));
|
waveformViewerPart.setSelection(new StructuredSelection(selectedArray[2]));
|
||||||
treeViewer.setInput(selectedArray[2]);
|
setInput(selectedArray[2]);
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
@ -247,6 +264,77 @@ public class TransactionDetails {
|
||||||
this.waveformViewerPart=part;
|
this.waveformViewerPart=part;
|
||||||
}
|
}
|
||||||
|
|
||||||
|
public void setInput(Object object) {
|
||||||
|
if(object instanceof ITx){
|
||||||
|
ArrayList<String> names = new ArrayList<>();
|
||||||
|
int indexInParent=getTopItemHier(names);
|
||||||
|
ArrayList<Boolean> states = getExpandedState(treeViewer.getTree().getItems());
|
||||||
|
treeViewer.setInput(object);
|
||||||
|
setExpandedState(treeViewer.getTree().getItems(), states);
|
||||||
|
setTopItemFromHier(names, indexInParent);
|
||||||
|
} else {
|
||||||
|
treeViewer.setInput(null);
|
||||||
|
}
|
||||||
|
|
||||||
|
}
|
||||||
|
|
||||||
|
private void setExpandedState(TreeItem[] treeItems, ArrayList<Boolean> states) {
|
||||||
|
for (int i = 0; i < treeItems.length; i++) {
|
||||||
|
treeItems[i].setExpanded(states.size()>i?states.get(i):true);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
private ArrayList<Boolean> getExpandedState(TreeItem[] items){
|
||||||
|
ArrayList<Boolean> ret = new ArrayList<>();
|
||||||
|
for (TreeItem treeItem : items)
|
||||||
|
ret.add(treeItem.getItemCount()>0?treeItem.getExpanded():true);
|
||||||
|
return ret;
|
||||||
|
}
|
||||||
|
|
||||||
|
private int getTopItemHier(ArrayList<String> names){
|
||||||
|
int indexInParent=-1;
|
||||||
|
TreeItem obj = treeViewer.getTree().getTopItem();
|
||||||
|
if(obj!=null) {
|
||||||
|
names.add(0, obj.getText(0));
|
||||||
|
if(obj.getParentItem()!=null) {
|
||||||
|
TreeItem pobj=obj.getParentItem();
|
||||||
|
names.add(0, pobj.getText(0));
|
||||||
|
TreeItem[] items = pobj.getItems();
|
||||||
|
for (int i = 0; i < items.length; i++) {
|
||||||
|
if(items[i]==obj) {
|
||||||
|
indexInParent=i;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return indexInParent;
|
||||||
|
}
|
||||||
|
|
||||||
|
private void setTopItemFromHier(ArrayList<String> names, int indexInParent) {
|
||||||
|
if(indexInParent<0 || names.size()==0 ) return;
|
||||||
|
TreeItem selItem=null;
|
||||||
|
for (TreeItem item : treeViewer.getTree().getItems()) { // find item from category
|
||||||
|
if(item.getText(0).equals(names.get(0))) {
|
||||||
|
if(names.size()>1) { // if we had an attribute as top item
|
||||||
|
TreeItem[] subItems=item.getItems();
|
||||||
|
for(TreeItem it : subItems) { // try to align by name
|
||||||
|
if(it.getText(0).equals(names.get(1))) {
|
||||||
|
selItem=it;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if(selItem==null && indexInParent>=0 && subItems.length>0) // name based match failed so try to use position
|
||||||
|
selItem=subItems[subItems.length>indexInParent?indexInParent:subItems.length-1];
|
||||||
|
}
|
||||||
|
if(selItem==null) // no match in attributes so set the category as top item
|
||||||
|
selItem=item;
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if(selItem!=null)
|
||||||
|
treeViewer.getTree().setTopItem(selItem);
|
||||||
|
}
|
||||||
/**
|
/**
|
||||||
* Sets the selection.
|
* Sets the selection.
|
||||||
*
|
*
|
||||||
|
@ -256,12 +344,7 @@ public class TransactionDetails {
|
||||||
public void setSelection(@Named(IServiceConstants.ACTIVE_SELECTION) @Optional IStructuredSelection selection){
|
public void setSelection(@Named(IServiceConstants.ACTIVE_SELECTION) @Optional IStructuredSelection selection){
|
||||||
if(treeViewer!=null && selection!=null && !treeViewer.getTree().isDisposed()){
|
if(treeViewer!=null && selection!=null && !treeViewer.getTree().isDisposed()){
|
||||||
if( selection instanceof IStructuredSelection) {
|
if( selection instanceof IStructuredSelection) {
|
||||||
Object object= ((IStructuredSelection)selection).getFirstElement();
|
setInput(((IStructuredSelection)selection).getFirstElement());
|
||||||
if(object instanceof ITx){
|
|
||||||
treeViewer.setInput(object);
|
|
||||||
} else {
|
|
||||||
treeViewer.setInput(null);
|
|
||||||
}
|
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
|
|
@ -74,6 +74,7 @@ import org.eclipse.swt.widgets.Event;
|
||||||
import org.eclipse.swt.widgets.Listener;
|
import org.eclipse.swt.widgets.Listener;
|
||||||
|
|
||||||
import com.minres.scviewer.database.ITx;
|
import com.minres.scviewer.database.ITx;
|
||||||
|
import com.minres.scviewer.database.ITxEvent;
|
||||||
import com.minres.scviewer.database.ITxRelation;
|
import com.minres.scviewer.database.ITxRelation;
|
||||||
import com.minres.scviewer.database.IWaveform;
|
import com.minres.scviewer.database.IWaveform;
|
||||||
import com.minres.scviewer.database.IWaveformDb;
|
import com.minres.scviewer.database.IWaveformDb;
|
||||||
|
@ -127,6 +128,15 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
/** The Constant BASE_LINE_TIME. */
|
/** The Constant BASE_LINE_TIME. */
|
||||||
protected static final String BASE_LINE_TIME = "BASE_LINE_TIME"; //$NON-NLS-1$
|
protected static final String BASE_LINE_TIME = "BASE_LINE_TIME"; //$NON-NLS-1$
|
||||||
|
|
||||||
|
/** The Constant SELECTED_TX_ID. */
|
||||||
|
protected static final String SELECTED_TX_ID = "SELECTED_TX_ID"; //$NON-NLS-1$
|
||||||
|
|
||||||
|
/** The Constant SELECTED_TRACKENTRY_NAME. */
|
||||||
|
protected static final String SELECTED_TRACKENTRY_NAME = "SELECTED_TRACKENTRY_NAME"; //$NON-NLS-1$
|
||||||
|
|
||||||
|
/** The Constant WAVEFORM_SELECTED. */
|
||||||
|
protected static final String WAVEFORM_SELECTED = ".WAVEFORM_SELECTED"; //$NON-NLS-1$
|
||||||
|
|
||||||
/** The Constant FILE_CHECK_INTERVAL. */
|
/** The Constant FILE_CHECK_INTERVAL. */
|
||||||
protected static final long FILE_CHECK_INTERVAL = 60000;
|
protected static final long FILE_CHECK_INTERVAL = 60000;
|
||||||
|
|
||||||
|
@ -578,6 +588,8 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
}
|
}
|
||||||
|
|
||||||
public void saveState(String fileName){
|
public void saveState(String fileName){
|
||||||
|
|
||||||
|
|
||||||
Map<String, String> persistedState = new HashMap<>();
|
Map<String, String> persistedState = new HashMap<>();
|
||||||
persistedState.put(DATABASE_FILE + "S", Integer.toString(filesToLoad.size())); //$NON-NLS-1$
|
persistedState.put(DATABASE_FILE + "S", Integer.toString(filesToLoad.size())); //$NON-NLS-1$
|
||||||
Integer index = 0;
|
Integer index = 0;
|
||||||
|
@ -588,10 +600,14 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
saveWaveformViewerState(persistedState);
|
saveWaveformViewerState(persistedState);
|
||||||
Properties props = new Properties();
|
Properties props = new Properties();
|
||||||
props.putAll(persistedState);
|
props.putAll(persistedState);
|
||||||
|
|
||||||
try {
|
try {
|
||||||
FileOutputStream out = new FileOutputStream(fileName);
|
|
||||||
props.store(out, "Written by SCViewer"); //$NON-NLS-1$
|
FileOutputStream out = new FileOutputStream(fileName);
|
||||||
out.close();
|
props.store(out, "Written by SCViewer"); //$NON-NLS-1$
|
||||||
|
out.close();
|
||||||
|
|
||||||
|
|
||||||
} catch (IOException e) {
|
} catch (IOException e) {
|
||||||
e.printStackTrace();
|
e.printStackTrace();
|
||||||
}
|
}
|
||||||
|
@ -600,6 +616,13 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
public void loadState(String fileName){
|
public void loadState(String fileName){
|
||||||
Properties props = new Properties();
|
Properties props = new Properties();
|
||||||
try {
|
try {
|
||||||
|
//clear old streams before loading tab settings
|
||||||
|
if(!waveformPane.getStreamList().isEmpty()) {
|
||||||
|
waveformPane.getStreamList().clear();
|
||||||
|
for (TrackEntry trackEntry : waveformPane.getStreamList()) {
|
||||||
|
trackEntry.selected = false;
|
||||||
|
}
|
||||||
|
}
|
||||||
FileInputStream in = new FileInputStream(fileName);
|
FileInputStream in = new FileInputStream(fileName);
|
||||||
props.load(in);
|
props.load(in);
|
||||||
in.close();
|
in.close();
|
||||||
|
@ -619,12 +642,15 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
*/
|
*/
|
||||||
protected void saveWaveformViewerState(Map<String, String> persistedState) {
|
protected void saveWaveformViewerState(Map<String, String> persistedState) {
|
||||||
Integer index;
|
Integer index;
|
||||||
|
boolean isStream = false;
|
||||||
persistedState.put(SHOWN_WAVEFORM + "S", Integer.toString(waveformPane.getStreamList().size())); //$NON-NLS-1$
|
persistedState.put(SHOWN_WAVEFORM + "S", Integer.toString(waveformPane.getStreamList().size())); //$NON-NLS-1$
|
||||||
index = 0;
|
index = 0;
|
||||||
for (TrackEntry trackEntry : waveformPane.getStreamList()) {
|
for (TrackEntry trackEntry : waveformPane.getStreamList()) {
|
||||||
|
if(trackEntry.isStream()) { isStream=true; }
|
||||||
persistedState.put(SHOWN_WAVEFORM + index, trackEntry.waveform.getFullName());
|
persistedState.put(SHOWN_WAVEFORM + index, trackEntry.waveform.getFullName());
|
||||||
persistedState.put(SHOWN_WAVEFORM + index + VALUE_DISPLAY, trackEntry.valueDisplay.toString());
|
persistedState.put(SHOWN_WAVEFORM + index + VALUE_DISPLAY, trackEntry.valueDisplay.toString());
|
||||||
persistedState.put(SHOWN_WAVEFORM + index + WAVE_DISPLAY, trackEntry.waveDisplay.toString());
|
persistedState.put(SHOWN_WAVEFORM + index + WAVE_DISPLAY, trackEntry.waveDisplay.toString());
|
||||||
|
persistedState.put(SHOWN_WAVEFORM + index + WAVEFORM_SELECTED, String.valueOf(trackEntry.selected).toUpperCase());
|
||||||
index++;
|
index++;
|
||||||
}
|
}
|
||||||
List<ICursor> cursors = waveformPane.getCursorList();
|
List<ICursor> cursors = waveformPane.getCursorList();
|
||||||
|
@ -636,6 +662,36 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
}
|
}
|
||||||
persistedState.put(ZOOM_LEVEL, Integer.toString(waveformPane.getZoomLevel()));
|
persistedState.put(ZOOM_LEVEL, Integer.toString(waveformPane.getZoomLevel()));
|
||||||
persistedState.put(BASE_LINE_TIME, Long.toString(waveformPane.getBaselineTime()));
|
persistedState.put(BASE_LINE_TIME, Long.toString(waveformPane.getBaselineTime()));
|
||||||
|
|
||||||
|
// get selected transaction of a stream
|
||||||
|
ISelection selection = waveformPane.getSelection();
|
||||||
|
if (!selection.isEmpty() && isStream) {
|
||||||
|
List<Object> t = getISelection(selection);
|
||||||
|
ITx tx = (ITx) t.get(0);
|
||||||
|
TrackEntry te = (TrackEntry) t.get(1);
|
||||||
|
// get transaction id
|
||||||
|
persistedState.put(SELECTED_TX_ID, Long.toString(tx.getId()));
|
||||||
|
//get TrackEntry name
|
||||||
|
String name = te.getStream().getFullName();
|
||||||
|
persistedState.put(SELECTED_TRACKENTRY_NAME, name);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
|
||||||
|
protected List<Object> getISelection(ISelection selection){
|
||||||
|
List<Object> result = new LinkedList<Object> ();
|
||||||
|
|
||||||
|
if ( selection instanceof IStructuredSelection )
|
||||||
|
{
|
||||||
|
Iterator<?> i = ((IStructuredSelection)selection).iterator();
|
||||||
|
while (i.hasNext()){
|
||||||
|
Object o = i.next ();
|
||||||
|
if (o == null) {
|
||||||
|
continue;
|
||||||
|
}
|
||||||
|
result.add(o);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
return result;
|
||||||
}
|
}
|
||||||
|
|
||||||
/**
|
/**
|
||||||
|
@ -650,6 +706,13 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
IWaveform waveform = database.getStreamByName(state.get(SHOWN_WAVEFORM + i));
|
IWaveform waveform = database.getStreamByName(state.get(SHOWN_WAVEFORM + i));
|
||||||
if (waveform != null) {
|
if (waveform != null) {
|
||||||
TrackEntry t = new TrackEntry(waveform);
|
TrackEntry t = new TrackEntry(waveform);
|
||||||
|
//check if t is selected
|
||||||
|
boolean isSelected = Boolean.valueOf(state.get(SHOWN_WAVEFORM + i + WAVEFORM_SELECTED));
|
||||||
|
if(isSelected) {
|
||||||
|
t.selected = true;
|
||||||
|
} else {
|
||||||
|
t.selected = false;
|
||||||
|
}
|
||||||
res.add(t);
|
res.add(t);
|
||||||
String v = state.get(SHOWN_WAVEFORM + i + VALUE_DISPLAY);
|
String v = state.get(SHOWN_WAVEFORM + i + VALUE_DISPLAY);
|
||||||
if(v!=null)
|
if(v!=null)
|
||||||
|
@ -683,6 +746,38 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
} catch (NumberFormatException e) {
|
} catch (NumberFormatException e) {
|
||||||
}
|
}
|
||||||
}
|
}
|
||||||
|
if (state.containsKey(SELECTED_TX_ID) && state.containsKey(SELECTED_TRACKENTRY_NAME)) {
|
||||||
|
try {
|
||||||
|
Long txId = Long.parseLong(state.get(SELECTED_TX_ID));
|
||||||
|
String trackentryName = state.get(SELECTED_TRACKENTRY_NAME);
|
||||||
|
|
||||||
|
//get TrackEntry Object based on name and TX Object by id and put into selectionList
|
||||||
|
for(TrackEntry te : res) {
|
||||||
|
if(te.waveform.getFullName().compareTo(trackentryName)==0) {
|
||||||
|
boolean found = false;
|
||||||
|
// TODO: find transaction by time? To avoid 3x for-loop
|
||||||
|
for( List<ITxEvent> lev : te.getStream().getEvents().values() ) {
|
||||||
|
if(lev == null) continue;
|
||||||
|
for(ITxEvent itxe : lev) {
|
||||||
|
if(itxe == null) continue;
|
||||||
|
ITx itx = itxe.getTransaction();
|
||||||
|
if(itx.getId() == txId) {
|
||||||
|
found = true;
|
||||||
|
ArrayList<Object> selectionList = new ArrayList<Object>();
|
||||||
|
selectionList.add(te);
|
||||||
|
selectionList.add(itx);
|
||||||
|
waveformPane.setSelection(new StructuredSelection (selectionList));
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
if(found) break;
|
||||||
|
}
|
||||||
|
break;
|
||||||
|
}
|
||||||
|
}
|
||||||
|
} catch (NumberFormatException e) {
|
||||||
|
}
|
||||||
|
}
|
||||||
updateAll();
|
updateAll();
|
||||||
}
|
}
|
||||||
|
|
||||||
|
@ -826,14 +921,26 @@ public class WaveformViewer implements IFileChangeListener, IPreferenceChangeLis
|
||||||
List<TrackEntry> streams = waveformPane.getStreamList();
|
List<TrackEntry> streams = waveformPane.getStreamList();
|
||||||
ISelection sel = waveformPane.getSelection();
|
ISelection sel = waveformPane.getSelection();
|
||||||
TrackEntry newSelection=null;
|
TrackEntry newSelection=null;
|
||||||
|
|
||||||
if(sel instanceof IStructuredSelection && ((IStructuredSelection) sel).size()==2) {
|
if(sel instanceof IStructuredSelection && ((IStructuredSelection) sel).size()==2) {
|
||||||
Iterator<?> it = ((IStructuredSelection)sel).iterator();
|
Iterator<?> it = ((IStructuredSelection)sel).iterator();
|
||||||
it.next();
|
it.next();
|
||||||
int idx = streams.indexOf(it.next());
|
int idx = streams.indexOf(it.next());
|
||||||
if(idx==streams.size()-1)
|
|
||||||
newSelection=streams.get(idx-1);
|
if(idx==streams.size()-1) {
|
||||||
else
|
//last stream gets deleted, no more selection
|
||||||
|
if(idx==0) {
|
||||||
|
newSelection=null;
|
||||||
|
}
|
||||||
|
//more than 1 stream left, last gets deleted, selection jumps to new last stream
|
||||||
|
else {
|
||||||
|
newSelection=streams.get(idx-1);
|
||||||
|
}
|
||||||
|
}
|
||||||
|
//more than 1 stream left, any stream but the last gets deleted, selection jumps to the next stream
|
||||||
|
else {
|
||||||
newSelection=streams.get(idx+1);
|
newSelection=streams.get(idx+1);
|
||||||
|
}
|
||||||
}
|
}
|
||||||
waveformPane.setSelection(new StructuredSelection());
|
waveformPane.setSelection(new StructuredSelection());
|
||||||
streams.remove(trackEntry);
|
streams.remove(trackEntry);
|
||||||
|
|
|
@ -10,6 +10,7 @@
|
||||||
<relativePath>../com.minres.scviewer.parent</relativePath>
|
<relativePath>../com.minres.scviewer.parent</relativePath>
|
||||||
</parent>
|
</parent>
|
||||||
<artifactId>com.minres.scviewer.e4.product</artifactId>
|
<artifactId>com.minres.scviewer.e4.product</artifactId>
|
||||||
|
<version>2.1.2-SNAPSHOT</version>
|
||||||
<packaging>eclipse-repository</packaging>
|
<packaging>eclipse-repository</packaging>
|
||||||
<groupId>com.minres.scviewer</groupId>
|
<groupId>com.minres.scviewer</groupId>
|
||||||
<build>
|
<build>
|
||||||
|
|
|
@ -1,7 +1,7 @@
|
||||||
<?xml version="1.0" encoding="UTF-8"?>
|
<?xml version="1.0" encoding="UTF-8"?>
|
||||||
<?pde version="3.5"?>
|
<?pde version="3.5"?>
|
||||||
|
|
||||||
<product name="SCViewer" uid="scviewer" id="com.minres.scviewer.e4.application.product" application="org.eclipse.e4.ui.workbench.swt.E4Application" version="2.0.0.qualifier" useFeatures="false" includeLaunchers="true">
|
<product name="SCViewer" uid="scviewer" id="com.minres.scviewer.e4.application.product" application="org.eclipse.e4.ui.workbench.swt.E4Application" version="2.1.2.qualifier" useFeatures="false" includeLaunchers="true">
|
||||||
|
|
||||||
<configIni use="default">
|
<configIni use="default">
|
||||||
</configIni>
|
</configIni>
|
||||||
|
|
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -2,7 +2,6 @@
|
||||||
<classpath>
|
<classpath>
|
||||||
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-1.8"/>
|
||||||
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
<classpathentry kind="con" path="org.eclipse.pde.core.requiredPlugins"/>
|
||||||
<classpathentry kind="src" path="src"/>
|
<classpathentry kind="src" path="src/"/>
|
||||||
<classpathentry exported="true" kind="con" path="GROOVY_DSL_SUPPORT"/>
|
|
||||||
<classpathentry kind="output" path="target/classes"/>
|
<classpathentry kind="output" path="target/classes"/>
|
||||||
</classpath>
|
</classpath>
|
||||||
|
|
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
|
@ -1,2 +0,0 @@
|
||||||
eclipse.preferences.version=1
|
|
||||||
encoding/<project>=UTF-8
|
|
Loading…
Reference in New Issue