1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
/*
Copyright 2016 Martin Buck

Permission is hereby granted, free of charge, to any person obtaining a copy
of this software and associated documentation files (the "Software"),
to deal in the Software without restriction, including without limitation the
rights to use, copy, modify, merge, publish, distribute, sublicense,
and/or sell copies of the Software, and to permit persons to whom the Software
is furnished to do so, subject to the following conditions:

The above copyright notice and this permission notice shall
be included all copies or substantial portions of the Software.

THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.
IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,
DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT,
TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE
OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
*/

//! HasBoundingBox2D and HasBoundingBox2DMaybe traits for types which (might) have a bounding box

use crate::prelude::*;

/// HasBoundingBox2D is a trait for types which have a bounding box
pub trait HasBoundingBox2D: HasBoundingBox2DMaybe {
    /// Should return the bounding box if it can be calculated
    fn bounding_box(&self) -> BoundingBox2D;
}

/// HasBoundingBox2DMaybe is a trait for types which might have a bounding box
pub trait HasBoundingBox2DMaybe {
    /// Should return the bounding box if it can be calculated
    fn bounding_box_maybe(&self) -> Result<BoundingBox2D>;
}

//------------------------------------------------------------------------------

/// Wrapper helper to convert the Maybe type to the non-Maybe type
pub struct HasBoundingBox2DConverted<T>
where
    T: HasBoundingBox2DMaybe,
{
    data: T,
}

impl<T> HasBoundingBox2DConverted<T>
where
    T: HasBoundingBox2DMaybe,
{
    pub fn new(data: T) -> Result<Self> {
        data.bounding_box_maybe()?; // ensure present
        Ok(Self { data })
    }

    pub fn get(&self) -> &T {
        &self.data
    }
}

impl<T> HasBoundingBox2DMaybe for HasBoundingBox2DConverted<T>
where
    T: HasBoundingBox2DMaybe,
{
    fn bounding_box_maybe(&self) -> Result<BoundingBox2D> {
        self.data.bounding_box_maybe()
    }
}

impl<T> HasBoundingBox2D for HasBoundingBox2DConverted<T>
where
    T: HasBoundingBox2DMaybe,
{
    fn bounding_box(&self) -> BoundingBox2D {
        self.data.bounding_box_maybe().unwrap() // safe since enforced on construction
    }
}