ProvableHQ/leo
1
1
Fork 0
mirror of https://github.com/ProvableHQ/leo.git synced 2024-08-16 01:00:49 +03:00
Code Issues Packages Projects Releases Wiki Activity

commit example files

Browse Source
This commit is contained in:
collin 2023-08-08 11:02:42 -07:00
parent 7714f55999
commit d654182095
3 changed files with 37 additions and 52 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

13
Cargo.toml
View File

@ -13,7 +13,18 @@ keywords = [
"zero-knowledge"
]
categories = [ "compilers", "cryptography", "web-programming" ]
include = [ "Cargo.toml", "leo", "README.md", "LICENSE.md" ]
include = [
"Cargo.toml",
"leo",
"README.md",
"LICENSE.md",
"examples/lottery/inputs/lottery.in",
"examples/lottery/src/main.leo",
"examples/tictactoe/inputs/tictactoe.in",
"examples/tictactoe/src/main.leo",
"examples/token/inputs/token.in",
"examples/token/src/main.leo",
]
license = "GPL-3.0"
edition = "2021"

34
leo/cli/commands/example.rs
View File

@ -78,25 +78,41 @@ impl Example {
fn main_file_string(&self) -> String {
match self {
Self::Lottery => include_str!("../../../examples/lottery/src/main.leo").to_string(),
Self::TicTacToe => include_str!("../../../examples/tictactoe/src/main.leo").to_string(),
Self::Token => include_str!("../../../examples/token/src/main.leo").to_string(),
Self::Lottery => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/lottery/src/main.leo")).to_string()
}
Self::TicTacToe => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/tictactoe/src/main.leo")).to_string()
}
Self::Token => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/token/src/main.leo")).to_string()
}
}
}
fn input_file_string(&self) -> String {
match self {
Self::Lottery => include_str!("../../../examples/lottery/inputs/lottery.in").to_string(),
Self::TicTacToe => include_str!("../../../examples/tictactoe/inputs/tictactoe.in").to_string(),
Self::Token => include_str!("../../../examples/token/inputs/token.in").to_string(),
Self::Lottery => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/lottery/inputs/lottery.in")).to_string()
}
Self::TicTacToe => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/tictactoe/inputs/tictactoe.in")).to_string()
}
Self::Token => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/token/inputs/token.in")).to_string()
}
}
}
fn readme_file_string(&self) -> String {
match self {
Self::Lottery => include_str!("../../../examples/lottery/README.md").to_string(),
Self::TicTacToe => include_str!("../../../examples/tictactoe/README.md").to_string(),
Self::Token => include_str!("../../../examples/token/README.md").to_string(),
Self::Lottery => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/lottery/README.md")).to_string()
}
Self::TicTacToe => {
include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/tictactoe/README.md")).to_string()
}
Self::Token => include_str!(concat!(env!("CARGO_MANIFEST_DIR"), "/examples/token/README.md")).to_string(),
}
}
}

42
leo/package/src/example.rs
View File

@ -1,42 +0,0 @@
// Copyright (C) 2019-2023 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 super::*;
/// The example programs that can be generated.
pub enum Example {
Lottery,
TicTacToe,
Token,
}
impl Example {
pub fn main_file_string(&self, package_name: &str) -> String {
match self {
Self::Lottery => include_str!("../../examples/lottery/src/main.leo").to_string(),
Self::TicTacToe => include_str!("../../examples/tic_tac_toe/src/main.leo").to_string(),
Self::Token => include_str!("../../examples/token/src/main.leo").to_string(),
}
}
pub fn input_file_string(&self, package_name: &str) -> String {
match self {
Self::Lottery => include_str!("../../examples/lottery/inputs/input.in").to_string(),
Self::TicTacToe => include_str!("../../examples/tic_tac_toe/inputs/input.in").to_string(),
Self::Token => include_str!("../../examples/token/inputs/input.in").to_string(),
}
}
}