1
// Do not edit this file as it will be overwritten if codegen is rerun
2

            
3
use data::*;
4

            
5
use proptest::prelude::*;
6

            
7
pub fn option_strategy_default
8
  <T: Clone + std::fmt::Debug, 
9
   S:  Strategy<Value = T>> (base: S) -> impl Strategy<Value = Option<T>>
10
{
11
  option_strategy_bias(1, base)
12
}
13

            
14
pub fn option_strategy_bias
15
  <T: Clone + std::fmt::Debug, 
16
   S:  Strategy<Value = T>> (
17
  bias: u32,
18
  base: S) -> impl Strategy<Value = Option<T>>
19
{
20
  prop_oneof![
21
    bias => base.prop_map(Some),
22
    1 => Just(None),
23
  ]
24
}
25

            
26
pub fn Isolette_Data_Model_On_Off_strategy_default() -> impl Strategy<Value = Isolette_Data_Model::On_Off>
27
{
28
  Isolette_Data_Model_On_Off_strategy_cust(1, 1)
29
}
30

            
31
pub fn Isolette_Data_Model_On_Off_strategy_cust(
32
  Onn_bias: u32,
33
  Off_bias: u32) -> impl Strategy<Value = Isolette_Data_Model::On_Off>
34
{
35
  prop_oneof![
36
    Onn_bias => Just(Isolette_Data_Model::On_Off::Onn),
37
    Off_bias => Just(Isolette_Data_Model::On_Off::Off)
38
  ]
39
}
40

            
41
pub fn Isolette_Data_Model_Temp_strategy_default() -> impl Strategy<Value = Isolette_Data_Model::Temp>
42
{
43
  Isolette_Data_Model_Temp_strategy_cust(
44
    any::<i32>()
45
  )
46
}
47

            
48
pub fn Isolette_Data_Model_Temp_strategy_cust<degrees_i32_strategy: Strategy<Value = i32>> (degrees_strategy: degrees_i32_strategy) -> impl Strategy<Value = Isolette_Data_Model::Temp>
49
{
50
  (degrees_strategy).prop_map(|(degrees)| {
51
    Isolette_Data_Model::Temp { degrees }
52
  })
53
}
54

            
55
pub fn Isolette_Data_Model_Set_Points_strategy_default() -> impl Strategy<Value = Isolette_Data_Model::Set_Points>
56
{
57
  Isolette_Data_Model_Set_Points_strategy_cust(
58
    Isolette_Data_Model_Temp_strategy_default(),
59
    Isolette_Data_Model_Temp_strategy_default()
60
  )
61
}
62

            
63
pub fn Isolette_Data_Model_Set_Points_strategy_cust
64
  <lower_Isolette_Data_Model_Temp_strategy: Strategy<Value = Isolette_Data_Model::Temp>, 
65
   upper_Isolette_Data_Model_Temp_strategy: Strategy<Value = Isolette_Data_Model::Temp>> (
66
  lower_strategy: lower_Isolette_Data_Model_Temp_strategy,
67
  upper_strategy: upper_Isolette_Data_Model_Temp_strategy) -> impl Strategy<Value = Isolette_Data_Model::Set_Points>
68
{
69
  (lower_strategy, upper_strategy).prop_map(|(lower, upper)| {
70
    Isolette_Data_Model::Set_Points { lower, upper }
71
  })
72
}