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

All Known Subinterfaces:
DepthProcessorInterface, StrahlerProcessorInterface, WidthProcessorInterface
All Known Implementing Classes:
DepthProcessor, ProcessorImpl, WidthDepthProcessor, WidthProcessor

public interface Processor

The interface to implement if a class wants to be considered as a processor of the model of the formula (@see fr.ove.openmath.jome.model.Formula)

Version:
1.0 16/08/2000
Author:
© 2000 DIRAT Laurent

Method Summary
 void doProcess()
          Does processing.
 Formula getFormula()
          Returns the formula to process.
 int getLevel()
          Returns the level from which the processing starts.
 int getProcessingId()
          Returns the current processing to execute.
 boolean getUpdateDisplay()
          Checks if, after processing the formula, the display has to be updated.
 void init()
          Initialisation of the processor.
 void setFormula(Formula formula)
          Sets the formula to processs
 void setLevel(int level)
          Sets the level from which the processing starts.
 void setProcessingId(int processingId)
          Sets the processing to execute.
 void setUpdateDisplay(boolean updateDisplay)
          Specifies if, after processing the formula, the display has to be updated.
 

Method Detail

doProcess

public void doProcess()
Does processing.


setFormula

public void setFormula(Formula formula)
Sets the formula to processs


getFormula

public Formula getFormula()
Returns the formula to process.


setUpdateDisplay

public void setUpdateDisplay(boolean updateDisplay)
Specifies if, after processing the formula, the display has to be updated.

Parameters:
updateDisplay - true if the display needs update. false otherwise.

getUpdateDisplay

public boolean getUpdateDisplay()
Checks if, after processing the formula, the display has to be updated.


init

public void init()
Initialisation of the processor.


setProcessingId

public void setProcessingId(int processingId)
Sets the processing to execute.

Parameters:
processingId - the processing Id.

getProcessingId

public int getProcessingId()
Returns the current processing to execute.


setLevel

public void setLevel(int level)
Sets the level from which the processing starts.

Parameters:
level - the level.

getLevel

public int getLevel()
Returns the level from which the processing starts.



Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.