bool Frame::equals()

in source/Frame.cpp [75:93]


bool Frame::equals(const Frame& other) const {
  if (is_bottom()) {
    return other.is_bottom();
  } else if (other.is_bottom()) {
    return false;
  } else {
    return kind_ == other.kind_ && callee_port_ == other.callee_port_ &&
        callee_ == other.callee_ && call_position_ == other.call_position_ &&
        distance_ == other.distance_ && origins_ == other.origins_ &&
        field_origins_ == other.field_origins_ &&
        inferred_features_ == other.inferred_features_ &&
        locally_inferred_features_ == other.locally_inferred_features_ &&
        user_features_ == other.user_features_ &&
        via_type_of_ports_ == other.via_type_of_ports_ &&
        via_value_of_ports_ == other.via_value_of_ports_ &&
        local_positions_ == other.local_positions_ &&
        canonical_names_ == other.canonical_names_;
  }
}