fr.ove.openmath.jome.ctrlview.bidim
Class AbstractStringLayout

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.AbstractStringLayout

All Implemented Interfaces:

java.lang.Cloneable, java.awt.LayoutManager, java.awt.LayoutManager2, java.io.Serializable

Direct Known Subclasses:

StringLayout, SubstitutionLayout

public abstract class AbstractStringLayout

extends DisplayLayout

A layout manager that lays strings.

Version:

1.0 23/06/98

Author:

© 1998 DIRAT Laurent

See Also:

Serialized Form

Field Summary

Fields inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout

displayToLay

Constructor Summary

AbstractStringLayout()

Method Summary

java.awt.Dimension	computeAttributes() Computes the size of the display and its different attributes.
void	layoutContainer(java.awt.Container parent)
void	rebuildDisplay() The display needs to be rebuilt.
void	updateLevel(int level) Updates the level of the display that is layed out.

Methods inherited from class fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout

addLayoutComponent, addLayoutComponent, deselectDisplay, getLayoutAlignmentX, getLayoutAlignmentY, initDisplay, invalidateLayout, maximumLayoutSize, minimumLayoutSize, preferredLayoutSize, removeLayoutComponent, selectDisplay, selectLeftDisplay, selectRightDisplay, validateDeselection, validateSelection

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractStringLayout

public AbstractStringLayout()

Method Detail

updateLevel

public void updateLevel(int level)

Updates the level of the display that is layed out.

Overrides:

updateLevel in class DisplayLayout

Parameters:

level - the level put to the display

computeAttributes

public java.awt.Dimension computeAttributes()

Computes the size of the display and its different attributes.

Specified by:

computeAttributes in class DisplayLayout

Returns:

the size of the display.

layoutContainer

public void layoutContainer(java.awt.Container parent)

rebuildDisplay

public void rebuildDisplay()

The display needs to be rebuilt. We do this.

Specified by:

rebuildDisplay in class DisplayLayout