From b8e9ecf1990ec8c3bd4f2615339330d5bacac6ae Mon Sep 17 00:00:00 2001
From: Cookiebowser <lucas.doering@live.de>
Date: Thu, 7 Jul 2022 13:47:00 +0200
Subject: [PATCH] added missing template parts to rust template
---
.../hhu/stups/codegenerator/RustTemplate.stg | 23 ++++++++++++++++---
1 file changed, 20 insertions(+), 3 deletions(-)
diff --git a/src/main/resources/de/hhu/stups/codegenerator/RustTemplate.stg b/src/main/resources/de/hhu/stups/codegenerator/RustTemplate.stg
index 9d6e5f708..537d37f92 100644
--- a/src/main/resources/de/hhu/stups/codegenerator/RustTemplate.stg
+++ b/src/main/resources/de/hhu/stups/codegenerator/RustTemplate.stg
@@ -287,11 +287,17 @@ iteration_construct_assignment(otherIterationConstructs, type, identifier, set,
>>
iteration_construct_subset(otherIterationConstructs, type, identifier, set, body) ::= <<
-iteration_construct_subset(<otherIterationConstructs>, <type>, <identifier>, <set>, <body>)
+<otherIterationConstructs>
+for <identifier> in <set>.pow().iter().cloned() {
+ <body>
+}
>>
iteration_construct_subsetneq(otherIterationConstructs, type, identifier, set, body) ::= <<
-iteration_construct_subsetneq(<otherIterationConstructs>, <type>, <identifier>, <set>, <body>)
+<otherIterationConstructs>
+for <identifier> in <set>.pow().difference(<set>).iter().cloned() {
+ <body>
+}
>>
let_expression_predicate(type, isBool, identifier, body) ::= <<
@@ -1100,4 +1106,15 @@ modelchecker(main, invariantViolated, printResult, nextStates) ::= <<
<main>
>>
-model_check_add_cached_infos() ::= <<>>
\ No newline at end of file
+model_check_add_cached_infos() ::= <<>>
+choice_point_declaration() ::= <<>>
+choice_point_getter() ::= <<>>
+choice_point_operation_flag_declaration() ::= <<>>
+choice_point_operation_flag_getter() ::= <<>>
+choice_point_operation_flag_reset() ::= <<>>
+choice_point_operation_apply() ::= <<>>
+choice_point_operation_apply_choice_point() ::= <<>>
+choice_point_operation_apply_choice_point_flag() ::= <<>>
+choice_point_operation_triggered_declaration() ::= <<>>
+choice_point_operation_triggered() ::= <<>>
+choice_point_operation_triggered_reset() ::= <<>>
\ No newline at end of file
--
GitLab