Main Page   Packages   Class Hierarchy   Alphabetical List   Compound List   File List   Compound Members  

CriterionViewer Class Reference

Inheritance diagram for CriterionViewer:
[legend]
Collaboration diagram for CriterionViewer:
[legend]
List of all members.

Public Methods

 CriterionViewer ()
 CriterionViewer (java.awt.LayoutManager layout)
 CriterionViewer (java.awt.LayoutManager layout, boolean isDoubleBuffered)
 CriterionViewer (boolean isDoubleBuffered)
javax swing JSplitPane getLocationsVarsSplitPane ()
javax swing JSplitPane getPointVarSplitPane ()
DroppableStatementsList getStatementsList ()
javax swing JSplitPane getStmtControlSplitPane ()
void locationsList_ListSelectionEvents ()
void locationsList_MouseClicked (java.awt.event.MouseEvent mouseEvent)
void locationVarsList_ListSelectionEvents ()
void removeLocationButton_ActionEvents ()
void removeStatementButton_ActionEvents ()
void removeVarsButton_ActionEvents ()
void statementsList_ListSelectionEvents ()
void statementsList_MouseClicked (java.awt.event.MouseEvent mouseEvent)
void varsList_ListSelectionEvents ()

Static Public Methods

void main (java.lang.String[] args)

Private Methods

void addLocationToCriterion (Object location, Annotation locationAnnotation)
void addStatementToCriterion (Object location, SlicePoint[] locationArray, Annotation locationAnnotation)
void addVarToCriterion (Object var)
Vector buildCriterionForCurrentNode (Object currentNode)
Vector buildLocalListFor (Annotation annotation, SootMethod sm)
void calculateLocalsFor (LocationNodeInCriterionViewer locationNode)
SlicePoint calculateSlicePoint (Object userObjectInMethodTree)
SlicePoint[] calculateSliceStatements (Object userObjectInMethodTree)
void connEtoC1 ()
void connEtoC2 ()
void connEtoC3 ()
void connEtoC4 ()
void connEtoC5 ()
void connEtoC6 (java.awt.event.MouseEvent arg1)
void connEtoC7 (java.awt.event.MouseEvent arg1)
void connEtoC8 ()
void connEtoC9 ()
javax swing JLabel getLocationsLabel ()
DroppableLocationsList getLocationsList ()
javax swing JPanel getLocationsPanel ()
javax swing JScrollPane getLocationsScrollPane ()
DraggableVariablesList getLocationVarsList ()
javax swing JScrollPane getLocationVarsScrollPane ()
javax swing JButton getRemoveLocationButton ()
javax swing JButton getRemoveStatementButton ()
javax swing JButton getRemoveVarsButton ()
Vector getSliceInterests ()
javax swing JLabel getStatementLabel ()
javax swing JPanel getStatementPanel ()
javax swing JScrollPane getStatementScrollPane ()
StmtTreeNode getStmtTreeNodeFromLocationNode (LocationNodeInCriterionViewer ln)
javax swing JLabel getVarsLabel ()
DroppableVariablesList getVarsList ()
javax swing JPanel getVarsPanel ()
javax swing JScrollPane getVarsScrollPane ()
void handleException (java.lang.Throwable exception)
void initConnections () throws java.lang.Exception
void initialize ()
void removeLocationFrom (Object location, DefaultListModel listModel)
void runSlicerWithCurrentCriterion ()
void setDependFrame (Dependencies dp)
void showCriterionInViewer (Vector sliceInterests)
boolean statementsListContains (DefaultListModel listModel, Annotation annotation)

Private Attributes

