Package edu.udel.cis.vsl.sarl.object.common

Class CommonStringObject

java.lang.Object
edu.udel.cis.vsl.sarl.object.common.CommonSymbolicObject
edu.udel.cis.vsl.sarl.object.common.CommonStringObject
All Implemented Interfaces:
StringObject, SymbolicObject, Comparable<StringObject>
public class CommonStringObject extends CommonSymbolicObject implements StringObject

  • Method Details

    • getString

      public String getString()
      Description copied from interface: StringObject
      Gets the string.
      Specified by:
      getString in interface StringObject
      Returns:
      the string

    • intrinsicEquals

      public boolean intrinsicEquals(SymbolicObject o)

    • computeHashCode

      public int computeHashCode()

    • toString

      public String toString()
      Description copied from interface: SymbolicObject
      Returns a string representation of this object, included here to emphasize that the method provided by Object must be overridden! Same as toStringBuffer(false).toString();
      Specified by:
      toString in interface SymbolicObject
      Overrides:
      toString in class CommonSymbolicObject
      Returns:
      a string representation of this object

    • canonizeChildren

      public void canonizeChildren(ObjectFactory factory)
      Does nothing; Basic objects have no children, so there is nothing to do.

    • compareTo

      public int compareTo(StringObject o)
      Specified by:
      compareTo in interface Comparable<StringObject>

    • toStringBuffer

      public StringBuffer toStringBuffer(boolean atomize)
      Description copied from interface: SymbolicObject
      Returns a string representation of this object as a StringBuffer. Use this instead of "toString()" for performance reasons if you are going to be building up big strings.
      Specified by:
      toStringBuffer in interface SymbolicObject
      Parameters:
      atomize - if true, place parentheses around the string if necessary in order to include this as a term in a larger expression
      Returns:
      a string representation of this object

    • toStringBufferLong

      public StringBuffer toStringBufferLong()
      Description copied from interface: SymbolicObject
      Returns a detailed string representation of this object as a StringBuffer. It never needs to be atomized.
      Specified by:
      toStringBufferLong in interface SymbolicObject
      Returns:
      detailed string representation of this object

    • symbolicObjectKind

      public final SymbolicObject.SymbolicObjectKind symbolicObjectKind()
      Description copied from interface: SymbolicObject
      Which kind of symbolic object is this? The kind determines the specific type to which this object can be safely cast. See the comments for this interface and the enumerated type SymbolicObjectKind for description.
      Specified by:
      symbolicObjectKind in interface SymbolicObject
      Returns:
      the kind of this symbolic object.

    • containsQuantifier

      public boolean containsQuantifier()
      Description copied from interface: SymbolicObject
      Does this symbolic object contain a quantified expression anywhere in its structure?
      Specified by:
      containsQuantifier in interface SymbolicObject
      Returns:
      true iff a quantified expression appears somewhere inside this object

    • containsSubobject

      public boolean containsSubobject(SymbolicObject obj)
      Description copied from interface: SymbolicObject
      Does this symbolic object contain a sub-object equal to the given one?
      Specified by:
      containsSubobject in interface SymbolicObject
      Returns:
      true iff this contains a sub-object equal to obj