Commit: 2383f011abe75da952ca8a9775e3f8912accacdb - CCastle2 (hg)

Castle: The best Real-Time/Embedded/HighTech language EVER. Attempt 2

Commit MetaInfo

• Revision: 2383f011abe75da952ca8a9775e3f8912accacdb (tree)
• Time: 2022-01-29 05:18:19
• Author: Albert Mietus < albert AT mietus DOT nl >
• Commiter: Albert Mietus < albert AT mietus DOT nl >

Log Message

Started with AST-2-XML serialization

Change Summary

• modified: castle/ast/_base.py
• add: castle/ast/serialization.py
• add: pytst/ast/XML_serialization/test_1_simple.py

Incremental Difference

diff -r 819aed921de1 -r 2383f011abe7 castle/ast/_base.py
--- a/castle/ast/_base.py	Wed Jan 26 18:17:36 2022 +0100
+++ b/castle/ast/_base.py	Fri Jan 28 21:18:19 2022 +0100
@@ -1,3 +1,7 @@
+from .serialization import Serialize
+
+
+
 class AST_BASE:
     """Base class for all Castle ATS nodes"""
 
@@ -9,26 +13,31 @@
     def __str__(self): # mostly for debugging
         return str(type(self).__name__) + "\n\t" + "\n\t".join(f'{n}\t{str(v)}:{type(v).__name__}' for n,v in self.__dict__.items() if n[0]!='_')
 
-    @staticmethod
-    def _typeName(x):
-        return type(x).__name__
-
-    def _valType(self, x):
-        return f'{x}:{self._typeName(x)}'
-        return type(x).__name__
+    def serialize(self, strategy="XML") -> str:
+        return Serialize(strategy).serialize(self)
 
     @property
     def position(self): return self._parse_tree.position
     @property
     def position_end(self): return self._parse_tree.position_end
 
+    ### Mostly for debugging
+    @staticmethod
+    def _typeName(of):
+        return type(of).__name__
+
+    def _valType(self, of:None):
+        if not of: of=self
+        return f'{of}:{self._typeName(of)}'
+
 
 class IDError(ValueError):
     "The given ID is not valid as an ID"
 
-import re
+
 
 class ID(AST_BASE):
+    import re
     _pattern = re.compile(r'[A-Za-z_][A-Za-z0-9_]*')
 
     @staticmethod

diff -r 819aed921de1 -r 2383f011abe7 castle/ast/serialization.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/castle/ast/serialization.py	Fri Jan 28 21:18:19 2022 +0100
@@ -0,0 +1,86 @@
+import logging; logger = logging.getLogger(__name__)
+
+class Serialize ():
+    def __new__(cls, strategy=None):
+        if strategy is None:
+            return object.__new__(cls)
+        if str(strategy).upper() == "XML":
+            return XML_Serialize()
+        else:
+            raise NotImplementedError(f"No Serializer of {strategy} available")
+
+        def serialize(self, ast):
+            raise NotImplementedError(f"Implement in subclass")
+
+from xml.etree import ElementTree as ET
+
+
+class XML_Serialize(Serialize):
+    def serialize(self, ast) -> str:
+        logger.debug(f"ast={ast._valType(ast)}")
+
+        tree = self._ast2xml(ast)
+        return ET.tostring(tree, encoding="unicode")
+
+
+    def _ast2xml(self, ast) -> ET.Element:
+        top = ET.Element('AST2XML', version="0.0")
+
+        method_name = f'{type(ast).__name__}2xml'
+        visitor = getattr(self, method_name, None)
+        logger.debug(f'visitor={visitor}')
+
+        if visitor:
+            visitor(ast=ast, parent=top) # Grow the tree
+        else:
+            logger.info(f'No visitor >>{method_name}<<, skipping ... (fingers crossed)')
+
+        logger.debug(f"XXX top={top}")
+        return top
+
+
+    def ID2xml(self, ast, parent) ->None:
+        logger.debug(f"ast={ast._valType(ast)} parent={parent} ast.name={ast.name}")
+        ET.SubElement(parent, 'ID', name=ast.name)
+
+
+#NO_VISITOR_NEEDED: PEG2xml 				## Pure Abstract
+#NO_VISITOR_NEEDED: MixIn_value_attribute2xml		## MixIn
+#NO_VISITOR_NEEDED: MixIn_expr_attribute2xml		## MixIn
+#NO_VISITOR_NEEDED: MixIn_children_as_tuple2xml		## MixIn
+#NO_VISITOR_NEEDED: Terminal2xml			## Pure Abstract
+#NO_VISITOR_NEEDED: NonTerminal2xml			## Pure Abstract
+#NO_VISITOR_NEEDED: Expression2xml			## Pure Abstract
+#NO_VISITOR_NEEDED: Predicate2xml			## Pure Abstract
+#NO_VISITOR_NEEDED: Group2xml				## Pure Abstract
+#NO_VISITOR_NEEDED: Markers2xml				## Pure Abstract
+
+
+    def StrTerm2xml(self, ast, parent) ->None:
+        logger.debug(f"StrTerm2xml:: value={ast._valType(ast.value)}")
+        ET.SubElement(parent, 'StrTerm', value=ast.value)
+
+    def RegExpTerm2xml(self, ast, parent) ->None:
+        logger.debug(f"RegExpTerm2xml:: value={ast._valType(ast.value)}")
+        ET.SubElement(parent, 'RegExpTerm', value=ast.value)
+
+
+
+#############    
+
+    def Rule2xml(self, ast, parent) ->None: ...
+    def Rules2xml(self, ast, parent) ->None: ...
+    def Setting2xml(self, ast, parent) ->None: ...
+    def Settings2xml(self, ast, parent) ->None: ...
+    def Grammar2xml(self, ast, parent) ->None: ...
+    def UnorderedGroup2xml(self, ast, parent) ->None: ...
+    def Quantity2xml(self, ast, parent) ->None: ...
+    def Sequence2xml(self, ast, parent) ->None: ...
+    def OrderedChoice2xml(self, ast, parent) ->None: ...
+    def Optional2xml(self, ast, parent) ->None: ...
+    def ZeroOrMore2xml(self, ast, parent) ->None: ...
+    def OneOrMore2xml(self, ast, parent) ->None: ...
+    def AndPredicate2xml(self, ast, parent) ->None: ...
+    def NotPredicate2xml(self, ast, parent) ->None: ...
+
+    def EOF2xml(self, ast, parent) ->None: pass # Needed

diff -r 819aed921de1 -r 2383f011abe7 pytst/ast/XML_serialization/test_1_simple.py
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/pytst/ast/XML_serialization/test_1_simple.py	Fri Jan 28 21:18:19 2022 +0100
@@ -0,0 +1,34 @@
+import pytest
+from xml.etree import ElementTree as ET
+
+from castle.ast import  peg, serialization
+
[e-mail]
+def xml_serialize():
+    return serialization.Serialize('xml').serialize
+
+
+def assert_xml_Element(txt, tag,
+                       version="0.0",
+                       **attribs,):
+    tree = ET.fromstring(txt)
+    if version:
+        assert tree.attrib['version'] == version
+    founds = tree.findall(tag)
+    assert len(founds) == 1, f"Expected only one element; got: {len(founds)} :{founds}"
+    found = founds[0]
+    for attrib, value in attribs.items():
+        assert found.attrib[attrib] == value
+
+
+def test_ID(xml_serialize):
+    txt = xml_serialize(peg.ID(name='demo_ID'))
+    assert_xml_Element(txt, tag='ID', name='demo_ID')
+
+def test_StrTerm(xml_serialize):
+    txt = xml_serialize(peg.StrTerm(value='demo string'))
+    assert_xml_Element(txt, tag='StrTerm', value='demo string')
+
+def test_RegExpTerm(xml_serialize):
+    txt = xml_serialize(peg.RegExpTerm(value='demo RegExp'))
+    assert_xml_Element(txt, tag='RegExpTerm', value='demo RegExp')