Class OMApplication

java.lang.Object
org.episteme.core.mathematics.loaders.openmath.OMObject
org.episteme.core.mathematics.loaders.openmath.OMApplication
All Implemented Interfaces:
Serializable, Cloneable
public class OMApplication extends OMObject
Models an OpenMath application object.

Version:
$Revision: 1.2 $
Author:
Manfred N. Riem (mriem@manorrock.org)
See Also:

  • Field Details

  • Constructor Details

    • OMApplication

      public OMApplication()
      Constructor.

  • Method Details

    • getType

      public String getType()
      Gets the type.

      Specified by:
      getType in class OMObject
      Returns:
      the type as a String.

    • toString

      public String toString()
      Returns a string representation of the object.

      Note: this is quite similar to the OpenMath XML-encoding, but it is not complete. It returns the OpenMath object without the outer OMOBJ element.

      Specified by:
      toString in class OMObject
      Returns:
      a string representation of the OpenMath application.

    • clone

      public Object clone()
      Description copied from class: OMObject
      This will perform a shallow copy of the object.
      Specified by:
      clone in class OMObject
      Returns:
      a copy of the object.

    • copy

      public Object copy()
      Description copied from class: OMObject
      Creates a copy of the OMObject.

      Specified by:
      copy in class OMObject
      Returns:
      a deep copy of the object.

    • isComposite

      public boolean isComposite()
      Description copied from class: OMObject
      Is this a composite object.

      Specified by:
      isComposite in class OMObject
      Returns:
      true if it is composite, false if it is not.

    • isAtom

      public boolean isAtom()
      Description copied from class: OMObject
      Is this an atom.

      Specified by:
      isAtom in class OMObject
      Returns:
      true if it is an atom, false if it is not.

    • getLength

      public int getLength()

    • getElements

      public Vector<OMObject> getElements()

    • setElements

      public void setElements(Vector<OMObject> newElements)

    • getElementAt

      public OMObject getElementAt(int index)

    • setElementAt

      public void setElementAt(OMObject object, int index)

    • insertElementAt

      public void insertElementAt(OMObject object, int index)

    • removeElementAt

      public void removeElementAt(int index)

    • addElement

      public void addElement(OMObject object)

    • removeElement

      public boolean removeElement(OMObject object)

    • removeAllElements

      public void removeAllElements()

    • firstElement

      public OMObject firstElement()

    • lastElement

      public OMObject lastElement()

    • isSame

      public boolean isSame(OMObject object)
      Description copied from class: OMObject
      Is this the same object.

      Specified by:
      isSame in class OMObject
      Parameters:
      object - the object to test against.
      Returns:
      true if it is the same, false if it is not.

    • isValid

      public boolean isValid()
      Description copied from class: OMObject
      Is this a valid object.

      Specified by:
      isValid in class OMObject
      Returns:
      true if it is valid, false if it is not.

    • replace

      public OMObject replace(OMObject source, OMObject dest)