feat(law-stone)!: match v7 logic module model

amimart · amimart · commit c25128a2c4af · 2024-03-04T22:16:11.000+01:00
diff --git a/contracts/okp4-law-stone/src/contract.rs b/contracts/okp4-law-stone/src/contract.rs
@@ -299,17 +299,17 @@ mod tests {
                         height: 1,
                         gas_used: 1000,
                         answer: Some(Answer {
-                            success: true,
-                            error: None,
                             has_more: false,
                             variables: vec!["Files".to_string()],
                             results: vec![LogicResult {
+                                error: None,
                                 substitutions: vec![Substitution {
                                     variable: "Files".to_string(),
                                     expression: deps_name,
                                 }],
                             }],
                         }),
+                        user_output: None,
                     })
                     .into(),
                 )
@@ -459,17 +459,17 @@ mod tests {
                     height: 1,
                     gas_used: 1000,
                     answer: Some(Answer {
-                        success: true,
-                        error: None,
                         has_more: false,
                         variables: vec!["Foo".to_string()],
                         results: vec![LogicResult {
+                            error: None,
                             substitutions: vec![Substitution {
                                 variable: "Foo".to_string(),
                                 expression: "bar".to_string(),
                             }],
                         }],
                     }),
+                    user_output: None,
                 })
                 .into(),
             ),
diff --git a/contracts/okp4-law-stone/src/error.rs b/contracts/okp4-law-stone/src/error.rs
@@ -29,6 +29,12 @@ pub enum LogicAskResponseError {
     #[error("Could not parse term: {0}")]
     Parse(TermParseError),
 
+    #[error("Substitution error: {0}")]
+    Substitution(String),
+
+    #[error("Unexpected response: {0}")]
+    Unexpected(String),
+
     #[error("Invalid parsed term format.")]
     UnexpectedTerm,
 }
diff --git a/contracts/okp4-law-stone/src/helper.rs b/contracts/okp4-law-stone/src/helper.rs
@@ -4,7 +4,7 @@ use cosmwasm_std::{Event, StdError, StdResult};
 use itertools::Itertools;
 use okp4_logic_bindings::error::CosmwasmUriError;
 use okp4_logic_bindings::uri::CosmwasmUri;
-use okp4_logic_bindings::{AskResponse, Substitution, TermValue};
+use okp4_logic_bindings::{AskResponse, TermValue};
 use okp4_objectarium_client::ObjectRef;
 use std::any::type_name;
 
@@ -46,13 +46,29 @@ pub fn ask_response_to_objects(
     res: AskResponse,
     variable: String,
 ) -> Result<Vec<ObjectRef>, ContractError> {
-    res.answer
+    let result = res
+        .answer
         .map(|a| a.results)
         .unwrap_or_default()
-        .iter()
-        .flat_map(|r: &okp4_logic_bindings::Result| r.substitutions.clone())
+        .into_iter()
+        .exactly_one()
+        .map_err(|_| {
+            ContractError::LogicAskResponse(LogicAskResponseError::Unexpected(
+                "expected exactly one result".to_string(),
+            ))
+        })?;
+
+    if let Some(e) = result.error {
+        return Err(ContractError::LogicAskResponse(
+            LogicAskResponseError::Substitution(e),
+        ));
+    }
+
+    result
+        .substitutions
+        .into_iter()
         .filter(|s| s.variable == variable)
-        .map(|s: Substitution| {
+        .map(|s| {
             s.parse_expression()
                 .map_err(|e| ContractError::LogicAskResponse(LogicAskResponseError::Parse(e)))
                 .and_then(term_as_vec)
@@ -71,7 +87,7 @@ pub fn ask_response_to_objects(
 mod tests {
     use super::*;
     use okp4_logic_bindings::error::TermParseError;
-    use okp4_logic_bindings::Answer;
+    use okp4_logic_bindings::{Answer, Substitution};
 
     #[test]
     fn logic_to_objects() {
@@ -102,18 +118,18 @@ mod tests {
                     AskResponse {
                         answer: Some(Answer {
                             results: vec![okp4_logic_bindings::Result {
+                                error: None,
                                 substitutions: vec![Substitution {
                                     variable: "X".to_string(),
                                     expression: case.0,
                                 }]
                             }],
                             has_more: false,
-                            success: true,
                             variables: vec![],
-                            error: None,
                         }),
                         height: 1,
                         gas_used: 1,
+                        user_output: None,
                     },
                     "X".to_string()
                 ),
