public LabeledBox( Lifeline lifeline, String _label, int y, boolean anonymous, boolean underlined) { setTop(y); this.underlined = underlined; this.lifeline = lifeline; if (lifeline.isExternal()) { label = ""; } else if (!_label.equals("")) { label = _label; } else if (anonymous) { label = ":" + lifeline.getType(); } else { label = lifeline.getName() + ":" + lifeline.getType(); } Configuration conf = lifeline.getDiagram().getConfiguration(); headWidth = conf.getHeadWidth(); headHeight = conf.getHeadHeight(); padding = conf.getHeadLabelPadding(); textWidth = lifeline.getDiagram().getPaintDevice().getTextWidth(label); shouldDrawShadow = conf.getShouldShadowParticipants(); if (lifeline.isExternal()) { setWidth(lifeline.getDiagram().mainLifelineWidth); } else { setWidth(2 + Math.max(2 * padding + textWidth, headWidth)); } stroke = lifeline.isAlwaysActive() ? thick : solid; setHeight(headHeight + 4); }
public boolean isVisible() { return !lifeline.isExternal() && super.isVisible(); }