boolean setSelectedByProgram = false
Vector currentCriterion = new Vector()
Vector lastTimeRunningCriterion = new Vector()
Vector runningCriterion = null
JLabel ivjLocationsLabel = null
DroppableLocationsList ivjLocationsList = null
JPanel ivjLocationsPanel = null
JScrollPane ivjLocationsScrollPane = null
JSplitPane ivjPointVarSplitPane = null
JButton ivjRemoveLocationButton = null
JButton ivjRemoveStatementButton = null
JButton ivjRemoveVarsButton = null
JLabel ivjStatementLabel = null
JPanel ivjStatementPanel = null
JScrollPane ivjStatementScrollPane = null
JSplitPane ivjStmtControlSplitPane = null
JLabel ivjVarsLabel = null
DroppableVariablesList ivjVarsList = null
JPanel ivjVarsPanel = null
JScrollPane ivjVarsScrollPane = null
JSplitPane ivjLocationsVarsSplitPane = null
DraggableVariablesList ivjLocationVarsList = null
JScrollPane ivjLocationVarsScrollPane = null
DroppableStatementsList ivjStatementsList = null
Dependencies dependFrame
IvjEventHandler ivjEventHandler = new IvjEventHandler()

Detailed Description

Insert the type's description here. Creation date: (00-10-24 10:40:14) @author:

Definition at line 48 of file CriterionViewer.java.

Constructor & Destructor Documentation

CriterionViewer::CriterionViewer (    )  [inline]
 

CriterionViewer constructor comment.

Definition at line 109 of file CriterionViewer.java.

CriterionViewer::CriterionViewer (  java.awt.LayoutManager   layout )  [inline]
 

CriterionViewer constructor comment.

Parameters:
layout   java.awt.LayoutManager

Definition at line 117 of file CriterionViewer.java.

CriterionViewer::CriterionViewer (  java.awt.LayoutManager   layout,
boolean   isDoubleBuffered
)  [inline]
 

CriterionViewer constructor comment.

Parameters:
layout   java.awt.LayoutManager
isDoubleBuffered   boolean

Definition at line 125 of file CriterionViewer.java.

CriterionViewer::CriterionViewer (  boolean   isDoubleBuffered )  [inline]
 

CriterionViewer constructor comment.

Parameters:
isDoubleBuffered   boolean

Definition at line 132 of file CriterionViewer.java.

Member Function Documentation

void CriterionViewer::addLocationToCriterion (  Object   location,
Annotation   locationAnnotation
)  [inline, private]
 

Insert the method's description here. Creation date: (00-6-21 1:13:28)

Parameters:
var   java.lang.Object

Definition at line 140 of file CriterionViewer.java.

void CriterionViewer::addStatementToCriterion (  Object   location,
SlicePoint   locationArray[],
Annotation   locationAnnotation
)  [inline, private]
 

Insert the method's description here. Creation date: (00-6-21 1:13:28)

Parameters:
var   java.lang.Object

Definition at line 168 of file CriterionViewer.java.

void CriterionViewer::addVarToCriterion (  Object   var )  [inline, private]
 

Insert the method's description here. Creation date: (00-6-21 1:13:28)

Parameters:
var   java.lang.Object

Definition at line 220 of file CriterionViewer.java.

Vector CriterionViewer::buildCriterionForCurrentNode (  Object   currentNode )  [inline, private]
 

Insert the method's description here. Creation date: (00-12-4 13:55:17)

Returns:
java.util.Vector
Parameters:
currentNode   java.lang.Object

Definition at line 237 of file CriterionViewer.java.

void CriterionViewer::calculateLocalsFor (  LocationNodeInCriterionViewer   locationNode )  [inline, private]
 

Insert the method's description here. Creation date: (00-11-27 17:41:42)

Parameters:
ln   edu.ksu.cis.bandera.pdgslicer.dependency.LocationNodeInCriterionViewer

Definition at line 286 of file CriterionViewer.java.

SlicePoint CriterionViewer::calculateSlicePoint (  Object   userObjectInMethodTree )  [inline, private]
 

Comment

Definition at line 296 of file CriterionViewer.java.

