chore: update dependencies

Author: everythingfunctional

example/print-to-json.f90

@@ -3,12 +3,12 @@ program print_to_json
   !!
   !!  Compile and run run this program by executing the following
   !!  command from the top-level directory of the dag source tree:
-  !!  
+  !!
   !!   fpm run --example print-to-json
   !!
   use dag_m, only: dag_t
   use vertex_m, only: vertex_t
-  use iso_varying_string, only : varying_string, var_str, char
+  use iso_varying_string, only : varying_string, var_str
   implicit none
 
   character(len=*), parameter :: longest_name = "iso_varying_string"
@@ -27,7 +27,7 @@ program print_to_json
     ,dag_s              => findloc(names, "dag_s",              dim=1) &
     ,main               => findloc(names, "main",               dim=1) &
   )
-    block 
+    block
       type(dag_t) program_units
 
       program_units = dag_t([ &
@@ -41,7 +41,7 @@ program print_to_json
        ])
 
        associate(json_object => program_units%to_json())
-         print *, char(json_object%to_expanded_string())
+         print *, json_object%to_expanded_string()
        end associate
      end block
    end associate

example/read-from-json.f90

@@ -4,30 +4,31 @@ program read_from_json
   !!  Compile and run run this program by executing the following
   !!  command from the top-level directory of the dag source tree:
   !!
-  !!   fpm run --example read-from-json 
+  !!   fpm run --example read-from-json
   !!
   use dag_m, only: dag_t
-  use jsonff, only : parse_json_from_file, json_object_t
+  use rojff, only : parse_json_from_file, json_object_t
   use iso_varying_string, only : char
   implicit none
 
 
   associate(parsed_json => parse_json_from_file('example/dag-dependencies.json'))
 
     if (parsed_json%failed()) then
-      associate(errors => parsed_json%errors())
-        error stop char(errors%to_string())
-      end associate
+      error stop char(parsed_json%errors%to_string())
     end if
 
     block
-      class(json_object_t), allocatable :: json_object
       type(dag_t) dag
 
-      json_object = parsed_json%value_()
-      dag = dag_t(json_object)
+      select type (obj => parsed_json%value_)
+      type is (json_object_t)
+        dag = dag_t(obj)
+      class default
+        error stop "json wasn't an object: " // obj%to_compact_string()
+      end select
     end block
 
   end associate
 
-end program 
+end program

fpm.toml

@@ -6,10 +6,10 @@ maintainer = "[email protected]"
 copyright = "2020-2021 Sourcery Institute"
 
 [dependencies]
-jsonff = {git = "https://gitlab.com/everythingfunctional/jsonff", tag = "v3.0.0"}
-erloff = {git = "https://gitlab.com/everythingfunctional/erloff", tag = "v2.1.0"}
-iso_varying_string = {git = "https://gitlab.com/everythingfunctional/iso_varying_string", tag = "v2.0.0"}
-assert = {git = "https://github.com/sourceryinstitute/assert", tag = "1.3.0"}
+rojff = { git = "https://gitlab.com/everythingfunctional/rojff", tag = "v1.0.0" }
+erloff = { git = "https://gitlab.com/everythingfunctional/erloff", tag = "v2.2.0" }
+iso_varying_string = { git = "https://gitlab.com/everythingfunctional/iso_varying_string", tag = "v3.0.4" }
+assert = { git = "https://github.com/sourceryinstitute/assert", tag = "1.4.0" }
 
 [dev-dependencies]
-vegetables = {git = "https://gitlab.com/everythingfunctional/vegetables", tag = "v7.2.1"}
+veggies = { git = "https://gitlab.com/everythingfunctional/veggies", tag = "v1.0.5" }

src/dag_m.f90

@@ -5,8 +5,7 @@ module dag_m
   !! date: 2020-Nov-30
   !! license: Copyright (c) 2020, Sourcery Institute, BSD 3-clause license Copyright (c) 2018 Jacob Williams
   use vertex_m, only : vertex_t
-  use jsonff, only : json_object_t
-  use iso_varying_string, only : varying_string
+  use rojff, only : json_object_t
 
   implicit none
 
@@ -68,7 +67,7 @@ elemental module function num_vertices(self)
     end function
 
     pure module function depends_on(self, vertex_num) result(dependencies)
-      !! Result is an array of the vertex numbers that depend on on vertex vertex_num 
+      !! Result is an array of the vertex numbers that depend on on vertex vertex_num
       implicit none
       class(dag_t), intent(in) :: self
       integer, intent(in) :: vertex_num

src/dag_s.f90

@@ -1,22 +1,21 @@
 submodule(dag_m) dag_s
   use assert_m, only : assert
