From 23ad1a80050619311f867f88338127db47435721 Mon Sep 17 00:00:00 2001
From: Thomas Krijnen <t.krijnen@gmail.com>
Date: Sat, 27 Feb 2021 11:04:45 +0100
Subject: [PATCH] Preliminary bSI IDS implementation

---
 src/ifcopenshell-python/ifcopenshell/ids.py | 185 ++++++++++++++++++++
 1 file changed, 185 insertions(+)
 create mode 100644 src/ifcopenshell-python/ifcopenshell/ids.py

diff --git a/src/ifcopenshell-python/ifcopenshell/ids.py b/src/ifcopenshell-python/ifcopenshell/ids.py
new file mode 100644
index 0000000000..c91d52bdf3
--- /dev/null
+++ b/src/ifcopenshell-python/ifcopenshell/ids.py
@@ -0,0 +1,185 @@
+import operator
+import ifcopenshell.util.element
+
+from xml.dom.minidom import parse
+
+
+class exception(Exception): pass
+
+def error(msg):
+    raise exception(msg)
+
+
+class meta_facet(type):
+    """
+    A metaclass for automatically registering facets in a map to be instantiated based on XML tagnames.
+    """
+
+    facets = {}
+
+    def __new__(cls, clsname, bases, attrs):
+        newclass = super(meta_facet, cls).__new__(cls, clsname, bases, attrs)
+        meta_facet.facets[clsname] = newclass
+        return newclass
+
+
+class facet(metaclass=meta_facet):
+    """
+    The base class for IDS facets. IDS facets are functors constructed from
+    XML nodes that return True or False. A getattr method is provided for
+    conveniently extracting XML child node text content.
+    """
+
+    def __init__(self, node):
+        self.node = node
+
+    def __getattr__(self, k):
+        v = self.node.getElementsByTagName(k)[0]
+        elems = [n for n in v.childNodes if n.nodeType == n.ELEMENT_NODE]
+        if elems:
+            return restriction(elems[0])
+        else:
+            return v.firstChild.nodeValue.strip()
+
+
+class entity(facet):
+    """
+    The IDS entity facet currently *with* inheritance
+    """
+
+    def __call__(self, inst, logger):
+        logger.debug("Testing %s == %s", inst.is_a(), self.name)
+        # @nb with inheritance
+        # return inst.is_a() == self.name
+        return inst.is_a(self.name)
+
+
+class classification(facet):
+    """
+    The IDS classification facet by traversing the HasAssociations inverse attribute
+    """
+
+    def __call__(self, inst, logger):
+        refs = []
+        for association in inst.HasAssociations:
+            if association.is_a("IfcRelAssociatesClassification"):
+                cref = association.RelatingClassification
+                refs.append((cref.ReferencedSource, cref.Name))
+
+        return (self.system, self.value) in refs
+
+
+class property(facet):
+    """
+    The IDS property facet implenented using `ifcopenshell.util.element`
+    """
+
+    def __call__(self, inst, logger):
+        props = ifcopenshell.util.element.get_psets(inst)
+        val = props.get(self.propertyset, {}).get(self.property)
+        logger.debug("Testing %s == %s", val, self.value)
+        return val == self.value
+
+
+class boolean_logic:
+    """
+    Boolean conjunction over a collection of functions
+    """
+
+    def __init__(self, terms):
+        self.terms = terms
+
+    def __call__(self, *args):
+        return self.fold(t(*args) for t in self.terms)
+
+
+class boolean_and(boolean_logic):
+    fold = all
+
+
+class boolean_or(boolean_logic):
+    fold = any
+
+
+class restriction:
+    """
+    The value restriction from XSD implemented as a list of values and a containment test
+    """
+
+    def __init__(self, node):
+        self.options = [
+            n.getAttribute("value")
+            for n in node.childNodes
+            if n.nodeType == n.ELEMENT_NODE and n.tagName.endswith("enumeration")
+        ]
+
+    def __eq__(self, other):
+        return other in self.options
+
+    def __repr__(self):
+        return "|".join(self.options)
+
+
+class specification:
+    """
+    Represents the XML <specification> node and its two children <applicability> and <requirements>
+    """
+
+    def __init__(self, node):
+        def parse_rules(node):
+            children = [n for n in node.childNodes if n.nodeType == n.ELEMENT_NODE]
+            names = map(operator.attrgetter("tagName"), children)
+            classes = map(meta_facet.facets.__getitem__, names)
+            return [cls(n) for cls, n in zip(classes, children)]
+
+        phrases = [n for n in node.childNodes if n.nodeType == n.ELEMENT_NODE]
+        
+        len(phrases) == 2 or error("expected two child nodes for <specification>")
+        phrases[0].tagName == "applicability" or error("expected <applicability>")
+        phrases[1].tagName == "requirements" or error("expected <requirements>")
+        
+        self.applicabiliy, self.requirements = (
+            boolean_and(parse_rules(phrase)) for phrase in phrases
+        )
+
+    def __call__(self, inst, logger):
+        if self.applicabiliy(inst, logger):
+            if self.requirements(inst, logger):
+                logger.info("%s is compliant", inst)
+            else:
+                logger.error("%s not compliant", inst)
+
+
+class ids:
+    """
+    Represents the XML root <ids> node and its <specification> childNodes.
+    """
+
+    def __init__(self, fn):
+        dom = parse(fn)
+        ids = dom.childNodes[0]
+        ids.tagName == "ids" or error("expected <ids>")
+
+        self.specifications = [
+            specification(n)
+            for n in ids.childNodes
+            if n.nodeType == n.ELEMENT_NODE and n.tagName == "specification"
+        ]
+
+    def validate(self, ifc_file, logger):
+        for elem in ifc_file.by_type("IfcObject"):
+            for spec in self.specifications:
+                spec(elem, logger)
+
+
+if __name__ == "__main__":
+    import sys
+    import logging
+    import ifcopenshell
+
+    logger = logging.getLogger("IDS")
+    logging.basicConfig(level=logging.INFO, format='%(message)s')
+
+    ids_file = ids(sys.argv[1])
+    ifc_file = ifcopenshell.open(sys.argv[2])
+    ids_file.validate(ifc_file, logger)