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

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

All Implemented Interfaces:

DepthProcessorInterface, Processor

public class DepthProcessor

extends ProcessorImpl

implements DepthProcessorInterface

A processor for the depth of the formula.

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

DepthProcessor(Formula formula)
The constructor.

Method Summary

void	doProcess() Does processing.
int	getDepthLevel() Returns the depth level form which the processing will be considering.
int	getMaxDepthValue() Returns the max depth value of the formula
static void	main(java.lang.String[] args)
void	setDepthLevel(int depthLevel) Sets the depth 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

DepthProcessor

public DepthProcessor(Formula formula)

The constructor.

Parameters:

formula - the formula to process.

Method Detail

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

Specified by:

getMaxDepthValue in interface DepthProcessorInterface

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)