Class Picture

java.lang.Object
  |
  +--Symbol
        |
        +--Sub
              |
              +--Box
                    |
                    +--Picture
All Implemented Interfaces:
java.awt.event.ActionListener, Aligner, AlignmentListener, DragableSymbol, Element, java.util.EventListener, java.io.Serializable

public class Picture
extends Box

See Also:
Serialized Form

Field Summary
 ImageFile contents
           
(package private)  int height
           
private static long serialVersionUID
           
(package private)  int width
           
 
Fields inherited from class Box
aspfield, bordercolor, bordercolorbox, bordersize, bordersizefield, borderstyle, borderstylefield, color, colorbox, fill, fillbutton, filllib, NOFILL
 
Fields inherited from class Sub
anchorpoint, botf, box, brandnew, cornerdrag, corners, dragpos, editaspect, editmodef, editrotation, editscale, handlex, handley, heightf, leftf, located, MINR, origin, pos, relativepos, rightf, showcorners, size, sizefield, sizewidth, subaspect, topf, widthf
 
Fields inherited from class Symbol
makenames, name, namefield
 
Fields inherited from interface Aligner
absolute, datum, floating
 
Constructor Summary
Picture()
           
Picture(java.awt.geom.Point2D where, View view, java.lang.Object arg)
           
 
Method Summary
 void copy(Page that)
           
 void paintContents(View view)
          Paint the contents of the box.
 boolean valid()
           
 
Methods inherited from class Box
abandonPropertyEdit, acceptPropertyEdit, actionPerformed, getEditModes, getIn, getLevel, getPropertyEdit, paint
 
Methods inherited from class Sub
alignmentChanged, checkSize, clear, copy, drag, endDrag, getAlignTransform, getBounds, getPolar, getScale, getShape, init, locate, reshape, selectProbe, showAlignee, showAligner, showSelected, startDrag
 
Methods inherited from class Symbol
checkName, editProperties, getName, getNew, importSym, prepareForSurveyUpdate, recursiveDelete, setName, stripSurveys, toString, useSurveyUpdate
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Field Detail

serialVersionUID

private static final long serialVersionUID

contents

public ImageFile contents

width

int width

height

int height
Constructor Detail

Picture

public Picture()

Picture

public Picture(java.awt.geom.Point2D where,
               View view,
               java.lang.Object arg)
Method Detail

copy

public void copy(Page that)

valid

public boolean valid()
Overrides:
valid in class Symbol

paintContents

public void paintContents(View view)
Description copied from class: Box
Paint the contents of the box. A box has no contents, but we must define this to avoid making box abstract.

Overrides:
paintContents in class Box