fr.ove.openmath.jome.model
Class UnaryPostfixedOperator

java.lang.Object
  fr.ove.openmath.jome.model.Node
      fr.ove.openmath.jome.model.FormulaTreeStructure
          fr.ove.openmath.jome.model.Operator
              fr.ove.openmath.jome.model.UnaryPostfixedOperator

All Implemented Interfaces:

java.lang.Cloneable, Comparable, ControlListener, java.util.EventListener, Iconifiable, Maskable, Modifiable, java.io.Serializable

Direct Known Subclasses:

Factorial

public class UnaryPostfixedOperator

extends Operator

Version:

2.1 24/02/2000

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

UnaryPostfixedOperator()

Method Summary

java.lang.String	createLinear(java.lang.String linear) The Creation of the corresponding linear expression of the formula.
java.lang.String	evaluate() Evaluates the instance.
FormulaTreeStructure	insert(FormulaTreeStructure current) Inserts the operator instance in the formula tree, from the current insertion position.

Methods inherited from class fr.ove.openmath.jome.model.Operator

getTheOperator, getValue, isOperator, setTheOperator, setValue

Methods inherited from class fr.ove.openmath.jome.model.FormulaTreeStructure

addModelListener, consumeControlEvent, findLocation, fireModelEvent, getAreOperandsMovable, getAsOperandPriority, getAsOperatorPriority, getCrossRef, getIconName, getListeners, getResourceIdentifier, goTo, iconify, isEqual, isGreater, isGreaterOrEqual, isIcon, isIconifiable, isLesser, isLesserOrEqual, isTemplate, isVisible, moveOperands, removeAllModelListener, removeModelListener, setAreOperandsMovable, setAsOperandPriority, setAsOperatorPriority, setCrossRef, setIconName, setIsIconifiable, setIsTemplate, setIsVisble, setResourceIdentifier, uniconify, uniconifyAll

Methods inherited from class fr.ove.openmath.jome.model.Node

addChild, addChild, clone, computeDepth, computeNbStrahler, duplicate, getChild, getChildren, getDepth, getFather, getNbChildren, getNbStrahler, getRank, hasChild, moveChildren, removeAll, removeChild, removeChild, setFather, setNbStrahler

Methods inherited from class java.lang.Object

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

Constructor Detail

UnaryPostfixedOperator

public UnaryPostfixedOperator()

Method Detail

insert

public FormulaTreeStructure insert(FormulaTreeStructure current)

Inserts the operator instance in the formula tree, from the current insertion position. (checks the priorities and goes up in the tree if necessary).

Specified by:

insert in class FormulaTreeStructure

Parameters:

current - the current insertion position.

Returns:

the new insertion position.

createLinear

public java.lang.String createLinear(java.lang.String linear)

The Creation of the corresponding linear expression of the formula.

Specified by:

createLinear in class FormulaTreeStructure

evaluate

public java.lang.String evaluate()

Evaluates the instance.

Specified by:

evaluate in class FormulaTreeStructure