fr.ove.openmath.jome.model
Class NamedBinaryOperator

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
                  fr.ove.openmath.jome.model.NamedBinaryOperator

All Implemented Interfaces:

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

public class NamedBinaryOperator

extends BinaryOperator

The same as @see BinaryOperator but the difference is the name of the operator is made of letters. And if the operator is glued to its operands during parsing, the name of the operator could not be detected. So space before and after the name of the operator are necessary.
So, the only difference with @see BinaryOperator is the spaces added around the name of the operator when exporting the linear form.

Version:

2.0 12/01/2000

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

NamedBinaryOperator()

Method Summary

java.lang.String

createLinear(java.lang.String linear) The Creation of the corresponding linear expression of the formula.

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

evaluate, insert

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

NamedBinaryOperator

public NamedBinaryOperator()

Method Detail

createLinear

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

The Creation of the corresponding linear expression of the formula.

Overrides:

createLinear in class BinaryOperator