1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677 |
- package View;
- import java.awt.BasicStroke;
- import java.awt.Color;
- import java.awt.Component;
- import java.awt.Dimension;
- import java.awt.Graphics;
- import java.awt.Graphics2D;
- import java.awt.Point;
- import javax.swing.*;
- import javax.swing.border.Border;
- import Algorithms.Animated.BK.ExtremalLayoutCalc.LayoutType;
- import Model.LayeredGraphNode;
- /**
- * A drawable representation of a node.
- * @author kolja
- *
- */
- public class NodeView extends JPanel {
- private static final long serialVersionUID = 1L;
- private LayeredGraphNode model;
- private LayoutType layout;
-
- public NodeView( LayeredGraphNode model, LayoutType lt ) {
- this.model = model;
- layout = lt;
- setSize( (int)model.getWidth( layout ), (int)model.getHeight( layout ) );
- }
-
- @Override
- public Point getLocation()
- {
- return new Point( (int)model.getX( layout ), (int)model.getY( layout ) );
- }
-
- @Override
- public Dimension getPreferredSize()
- {
- return new Dimension( (int)model.getWidth( layout ), (int)model.getHeight( layout ) );
- }
-
- @Override
- public void paint( Graphics g )
- {
- double scale = Math.min( (double)super.getWidth() / (int)model.getWidth( layout ), (double)super.getHeight() / (int)model.getHeight( layout ));
- ((Graphics2D)g).scale( scale, scale );
- paintComponent( g );
- for( Component c : getComponents() )
- {
- c.paint( g.create(
- c.getLocation().x + 25,
- c.getLocation().y + 25,
- Math.min( (int)model.getWidth( layout ) - 25, c.getPreferredSize().width + c.getLocation().x + 25 ),
- Math.min( (int)model.getHeight( layout ) - 25, c.getPreferredSize().height + c.getLocation().y + 25 ) ) );
- }
- }
- @Override
- public void paintComponent( Graphics g )
- {
- Graphics2D g2 = (Graphics2D)g;
- g2.setColor( model.getColor( layout ) );
- g2.setStroke(new BasicStroke(5));
- if( model.getContainedNodes().size() == 0 )
- g2.fillRect( 0, 0, (int)model.getWidth( layout )-1, (int)model.getHeight( layout )-1 );
- if( model.isSelected( layout ) )
- {
- g.setColor( Color.GRAY );
- g.fillRect( 0, 0, (int)model.getWidth( layout )-1, (int)model.getHeight( layout )-1 );
- }
- Border linebor = BorderFactory.createLineBorder(model.getColor( layout ), 5);
- linebor.paintBorder( this, g2, 0, 0, (int)model.getWidth( layout )-1, (int)model.getHeight( layout )-1 );
- }
- }
|