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
// Copyright (C) 2019-2020 Aleo Systems Inc. // This file is part of the Leo library. // The Leo 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 Leo 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 Leo library. If not, see <https://www.gnu.org/licenses/>. use crate::State; use leo_input::{ sections::{Header, Section}, InputParserError, }; #[derive(Clone, PartialEq, Eq, Default)] pub struct PublicState { state: State, } #[allow(clippy::len_without_is_empty)] impl PublicState { pub fn new() -> Self { Self::default() } /// Returns an empty version of this struct with `None` values. /// Called during constraint synthesis to provide private input variables. pub fn empty(&self) -> Self { let state = self.state.empty(); Self { state } } pub fn len(&self) -> usize { if self.state.is_present() { 1usize } else { 0usize } } /// Parse all input variables included in a file and store them in `self`. pub fn parse(&mut self, sections: Vec<Section>) -> Result<(), InputParserError> { for section in sections { match section.header { Header::State(_state) => self.state.parse(section.definitions)?, header => return Err(InputParserError::public_section(header)), } } Ok(()) } /// Returns the runtime state input values pub fn get_state(&self) -> &State { &self.state } }