Lines Matching refs:other
24 * @param other the set we are cloning from.
26 public symbol_set(symbol_set other) throws internal_error
28 not_null(other);
29 _all = (Hashtable)other._all.clone();
70 * @param other the set we are testing against.
72 public boolean is_subset_of(symbol_set other) throws internal_error
74 not_null(other);
76 /* walk down our set and make sure every element is in the other */
78 if (!other.contains((symbol)e.nextElement()))
88 * @param other the set we are are testing against.
90 public boolean is_superset_of(symbol_set other) throws internal_error
92 not_null(other);
93 return other.is_subset_of(this);
129 * @param other the set we are adding in.
132 public boolean add(symbol_set other) throws internal_error
136 not_null(other);
138 /* walk down the other set and do the adds individually */
139 for (Enumeration e = other.all(); e.hasMoreElements(); )
148 * @param other the set we are removing.
150 public void remove(symbol_set other) throws internal_error
152 not_null(other);
154 /* walk down the other set and do the removes individually */
155 for (Enumeration e = other.all(); e.hasMoreElements(); )
162 public boolean equals(symbol_set other)
164 if (other == null || other.size() != size()) return false;
168 return is_subset_of(other);
179 public boolean equals(Object other)
181 if (!(other instanceof symbol_set))
184 return equals((symbol_set)other);
