1 26 package org.objectweb.util.explorer.swing.graph; 27 28 import java.awt.Dimension ; 29 import java.awt.Graphics ; 30 31 35 public interface PortGraphicsInterface { 36 37 38 public final int PORT_NAME_WIDTH = 6; 39 40 41 public final int PORT_NAME_LENGHT = 14; 42 43 44 public final int FIRST_PORT_Y = 25; 45 46 47 public final int CONTROLLER_PORT_Y = 15; 48 49 50 public final int CONTROLLER_PORT_WIDTH = 30; 51 52 53 public final int COMPOSITE_CONTROLLER_PORT_WIDTH = 40; 54 55 56 Dimension getPortSize(String portType, boolean isInternal); 57 58 59 void drawPort(Graphics g, String portName, String portType, boolean isInternal); 60 61 } | Popular Tags |