117 lines
3.4 KiB
Java
117 lines
3.4 KiB
Java
/*******************************************************************************
|
|
* Copyright (c) 2015 MINRES Technologies GmbH and others.
|
|
* All rights reserved. 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
|
|
*
|
|
* Contributors:
|
|
* MINRES Technologies GmbH - initial API and implementation
|
|
*******************************************************************************/
|
|
package com.minres.scviewer.database.ui;
|
|
|
|
import java.beans.PropertyChangeListener;
|
|
import java.util.HashMap;
|
|
import java.util.List;
|
|
|
|
import org.eclipse.jface.viewers.ISelection;
|
|
import org.eclipse.jface.viewers.ISelectionChangedListener;
|
|
import org.eclipse.jface.viewers.ISelectionProvider;
|
|
import org.eclipse.swt.events.DisposeListener;
|
|
import org.eclipse.swt.graphics.Point;
|
|
import org.eclipse.swt.graphics.RGB;
|
|
import org.eclipse.swt.widgets.Control;
|
|
|
|
import com.minres.scviewer.database.IWaveform;
|
|
import com.minres.scviewer.database.RelationType;
|
|
|
|
public interface IWaveformView extends PropertyChangeListener, ISelectionProvider{
|
|
|
|
String CURSOR_PROPERTY = "cursor_time";
|
|
|
|
String MARKER_PROPERTY = "marker_time";
|
|
|
|
public static final RelationType NEXT_PREV_IN_STREAM = RelationType.create("Prev/Next in stream");
|
|
|
|
public void addSelectionChangedListener(ISelectionChangedListener listener);
|
|
|
|
public void removeSelectionChangedListener(ISelectionChangedListener listener);
|
|
|
|
public void update();
|
|
|
|
public Control getControl();
|
|
|
|
public Control getNameControl();
|
|
|
|
public Control getValueControl();
|
|
|
|
public Control getWaveformControl();
|
|
|
|
public ISelection getSelection();
|
|
|
|
public void setSelection(ISelection selection);
|
|
|
|
public void setSelection(ISelection selection, boolean showIfNeeded);
|
|
|
|
public void addToSelection(ISelection selection, boolean showIfNeeded);
|
|
|
|
public void moveSelection(GotoDirection direction);
|
|
|
|
public void moveSelection(GotoDirection direction, RelationType relationType);
|
|
|
|
public void moveCursor(GotoDirection direction);
|
|
|
|
public List<TrackEntry> getStreamList();
|
|
|
|
public TrackEntry getEntryForStream(IWaveform source);
|
|
|
|
public List<Object> getElementsAt(Point pt);
|
|
|
|
public void moveSelectedTrack(int i);
|
|
|
|
public void setHighliteRelation(RelationType relationType);
|
|
|
|
public long getMaxTime();
|
|
|
|
public void setMaxTime(long maxTime);
|
|
|
|
public void setZoomLevel(int scale);
|
|
|
|
public int getZoomLevel();
|
|
|
|
public void setCursorTime(long time);
|
|
|
|
public void setMarkerTime(long time, int index);
|
|
|
|
public long getCursorTime();
|
|
|
|
public int getSelectedMarkerId();
|
|
|
|
public long getMarkerTime(int index);
|
|
|
|
public void addPropertyChangeListener(PropertyChangeListener listener);
|
|
|
|
public void addPropertyChangeListener(String propertyName, PropertyChangeListener listener);
|
|
|
|
public void removePropertyChangeListener(PropertyChangeListener listener);
|
|
|
|
public void removePropertyChangeListener(String propertyName, PropertyChangeListener listener);
|
|
|
|
public String getScaledTime(long time);
|
|
|
|
public String[] getZoomLevels();
|
|
|
|
public List<ICursor> getCursorList();
|
|
|
|
public void setColors(HashMap<WaveformColors, RGB> colourMap);
|
|
|
|
public long getBaselineTime();
|
|
|
|
public void setBaselineTime(Long scale);
|
|
|
|
public void scrollHorizontal(int percent);
|
|
|
|
public void addDisposeListener( DisposeListener listener );
|
|
|
|
public void deleteSelectedTracks();
|
|
} |