fr.ove.openmath.jome.model.processor
Class WidthDepthProcessor

java.lang.Object
  fr.ove.openmath.jome.model.processor.ProcessorImpl
      fr.ove.openmath.jome.model.processor.WidthDepthProcessor

All Implemented Interfaces:

DepthProcessorInterface, Processor, WidthProcessorInterface

public class WidthDepthProcessor

extends ProcessorImpl

implements WidthProcessorInterface, DepthProcessorInterface

A Width-Depth processor.
It is a mix bettween a Width processor (@see WidthProcessor) and a Depth processor (@see DepthProcessor).
The iconification of the formula operates in 2 phases :

1. iconification of a certain amount of operands of the operators whose number of operands is greater than a specified value
2. iconification of the subtree of the formula tree structure whose depth is greater than than the specified value

Version:

1.0 22/08/2000

Author:

© 2000 DIRAT Laurent

Field Summary

Fields inherited from class fr.ove.openmath.jome.model.processor.ProcessorImpl

COMPUTE, COMPUTE_AND_ICONIFY, RECURSIVE_ICONIFICATION, SIMPLE_ICONIFICATION

Constructor Summary

WidthDepthProcessor(Formula formula)
The constructor.

Method Summary

void	doProcess() Does processing.
int	getBiggestWidth() Returns the biggest width calculated.
int	getDepthLevel() Returns the depth level form which the processing will be considering.
int	getMaxDepthValue() Returns the max depth value 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	setDepthLevel(int depthLevel) Sets the depth level form which the processing will be considering.
void	setLevel(int level) Sets the level from which the processing starts.
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 class fr.ove.openmath.jome.model.processor.ProcessorImpl

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

Methods inherited from class java.lang.Object

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

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

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

Constructor Detail

WidthDepthProcessor

public WidthDepthProcessor(Formula formula)

The constructor.

Parameters:

formula - the formula to process.

Method Detail

doProcess

public void doProcess()

Does processing.

Specified by:

doProcess in interface Processor

Overrides:

doProcess in class ProcessorImpl

setLevel

public void setLevel(int level)

Sets the level from which the processing starts.
The level correspond for both width and depth processor.

Specified by:

setLevel in interface Processor

Overrides:

setLevel in class ProcessorImpl

Parameters:

level - the level.

setDepthLevel

public void setDepthLevel(int depthLevel)

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

Specified by:

setDepthLevel in interface DepthProcessorInterface

Parameters:

depthLevel - the depth level.

See Also:

of the @see Processor interface.

getDepthLevel

public int getDepthLevel()

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

Specified by:

getDepthLevel in interface DepthProcessorInterface

See Also:

of the @see Processor interface.

getMaxDepthValue

public int getMaxDepthValue()

Returns the max depth value calculated.

Specified by:

getMaxDepthValue in interface DepthProcessorInterface

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

Specified by:

setWidthLevel in interface WidthProcessorInterface

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

Specified by:

getWidthLevel in interface WidthProcessorInterface

See Also:

of the @see Processor interface.

setView

public void setView(int view)

Sets the number of children viewed.

Specified by:

setView in interface WidthProcessorInterface

getView

public int getView()

Returns the number of children viewed.

Specified by:

getView in interface WidthProcessorInterface

getWidthList

public java.util.Vector getWidthList()

Returns the list of widths calculated.

Specified by:

getWidthList in interface WidthProcessorInterface

getBiggestWidth

public int getBiggestWidth()

Returns the biggest width calculated.

Specified by:

getBiggestWidth in interface WidthProcessorInterface