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

Class CommonBooleanObject

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

  • Method Details

    • getBoolean

      public boolean getBoolean()
      Returns the underlying boolean value (true or false) wrapped by this BooleanObject. Returns the field value.
      Specified by:
      getBoolean in interface BooleanObject
      Returns:
      the underlying boolean value

    • intrinsicEquals

      public boolean intrinsicEquals(SymbolicObject o)
      Compares the boolean values of two boolean objects Know that o has kind BOOLEAN and is not == to this.
      Returns:
      Boolean

    • 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(BooleanObject o)
      Returns 1 when comparing a true BooleanObject to a false one. Returns -1 when comparing a false BooleanObject to a true one. Returns 0 when comparing false BooleanObject to a false one, or a true BooleanObject to a true one.
      Specified by:
      compareTo in interface Comparable<BooleanObject>
      Returns:
      1, -1, or 0

    • 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