Changeset 1172:6cb71d6b4572 for src

Timestamp:

10/20/24 12:57:19 (5 weeks ago)

Author:

István Váradi <ivaradi@…>

Branch:

python3

Phase:

public

Message:

The gate data can be read from a JSON file

File:

• src/mlx/gates.py (modified) (4 diffs)

src/mlx/gates.py

@@ -10 +10 @@
 class Gate(object):
     """Information about a gate."""
+    @staticmethod
+    def fromJSON(data):
+        """Create the gate from the given JSON data."""
+        return Gate(data["number"], data["terminal"],
+                    data["type"],
+                    maxSpan = data["maxSpan"],
+                    maxLength = data["maxLength"])
+
     def __init__(self, number, terminal, type,
                  availableFn = None, taxiThrough = False,
@@ -44 +52 @@
             return False
 
+    def toJSON(self):
+        """Create a JSON representation of the gate."""
+        data = {}
+        for attributeName in ["number", "terminal", "type",
+                              "maxSpan", "maxLength"]:
+            data[attributeName] = getattr(self, attributeName)
+        return data
+
 #--------------------------------------------------------------------------------------
 
@@ -56 +72 @@
     # Display info type: a new column
     DISPLAY_NEW_COLUMN=3
+
+    @staticmethod
+    def fromJSON(data):
+        """Create a gates object from the given JSON data."""
+        gates = Gates()
+        for gateData in data:
+            gates.add(Gate.fromJSON(gateData))
+        return gates
 
     def __init__(self):
@@ -137 +161 @@
                     print("Gate %s has no maximal dimensions from the database" %
                           (gate.number,))
+
+    def toJSON(self):
+        """Convert the list of gates into a JSON data."""
+        return [gate.toJSON() for gate in self._gates]
 
     def _addRow(self):