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

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

All Implemented Interfaces:

Processor, WidthProcessorInterface

public class WidthProcessor

extends ProcessorImpl

implements WidthProcessorInterface

A processor for the width of the formula.
What is called width corresponds to the number of operand of an operator. (i.e. the number of children of a node in the formula tree stucture.
The processor only displays a specified amount of operand of an operator whose number of operands is greater than a specified value. The other operands are iconified.

Version:

1.0 21/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

WidthProcessor(Formula formula)
The constructor.

Method Summary

void	doProcess() Does processing.
int	getBiggestWidth() Returns the biggest width of the formula.
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 of the formula.
static void	main(java.lang.String[] args)
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, setLevel, 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, setLevel, setProcessingId, setUpdateDisplay

Constructor Detail

WidthProcessor

public WidthProcessor(Formula formula)

The constructor.

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

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 of the formula.

Specified by:

getWidthList in interface WidthProcessorInterface

getBiggestWidth

public int getBiggestWidth()

Returns the biggest width of the formula.

Specified by:

getBiggestWidth in interface WidthProcessorInterface

doProcess

public void doProcess()

Does processing.

Specified by:

doProcess in interface Processor

Overrides:

doProcess in class ProcessorImpl

main

public static void main(java.lang.String[] args)