SlicePoint [] CriterionViewer::calculateSliceStatements (  Object   userObjectInMethodTree )  [inline, private]
 

Comment

Definition at line 327 of file CriterionViewer.java.

void CriterionViewer::connEtoC1 (    )  [inline, private]
 

connEtoC1: (RemoveStatementButton.action. --> CriterionViewer.removeStatementButton_ActionEvents()V)

Definition at line 365 of file CriterionViewer.java.

void CriterionViewer::connEtoC2 (    )  [inline, private]
 

connEtoC2: (RemoveLocationButton.action. --> CriterionViewer.removeLocationButton_ActionEvents()V)

Definition at line 382 of file CriterionViewer.java.

void CriterionViewer::connEtoC3 (    )  [inline, private]
 

connEtoC3: (RemoveVarsButton.action. --> CriterionViewer.removeVarsButton_ActionEvents()V)

Definition at line 399 of file CriterionViewer.java.

void CriterionViewer::connEtoC4 (    )  [inline, private]
 

connEtoC4: (LocationsList.listSelection. --> CriterionViewer.locationsList_ListSelectionEvents()V)

Definition at line 416 of file CriterionViewer.java.

void CriterionViewer::connEtoC5 (    )  [inline, private]
 

connEtoC5: (StatementsList.listSelection. --> CriterionViewer.statementsList_ListSelectionEvents()V)

Definition at line 434 of file CriterionViewer.java.

void CriterionViewer::connEtoC6 (  java.awt.event.MouseEvent   arg1 )  [inline, private]
 

connEtoC6: (StatementsList.mouse.mouseClicked(java.awt.event.MouseEvent) --> CriterionViewer.statementsList_MouseClicked(Ljava.awt.event.MouseEvent;)V)

Parameters:
arg1   java.awt.event.MouseEvent

Definition at line 453 of file CriterionViewer.java.

void CriterionViewer::connEtoC7 (  java.awt.event.MouseEvent   arg1 )  [inline, private]
 

connEtoC7: (LocationsList.mouse.mouseClicked(java.awt.event.MouseEvent) --> CriterionViewer.locationsList_MouseClicked(Ljava.awt.event.MouseEvent;)V)

Parameters:
arg1   java.awt.event.MouseEvent

Definition at line 471 of file CriterionViewer.java.

void CriterionViewer::connEtoC8 (    )  [inline, private]
 

connEtoC8: (VarsList.listSelection. --> CriterionViewer.varsList_ListSelectionEvents()V)

Definition at line 488 of file CriterionViewer.java.

void CriterionViewer::connEtoC9 (    )  [inline, private]
 

connEtoC9: (LocationVarsList.listSelection. --> CriterionViewer.locationVarsList_ListSelectionEvents()V)

Definition at line 506 of file CriterionViewer.java.

DraggableVariablesList CriterionViewer::getLocationVarsList (    )  [inline, private]
 

Return the LocationVarsList property value.

Returns:
edu.ksu.cis.bandera.pdgslicer.dependency.DraggableVariablesList

Definition at line 640 of file CriterionViewer.java.

javax swing JScrollPane CriterionViewer::getLocationVarsScrollPane (    )  [inline, private]
 

Return the LocationVarsScrollPane property value.

Returns:
javax.swing.JScrollPane

Definition at line 661 of file CriterionViewer.java.

javax swing JLabel CriterionViewer::getLocationsLabel (    )  [inline, private]
 

Return the LocationsLabel property value.

Returns:
javax.swing.JLabel

Definition at line 525 of file CriterionViewer.java.

DroppableLocationsList CriterionViewer::getLocationsList (    )  [inline, private]
 

Return the LocationsList property value.

Returns:
edu.ksu.cis.bandera.pdgslicer.dependency.DroppableLocationsList

Definition at line 548 of file CriterionViewer.java.

javax swing JPanel CriterionViewer::getLocationsPanel (    )  [inline, private]
 

