XML printing of PF/PG

TAPAAL · Aug 20, 2024 · e88dfb3 · e88dfb3
1 parent 84ed7f1
commit e88dfb3
Show file tree

Hide file tree

Showing 2 changed files with 16 additions and 0 deletions.
diff --git a/include/PQL/XMLPrinter.h b/include/PQL/XMLPrinter.h
@@ -73,6 +73,10 @@ namespace unfoldtacpn {
 
             void _accept(const AFCondition *condition) override;
 
+            void _accept(const PGCondition *condition) override;
+
+            void _accept(const PFCondition *condition) override;
+
             void _accept(const EXCondition *condition) override;
 
             void _accept(const AXCondition *condition) override;

diff --git a/src/PQL/XMLPrinter.cpp b/src/PQL/XMLPrinter.cpp
@@ -183,6 +183,18 @@ namespace unfoldtacpn {
             closeXmlTag("all-paths");
         }
 
+        void XMLPrinter::_accept(const PGCondition *element) {
+            openXmlTag("globally");
+            (*element)[0]->visit(*this);
+            closeXmlTag("globally");
+        }
+
+        void XMLPrinter::_accept(const PFCondition *element) {
+            openXmlTag("finally");
+            (*element)[0]->visit(*this);
+            closeXmlTag("finally");
+        }
+
         void XMLPrinter::_accept(const ControlCondition *element) {
             openXmlTag("control");
             (*element)[0]->visit(*this);