jfig.utils
Class LP2.GroupBox

java.lang.Object
  jfig.utils.LP2.Box
      jfig.utils.LP2.GroupBox

Direct Known Subclasses:

LP2.CommandBox, LP2.SubSuperScriptBox

Enclosing class:

LP2

public class LP2.GroupBox

extends LP2.Box

a GroupBox corresponds to a TeX/LaTeX group and therefore is limited by a '{' and '}' pair of braces. We need GroupBoxes to model command arguments and 'stacked' objects (.e.g. \over).

Field Summary

protected java.util.Vector

members

Fields inherited from class jfig.utils.LP2.Box

a, comment, d, next, parent, prev, w, x, y

Constructor Summary

LP2.GroupBox()

Method Summary

void	append(LP2.Box child) if we append a box to a GroupBox, we change the parent of the new 'grouped' box to the GroupBox...
void	appendMember(LP2.Box child)
void	appendMemberOrig(LP2.Box child)
void	convertToFig(FigCompound parent) construct a FIG object from this Box and all its child boxes and put those as members into the specified FigCompound group object.
void	deleteAllMembers()
void	deleteMember(LP2.Box box)
void	dumpGroupMembers()
java.awt.Point	getAbutmentPoint()
java.awt.Rectangle	getBounds()
LP2.Box	getLastMember()
java.util.Vector	getMembers()
void	measure()
void	move(int dx, int dy)

Methods inherited from class jfig.utils.LP2.Box

dump, getA, getComment, getD, getFigRectangle, getNextBox, getOrigin, getParent, getPrevBox, getW, getX, getY, moveTo, setA, setComment, setD, setNextBox, setOrigin, setParent, setPrevBox, setW, setX, setY, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Field Detail

members

protected java.util.Vector members

Constructor Detail

LP2.GroupBox

public LP2.GroupBox()

Method Detail

deleteAllMembers

public void deleteAllMembers()

deleteMember

public void deleteMember(LP2.Box box)

getMembers

public java.util.Vector getMembers()

appendMemberOrig

public void appendMemberOrig(LP2.Box child)

appendMember

public void appendMember(LP2.Box child)

getLastMember

public LP2.Box getLastMember()

append

public void append(LP2.Box child)

if we append a box to a GroupBox, we change the parent of the new 'grouped' box to the GroupBox... this allows us later to reconstruct the group-nesting.

Overrides:

append in class LP2.Box

getAbutmentPoint

public java.awt.Point getAbutmentPoint()

Overrides:

getAbutmentPoint in class LP2.Box

getBounds

public java.awt.Rectangle getBounds()

Overrides:

getBounds in class LP2.Box

dumpGroupMembers

public void dumpGroupMembers()

move

public void move(int dx,
                 int dy)

Overrides:

move in class LP2.Box

measure

public void measure()

Overrides:

measure in class LP2.Box

convertToFig

public void convertToFig(FigCompound parent)

Description copied from class: LP2.Box

construct a FIG object from this Box and all its child boxes and put those as members into the specified FigCompound group object. Check the display_boxes flag to decide whether to generate bounding boxes, too.

Overrides:

convertToFig in class LP2.Box