example-syseng-mtconnect/generate_html.py at main · iofoundry/example-syseng-mtconnect · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
from owlready2 import owl, annotation
from iof_render import dl_render_class, dl_render_terminology
import treelib as tl


def _render_tree(tree, entities, node = None, level = 0):
  s = []
  node = tree[tree.root] if (node is None) else node
  div = f"""<div id="{node.identifier.split('.')[1]}">"""
  indent = '  ' * level
  s.append(f"{indent}{div}\n{indent}  <details open><summary>{node.tag}</summary>\n")
  if node.data:
    s.append(f"""{indent}    <div class="details"><details><summary>Details</summary>\n""")
    klass = node.data['class']
    properties = klass.get_properties(klass)
    if properties:
      s.append(f"""{indent}    <div class="axiom"><details><summary>Annotations</summary><ul>""")
      values = sorted([(_1, str(_2[0])) for _1, _2 in
                       [(_.name, getattr(klass, _.name, None))
                        for _ in properties if isinstance(_, annotation.AnnotationPropertyClass)] if _2])
      for a, v in values:
        s.append(f"<li>{a}: {v}</li>")
      s.append(f"{indent}    </ul></details></div>\n")
    axioms = "".join([f"""<li>{_}</li>""" for _ in node.data['axioms']])
    s.append(f"""{indent}    <div class="axiom"><details><summary>Axioms</summary><ul>{axioms}</ul></details></div>\n""")
    instances = klass.instances()
    if instances:
      values = []
      for i in instances:
        if entities and i in entities:
          values.append(f"""<li><a href='diagrams/{i.name}.html'>{i.name}</a></li>""")
        else:
          values.append(f"""<li>{i}</li>""")
      s.append(f"""{indent}    <div class="axiom"><details><summary>Instances</summary><ul>{''.join(values)}</ul></details></div>\n""")
    s.append(f"{indent}    </details></div>\n")
  for child in tree.children(node.identifier):
    s.extend(_render_tree(tree, entities, child, level + 2))
  s.append(f"{indent}  </details>\n{indent}</div>\n")
  return s

def _render_ontology(items, entities, level = 1) -> str:
  s = ''
  if isinstance(items, dict):
    s = "\n".join([f"<h{level} id=\"{k}\">" + k + f"</h{level}>\n" + _render_ontology(v, entities, level + 1) for k, v in items.items()])
  elif isinstance(items, list):
    s = '<ul><li class="axiom">' + \
      "</li>\n<li class=\"axiom\">".join(items) +  \
      '</li></ul>'
  elif isinstance(items, tl.Tree):
    s = f"""<div class="tree">{''.join(_render_tree(items, entities))}</div>"""
  else:
    s = items
  return s

def render_header(f, title):
  f.write(f"""
<!doctype html>
<html>
  <head>
    <meta charset="utf-8"/>
    <title>{title}</title>
    <style>
body {{
  font-family: 'Lucida Sans', 'Lucida Sans Regular', 'Lucida Grande', 'Lucida Sans Unicode', Geneva, Verdana, sans-serif;
  background: white;
  color: black;
}}

:root {{
  --link-color: #1a0dab; /* light mode */
}}

@media (prefers-color-scheme: dark) {{
  :root {{
    --link-color: #d8b8ff; /* soft purple for dark mode */
  }}
  body {{
    background: black;
    color: white;
  }}
}}

a {{
  color: var(--link-color);
}}

h1 {{
  font-size: 1.35em;
  border: none;
  border-top: 2px solid #bbb;
  margin: 1em 0 0em 0;
  padding-top: 0.25em;
}}

h2 {{
  font-size: 1.25em;
}}

div.tree div {{
  margin-left: 1.5em;
}}

div.tree div.axiom {{
  margin-left: 1.5em;
}}

div.tree div.details {{
  margin-left: 2.5em;
}}

div.axiom ul {{
  margin: 0;
}}

div.axiom ul li {{
  font-family: 'Fira Mono', 'Menlo', 'Consolas', 'Liberation Mono', 'Courier New', monospace;
  font-size: 1em;
}}

.indent {{
  margin-left: 3em;
}}
    </style>
  </head>
  <body>
""")

def render_footer(file):
  file.write("""
  </body>
</html>
""")

def render_terminology(name, ontology):
  with open(f"{name}.html", 'w') as f:
    render_header(f, f"{ontology.name} Ontology")
    f.write(_render_ontology(dl_render_terminology(ontology, show_characteristics = True), None))
    render_footer(f)


def render_vendor(name, ontology, entities):
  with open(f"{name}.html", 'w') as f:
    render_header(f, f"{ontology.name} Vendor Ontology")
    f.write(f"""
        <h1 class='section-divider'>Complete Diagram</h1>
    <ul><li><a href='diagrams/{ontology.name}Full.html'>{ontology.name}</a></li></ul>
    <h1 class='section-divider'>Topology Diagram</h1>
    <ul><li><a href='diagrams/{ontology.name}Topo.html'>{ontology.name} Topology</a></li></ul>
    <h1 class='section-divider'>Mereology Diagram</h1>
    <ul><li><a href='diagrams/{ontology.name}Mere.html'>{ontology.name} Mereology</a></li></ul>
    <h1 class='section-divider'>Part Diagrams</h1>
    <ul>
""")
    for e in entities:
        f.write(f"      <li><a href='diagrams/{e.name}.html'>{e.name}</a></li>\n")
    f.write("""    </ul>
    <div class='indent'>
""")
    f.write(_render_ontology(dl_render_terminology(ontology, show_characteristics = True), entities))
    f.write("\n    </div>")
    render_footer(f)