home *** CD-ROM | disk | FTP | other *** search
/ Tutto per Internet / Internet.iso / soft95 / Java / espints / espinst.exe / classes / espresso / NameRef.class (.txt) < prev    next >
Encoding:
Java Class File  |  1996-02-28  |  859 b   |  29 lines
  1. package espresso;
  2.  
  3. class NameRef {
  4.    Name name;
  5.    int tag;
  6.  
  7.    public String toString() {
  8.       return String.valueOf(String.valueOf(String.valueOf("NAMEREF ").concat(String.valueOf(this.tag))).concat(String.valueOf(" "))).concat(String.valueOf(this.name));
  9.    }
  10.  
  11.    public boolean equals(Object var1) {
  12.       if (!(var1 instanceof NameRef)) {
  13.          return false;
  14.       } else {
  15.          NameRef var2 = (NameRef)var1;
  16.          return this.tag == var2.tag && this.name.index == var2.name.index;
  17.       }
  18.    }
  19.  
  20.    public int hashCode() {
  21.       return this.tag << 20 ^ this.name.index;
  22.    }
  23.  
  24.    NameRef(int var1, Name var2) {
  25.       this.tag = var1;
  26.       this.name = var2;
  27.    }
  28. }
  29.