Preprocess unimplemented methods

rust-semantics/preprocessing/configuration.md

@@ -17,6 +17,7 @@ module RUST-PREPROCESSING-CONFIGURATION
             <traits>
                 <trait multiplicity="*" type="Map">
                     <trait-path> my_identifier:TypePath </trait-path>
+                    <method-list> .List </method-list>  // List of Identifier
                     <methods>
                         <method multiplicity="*" type="Map">
                             <method-name> .Identifier </method-name>

rust-semantics/preprocessing/initialization.md

@@ -15,7 +15,7 @@ module INITIALIZATION
             .Bag
             =>  <trait>
                     <trait-path> Name </trait-path>
-                    <methods> .Bag </methods>
+                    ...
                 </trait>
         </traits>
 
@@ -33,27 +33,32 @@ module INITIALIZATION
         <k> #addMethod(
                 Trait:TypePath,
                 Name:Identifier, P:NormalizedFunctionParameterList,
-                R:Type, B:BlockExpression,
+                R:Type, B:BlockExpressionOrSemicolon,
                 A:OuterAttributes
             ) => .K
             ...
         </k>
         <trait>
           ...
           <trait-path> Trait </trait-path>
+          <method-list> L:List => ListItem(Name) L </method-list>
           <methods>
             .Bag =>
               <method>
                 <method-name> Name:Identifier </method-name>
                 <method-params> P </method-params>
                 <method-return-type> R </method-return-type>
-                <method-implementation> block(B) </method-implementation>
+                <method-implementation> toFBR(B) </method-implementation>
                 <method-outer-attributes> A </method-outer-attributes>
               </method>
             ...
           </methods>
         </trait>
 
+    syntax FunctionBodyRepresentation ::= toFBR(BlockExpressionOrSemicolon)  [function, total]
+    rule toFBR(B:BlockExpression) => block(B)
+    rule toFBR(;) => empty
+
 endmodule
 
 ```

rust-semantics/representation.md

@@ -42,7 +42,6 @@ module RUST-REPRESENTATION
 
     syntax FunctionBodyRepresentation ::= block(BlockExpression)
                                         | "empty"
-                                        | storageAccessor(StringLiteral)
     syntax NormalizedFunctionParameter ::= Identifier ":" Type
     syntax NormalizedFunctionParameterList ::= List{NormalizedFunctionParameter, ","}
 

tests/preprocessing/storage-method.rs

@@ -0,0 +1,19 @@
+#![no_std]
+
+#[allow(unused_imports)]
+use multiversx_sc::imports::*;
+
+#[multiversx_sc::contract]
+pub trait Empty {
+    #[init]
+    fn init(&self) {
+    }
+
+    #[upgrade]
+    fn upgrade(&self) {}
+
+    #[view(getTokens)]
+    #[storage_mapper("tokens")]
+    fn tokens(&self) -> UnorderedSetMapper<TokenIdentifier>;
+
+}