liberty-db 0.4.2

`liberty` data structre
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

//! All trait `impl` for
//! `Timing`.

mod check {
  //! impl [Check](crate::common::Check) for
  //! `Timing`.

  use crate::{common::traits::Check, timing::Timing};

  // TODO:
  /// Timing arcs with a timing type of clear or preset require a timing_sense attribute.
  /// <a name ="reference_link" href="
  /// https://zao111222333.github.io/liberty-db/2007.03/_user_guide.html
  /// ?field=test
  /// &bgn
  /// =214.5
  /// &end
  /// =214.5
  /// ">Reference</a>
  fn need_timing_sense_when_timing_type_is_clear_or_preset(timing: &Timing) {
    if timing.timing_sense == None {}
  }

  // TODO:
  /// If related_pin is an output pin, you must define a timing_sense attribute for that pin.
  /// <a name ="reference_link" href="
  /// https://zao111222333.github.io/liberty-db/2007.03/_user_guide.html
  /// ?field=test
  /// &bgn
  /// =214.6
  /// &end
  /// =214.6
  /// ">Reference</a>
  fn need_timing_sense_when_related_pin_is_output() {}

  impl Check for Timing {
    fn check(&self) {
      need_timing_sense_when_timing_type_is_clear_or_preset(&self);
      need_timing_sense_when_related_pin_is_output();
    }
  }
}