facing, select.getWidth() == 1 ? 10 : 20);
}
@Override
public void paintInstance(InstancePainter painter) {
Graphics g = painter.getGraphics();
Bounds bds = painter.getBounds();
Direction facing = painter.getAttributeValue(StdAttr.FACING);
BitWidth select = painter.getAttributeValue(Plexers.ATTR_SELECT);
boolean enable = painter.getAttributeValue(Plexers.ATTR_ENABLE).booleanValue();
int inputs = 1 << select.getWidth();
// draw stubs for select/enable inputs that aren't on instance boundary
GraphicsUtil.switchToWidth(g, 3);
boolean vertical = facing != Direction.NORTH && facing != Direction.SOUTH;
Object selectLoc = painter.getAttributeValue(Plexers.ATTR_SELECT_LOC);
int selMult = selectLoc == Plexers.SELECT_BOTTOM_LEFT ? 1 : -1;
int dx = vertical ? 0 : -selMult;
int dy = vertical ? selMult : 0;
if (inputs == 2) { // draw select wire
Location pt = painter.getInstance().getPortLocation(inputs);
if (painter.getShowState()) {
g.setColor(painter.getPort(inputs).getColor());
}
g.drawLine(pt.getX() - 2 * dx, pt.getY() - 2 * dy,
pt.getX(), pt.getY());
}
if (enable) {
Location en = painter.getInstance().getPortLocation(inputs + 1);
if (painter.getShowState()) {
g.setColor(painter.getPort(inputs + 1).getColor());
}
int len = inputs == 2 ? 6 : 4;
g.drawLine(en.getX() - len * dx, en.getY() - len * dy,
en.getX(), en.getY());
}
GraphicsUtil.switchToWidth(g, 1);
// draw a circle indicating where the select input is located
Multiplexer.drawSelectCircle(g, bds, painter.getInstance().getPortLocation(inputs));
// draw a 0 indicating where the numbering starts for inputs
int x0;
int y0;
int halign;
if (facing == Direction.WEST) {
x0 = bds.getX() + bds.getWidth() - 3;
y0 = bds.getY() + 15;
halign = GraphicsUtil.H_RIGHT;
} else if (facing == Direction.NORTH) {
x0 = bds.getX() + 10;
y0 = bds.getY() + bds.getHeight() - 2;
halign = GraphicsUtil.H_CENTER;
} else if (facing == Direction.SOUTH) {
x0 = bds.getX() + 10;
y0 = bds.getY() + 12;
halign = GraphicsUtil.H_CENTER;
} else {
x0 = bds.getX() + 3;
y0 = bds.getY() + 15;
halign = GraphicsUtil.H_LEFT;
}
g.setColor(Color.GRAY);
GraphicsUtil.drawText(g, "0", x0, y0, halign, GraphicsUtil.V_BASELINE);
// draw the trapezoid, "MUX" string, the individual ports
g.setColor(Color.BLACK);
Plexers.drawTrapezoid(g, bds, facing, select.getWidth() == 1 ? 10 : 20);
GraphicsUtil.drawCenteredText(g, "MUX",
bds.getX() + bds.getWidth() / 2,
bds.getY() + bds.getHeight() / 2);
painter.drawPorts();