Struct HalfSpaceSolid 

pub struct HalfSpaceSolid<'m> { /* private fields */ }

IfcHalfSpaceSolid: an infinite solid on one side of a surface.

See the module documentation. This type is not tessellatable and callers must route it through a boolean; Self::is_infinite exists so that a pipeline can assert the invariant rather than discovering it at render time.

Implementations

impl<'m> HalfSpaceSolid<'m>

pub fn new(id: EntityId, entity: &'m Entity) -> Self

Wrap an entity assumed to be an IfcHalfSpaceSolid or a subtype.

pub fn id(&self) -> EntityId

The entity id.

pub fn type_name(&self) -> &'m str

The IFC type name, naming the concrete subtype.

pub fn base_surface(&self) -> GeometryResult<EntityId>

The IfcSurface reference dividing space. Normally an IfcPlane.

Returned as a reference on purpose. BaseSurface is typed as the abstract IfcSurface, so there is no single view to resolve into: lower::halfspace dispatches on the concrete surface type (refusing non-planar ones by name) and the typed views live in crate::surface.

pub fn agreement_flag(&self) -> GeometryResult<bool>

Which side of BaseSurface is material.

true means the solid lies on the side the surface normal points away from. Inverting this silently cuts the wrong half away.

pub fn is_infinite(&self) -> bool

Is the solid unbounded in every direction?

true for a plain IfcHalfSpaceSolid. false for the two bounded subtypes, whose extra attributes give a finite region to work in.

Note that even a false here does not make the entity meaningful on its own: it is still only valid as a boolean operand. What changes is that a consumer can build a finite body for it.

pub fn is_bounded(&self) -> bool

Does the concrete type carry a bounding attribute?

pub fn reject_standalone_use(&self) -> GeometryError

Reject use of this half space anywhere other than a boolean operand.

Exists so the “cannot be tessellated” rule is a single call rather than a comment every consumer is expected to have read. The error is crate::GeometryError::Unsupported, because the file is perfectly valid – it is the requested operation that is not.

Trait Implementations

impl<'m> Clone for HalfSpaceSolid<'m>

fn clone(&self) -> Self

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<'m> Copy for HalfSpaceSolid<'m>

impl<'m> Debug for HalfSpaceSolid<'m>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.