FileDocCategorySizeDatePackage
Widget.javaAPI DocExample600Sat Sep 12 03:01:00 BST 1998None

Widget.java

// Copyright(c) 1996,1997 ObjectSpace, Inc.

public class Widget
  {
  public String name; // public for demo only.
  public int price; // public for demo only.

  public Widget( String name, int price )
    {
    this.name = name;
    this.price = price;
    }

  public int hashCode()
    {
    return name.hashCode();
    }

  public boolean equals( Object object )
    {
    return 
      object instanceof Widget 
      && name.equals( ( (Widget)object ).name );
    }

  public String toString()
    {
    return "Widget( " + name + ", " + price + " )";
    }
  }