hades.symbols
Class ErrorMarker

java.lang.Object
  extended byjfig.objects.FigPolyline
      extended byhades.symbols.ErrorMarker
All Implemented Interfaces:
FigDrawable, FigObject, java.io.Serializable

public class ErrorMarker
extends FigPolyline
implements java.io.Serializable

A graphical object to mark an area (normally used to highlight errors).

This class is a subclass of FigPolyline. Default attributes are a bright color (cyan) and a top layer (0). Using a new subclass allows us to easily group and also delete error markers on the object list.

See Also:
Serialized Form

Field Summary
(package private)  int h
           
(package private)  int w
           
(package private)  int x
           
(package private)  int y
           
 
Fields inherited from class jfig.objects.FigPolyline
attribs, bbox, comment, debug, is_closed, min_i, min_num_points, painter, renderer, selected, showPoints, syncRedrawFlag, trafo, visible, wcp
 
Constructor Summary
ErrorMarker()
          construct an empty ErrorMarker.
ErrorMarker(int x, int y, int w, int h)
          0 --- 1 | 6 4 | 7 / 5 | 3 --- 2
 
Method Summary
protected  void build_attribs()
           
 FigObject copy()
          build a copy of this FigPolyline.
 void setPointsFromBoundingBox(FigBbox bbox)
           
 void setPointsFromCenterWidthHeight(int x, int y, int w, int h)
           
 java.lang.String toString()
          toString() - the usual info method
 
Methods inherited from class jfig.objects.FigPolyline
appendPoint, calc_dist, canRotate, createRenderer, deletePoint, deselect, get_min_dist_index, get_sc_bbox, getAttributes, getBbox, getComment, getLayer, getMinDistPoint1, getMinDistPoint2, getMinPerpendicularDistance, getMinPerpendicularDistance, getMovePointNeighbors, getNearestPoint, getNeighborPoints, getObjectPainter, getPoints, getPosition, getSegmentDistance, getSyncRedrawFlag, getText, getTrafo, indexOfNearestNeighbor, initialize, insertPoint, isClosed, isSelected, isShowPoints, isVisible, isVisible, keyPressed, manhattan, message, minDistance, minDistanceEuclid, mirrorX, mirrorY, move, movePoint, nearerPoint, numPoints, paint, paint, paintSave, printCost, rebuild, reset_debug, rotate, scale, select, set_debug, setArrowMode, setAttributes, setBackwardArrow, setComment, setFillColor, setFillStyle, setForwardArrow, setIsClosed, setLayer, setLineColor, setLineStyle, setLineWidth, setObjectPainter, setPoints, setSyncRedrawFlag, setText, setTrafo, setVisible, showPoints, supportsPointOps, update_bbox, update, updateAttributes, writeAsResource
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

x

int x

y

int y

w

int w

h

int h
Constructor Detail

ErrorMarker

public ErrorMarker()
construct an empty ErrorMarker.


ErrorMarker

public ErrorMarker(int x,
                   int y,
                   int w,
                   int h)
0 --- 1 | 6 4 | 7 / 5 | 3 --- 2

Method Detail

setPointsFromCenterWidthHeight

public void setPointsFromCenterWidthHeight(int x,
                                           int y,
                                           int w,
                                           int h)

setPointsFromBoundingBox

public void setPointsFromBoundingBox(FigBbox bbox)

build_attribs

protected void build_attribs()

copy

public FigObject copy()
Description copied from class: FigPolyline
build a copy of this FigPolyline.

Specified by:
copy in interface FigObject
Overrides:
copy in class FigPolyline

toString

public java.lang.String toString()
toString() - the usual info method

Specified by:
toString in interface FigObject
Overrides:
toString in class FigPolyline