Refactor and finish implementing trait preprocessing (#4)

* Rename indexing -> preprocessing

* Refactor trait initialization

* Refactor addMethod

* Function arguments test

* Return type test

---------

Co-authored-by: Virgil Serbanuta <Virgil Serbanuta>

.gitignore

@@ -1,2 +1,3 @@
 .build
+.DS_store
 tmp

Makefile

@@ -1,4 +1,4 @@
-SEMANTICS_FILES ::= $(shell find rust-semantics/ -type f -name '*')
+SEMANTICS_FILES ::= $(shell find rust-semantics/ -type f -a '(' -name '*.md' -or -name '*.k' ')')
 RUST_KOMPILED ::= .build/rust-kompiled
 RUST_TIMESTAMP ::= $(RUST_KOMPILED)/timestamp
 SYNTAX_INPUT_DIR ::= tests/syntax

rust-semantics/config.md

@@ -1,17 +1,17 @@
 ```k
 
 module RUST-CONFIGURATION
-    imports RUST-INDEXING-CONFIGURATION
+    imports RUST-PREPROCESSING-CONFIGURATION
 
     configuration
         <rust>
-            <crate/>
+            <preprocessed/>
         </rust>
 
 endmodule
 
 module RUST-RUNNING-CONFIGURATION
-    imports private RUST-INDEXING-SYNTAX
+    imports private RUST-PREPROCESSING-SYNTAX
     imports RUST-CONFIGURATION
 
     configuration

rust-semantics/preprocessing.md

@@ -0,0 +1,19 @@
+```k
+
+requires "preprocessing/crate.md"
+requires "preprocessing/configuration.md"
+requires "preprocessing/helpers.md"
+requires "preprocessing/initialization.md"
+requires "preprocessing/syntax.md"
+requires "preprocessing/trait.md"
+requires "preprocessing/trait-methods.md"
+
+module RUST-PREPROCESSING
+    imports private CRATE
+    imports private INITIALIZATION
+    imports private TRAIT
+    imports private TRAIT-METHODS
+endmodule
+
+
+```

rust-semantics/preprocessing/configuration.md

@@ -0,0 +1,34 @@
+```k
+
+module RUST-PREPROCESSING-CONFIGURATION
+    imports private RUST-REPRESENTATION
+    imports private RUST-SHARED-SYNTAX
+
+    syntax Identifier ::= "my_identifier"  [token]
+
+    configuration
+        <preprocessed>
+            <constants>
+                <constant multiplicity="*" type="Map">
+                    <constant-name> my_identifier </constant-name>
+                    <constant-value> tuple(.ValueList) </constant-value>
+                </constant>
+            </constants>
+            <traits>
+                <trait multiplicity="*" type="Map">
+                    <trait-path> my_identifier:TypePath </trait-path>
+                    <methods>
+                        <method multiplicity="*" type="Map">
+                            <method-name> my_identifier </method-name>
+                            <method-params> .NormalizedFunctionParameterList </method-params>
+                            <method-return-type> ():Type </method-return-type>
+                            <method-implementation> empty:FunctionBodyRepresentation </method-implementation>
+                        </method>
+                    </methods>
+                </trait>
+            </traits>
+        </preprocessed>
+endmodule
+
+
+```

rust-semantics/indexing/crate.md → rust-semantics/preprocessing/crate.md

@@ -3,8 +3,8 @@
 module CRATE
     imports private LIST
     imports private MAP
-    imports private RUST-INDEXING-PRIVATE-SYNTAX
-    imports private RUST-INDEXING-SYNTAX
+    imports private RUST-PREPROCESSING-PRIVATE-SYNTAX
+    imports private RUST-PREPROCESSING-SYNTAX
     imports private RUST-REPRESENTATION
     imports private RUST-RUNNING-CONFIGURATION
 
@@ -67,11 +67,13 @@ module CRATE
             , traitName : Name:Identifier
             , traitFunctions: Functions:Map
             )
-          => crateInitializer
-            ( ... constantNames: keys_list(Constants), constants: Constants
-            , traitName: Name
-            , functionNames:keys_list(Functions), functions: Functions
-            )
+          => constantInitializer
+              ( ... constantNames: keys_list(Constants), constants: Constants )
+          ~> traitInitializer(Name)
+          ~> traitMethodInitializer
+              ( ... traitName: Name
+              , functionNames:keys_list(Functions), functions: Functions
+              )
 endmodule
 
 ```