yaspar-ir 2.7.1

This crate provides a few representations of SMT scripts and other functionalities.
Documentation 
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

// Copyright Amazon.com, Inc. or its affiliates. All Rights Reserved.
// SPDX-License-Identifier: Apache-2.0

use crate::traits::MetaData;
use std::fmt::{Debug, Display, Formatter};

/// A struct that associate a piece of meta-data with a piece of data
#[derive(Clone, PartialEq, Eq, Hash)]
pub(crate) struct WithMeta<A, B> {
    pub(crate) data: A,
    pub(crate) meta: B,
}

impl<A, B> WithMeta<A, B> {
    pub(crate) fn new(data: A, meta: B) -> Self {
        Self { data, meta }
    }
}

impl<A> WithMeta<A, String> {
    pub(crate) fn empty_meta(data: A) -> Self {
        Self::new(data, "".into())
    }
}

impl<A, B> MetaData for WithMeta<A, B>
where
    B: Display,
{
    type T = B;

    fn meta_data(&self) -> &Self::T {
        &self.meta
    }

    fn display_meta_data(&self) -> String {
        self.meta_data().to_string()
    }
}

impl<A, B> Display for WithMeta<A, B>
where
    A: Display,
{
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        Display::fmt(&self.data, f)
    }
}

impl<A, B> Debug for WithMeta<A, B>
where
    A: Debug,
{
    fn fmt(&self, f: &mut Formatter<'_>) -> std::fmt::Result {
        Debug::fmt(&self.data, f)
    }
}