fr.ove.openmath.jome.model.processor
Interface WidthProcessorInterface

All Superinterfaces:

Processor

All Known Implementing Classes:

WidthDepthProcessor, WidthProcessor

public interface WidthProcessorInterface

extends Processor

The interface to implement to be a width processor.
A width processor manages to display a certain amount of children (the view) of an element whose number of children (the width) is greater than a specified level.

Version:

1.0 21/08/2000

Author:

© 2000 DIRAT Laurent

Method Summary

int	getBiggestWidth() Returns the biggest width calculated.
int	getView() Returns the number of children viewed.
int	getWidthLevel() Returns the width level form which the processing will be considering.
java.util.Vector	getWidthList() Returns the list of widths calculated.
void	setView(int view) Sets the number of children viewed.
void	setWidthLevel(int widthLevel) Sets the width level form which the processing will be considering.

Methods inherited from interface fr.ove.openmath.jome.model.processor.Processor

doProcess, getFormula, getLevel, getProcessingId, getUpdateDisplay, init, setFormula, setLevel, setProcessingId, setUpdateDisplay

Method Detail

setWidthLevel

public void setWidthLevel(int widthLevel)

Sets the width level form which the processing will be considering.
For convenience only, in most cases this method is equivalent to the

Parameters:

widthLevel - the width level.

See Also:

of the @see Processor interface.

getWidthLevel

public int getWidthLevel()

Returns the width level form which the processing will be considering.
For convenience only, in most cases this method is equivalent to the

See Also:

of the @see Processor interface.

setView

public void setView(int view)

Sets the number of children viewed.

getView

public int getView()

Returns the number of children viewed.

getWidthList

public java.util.Vector getWidthList()

Returns the list of widths calculated.

getBiggestWidth

public int getBiggestWidth()

Returns the biggest width calculated.