Method convert_impl

src/ifcgeom/kernels/opencascade/boolean_result.cpp:86–201

}

bool OpenCascadeKernel::convert_impl(const taxonomy::boolean_result::ptr br, ConversionResults& results) {
    return handle_occt_exception([&]() -> bool {
	bool valid_result = false;
	bool first = true;
	const double tol = settings_.get<settings::Precision>().get();

	TopoDS_Shape a;
	TopTools_ListOfShape b;

	taxonomy::style::ptr first_item_style;

	for (auto& c : br->children) {
		IfcGeom::ConversionResults cr;
		AbstractKernel::convert(c, cr);
		if (first && br->operation == taxonomy::boolean_result::SUBTRACTION) {
			// @todo A will be null on union/intersection, intended?
			IfcGeom::util::flatten_shape_list(cr, a, false, true, settings_.get<settings::Precision>().get());
			first_item_style = c->surface_style;
			if (!first_item_style && c->kind() == taxonomy::COLLECTION) {
				// @todo recursively right?
				first_item_style = taxonomy::cast<taxonomy::geom_item>(taxonomy::cast<taxonomy::collection>(c)->children[0])->surface_style;
			}

			if (settings_.get<settings::DisableBooleanResult>().get()) {
				results.emplace_back(IfcGeom::ConversionResult(
					br->instance->as<IfcUtil::IfcBaseEntity>()->id(),
					br->matrix,
					new OpenCascadeShape(a),
					br->surface_style ? br->surface_style : first_item_style
				));
				return true;
			}

			const double first_operand_volume = util::shape_volume(a);
			if (first_operand_volume <= ALMOST_ZERO) {
				Logger::Message(Logger::LOG_WARNING, "Empty solid for:", c->instance);
			}
		} else {

			for (auto& r : cr) {
				auto S = std::static_pointer_cast<OpenCascadeShape>(r.Shape())->shape();
				if (S.IsNull()) {
					Logger::Error("Null operand");
					continue;
				}
				gp_GTrsf trsf;
				convert(r.Placement(), trsf);
				// @todo it really confuses me why I cannot use Moved() here instead
				S.Location(S.Location() * trsf.Trsf());

				if (is_unbounded_halfspace(S)) {
					double d;
					TopoDS_Shape result;
					util::fit_halfspace(a, S, result, d, tol * 1e3);
					// #2665 we also set a precision-independent threshold, because in the boolean op routine
					// the working fuzziness might still be increased.
					if (d < tol * 20. || d < 0.00002) {
						Logger::Message(Logger::LOG_WARNING, "Halfspace subtraction yields unchanged volume:", c->instance);