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

// Copyright (C) 2019-2023 Aleo Systems Inc.
// This file is part of the snarkVM library.

// The snarkVM library is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.

// The snarkVM library is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.

// You should have received a copy of the GNU General Public License
// along with the snarkVM library. If not, see <https://www.gnu.org/licenses/>.

use super::*;

impl<N: Network> Literal<N> {
    /// Returns the number of bits of this literal.
    pub fn size_in_bits(&self) -> u16 {
        let size = match self {
            Self::Address(..) => Address::<N>::size_in_bits(),
            Self::Boolean(..) => Boolean::<N>::size_in_bits(),
            Self::Field(..) => Field::<N>::size_in_bits(),
            Self::Group(..) => Group::<N>::size_in_bits(),
            Self::I8(..) => I8::<N>::size_in_bits(),
            Self::I16(..) => I16::<N>::size_in_bits(),
            Self::I32(..) => I32::<N>::size_in_bits(),
            Self::I64(..) => I64::<N>::size_in_bits(),
            Self::I128(..) => I128::<N>::size_in_bits(),
            Self::U8(..) => U8::<N>::size_in_bits(),
            Self::U16(..) => U16::<N>::size_in_bits(),
            Self::U32(..) => U32::<N>::size_in_bits(),
            Self::U64(..) => U64::<N>::size_in_bits(),
            Self::U128(..) => U128::<N>::size_in_bits(),
            Self::Scalar(..) => Scalar::<N>::size_in_bits(),
            Self::String(string) => match string.len().checked_mul(8) {
                Some(size) => size,
                None => N::halt("String exceeds usize::MAX bits."),
            },
        };
        u16::try_from(size).or_halt_with::<N>("Literal exceeds u16::MAX bits.")
    }
}