fr.ove.openmath.jome.ctrl.amto
Class Minus

java.lang.Object
  extended byfr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
      extended byfr.ove.openmath.jome.ctrl.amto.MapsToNAry
          extended byfr.ove.openmath.jome.ctrl.amto.Minus
All Implemented Interfaces:
Parametrable, java.io.Serializable

public class Minus
extends MapsToNAry

The abstract math tree object of the substraction.

Version:
1.0 18/11/1999
Author:
© 1999 DIRAT Laurent
See Also:
Serialized Form

Field Summary
 
Fields inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
identifier, param, token
 
Constructor Summary
Minus()
          The constructor.
 
Method Summary
protected  void flushChild(AbstractMathTreeObject child, int index)
          "Flushes" the specified child.
 
Methods inherited from class fr.ove.openmath.jome.ctrl.amto.MapsToNAry
flush
 
Methods inherited from class fr.ove.openmath.jome.ctrl.amto.AbstractMathTreeObject
add, fireLinearParserEvent, getChild, getChildren, getEventSource, getFather, getNbChildren, getParameter, remove, remove, removeAll, setEventSource, setFather, setParameter
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

Minus

public Minus()
The constructor.

Method Detail

flushChild

protected void flushChild(AbstractMathTreeObject child,
                          int index)
"Flushes" the specified child.
According to their father, some children need to be between parenthesis to respect correctness of the expression. So, when needed, the specified child is "flushed" as if it was between parenthesis.

Overrides:
flushChild in class AbstractMathTreeObject
Parameters:
child - the child to "flush"
index - the child index in the list of children of the instance.


Copyright © 1999-2007 Universit?© de Nice Sophia-Antipolis, I3S, Ove SARL, DFKI and Universit?§t des Saarlandes. All Rights Reserved.