Object Class Diagram

 

 

 

 

 

 

 

 

 

 

 

 


Object Class Specification

            Invariant

                        A Object object...

-       is.

Constructor Methods

public Object( )

post: A new Object object is created

 

            Query Methods

publicString toString ( )

      post:     result is some string representation of this object.  Subclasses are encouraged

      to override this method

 

public boolean equals (Object other )

      post:     other is the same as this  implies  result == true

      and  other is different from this  implies  result == false

      note:     the default behavior is the same as ==

      Overriding equals is encouraged to permit testing for content equality