-  use jsonff, only: &
+  use rojff, only: &
+      fallible_json_member_t, &
+      fallible_json_object_t, &
       fallible_json_string_t, &
       fallible_json_value_t, &
       json_array_t, &
-      json_element_t, &
-      json_string_t, &
-      parse_json
-  use erloff, only : error_list_t
+      json_element_t
   use iso_fortran_env, only: iostat_end
-  use iso_varying_string, only : varying_string, operator(//), char, get, put, var_str
+  use iso_varying_string, only : operator(//), char
   use intrinsic_array_m, only : intrinsic_array_t
 
   implicit none
 
   type searched_and_ordered_t
     integer, allocatable, dimension(:) :: s, o
-  end type 
+  end type
 
 contains
 
@@ -109,36 +108,32 @@ end function topological_sort
 
   module procedure construct_from_json
     type(fallible_json_value_t) :: maybe_vertices
-    type(error_list_t) errors
 
-    maybe_vertices = json_object%get_element("vertices")
-    errors = maybe_vertices%errors()
-    call assert(.not. errors%has_any(), "dag_s construct_from_json: .not. errors%has_any()", char(errors%to_string()))
+    maybe_vertices = json_object%get("vertices")
+    call assert( &
+        .not. maybe_vertices%errors%has_any(), &
+        "dag_s construct_from_json: .not. errors%has_any()", &
+        char(maybe_vertices%errors%to_string()))
 
-    select type (vertices => maybe_vertices%value_())
+    select type (vertices => maybe_vertices%value_)
     type is (json_array_t)
-      dag%vertices = vertex_t(vertices%get_elements())
+      dag%vertices = vertex_t(vertices%elements)
 
     class default
-      call assert(.false., "dag%from_json: vertices was not an array", char(vertices%to_compact_string()))
+      call assert(.false., "dag%from_json: vertices was not an array", vertices%to_compact_string())
     end select
     dag%order = topological_sort(dag)
   end procedure
 
-   module procedure to_json
-     type(fallible_json_string_t) maybe_key
-     type(error_list_t) errors
-     type(json_string_t) vertices_key
-     type(json_array_t) vertices_value
+  module procedure to_json
+    type(fallible_json_object_t) maybe_result
 
-     maybe_key = fallible_json_string_t("vertices")
-     errors = maybe_key%errors()
-     call assert(.not. errors%has_any(), "dag%to_json: .not. errors%has_any()", char(errors%to_string()))
-
-     vertices_value = json_array_t(json_element_t(self%vertices%to_json()))
-     vertices_key = maybe_key%string()
-     json_object = json_object_t([vertices_key], [json_element_t(vertices_value)])
-   end procedure
+    maybe_result = fallible_json_object_t( &
+        [ fallible_json_member_t("vertices", json_array_t(json_element_t(self%vertices%to_json()))) &
+        ])
+    call assert(.not. maybe_result%errors%has_any(), "dag%to_json: .not. errors%has_any()", char(maybe_result%errors%to_string()))
+    json_object = maybe_result%object
+  end procedure
 
   module procedure num_vertices
     num_vertices = size(self%vertices)

src/vertex_m.f90

@@ -4,7 +4,7 @@ module vertex_m
   !! version: v1.0
   !! date: 2020-Nov-30
   !! license: Copyright (c) 2020-2021, Sourcery Institute, BSD 3-clause license Copyright (c) 2018 Jacob Williams
-    use jsonff, only : json_element_t, json_object_t, json_value_t
+    use rojff, only : json_element_t, json_object_t, json_value_t
     use iso_varying_string, only : varying_string
 
     implicit none
@@ -21,10 +21,10 @@ module vertex_m
     contains
       procedure :: to_json
       procedure :: edges
-      procedure :: label      
+      procedure :: label
       procedure :: attributes
       procedure :: edges_allocated
-    end type 
+    end type
 
     interface vertex_t
 
@@ -54,7 +54,7 @@ pure module function construct_from_components(edges, label, attributes) result(
     end interface
 
     interface
-      
+
       elemental module function edges_allocated(self) result(edges_array_allocated)
         !! Result is .true. iff the edges component is allocated
         implicit none

src/vertex_s.f90

@@ -1,13 +1,14 @@
 submodule(vertex_m) vertex_s
-  use jsonff, only : &
+  use rojff, only : &
+      fallible_json_member_t, &
+      fallible_json_object_t, &
       fallible_json_string_t, &
       fallible_json_value_t, &
       json_array_t, &
       json_number_t, &
       json_string_t, &
       json_integer_t
-  use erloff, only : error_list_t
-  use iso_varying_string, only : char, assignment(=)
+  use iso_varying_string, only : assignment(=), char
   use assert_m, only : assert
   implicit none
 
@@ -18,36 +19,17 @@
   end procedure
 
   module procedure to_json
-    integer i
-    type(json_string_t) :: edges_key, label_key, label_value
-    type(json_array_t) :: edges_value
-    type(error_list_t) :: errors
-    type(fallible_json_string_t) :: maybe_key, maybe_value
-
-    maybe_key = fallible_json_string_t("edges")
-    errors = maybe_key%errors()
-    call assert(.not. errors%has_any(), "vertex%to_json (edges key): .not. errors%has_any()", char(errors%to_string()))
-    edges_key = maybe_key%string()
-
-    if (allocated(self%edges_)) then
-      do i = lbound(self%edges_, 1), ubound(self%edges_, 1)
-        call edges_value%append(json_integer_t(self%edges_(i)))
-      end do
-    end if
-
-    maybe_key = fallible_json_string_t("label")
-    errors = maybe_key%errors()
-    call assert(.not. errors%has_any(), "vertex%to_json (label key): .not. errors%has_any()", char(errors%to_string()))
-    label_key = maybe_key%string()
-
-    maybe_value = fallible_json_string_t(self%label())
-    errors = maybe_value%errors()
-    call assert(.not. errors%has_any(), "vertex%to_json (label value): .not. errors%has_any()", char(errors%to_string()))
-    label_value = maybe_value%string()
-
-
-    json_object = json_object_t([label_key, edges_key], [json_element_t(label_value), json_element_t(edges_value)])
-
+    type(fallible_json_object_t) :: maybe_result
+
+    maybe_result = fallible_json_object_t( &
+        [ fallible_json_member_t("label", fallible_json_value_t(fallible_json_string_t(self%label_))) &
+        , fallible_json_member_t("edges", json_array_t(json_element_t(json_integer_t(self%edges_)))) &
+        ])
+    call assert( &
+        .not.  maybe_result%errors%has_any(), &
+        "vertex%to_json: .not. errors%has_any()", &
+        char( maybe_result%errors%to_string()))
+    json_object = maybe_result%object
   end procedure
 
   module procedure construct_from_components
@@ -68,45 +50,42 @@
   end procedure
 
   module procedure from_json_element
-    vertex = vertex_t(json_element%value_())
+    vertex = vertex_t(json_element%json)
   end procedure
 
   module procedure from_json_value
     select type (json_value)
     type is (json_object_t)
       vertex = from_json_object(json_value)
     class default
-      call assert(.false., "vertex%from_json_value: vertex was not an object", char(json_value%to_compact_string()))
+      call assert(.false., "vertex%from_json_value: vertex was not an object", json_value%to_compact_string())
     end select
   end procedure
 
   module procedure from_json_object
-    type(error_list_t) :: errors
-    type(fallible_json_value_t) :: maybe_edge
     type(fallible_json_value_t) :: maybe_edges
     integer :: i
 
-    maybe_edges = json_object%get_element("edges")
-    errors = maybe_edges%errors()
-    call assert(.not. errors%has_any(), "vertex%from_json: .not. errors%has_any()", char(errors%to_string()))
-    select type (edges => maybe_edges%value_())
+    maybe_edges = json_object%get("edges")
+    call assert( &
+        .not. maybe_edges%errors%has_any(), &
+        "vertex%from_json: .not. errors%has_any()", &
+        char(maybe_edges%errors%to_string()))
+    select type (edges => maybe_edges%value_)
     type is (json_array_t)
-      allocate(vertex%edges_(edges%length()))
-      do i = 1, edges%length()
-        maybe_edge = edges%get_element(i)
-        errors = maybe_edge%errors()
-        call assert(.not. errors%has_any(), "vertex%from_json: .not. errors%has_any()", char(errors%to_string()))
-        select type (edge => maybe_edge%value_())
+      allocate(vertex%edges_(size(edges%elements)))
+      do i = 1, size(edges%elements)
+        select type (edge => edges%elements(i)%json)
         type is (json_number_t)
-          vertex%edges_(i) = int(edge%get_value())
+          vertex%edges_(i) = int(edge%number)
         type is (json_integer_t)
-          vertex%edges_(i) = edge%get_value()
+          vertex%edges_(i) = edge%number
         class default
-          call assert(.false., "vertex%from_json: edge was not a number", char(edge%to_compact_string()))
+          call assert(.false., "vertex%from_json: edge was not a number", edge%to_compact_string())
         end select
       end do
     class default
-      call assert(.false., "vertex%from_json: edges was not an array", char(edges%to_compact_string()))
+      call assert(.false., "vertex%from_json: edges was not an array", edges%to_compact_string())
     end select
   end procedure