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

java.lang.Object
  fr.ove.openmath.jome.ctrlview.bidim.DisplayLayout
      fr.ove.openmath.jome.ctrlview.bidim.HorizontalLayout
          fr.ove.openmath.jome.ctrlview.bidim.VarDiffLayout

All Implemented Interfaces:

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

public class VarDiffLayout

extends HorizontalLayout

A layout manager that lays components for the variables of differentiation.
We assume the display laid out contains what should be a variable for the visualisation of a differentiation, i.e. a variable (differentiation of first order) or a power of a variable (differentiation of higher order).
According to the type of differentiation, either the symbol "d" is added (differentiation) or the symbol delta (the greek letter) is added (partial differentiation) to the display laid out, for correct rendering.

Version:

2.0 15/10/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Field Summary

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

displayToLay

Constructor Summary

VarDiffLayout(boolean isPartial)
The constructor.

Method Summary

void	initDisplay(Display displayToLay) According to the operator, the layout manager has to add some components (e.g. brackets, ...)
void	rebuildDisplay() The display needs to be rebuilt.
void	validateDeselection(Display display) Checks the validity of the deselection.
void	validateSelection() Checks the validity of the selection.

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

computeAttributes, layoutContainer

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

addLayoutComponent, addLayoutComponent, deselectDisplay, getLayoutAlignmentX, getLayoutAlignmentY, invalidateLayout, maximumLayoutSize, minimumLayoutSize, preferredLayoutSize, removeLayoutComponent, selectDisplay, selectLeftDisplay, selectRightDisplay, updateLevel

Methods inherited from class java.lang.Object

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

Constructor Detail

VarDiffLayout

public VarDiffLayout(boolean isPartial)

The constructor.

Parameters:

isPartial - true if we have a partial differentiation. false otherwise.

Method Detail

initDisplay

public void initDisplay(Display displayToLay)

According to the operator, the layout manager has to add some components (e.g. brackets, ...) or has to perform some "re-oganisation" before rendering.
As soon as the layout manager is set to the display, this mehtod MUST be called with the display laid out as parameter. This method serves as well as a registering method. So all sub-classes of the instance MUST call super.initDisplay(displayToLay).

Overrides:

initDisplay in class DisplayLayout

Parameters:

displayToLay - the display laid by the instance

validateSelection

public void validateSelection()

Checks the validity of the selection.

Specified by:

validateSelection in class DisplayLayout

validateDeselection

public void validateDeselection(Display display)

Checks the validity of the deselection.

Specified by:

validateDeselection in class DisplayLayout

Parameters:

display - the display to deselect.

rebuildDisplay

public void rebuildDisplay()

The display needs to be rebuilt. We do this.

Specified by:

rebuildDisplay in class DisplayLayout