/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }
/** Equality comparison. */ public boolean equals(symbol_set other) { if (other == null || other.size() != size()) return false; /* once we know they are the same size, then improper subset does test */ try { return is_subset_of(other); } catch (internal_error e) { /* can't throw the error (because super class doesn't), so we crash */ e.crash(); return false; } }