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 80 81 82 83 84 85 86 87 88 89 90 91 92 93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135 136 137 138 139 140 141
// Copyright (C) 2019-2023 Aleo Systems Inc.
// This file is part of the snarkVM library.
// Licensed under the Apache License, Version 2.0 (the "License");
// you may not use this file except in compliance with the License.
// You may obtain a copy of the License at:
// http://www.apache.org/licenses/LICENSE-2.0
// Unless required by applicable law or agreed to in writing, software
// distributed under the License is distributed on an "AS IS" BASIS,
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
// See the License for the specific language governing permissions and
// limitations under the License.
use crate::prelude::*;
use snarkvm_utilities::{
error,
io::{Read, Result as IoResult, Write},
FromBytes,
ToBytes,
};
#[derive(Copy, Clone, Debug, PartialEq, Eq, Hash)]
pub enum Mode {
Constant,
Public,
Private,
}
impl Mode {
/// Returns `true` if the mode is a constant.
pub const fn is_constant(&self) -> bool {
matches!(self, Self::Constant)
}
/// Returns `true` if the mode is public.
pub const fn is_public(&self) -> bool {
matches!(self, Self::Public)
}
/// Returns `true` if the mode is private.
pub const fn is_private(&self) -> bool {
matches!(self, Self::Private)
}
/// Parses a string into a mode.
#[inline]
pub fn parse(string: &str) -> ParserResult<Self> {
alt((
map(tag("constant"), |_| Self::Constant),
map(tag("public"), |_| Self::Public),
map(tag("private"), |_| Self::Private),
))(string)
}
/// A static helper to deduce the mode from a list of modes.
#[inline]
pub fn combine<M: IntoIterator<Item = Mode>>(starting_mode: Mode, modes: M) -> Mode {
// Initialize the current mode.
let mut current_mode = starting_mode;
// Intuition: Start from `Mode::Constant`, and see if one needs to lift to `Mode::Public` or `Mode::Private`.
// - If `current_mode == Mode::Constant`, then `current_mode = next_mode`.
// - If `current_mode == Mode::Public` && `next_mode == Mode::Private`, then `current_mode = next_mode`.
// - Otherwise, do nothing.
for next_mode in modes {
// If the current mode is `Mode::Private`, we can return early.
if current_mode.is_private() {
break;
}
// Check if the current mode matches the next mode.
if current_mode != next_mode {
match (current_mode, next_mode) {
(Mode::Constant, Mode::Public)
| (Mode::Constant, Mode::Private)
| (Mode::Public, Mode::Private) => current_mode = next_mode,
(_, _) => (), // Do nothing.
}
}
}
current_mode
}
}
impl IntoIterator for Mode {
type IntoIter = std::iter::Once<Self>;
type Item = Mode;
/// Returns an iterator over the mode.
fn into_iter(self) -> Self::IntoIter {
std::iter::once(self)
}
}
impl FromStr for Mode {
type Err = Error;
/// Parses a string into a mode.
#[inline]
fn from_str(string: &str) -> Result<Self> {
match Self::parse(string) {
Ok((remainder, object)) => {
// Ensure the remainder is empty.
ensure!(remainder.is_empty(), "Failed to parse string. Found invalid character in: \"{remainder}\"");
// Return the object.
Ok(object)
}
Err(error) => bail!("Failed to parse string. {error}"),
}
}
}
impl Display for Mode {
/// Formats the mode as a lowercase string.
fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
match self {
Self::Constant => write!(f, "constant"),
Self::Public => write!(f, "public"),
Self::Private => write!(f, "private"),
}
}
}
impl ToBytes for Mode {
/// Writes the mode to the writer.
fn write_le<W: Write>(&self, mut writer: W) -> IoResult<()> {
(*self as u8).write_le(&mut writer)
}
}
impl FromBytes for Mode {
/// Reads the mode from the reader.
fn read_le<R: Read>(mut reader: R) -> IoResult<Self> {
let mode = u8::read_le(&mut reader)?;
match mode {
0 => Ok(Self::Constant),
1 => Ok(Self::Public),
2 => Ok(Self::Private),
_ => Err(error("Invalid mode")),
}
}
}