Write machine size to database

Author: rowleya

spinn_front_end_common/interface/ds/ds_sqllite_database.py

@@ -704,15 +704,16 @@ def write_session_credentials_to_db(self) -> None:
                     VALUES(?, ?, ?)
                     """, [(k1, k2, v) for (k1, k2), v in config.items()])
 
-    def set_app_id(self) -> None:
+    def set_info(self) -> None:
         """
-        Sets the app id
+        Sets the general information
         """
         # check for previous content
+        machine = FecDataView().get_machine()
         self.cursor().execute(
             """
-            INSERT INTO app_id(app_id)
-            VALUES(?)
-            """, (FecDataView.get_app_id(), ))
+            INSERT INTO info(app_id, width, height)
+            VALUES(?, ?, ?)
+            """, (FecDataView.get_app_id(), machine.width, machine.height))
         if self.rowcount == 0:
-            raise DsDatabaseException("Unable to set app id")
+            raise DsDatabaseException("Unable to set info")

spinn_front_end_common/interface/ds/dse.sql

@@ -135,16 +135,19 @@ ON reference.reference_num = region.reference_num
 
 CREATE VIEW IF NOT EXISTS pointer_content_view AS
 SELECT x, y, p, region_num, pointer, content FROM
-	(SELECT reference.x, reference.y, reference.p, reference.region_num, pointer, NULL as content
-	FROM reference LEFT JOIN region
-	ON reference.reference_num = region.reference_num
-		AND reference.x = region.x
-		AND reference.y = region.y)
+    (SELECT reference.x, reference.y, reference.p, reference.region_num, pointer, NULL as content
+    FROM reference LEFT JOIN region
+    ON reference.reference_num = region.reference_num
+        AND reference.x = region.x
+        AND reference.y = region.y)
 UNION
 SELECT x, y, p, region_num, pointer, content FROM region;
 
-CREATE TABLE IF NOT EXISTS app_id (
-    app_id INTEGER NOT NULL
+ -- Information about more general overall things
+CREATE TABLE IF NOT EXISTS info (
+    app_id INTEGER NOT NULL,
+    width INTEGER NOT NULL,
+    height INTEGER NOT NULL
 );
 
 -- Information about how to access the connection proxying

spinn_front_end_common/interface/interface_functions/graph_data_specification_writer.py

@@ -82,7 +82,7 @@ def run(self,
                             f"ds{FecDataView.get_reset_str()}.sqlite3")
         with DsSqlliteDatabase(path) as ds_db:
             ds_db.write_session_credentials_to_db()
-            ds_db. set_app_id()
+            ds_db.set_info()
 
             placements: Iterable[Placement]
             if placement_order is None: