guile-fediverse

Use a more consistent representation for jsonld

Julien LepillerSat May 02 23:55:21+0200 2020

a568305

Use a more consistent representation for jsonld

activitystreams/ontology.scm

   (or
     (equal? property other)
     (equal? (as-property-uri property) other)
     (and (as-property? other)
          (equal? (as-property-uri property) (as-property-uri other)))
     (let loop ((superproperties (as-property-subproperty-of property)))
       (match superproperties
         (() #f)
     (match kv
       ((k . v)
        (subproperty? k key))))
   (let ((candidates (filter is-candidate document)))
   (let ((candidates (filter is-candidate
                             (if (as-document? document)
                                 (as-document-properties document)
                                 document))))
     (map cdr candidates)))
 (define (json->as-document ontology document)
     ((json-array? document)
      ;; XXX: this filter is not correct if one of the values is the litteral
      ;; "false"
      (list->array 1
        (filter
          (lambda (a) a)
          (map (lambda (doc) (json->as-document ontology doc))
               (array->list document)))))
     ((json-has-key? document "@type")
      (let* ((types (assoc-ref document "@type"))
      (filter
        (lambda (a) a)
        (map (lambda (doc) (json->as-document ontology doc))
             (array->list document))))
     ((list? document)
      (let* ((types (or (assoc-ref document "@type") #()))
             (types (if (string? types) (list types) (array->list types)))
             (types (filter (lambda (a) a) (map uri->datatype types))))
        (if (null? types)
            #f
            (make-as-document
              types
              (filter
                (lambda (a) a)
                (map
                  (match-lambda
                    ((key . value)
                     (let ((property (uri->property key))
                           (value (json->as-document ontology value)))
                       (if (and property (not (equal? key "@type")) value)
                           (cons (uri->property key) value)
                           #f))))
                  document))))))
     (else
       (map
         (match-lambda
           ((key . value)
            (cons key (json->as-document ontology value))))
         document))))
        (make-as-document
          types
          (filter
            (lambda (a) a)
            (map
              (match-lambda
                ((key . value)
                 (let ((property (uri->property key))
                       (value (json->as-document ontology value)))
                   (if (and property (not (equal? key "@type")) value)
                       (cons (uri->property key) value)
                       #f))))
              document)))))))
 (define (uri->as-document ontology uri)
   (json->as-document ontology (expand uri)))
                       (if (string? key) key (as-property-label key)))
               (as-document->graphviz value #:label child-label)
               (loop children (+ suffix 1))))))))
     ((list? doc)
      (format #t "  ~a [label=\"\"];~%" label)
      (let loop ((children doc) (suffix 0))
        (match children
          (() (format #t "~%"))
          (((key . value) children ...)
           (let ((child-label (string-append label (number->string suffix))))
             (format #t "  ~a -> ~a [label=\"~a\"];~%"
                     label child-label
                     (if (string? key) key (as-property-label key)))
             (as-document->graphviz value #:label child-label)
             (loop children (+ suffix 1)))))))
     ((string? doc)
      (format #t "  ~a [label=\"~a\"];~%" label doc))
     ((array? doc)
      (let loop ((children (array->list doc)) (suffix 0))
     ((list? doc)
      (let loop ((children doc) (suffix 0))
        (match children
          (() (format #t "~%"))
          ((value children ...)