WIP: Add map.harvest_resource procedure

server/database/main.input.sql

@@ -15,6 +15,7 @@ VALUES ('Dolomite', 'In this world, dolomite is used as a valuable currency by t
        ('Great Bardook Branch', 'A tree that has been planted by the goddess Caithee.', 5),
        ('Sussman''s Lispy Fez', 'The magical headgear from a once great wizard.', 1);
 
+-- Should insert into map.resource_view instead, but that's currently broken.
 INSERT INTO map.object_is_resource (kind, capacity, base_extraction_amount, base_extraction_time, name, description, item_pk)
 VALUES ('ROCK'::map.OBJECT_TYPE, 50, 1, 1600, 'Fluorite', 'It is blue and pretty.', 'Dolomite'),
        ('TREE'::map.OBJECT_TYPE, 50, 1, 1600, 'Willow', 'Likes water.', 'Great Bardook Branch');

server/database/migrations/000005_resource.sql

@@ -31,7 +31,7 @@ NATURAL JOIN map.object_is_resource
 NATURAL JOIN map.object;
 
 CREATE OR REPLACE FUNCTION map.resource_management_view() RETURNS trigger LANGUAGE plpgsql AS $$
-BEGIN
+BEGIN -- FIXME
     IF NEW.quantity = 0
      THEN
        DELETE FROM map.resource
@@ -67,3 +67,28 @@ CREATE CONSTRAINT TRIGGER object_is_resource_trigger
   DEFERRABLE INITIALLY IMMEDIATE
   FOR EACH ROW
   EXECUTE PROCEDURE object_is_resource();
+
+
+CREATE OR REPLACE PROCEDURE map.harvest_resource
+   (target_map_name TEXT, target_kind map.OBJECT_TYPE, target_x_position REAL, target_y_position REAL, player_name TEXT, player_e_mail TEXT, player_username TEXT)
+   LANGUAGE plpgsql AS
+$$
+  DECLARE resource map.resource_view%rowtype;
+          delta INTEGER;
+  BEGIN
+  SELECT * INTO resource
+    FROM map.resource_view
+    WHERE map.resource_view.map_name = target_map_name
+    AND map.resource_view.kind = target_kind
+    AND map.resource_view.x_position = target_x_position
+    AND map.resource_view.y_position = target_y_position;
+  SELECT min(x) INTO delta FROM (values(resource.quantity),(resource.base_extraction_amount)) AS t(x);
+  UPDATE map.resource_view
+    SET quantity = resource.quantity - delta
+    WHERE map_name = target_map_name
+      AND kind = target_kind
+      AND x_position = target_x_position
+      AND y_position = target_y_position;
+  CALL character.update_inventory(player_name, player_e_mail, player_username, resource.item_pk, delta);
+END;
+$$;