|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||
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)
| 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 |
public void doProcess()
public void setFormula(Formula formula)
public Formula getFormula()
public void setUpdateDisplay(boolean updateDisplay)
updateDisplay - true if the display needs update.
false otherwise.public boolean getUpdateDisplay()
public void init()
public void setProcessingId(int processingId)
processingId - the processing Id.public int getProcessingId()
public void setLevel(int level)
level - the level.public int getLevel()
|
|||||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | ||||||||||