com.javapathfinder.vjp.verify.view
Class TraceTable

java.lang.Object
  org.eclipse.jface.viewers.Viewer
      org.eclipse.jface.viewers.ContentViewer
          org.eclipse.jface.viewers.StructuredViewer
              org.eclipse.jface.viewers.TableViewer
                  com.javapathfinder.vjp.verify.view.TraceTable

All Implemented Interfaces:

org.eclipse.jface.viewers.IInputProvider, org.eclipse.jface.viewers.IInputSelectionProvider, org.eclipse.jface.viewers.IPostSelectionProvider, org.eclipse.jface.viewers.ISelectionProvider

public class TraceTable
extends org.eclipse.jface.viewers.TableViewer

The table used to display information about the thread trace generated by JPF during verification.

Author:

Sandro Badame

Constructor Summary

TraceTable(org.eclipse.swt.widgets.Composite parent, int style)

Method Summary

void	choiceAdvanced(int choice) Called when a choice is being advanced
void	clearAll()
int	getAttributeColumnIndex()
int	getChoiceColumnIndex()
com.javapathfinder.vjp.verify.view.TraceTable.TransitionInfo	getCurrentTransitionInfo()
static org.eclipse.swt.graphics.Image	getThreadImage()
int	getTypeColumnIndex()
void	newChoiceSet(java.lang.String cgType, int totalChoices) Called when a new set of choices has been created
void	refresh() Refresh this table
void	repackColumns() repack all of the columns in this table
void	reset() Clear this table of all threads and transition information.
void	safeRefresh() Safely refresh the trace table.
void	safeSelectLast() A thread safe way to select the last transition
void	selectLast() Sets the selection to be last transition, then makes the transition visible
void	stateAdvanced(gov.nasa.jpf.jvm.Transition t, int stateId, boolean isEndState, boolean isVisitedState) Called when the state has advanced
void	stateBacktrack() Backtrack from the current state

Methods inherited from class org.eclipse.jface.viewers.TableViewer

add, add, cancelEditing, clear, editElement, getCellEditors, getCellModifier, getColumnProperties, getControl, getElementAt, getLabelProvider, getTable, insert, isCellEditorActive, remove, remove, replace, reveal, setCellEditors, setCellModifier, setColumnProperties, setItemCount, setLabelProvider, setSelection

Methods inherited from class org.eclipse.jface.viewers.StructuredViewer

addDoubleClickListener, addDragSupport, addDropSupport, addFilter, addOpenListener, addPostSelectionChangedListener, getComparator, getComparer, getFilters, getSelection, getSorter, refresh, refresh, refresh, removeDoubleClickListener, removeFilter, removeOpenListener, removePostSelectionChangedListener, resetFilters, setComparator, setComparer, setContentProvider, setInput, setSorter, setUseHashlookup, testFindItem, testFindItems, update, update

Methods inherited from class org.eclipse.jface.viewers.ContentViewer

getContentProvider, getInput

Methods inherited from class org.eclipse.jface.viewers.Viewer

addHelpListener, addSelectionChangedListener, getData, removeHelpListener, removeSelectionChangedListener, scrollDown, scrollUp, setData, setSelection

Methods inherited from class java.lang.Object

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.eclipse.jface.viewers.ISelectionProvider

addSelectionChangedListener, removeSelectionChangedListener, setSelection

Constructor Detail

TraceTable

public TraceTable(org.eclipse.swt.widgets.Composite parent,
                  int style)

Parameters:

parent -

style -

Method Detail

getThreadImage

public static org.eclipse.swt.graphics.Image getThreadImage()

Returns:

the image that represents a transition being executed in a particular thread.

newChoiceSet

public void newChoiceSet(java.lang.String cgType,
                         int totalChoices)

Called when a new set of choices has been created

Parameters:

cgType - the type of choices

totalChoices - the total number of choices to be explored

choiceAdvanced

public void choiceAdvanced(int choice)

Called when a choice is being advanced

Parameters:

choice - which choice was advanced

stateAdvanced

public void stateAdvanced(gov.nasa.jpf.jvm.Transition t,
                          int stateId,
                          boolean isEndState,
                          boolean isVisitedState)

Called when the state has advanced

Parameters:

t - the transition is advancing

stateId - the id of the state

isEndState - whether this is an end state

isVisitedState - whether this is a visited state

stateBacktrack

public void stateBacktrack()

Backtrack from the current state

safeRefresh

public void safeRefresh()

Safely refresh the trace table.

getTypeColumnIndex

public int getTypeColumnIndex()

getChoiceColumnIndex

public int getChoiceColumnIndex()

getAttributeColumnIndex

public int getAttributeColumnIndex()

clearAll

public void clearAll()

reset

public void reset()

Clear this table of all threads and transition information.

refresh

public void refresh()

Refresh this table

Overrides:

refresh in class org.eclipse.jface.viewers.StructuredViewer

repackColumns

public void repackColumns()

repack all of the columns in this table

safeSelectLast

public void safeSelectLast()

A thread safe way to select the last transition

selectLast

public void selectLast()

Sets the selection to be last transition, then makes the transition visible

getCurrentTransitionInfo

public com.javapathfinder.vjp.verify.view.TraceTable.TransitionInfo getCurrentTransitionInfo()

Returns:

information about the currently verified transition