Java 绘图框架 JGraphEd.7z

package graphStructure; import java.util.*; import java.awt.*; import java.io.*; import java.awt.geom.*; import dataStructure.DoublyLinkedList; import graphStructure.mementos.*; /** * This class represents the model of the graph object, that stores all the data * that makes up the structure of the graph, and methods to perform operations * on this data such as saving to and loading from a file, adding nodes or edges * etc... * * @author Jon Harris */ public class Graph { private String label; private Vector nodes; private boolean drawSelected; private Color drawColor; private String filePath; private DoublyLinkedList mementos; private MementoGrouper currentMemento; private boolean showCoords; private boolean showLabels; private boolean trackUndos; private boolean hasChangedSinceLastSave; private boolean hasChangedSinceLastDraw; private boolean logChangedSinceLastDraw; private Vector logEntries; private LogEntry currentLogEntry; private Graph parent; private boolean drawGrid; private int gridRows; private int gridCols; private int gridColWidth; private int gridRowHeight; /** * Constructor for class Graph. */ public Graph() { label = ""; nodes = new Vector(); drawColor = null; drawSelected = true; filePath = ""; mementos = new DoublyLinkedList(); currentMemento = null; trackUndos = true; hasChangedSinceLastSave = false; hasChangedSinceLastDraw = true; showCoords = false; showLabels = true; logEntries = new Vector(); currentLogEntry = null; parent = null; drawGrid = false; gridRows = -1; gridCols = -1; } /** * Constructor for class Graph that assigns a label to the Graph. * * @param String aLabel: The label to assign to the Graph. */ public Graph(String aLabel) { this(); label = aLabel; } /** * Constructor for class Graph that assigns a label to the Graph and * provides the initial node set for the Graph. * * @param String aLabel: The label to assign to the Graph. * @param Vector initialNodes: A Vector containing the initial Nodes for the Graph. */ public Graph(String aLabel, Vector initialNodes) { this(); label = aLabel; nodes = initialNodes; } public Graph(Graph aGraph) { parent = aGraph; label = new String(aGraph.label); drawSelected = aGraph.drawSelected; trackUndos = aGraph.trackUndos; hasChangedSinceLastSave = aGraph.hasChangedSinceLastSave; hasChangedSinceLastDraw = true; if ( aGraph.drawColor == null ) { drawColor = null; } else { drawColor = new Color(aGraph.drawColor.getRGB()); } filePath = new String(aGraph.filePath); nodes = new Vector(); mementos = new DoublyLinkedList(); currentMemento = null; showCoords = aGraph.showCoords; showLabels = aGraph.showLabels; logEntries = new Vector(); currentLogEntry = null; } public String getShowString() { if ( showCoords ) { return "Show Coordinates"; } else { if ( showLabels ) { return "Show Labels"; } else { return "Show Nothing"; } } } public void shareMementos(Graph aGraph) { mementos = aGraph.mementos; } public void setTrackUndos(boolean tu) { trackUndos = tu; initUndo(); } private void initUndo() { mementos = new DoublyLinkedList(); currentMemento = null; } public boolean getTrackUndos() { return trackUndos; } public void setDrawSelected(boolean draw) { drawSelected = draw; } public boolean getDrawSelected() { return drawSelected; } public void setDrawColor(Color aColor) { drawColor = aColor; } public Color getDrawColor() { return drawColor; } public void setShowCoords(boolean c) { showCoords = c; hasChangedSinceLastDraw = true; } public boolean getShowCoords() { return showCoords; } public void setShowLabels(boolean l) { showLabels = l; hasChangedSinceLastDraw = true; } public boolean getShowLabels() { return showLabels; } public String getFilePath() { return filePath; } public String getFileName() { if ( filePath.indexOf('\\') == -1 ) { return filePath.substring( 0, filePath.lastIndexOf('.') ); } else { return filePath.substring( filePath.lastIndexOf('\\')+1, filePath.lastIndexOf('.') ); } } public void setFilePath(String fp) { filePath = fp; } public boolean hasChangedSinceLastSave() { return hasChangedSinceLastSave; } public boolean hasChangedSinceLastDraw() { return hasChangedSinceLastDraw; } public boolean logChangedSinceLastDraw() { return logChangedSinceLastDraw; } public void markForRepaint() { hasChangedSinceLastDraw = true; } private int getRowHeight(int numRows, int height) { return height / (numRows-1); } private int getColWidth(int numCols, int width) { return width / (numCols-1); } public void setGrid(int numRows, int rowHeight, int numCols, int colWidth, boolean addMemento) { if ( addMemento && currentMemento != null && trackUndos ) { currentMemento.addMemento(GridSizeMemento.createGridSizeMemento(this)); } gridRows = numRows; gridRowHeight = rowHeight; gridCols = numCols; gridColWidth = colWidth; } public void setGridArea(int numRows, int height, int numCols, int width, boolean addMemento) { if ( addMemento && currentMemento != null && trackUndos ) { currentMemento.addMemento(GridSizeMemento.createGridSizeMemento(this)); } if ( numRows <= 1 ) { numRows = 2; } gridRows = numRows; gridRowHeight = getRowHeight(numRows, height); if ( numCols <= 1 ) { numCols = 2; } gridCols = numCols; gridColWidth = getColWidth(numCols, width); } public int getGridRows() { return gridRows; } public int getGridCols() { return gridCols; } public int getGridColWidth() { return gridColWidth; } public int getGridRowHeight() { return gridRowHeight; } public void setDrawGrid(boolean draw) { drawGrid = draw; } public boolean getDrawGrid() { return drawGrid && gridRows >= 2 && gridCols >= 2; } public int getGridHeight() { return (gridRows-1)*gridRowHeight; } public int getGridWidth() { return (gridCols-1)*gridColWidth; } public void drawGrid(Graphics2D g2, int xOffset, int yOffset) { int x = 0 + xOffset; int y = 0 + yOffset; g2.setColor(Color.gray); for ( int i=0; i<gridRows; i++ ) { y = i*gridRowHeight + yOffset; g2.drawLine(xOffset, y, gridColWidth*(gridCols-1) + xOffset, y); } for ( int i=0; i<gridCols; i++ ) { x = i*gridColWidth + xOffset; g2.drawLine(x, yOffset, x, gridRowHeight*(gridRows-1) + yOffset); } } public Location getClosestGridLocation(Location location) { int row = (int)Math.round(location.doubleY() / gridRowHeight); int col = (int)Math.round(location.doubleX() / gridColWidth); if ( row > gridRows-1 ) { row = gridRows-1; } if ( col > gridCols-1 ) { col = gridCols-1; } return new Location( col*gridColWidth, row*gridRowHeight); } public boolean isOnGrid(Location location) { return location.intX() % gridColWidth == 0 && location.intY() % gridRowHeight == 0; } public void newMemento(String title) { hasChangedSinceLastSave = true; hasChangedSinceLastDraw = true; if ( trackUndos ) { if ( currentMemento != null ) { mementos.enqueueAfterCurrent(currentMemento)