result = result && getArgOrderList() .equals(other.getArgOrderList()); result = result && getAttrList() .equals(other.getAttrList()); result = result && getSummary() .equals(other.getSummary());
hash = (53 * hash) + getAttrList().hashCode();
result = result && getArgOrderList() .equals(other.getArgOrderList()); result = result && getAttrList() .equals(other.getAttrList()); result = result && getSummary() .equals(other.getSummary());
hash = (53 * hash) + getAttrList().hashCode();