public class EditorModifyModelPanel
extends java.lang.Object
Constructor and Description |
---|
EditorModifyModelPanel(OCBCModel model,
int maxWidth,
int maxHeight,
GraphMouseListener graphMouseListener,
InformationPanel informationPanel,
GraphPanel graphPanel,
java.util.Collection<javax.swing.JComponent> components) |
Modifier and Type | Method and Description |
---|---|
int |
getHeight() |
static void |
main(java.lang.String[] args) |
javax.swing.JComponent |
modifyModel() |
void |
updateEditPanel() |
public EditorModifyModelPanel(OCBCModel model, int maxWidth, int maxHeight, GraphMouseListener graphMouseListener, InformationPanel informationPanel, GraphPanel graphPanel, java.util.Collection<javax.swing.JComponent> components)
public int getHeight()
public javax.swing.JComponent modifyModel()
public void updateEditPanel()
public static void main(java.lang.String[] args) throws java.io.IOException, java.lang.ClassNotFoundException
java.io.IOException
java.lang.ClassNotFoundException