fr.ove.openmath.jome.model
Class BinaryOperator

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.BinaryOperator

All Implemented Interfaces:

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

Direct Known Subclasses:

NamedBinaryOperator, Substraction

public class BinaryOperator

extends Operator

Version:

2.0 25/06/1999

Author:

© 1999 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

BinaryOperator()

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

BinaryOperator

public BinaryOperator()

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