fr.ove.openmath.jome.model
Class StringLowerCaseConstant

java.lang.Object
  extended byfr.ove.openmath.jome.model.Node
      extended byfr.ove.openmath.jome.model.FormulaTreeStructure
          extended byfr.ove.openmath.jome.model.Constant
              extended byfr.ove.openmath.jome.model.StringLowerCaseConstant
All Implemented Interfaces:
java.lang.Cloneable, Comparable, ControlListener, java.util.EventListener, Iconifiable, Maskable, Modifiable, java.io.Serializable
Direct Known Subclasses:
E, I

public class StringLowerCaseConstant
extends Constant

Version:
2.1 10/01/2000
Author:
© 2000 DIRAT Laurent
See Also:
Serialized Form

Constructor Summary
StringLowerCaseConstant()
           
 
Method Summary
 java.lang.String getValue()
          Returns the value.
 
Methods inherited from class fr.ove.openmath.jome.model.Constant
createLinear, evaluate, insert, isIconifiable, isOperator, 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, 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

StringLowerCaseConstant

public StringLowerCaseConstant()
Method Detail

getValue

public java.lang.String getValue()
Returns the value.

Specified by:
getValue in interface Modifiable
Overrides:
getValue in class Constant


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