cz.cuni.pogamut.shed.widget
Class ShedVariableWidget

java.lang.Object
  org.netbeans.api.visual.widget.Widget
      cz.cuni.pogamut.shed.widget.ShedWidget
          cz.cuni.pogamut.shed.widget.ShedVariableWidget

All Implemented Interfaces:

IPresentedWidget, Accessible, org.netbeans.api.visual.action.PopupMenuProvider

Direct Known Subclasses:

ShedSenseWidget

public class ShedVariableWidget
extends ShedWidget

This class represents a node in the Yaposh plan that should show title text on the first line and three types (present, missing and unused) of lines under it. This widget representh most actual representation of nodes in the scene. The title displays name of the node, and three types of lines under it are used to display variable context of the node according t the type.

Author:

Honza

Nested Class Summary

Nested classes/interfaces inherited from class org.netbeans.api.visual.widget.Widget

org.netbeans.api.visual.widget.Widget.Dependency

Field Summary

Fields inherited from class cz.cuni.pogamut.shed.widget.ShedWidget

actionProvider, color, font, height, textOfs, width

Constructor Summary

ShedVariableWidget(ShedScene scene, String title, Color color)
Create rectangle widget with specified title and color.

Method Summary

void	addBreakpoint(boolean single) Show strip at the right side of the widget
protected Rectangle	calculateClientArea()
protected void	paintWidget()
void	removeBreakpoint() Remove colored strip on the right side of widget that was representing the breakpoint.
void	setActiveIntensity(int percent) Set intensity of red border, if 0, border will have color of widget, if 100, border will be bright red.
void	setMissing(List<String> newMissing) Set list of lines that will be shown in red bold font under present lines.
void	setPresent(List<String> newPresent) Set list of lines that will be shown in bold font under title.
void	setUnused(List<String> newUnused) Set list of lines that will be shown in italic font under missing lines.

Methods inherited from class cz.cuni.pogamut.shed.widget.ShedWidget

drawString, getDisplayName, getFittingString, getMenuActions, getPopupMenu, getPresenter, getShedScene, setDisplayName, setPresenter, toString

Methods inherited from class org.netbeans.api.visual.widget.Widget

addDependency, addChild, addChild, addChild, addChild, addChildren, bringToBack, bringToFront, convertLocalToScene, convertLocalToScene, convertSceneToLocal, convertSceneToLocal, createActions, equals, getAccessibleContext, getActions, getActions, getBackground, getBorder, getBounds, getClientArea, getCursor, getCursorAt, getDependencies, getFont, getForeground, getGraphics, getChildConstraint, getChildren, getLayout, getLocation, getLookup, getMaximumSize, getMinimumSize, getParentWidget, getPreferredBounds, getPreferredLocation, getPreferredSize, getResourceTable, getScene, getState, getToolTipText, hashCode, isEnabled, isHitAt, isCheckClipping, isOpaque, isPreferredBoundsSet, isRepaintRequiredForRevalidating, isValidated, isVisible, notifyAdded, notifyBackgroundChanged, notifyFontChanged, notifyForegroundChanged, notifyRemoved, notifyStateChanged, paint, paintBackground, paintBorder, paintChildren, removeDependency, removeFromParent, removeChild, removeChildren, removeChildren, repaint, resolveBounds, revalidate, revalidate, setAccessibleContext, setBackground, setBackgroundFromResource, setBorder, setBorder, setCursor, setEnabled, setFont, setFontFromResource, setForeground, setForegroundFromResource, setCheckClipping, setChildConstraint, setLayout, setMaximumSize, setMinimumSize, setOpaque, setPreferredBounds, setPreferredLocation, setPreferredSize, setResourceTable, setState, setToolTipText, setVisible, updateResources

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Constructor Detail

ShedVariableWidget

public ShedVariableWidget(ShedScene scene,
                          String title,
                          Color color)

Create rectangle widget with specified title and color.

Parameters:

scene - Scene the widget belongs to

title - Title of widget

color - Colro of widget

Method Detail

setPresent

public final void setPresent(List<String> newPresent)

Set list of lines that will be shown in bold font under title.

Parameters:

newPresent - New list representations of present variables

setMissing

public final void setMissing(List<String> newMissing)

Set list of lines that will be shown in red bold font under present lines.

Parameters:

newMissing - New list representations of present variables

setUnused

public final void setUnused(List<String> newUnused)

Set list of lines that will be shown in italic font under missing lines.

Parameters:

newUnused - New list representations of missing variables

calculateClientArea

protected Rectangle calculateClientArea()

Overrides:

calculateClientArea in class org.netbeans.api.visual.widget.Widget

setActiveIntensity

public void setActiveIntensity(int percent)

Set intensity of red border, if 0, border will have color of widget, if 100, border will be bright red. Used to show which elements of plan are being executed.

Parameters:

percent - Intensity in percents, 0-100

paintWidget

protected void paintWidget()

Overrides:

paintWidget in class ShedWidget

addBreakpoint

public void addBreakpoint(boolean single)

Show strip at the right side of the widget

Since:

What color, dark red or light red

removeBreakpoint

public void removeBreakpoint()

Remove colored strip on the right side of widget that was representing the breakpoint.