Return the LocationsPanel property value.

Returns:
javax.swing.JPanel

Definition at line 570 of file CriterionViewer.java.

javax swing JScrollPane CriterionViewer::getLocationsScrollPane (    )  [inline, private]
 

Return the LocationsScrollPane property value.

Returns:
javax.swing.JScrollPane

Definition at line 594 of file CriterionViewer.java.

javax swing JSplitPane CriterionViewer::getLocationsVarsSplitPane (    )  [inline]
 

Return the LocationsVarsSplitPane property value.

Returns:
javax.swing.JSplitPane

Definition at line 615 of file CriterionViewer.java.

javax swing JSplitPane CriterionViewer::getPointVarSplitPane (    )  [inline]
 

Return the PointVarSplitPane property value.

Returns:
javax.swing.JSplitPane

Definition at line 682 of file CriterionViewer.java.

javax swing JButton CriterionViewer::getRemoveLocationButton (    )  [inline, private]
 

Return the RemoveLocationButton property value.

Returns:
javax.swing.JButton

Definition at line 707 of file CriterionViewer.java.

javax swing JButton CriterionViewer::getRemoveStatementButton (    )  [inline, private]
 

Return the RemoveStatementButton property value.

Returns:
javax.swing.JButton

Definition at line 728 of file CriterionViewer.java.

javax swing JButton CriterionViewer::getRemoveVarsButton (    )  [inline, private]
 

Return the RemoveVarsButton property value.

Returns:
javax.swing.JButton

Definition at line 749 of file CriterionViewer.java.

Vector CriterionViewer::getSliceInterests (    )  [inline, private]
 

Returns:
java.util.Vector

Definition at line 769 of file CriterionViewer.java.

javax swing JLabel CriterionViewer::getStatementLabel (    )  [inline, private]
 

Return the StatementLabel property value.

Returns:
javax.swing.JLabel

Definition at line 780 of file CriterionViewer.java.

javax swing JPanel CriterionViewer::getStatementPanel (    )  [inline, private]
 

Return the StatementPanel property value.

Returns:
javax.swing.JPanel

Definition at line 803 of file CriterionViewer.java.

javax swing JScrollPane CriterionViewer::getStatementScrollPane (    )  [inline, private]
 

Return the StatementScrollPane property value.

Returns:
javax.swing.JScrollPane

Definition at line 827 of file CriterionViewer.java.

DroppableStatementsList CriterionViewer::getStatementsList (    )  [inline]
 

Return the StatementsList property value.

Returns:
edu.ksu.cis.bandera.pdgslicer.dependency.DroppableStatementsList

Definition at line 848 of file CriterionViewer.java.

javax swing JSplitPane CriterionViewer::getStmtControlSplitPane (    )  [inline]
 

Return the StmtControlSplitPane property value.

Returns:
javax.swing.JSplitPane

Definition at line 870 of file CriterionViewer.java.

StmtTreeNode CriterionViewer::getStmtTreeNodeFromLocationNode (  LocationNodeInCriterionViewer   ln )  [inline, private]
 

Insert the method's description here. Creation date: (00-11-29 11:00:17)

Returns:
edu.ksu.cis.bandera.pdgslicer.dependency.StmtTreeNode
Parameters:
ln   edu.ksu.cis.bandera.pdgslicer.dependency.LocationNode

Definition at line 895 of file CriterionViewer.java.

javax swing JLabel CriterionViewer::getVarsLabel (    )  [inline, private]
 

Return the VarsLabel property value.

Returns:
javax.swing.JLabel

Definition at line 906 of file CriterionViewer.java.

DroppableVariablesList CriterionViewer::getVarsList (    )  [inline, private]
 

Return the VarsList property value.

Returns:
edu.ksu.cis.bandera.pdgslicer.dependency.DroppableVariablesList

Definition at line 929 of file CriterionViewer.java.

