public class LogGraphMouseListener
extends java.awt.event.MouseAdapter
Constructor and Description |
---|
LogGraphMouseListener(XOCLog log,
ConformanceCheckingResultView conformanceCheckingResult) |
Modifier and Type | Method and Description |
---|---|
void |
addEditorPanel(EditorPanel editorPanel) |
void |
addInformationPanel(InformationPanel informationPanel) |
boolean |
drawEdge(MyOriginalCell firstlyFocusedCell,
int firstX,
int firstY,
MyOriginalCell secondlyFocusedCell,
int secondX,
int secondY) |
boolean |
drawNode(int x,
int y) |
java.lang.String |
getElementType() |
java.lang.String |
getPreviouslyElementType() |
javax.swing.JButton |
getPreviouslySelectedButton() |
java.util.UUID |
getPreviouslySelectedID() |
javax.swing.JButton |
getSelectedButton() |
MyOriginalCell |
getSelectedCell() |
java.util.UUID |
getSelectedID() |
void |
mouseReleased(java.awt.event.MouseEvent e) |
void |
setElementType(java.lang.String elementType)
Sets the selected elementType, can be used for variables and originators (it will raise a mousePressed event)
|
void |
setSelectedButton(javax.swing.JButton focusedButton)
Sets the selected ID, can be used for variables and originators (it will raise a mousePressed event)
|
void |
setSelectedCell(MyOriginalCell cell) |
void |
setSelectedEvent(XOCEvent selectedEvent) |
void |
setSelectedID(java.util.UUID newID) |
void |
updateGraph(org.jgraph.JGraph graph) |
public LogGraphMouseListener(XOCLog log, ConformanceCheckingResultView conformanceCheckingResult)
public void addInformationPanel(InformationPanel informationPanel)
public void addEditorPanel(EditorPanel editorPanel)
public void updateGraph(org.jgraph.JGraph graph)
public java.util.UUID getSelectedID()
public java.util.UUID getPreviouslySelectedID()
public void setSelectedButton(javax.swing.JButton focusedButton)
newID
- public void setSelectedEvent(XOCEvent selectedEvent)
public javax.swing.JButton getSelectedButton()
public void setSelectedCell(MyOriginalCell cell)
public MyOriginalCell getSelectedCell()
public javax.swing.JButton getPreviouslySelectedButton()
public void setSelectedID(java.util.UUID newID)
public java.lang.String getElementType()
public java.lang.String getPreviouslyElementType()
public void setElementType(java.lang.String elementType)
newID
- public void mouseReleased(java.awt.event.MouseEvent e)
mouseReleased
in interface java.awt.event.MouseListener
mouseReleased
in class java.awt.event.MouseAdapter
public boolean drawNode(int x, int y)
public boolean drawEdge(MyOriginalCell firstlyFocusedCell, int firstX, int firstY, MyOriginalCell secondlyFocusedCell, int secondX, int secondY)