Source of 29.15.java


  1: public boolean equals(Object other)
  2: {
  3:    boolean result;
  4: 
  5:    if ((other == null) || (getClass() != other.getClass()))
  6:       result = false;
  7:    else
  8:    {
  9:       // The cast is safe within this else clause
 10:       @SuppressWarnings("unchecked")
 11:       Vertex<T> otherVertex = (Vertex<T>)other;
 12:       result = label.equals(otherVertex.label);
 13:    } // end if
 14: 
 15:    return result;
 16: } // end equals