Class OMReference

java.lang.Object
org.episteme.core.mathematics.loaders.openmath.OMObject
org.episteme.core.mathematics.loaders.openmath.OMReference
All Implemented Interfaces:
Serializable, Cloneable
public class OMReference extends OMObject
Models a OpenMath reference.

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

  • Constructor Details

    • OMReference

      public OMReference()
      Constructor.

    • OMReference

      public OMReference(String href)
      Constructor.

      Parameters:
      href - the href.

  • Method Details

    • clone

      public Object clone()
      Create a clone of this OMReference.

      Specified by:
      clone in class OMObject
      Returns:
      the clone.

    • copy

      public Object copy()
      Create a copy of this OMReference.

      Specified by:
      copy in class OMObject
      Returns:
      the copy.

    • getType

      public String getType()
      Get the type of the OpenMath object.

      Specified by:
      getType in class OMObject
      Returns:
      the type.

    • isAtom

      public boolean isAtom()
      Return if this is an atom object.

      Specified by:
      isAtom in class OMObject
      Returns:
      true

    • isComposite

      public boolean isComposite()
      Return if this a composite object.

      Specified by:
      isComposite in class OMObject
      Returns:
      false

    • isSame

      public boolean isSame(OMObject object)
      Return if the given is the same as this object.

      Specified by:
      isSame in class OMObject
      Parameters:
      object - the value to set
      Returns:
      true if same object, false if not.

    • isValid

      public boolean isValid()
      Return if this object is a valid object.

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

    • getHref

      public String getHref()
      Get the href.

      Returns:
      the href of the reference.

    • setHref

      public void setHref(String href)
      Set the href.

      Parameters:
      href - the href of the reference.

    • toString

      public String toString()
      toString.

      Specified by:
      toString in class OMObject
      Returns:
      the string representation of the object.