fr.ove.openmath.jome.model
Class Substraction

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

All Implemented Interfaces:

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

public class Substraction

extends BinaryOperator

The operator "-", which is the binary substraction. Because the substraction is defines as the addition of the opposite, @see Substraction doesn't represent a node in the formula tree structure. During its creation, it's in fact a @see Addition instance which is created and serves as a node in the formula tree structure, and an @see UnaryMinus instance is added as a child.

Version:

2.1 10/01/200

Author:

© 2000 DIRAT Laurent

See Also:

Serialized Form

Constructor Summary

Substraction()

Method Summary

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

createLinear, evaluate

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

Substraction

public Substraction()

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

Overrides:

insert in class BinaryOperator

Parameters:

current - the current insertion position.

Returns:

the new insertion position.