Rewriting constants

rust-lite/src/rust_lite/__main__.py

@@ -60,7 +60,7 @@ def exec_run(options: RunOptions) -> None:
     print('Performed all possible rewriting operations; Trying to fetch the content of the K cell.')
 
     module_manager.print_k_top_element()
-
+    
 def trigger_exec_run(stripped_args):
     options = generate_options(stripped_args)
     executor_name = 'exec_run'
@@ -76,11 +76,11 @@ def exec_erc20() -> None:
     trigger_exec_run(stripped_args)
 
 def exec_staking() -> None:
-    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/lending.rs')}
+    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/staking.rs')}
     trigger_exec_run(stripped_args)
 
 def exec_lending() -> None:
-    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/staking.rs')}
+    stripped_args = {'command': 'run', 'input_file': Path('../tests/syntax/lending.rs')}
     trigger_exec_run(stripped_args)
 
 

rust-lite/src/rust_lite/manager.py

@@ -32,7 +32,7 @@ def _init_cterm(self) -> None:
 
     def load_program(self, program_path: str) -> None:
 
-        returned_process = _kast(file=program_path, definition_dir=f'../.build/rust-execution-kompiled')
+        returned_process = _kast(file=program_path, definition_dir=f'../.build/rust-preprocessing-kompiled')
 
         program = returned_process.stdout
 
@@ -59,3 +59,12 @@ def print_k_top_element(self) -> None:
             _PPRINT.pprint(top_cell)
         else:
             print('Cell is empty.')
+
+
+    def print_constants_cell(self) -> None:
+        cell = self.cterm.cell('CONSTANTS_CELL')
+
+        print('--------------------------------------------------')
+        print('CONSTANTS CELL ELEMENT: ')
+        _PPRINT.pprint(cell)
+

rust-semantics/preprocessing/constants.md

@@ -24,5 +24,14 @@ module RUST-CONSTANTS
             </constant>
             ...
         </constants>
+
+    rule <k> Name:Identifier::.PathExprSegments => V ... </k>
+        <constant-name> Name </constant-name>
+        <constant-value> V:Value </constant-value>
+
+    rule <k> Name:Identifier::_:Identifier::.PathExprSegments => V ... </k>
+        <constant-name> Name </constant-name>
+        <constant-value> V:Value </constant-value>
+
 endmodule
 ```

tests/execution/constant-lookup.1.run

@@ -0,0 +1,5 @@
+new ConstantValueLookup;
+call ConstantValueLookup.lookup_constant;
+return_value;
+check_eq 7_000_u64
+

tests/execution/constant-lookup.2.run

@@ -0,0 +1,5 @@
+new ConstantValueLookup;
+call ConstantValueLookup.lookup_constant_with_type;
+return_value;
+check_eq 7_000_u64
+

tests/execution/constant-lookup.rs

@@ -0,0 +1,23 @@
+#![no_std]
+
+#[allow(unused_imports)]
+use multiversx_sc::imports::*;
+
+pub const YEARLY_INTEREST: u64 = 7_000;
+
+#[multiversx_sc::contract]
+pub trait ConstantValueLookup {
+    #[init]
+    fn init(&self) {
+    }
+
+    #[upgrade]
+    fn upgrade(&self) {}
+
+    fn lookup_constant(&self) -> u64 { YEARLY_INTEREST }
+
+    fn lookup_constant_with_type(&self) -> u64 { 
+        let x = YEARLY_INTEREST::u64;
+        x }
+
+}