From 2e78b7100c7ba5cffa75c659e9247f9503295f9a Mon Sep 17 00:00:00 2001 From: rvcas Date: Wed, 15 Feb 2023 21:26:50 -0500 Subject: [PATCH] fix: blueprint tests --- crates/aiken-project/src/blueprint/mod.rs | 2 +- .../aiken-project/src/blueprint/validator.rs | 63 +++++++++++-------- 2 files changed, 37 insertions(+), 28 deletions(-) diff --git a/crates/aiken-project/src/blueprint/mod.rs b/crates/aiken-project/src/blueprint/mod.rs index 5eeef366..91c8fff9 100644 --- a/crates/aiken-project/src/blueprint/mod.rs +++ b/crates/aiken-project/src/blueprint/mod.rs @@ -94,7 +94,7 @@ where self.validators .iter() .map(|v| { - let mut title = v.title.split('-'); + let mut title = v.title.split('.'); ( title.next().unwrap().to_string(), diff --git a/crates/aiken-project/src/blueprint/validator.rs b/crates/aiken-project/src/blueprint/validator.rs index 44ed986b..614f2e7a 100644 --- a/crates/aiken-project/src/blueprint/validator.rs +++ b/crates/aiken-project/src/blueprint/validator.rs @@ -61,11 +61,12 @@ impl Validator { arguments.extend(def.fun.arguments.clone()); Ok(Validator { - title: format!("{}-{}", &module.name, &def.fun.name), + title: format!("{}.{}", &module.name, &def.fun.name), description: None, purpose: None, - parameters: args - .rev() + parameters: def + .params + .iter() .map(|param| { let annotation = Annotated::from_type(modules.into(), ¶m.tipo, &HashMap::new()).map_err( @@ -296,13 +297,14 @@ mod test { fn validator_mint_basic() { assert_validator( r#" - fn mint(redeemer: Data, ctx: Data) { + validator mint { + fn(redeemer: Data, ctx: Data) { True + } } "#, json!({ - "title": "test_module", - "purpose": "mint", + "title": "test_module.mint", "hash": "afddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72", "redeemer": { "title": "Data", @@ -317,13 +319,14 @@ mod test { fn validator_mint_parameterized() { assert_validator( r#" - fn mint(utxo_ref: Int, redeemer: Data, ctx: Data) { + validator mint(utxo_ref: Int) { + fn(redeemer: Data, ctx: Data) { True + } } "#, json!({ - "title": "test_module", - "purpose": "mint", + "title": "test_module.mint", "hash": "a82df717fd39f5b273c4eb89ae5252e11cc272ac59d815419bf2e4c3", "parameters": [{ "title": "utxo_ref", @@ -373,13 +376,14 @@ mod test { Abort } - fn spend(datum: State, redeemer: Input, ctx: Data) { + validator spend { + fn(datum: State, redeemer: Input, ctx: Data) { True + } } "#, json!({ - "title": "test_module", - "purpose": "spend", + "title": "test_module.spend", "hash": "e37db487fbd58c45d059bcbf5cd6b1604d3bec16cf888f1395a4ebc4", "datum": { "title": "State", @@ -456,13 +460,14 @@ mod test { fn validator_spend_2tuple() { assert_validator( r#" - fn spend(datum: (Int, ByteArray), redeemer: String, ctx: Void) { + validator spend { + fn(datum: (Int, ByteArray), redeemer: String, ctx: Void) { True + } } "#, json!({ - "title": "test_module", - "purpose": "spend", + "title": "test_module.spend", "hash": "3c6766e7a36df2aa13c0e9e6e071317ed39d05f405771c4f1a81c6cc", "datum": { "dataType": "#pair", @@ -485,13 +490,14 @@ mod test { fn validator_spend_tuples() { assert_validator( r#" - fn spend(datum: (Int, Int, Int), redeemer: Data, ctx: Void) { + validator spend { + fn(datum: (Int, Int, Int), redeemer: Data, ctx: Void) { True + } } "#, json!({ - "title": "test_module", - "purpose": "spend", + "title": "test_module.spend", "hash": "f335ce0436fd7df56e727a66ada7298534a27b98f887bc3b7947ee48", "datum": { "title": "Tuple", @@ -531,14 +537,15 @@ mod test { Infinite } - fn withdraw(redeemer: Either>, ctx: Void) { + validator withdraw { + fn(redeemer: Either>, ctx: Void) { True + } } "#, json!( { - "title": "test_module", - "purpose": "withdraw", + "title": "test_module.withdraw", "hash": "afddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72", "redeemer": { "title": "Either", @@ -599,14 +606,15 @@ mod test { type UUID { UUID } - fn mint(redeemer: Dict, ctx: Void) { + validator mint { + fn(redeemer: Dict, ctx: Void) { True + } } "#, json!( { - "title": "test_module", - "purpose": "mint", + "title": "test_module.mint", "hash": "afddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72", "redeemer": { "title": "Dict", @@ -646,14 +654,15 @@ mod test { type UUID { UUID } - fn mint(redeemer: Dict, ctx: Void) { + validator mint { + fn(redeemer: Dict, ctx: Void) { True + } } "#, json!( { - "title": "test_module", - "purpose": "mint", + "title": "test_module.mint", "hash": "afddc16c18e7d8de379fb9aad39b3d1b5afd27603e5ebac818432a72", "redeemer": { "title": "Dict",