javax swing JPanel CriterionViewer::getVarsPanel (    )  [inline, private]
 

Return the VarsPanel property value.

Returns:
javax.swing.JPanel

Definition at line 951 of file CriterionViewer.java.

javax swing JScrollPane CriterionViewer::getVarsScrollPane (    )  [inline, private]
 

Return the VarsScrollPane property value.

Returns:
javax.swing.JScrollPane

Definition at line 975 of file CriterionViewer.java.

void CriterionViewer::handleException (  java.lang.Throwable   exception )  [inline, private]
 

Called whenever the part throws an exception.

Parameters:
exception   java.lang.Throwable

Definition at line 995 of file CriterionViewer.java.

void CriterionViewer::initConnections (    )  [inline, private]
 

Initializes connections

Exceptions:
java   .lang.Exception The exception description.

Definition at line 1006 of file CriterionViewer.java.

void CriterionViewer::initialize (    )  [inline, private]
 

Initialize the class.

Definition at line 1023 of file CriterionViewer.java.

void CriterionViewer::locationVarsList_ListSelectionEvents (    )  [inline]
 

Comment

Definition at line 1083 of file CriterionViewer.java.

void CriterionViewer::locationsList_ListSelectionEvents (    )  [inline]
 

Comment

Definition at line 1042 of file CriterionViewer.java.

void CriterionViewer::locationsList_MouseClicked (  java.awt.event.MouseEvent   mouseEvent )  [inline]
 

Comment

Definition at line 1060 of file CriterionViewer.java.

void CriterionViewer::main (  java.lang.String   args[] )  [inline, static]
 

main entrypoint - starts the part when it is run as an application

Parameters:
args   java.lang.String[]

Definition at line 1105 of file CriterionViewer.java.

void CriterionViewer::removeLocationButton_ActionEvents (    )  [inline]
 

Comment

Definition at line 1126 of file CriterionViewer.java.

void CriterionViewer::removeLocationFrom (  Object   location,
DefaultListModel   listModel
)  [inline, private]
 

Insert the method's description here. Creation date: (00-11-27 16:16:01)

Parameters:
listModel   javax.swing.DefaultListModel

Definition at line 1143 of file CriterionViewer.java.

void CriterionViewer::removeStatementButton_ActionEvents (    )  [inline]
 

Comment

Definition at line 1155 of file CriterionViewer.java.

void CriterionViewer::removeVarsButton_ActionEvents (    )  [inline]
 

Comment

Definition at line 1166 of file CriterionViewer.java.

void CriterionViewer::setDependFrame (  Dependencies   dp )  [inline, private]
 

Insert the method's description here. Creation date: (00-11-27 17:19:22)

Parameters:
dp   edu.ksu.cis.bandera.pdgslicer.dependency.Dependencies

Definition at line 1206 of file CriterionViewer.java.

boolean CriterionViewer::statementsListContains (  DefaultListModel   listModel,
Annotation   annotation
)  [inline, private]
 

Insert the method's description here. Creation date: (6/13/2001 2:09:47 PM)

Returns:
boolean
Parameters:
listModel   javax.swing.DefaultListModel
annotation   edu.ksu.cis.bandera.annotation.Annotation

Definition at line 1298 of file CriterionViewer.java.

void CriterionViewer::statementsList_ListSelectionEvents (    )  [inline]
 

Comment

Definition at line 1253 of file CriterionViewer.java.

void CriterionViewer::statementsList_MouseClicked (  java.awt.event.MouseEvent   mouseEvent )  [inline]
 

Comment

Definition at line 1271 of file CriterionViewer.java.

void CriterionViewer::varsList_ListSelectionEvents (    )  [inline]
 

Comment

Definition at line 1310 of file CriterionViewer.java.

The documentation for this class was generated from the following file:
Generated at Thu Feb 7 07:08:08 2002 for Bandera by doxygen1.2.10 written by Dimitri van Heesch, © 1997-2001