Lint

.github/workflows/webserver.yml

@@ -1,4 +1,4 @@
-name: Rust compile, lint & test Webserver
+name: Rust compile, lint & test webserver
 
 on:
   workflow_dispatch:

core/src/bpmn/reader.rs

@@ -31,7 +31,7 @@ pub fn read_bpmn_from_file(file_path: &str) -> Result<Collaboration, Unsupported
 pub fn read_bpmn_from_string(
     contents: &str,
 ) -> Result<Collaboration, UnsupportedBpmnElementsError> {
-    let mut reader = Reader::from_str(&contents);
+    let mut reader = Reader::from_str(contents);
     reader.trim_text(true);
 
     let mut collaboration = Collaboration {

core/src/lib.rs

@@ -11,9 +11,7 @@ pub fn run(collaboration: &Collaboration, properties: Vec<Property>) -> ModelChe
     collaboration.explore_state_space(properties)
 }
 
-pub fn read_bpmn_from_file(
-    file_path: &String,
-) -> Result<Collaboration, UnsupportedBpmnElementsError> {
+pub fn read_bpmn_from_file(file_path: &str) -> Result<Collaboration, UnsupportedBpmnElementsError> {
     reader::read_bpmn_from_file(file_path)
 }
 

webserver/src/main.rs

@@ -62,7 +62,7 @@ async fn check_bpmn<'a>(
             let properties = payload
                 .properties_to_be_checked
                 .iter()
-                .map(|dto| PropertyDTO::map_from_dto(dto))
+                .map(PropertyDTO::map_from_dto)
                 .collect();
             let model_checking_result = run(&collaboration, properties);
             tracing::info!("{:?}", "Model checking successful");