/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Equality comparison for properly typed object. */ public boolean equals(action_part other) { /* compare the strings */ return other != null && super.equals(other) && other.code_string().equals(code_string()); }
/** Produce a hash code. */ public int hashCode() { return super.hashCode() ^ (code_string()==null ? 0 : code_string().hashCode()); }
/** Convert to a string. */ public String toString() { return super.toString() + "{" + code_string() + "}"; }
/** Convert to a string. */ public String toString() { return super.toString() + "{" + code_string() + "}"; }
/** Convert to a string. */ public String toString() { return super.toString() + "{" + code_string() + "}"; }
/** Convert to a string. */ public String toString() { return super.toString() + "{" + code_string() + "}"; }
/** Convert to a string. */ public String toString() { return super.toString() + "{" + code_string() + "}"; }
/** Convert to a string. */ public String toString() { return super.toString() + "{" + code_string() + "}"; }