summaryrefslogtreecommitdiff
path: root/src/scm/webid-oidc/server/precondition.scm
blob: 94c6ae13948dafa6deb5131a637a3fe74fb22bf1 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
(define-module (webid-oidc server precondition)
  #:use-module (webid-oidc errors)
  #:use-module (webid-oidc server resource path)
  #:use-module (webid-oidc server resource content)
  #:use-module (webid-oidc cache)
  #:use-module (webid-oidc fetch)
  #:use-module (webid-oidc http-link)
  #:use-module (webid-oidc server resource wac)
  #:use-module ((webid-oidc stubs) #:prefix stubs:)
  #:use-module (webid-oidc rdf-index)
  #:use-module ((webid-oidc refresh-token) #:prefix refresh:)
  #:use-module (web uri)
  #:use-module (web client)
  #:use-module (web response)
  #:use-module (rdf rdf)
  #:use-module (turtle tordf)
  #:use-module (turtle fromrdf)
  #:use-module (rnrs bytevectors)
  #:use-module (ice-9 exceptions)
  #:use-module (ice-9 receive)
  #:use-module (ice-9 optargs)
  #:use-module (ice-9 iconv)
  #:use-module (ice-9 textual-ports)
  #:use-module (ice-9 binary-ports)
  #:use-module (ice-9 threads)
  #:use-module (rnrs bytevectors)
  #:use-module (oop goops)
  #:export
  (

   check-precondition

   ))

(define (the-etag object)
  ;; Sometimes the user passes a pair as an etag (just like what
  ;; request-if-match may return).
  (if (pair? object)
      (car object)
      object))

(define (check-if-match if-match real-etag)
  ;; if-match is #f if no filter is used
  (or (not if-match)
      (eq? if-match '*)
      (let check-rest ((precondition if-match))
        (and (not (null? precondition))
             (let ((first (the-etag (car precondition)))
                   (rest (cdr precondition)))
               (or (equal? first real-etag)
                   (check-rest rest)))))))

(define (check-if-none-match if-none-match real-etag)
  ;; if-none-match is #f if there is no filter
  (or (not if-none-match)
      (if (eq? if-none-match '*)
          (not real-etag)
          ;; if-none-match is a list
          (let check-rest ((forbidden if-none-match))
            (or (null? forbidden)
                (let ((first (the-etag (car forbidden)))
                      (rest (cdr forbidden)))
                  (and (not (equal? first real-etag))
                       (check-rest rest))))))))

(define (check-precondition path if-match if-none-match real-etag)
  (unless (and (check-if-match if-match real-etag)
               (check-if-none-match if-none-match real-etag))
    (let ((error
           (make-precondition-failed path if-match if-none-match real-etag)))
      (unless real-etag
        (set! error
              (make-exception error (make-path-not-found path))))
      (raise-exception error))))