966 lines
68 KiB
HTML
966 lines
68 KiB
HTML
<html>
|
|
<head>
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
|
|
<link rel="stylesheet" href="../../../coverage.css"/> <title> dog_and_duck/quack/picky/utils.clj </title>
|
|
</head>
|
|
<body>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
001 (ns dog-and-duck.quack.picky.utils
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
002 "Utility functions supporting the picky validator"
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
003 (:require [clojure.data.json :as json]
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
004 [clojure.set :refer [intersection]]
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
005 [dog-and-duck.quack.picky.constants :refer [activitystreams-context-uri
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
006 actor-types
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
007 context-key severity-filters
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
008 validation-fault-context-uri
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
009 verb-types]]
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
010 [dog-and-duck.quack.picky.control-variables :refer [*reify-refs*]]
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
011 [dog-and-duck.quack.picky.fault-messages :refer [messages]]
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
012 [dog-and-duck.utils.process :refer [get-hostname get-pid]]
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
013 [taoensso.timbre :as log :refer [warn]])
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
014
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
015 (:import [java.net URI URISyntaxException]))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
016
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
017 ;;; Copyright (C) Simon Brooke, 2022
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
018
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
019 ;;; This program is free software; you can redistribute it and/or
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
020 ;;; modify it under the terms of the GNU General Public License
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
021 ;;; as published by the Free Software Foundation; either version 2
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
022 ;;; of the License, or (at your option) any later version.
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
023
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
024 ;;; This program is distributed in the hope that it will be useful,
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
025 ;;; but WITHOUT ANY WARRANTY; without even the implied warranty of
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
026 ;;; MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
027 ;;; GNU General Public License for more details.
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
028
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
029 ;;; You should have received a copy of the GNU General Public License
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
030 ;;; along with this program; if not, write to the Free Software
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
031 ;;; Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
032
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
033
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
034 (defn actor-type?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
035 "Return `true` if the `x` is a recognised actor type, else `false`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
036 [^String x]
|
|
</span><br/>
|
|
<span class="covered" title="6 out of 6 forms covered">
|
|
037 (if (actor-types x) true false))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
038
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
039 (defn truthy?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
040 "Return `true` if `x` is truthy, else `false`. There must be some more
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
041 idiomatic way to do this?"
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
042 [x]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
043 (if x true false))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
044
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
045 (defn has-type?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
046 "Return `true` if object `x` has type `type`, else `false`.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
047
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
048 The values of `type` fields of ActivityStreams objects may be lists; they
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
049 are considered to have a type if the type token is a member of the list."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
050 [x type]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 18 forms covered">
|
|
051 (assert (map? x) (string? type))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
052 (let [tv (:type x)]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 2 forms covered">
|
|
053 (cond
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 14 forms covered">
|
|
054 (coll? tv) (truthy? (not-empty (filter #(= % type) tv)))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
055 :else (= tv type))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
056
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
057 (defn object-or-uri?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
058 "Very basic check that `x` is either an object or a URI."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
059 [x]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
060 (try
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 11 forms covered">
|
|
061 (cond (string? x) (uri? (URI. x))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 16 forms covered">
|
|
062 (map? x) (if (and (:type x) (:id x)) true false)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
063 :else false)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
064 (catch URISyntaxException _ false)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
065 (catch NullPointerException _ false)))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
066
|
|
</span><br/>
|
|
<span class="partial" title="5 out of 46 forms covered">
|
|
067 (defmacro link-or-uri?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
068 "Very basic check that `x` is either a link object or a URI."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
069 [x]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 2 forms covered">
|
|
070 `(if (object-or-uri? ~x) (has-type? ~x "Link") false))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
071
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
072
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
073 (defn verb-type?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
074 "`true` if `x`, a string, represents a recognised ActivityStreams activity
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
075 type."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
076 [^String x]
|
|
</span><br/>
|
|
<span class="covered" title="6 out of 6 forms covered">
|
|
077 (if (verb-types x) true false))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
078
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
079 (defn has-activity-type?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
080 "Return `true` if the object `x` has a type which is an activity type, else
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
081 `false`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
082 [x]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
083 (let [tv (:type x)]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 2 forms covered">
|
|
084 (cond
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 11 forms covered">
|
|
085 (coll? tv) (truthy? (not-empty (filter verb-type? tv)))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
086 :else (verb-type? tv))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
087
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
088 (defn has-actor-type?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
089 "Return `true` if the object `x` has a type which is an actor type, else
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
090 `false`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
091 [x]
|
|
</span><br/>
|
|
<span class="covered" title="4 out of 4 forms covered">
|
|
092 (let [tv (:type x)]
|
|
</span><br/>
|
|
<span class="covered" title="2 out of 2 forms covered">
|
|
093 (cond
|
|
</span><br/>
|
|
<span class="partial" title="3 out of 11 forms covered">
|
|
094 (coll? tv) (truthy? (not-empty (filter actor-type? tv)))
|
|
</span><br/>
|
|
<span class="covered" title="3 out of 3 forms covered">
|
|
095 :else (actor-type? tv))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
096
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
097 (defn filter-severity
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
098 "Return a list of reports taken from these `reports` where the severity
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
099 of the report is greater than this or equal to this `severity`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
100 [reports severity]
|
|
</span><br/>
|
|
<span class="partial" title="6 out of 7 forms covered">
|
|
101 (cond (nil? reports) nil
|
|
</span><br/>
|
|
<span class="partial" title="8 out of 10 forms covered">
|
|
102 (and
|
|
</span><br/>
|
|
<span class="covered" title="3 out of 3 forms covered">
|
|
103 (coll? reports)
|
|
</span><br/>
|
|
<span class="covered" title="4 out of 4 forms covered">
|
|
104 (every? map? reports)
|
|
</span><br/>
|
|
<span class="covered" title="5 out of 5 forms covered">
|
|
105 (every? :severity reports)) (remove
|
|
</span><br/>
|
|
<span class="covered" title="7 out of 7 forms covered">
|
|
106 #((severity-filters severity) (:severity %))
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
107 reports)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
108 :else
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
109 (throw
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
110 (ex-info
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
111 "Argument `reports` was not a collection of fault reports"
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 6 forms covered">
|
|
112 {:arguments {:reports reports
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
113 :severity severity}}))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
114
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
115 (defn context?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
116 "Returns `true` iff `x` quacks like an ActivityStreams context, else false.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
117
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
118 A context is either
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
119 1. the URI (actually an IRI) `activitystreams-context-uri`, or
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
120 2. a collection comprising that URI and a map."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
121 [x]
|
|
</span><br/>
|
|
<span class="partial" title="4 out of 6 forms covered">
|
|
122 (cond
|
|
</span><br/>
|
|
<span class="covered" title="3 out of 3 forms covered">
|
|
123 (nil? x) false
|
|
</span><br/>
|
|
<span class="covered" title="11 out of 11 forms covered">
|
|
124 (string? x) (and (= x activitystreams-context-uri) true)
|
|
</span><br/>
|
|
<span class="partial" title="19 out of 20 forms covered">
|
|
125 (coll? x) (and (context? (first (remove map? x)))
|
|
</span><br/>
|
|
<span class="covered" title="4 out of 4 forms covered">
|
|
126 (= (count x) 2)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
127 true)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
128 :else false))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
129
|
|
</span><br/>
|
|
<span class="covered" title="33 out of 33 forms covered">
|
|
130 (defmacro has-context?
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
131 "True if `x` is an ActivityStreams object with a valid context, else `false`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
132 [x]
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
133 `(context? (context-key ~x)))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
134
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
135 (defn make-fault-object
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
136 "Return a fault object with these `severity`, `fault` and `narrative` values.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
137
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
138 An ActivityPub object MUST have a globally unique ID. Whether this is
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
139 meaningful depends on whether we persist fault report objects and serve
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
140 them, which at present I have no plans to do."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
141 ;; TODO: should not pass in the narrative; instead should use the :fault value
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
142 ;; to look up the narrative in a resource file.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
143 [severity fault]
|
|
</span><br/>
|
|
<span class="covered" title="9 out of 9 forms covered">
|
|
144 (assoc {}
|
|
</span><br/>
|
|
<span class="covered" title="2 out of 2 forms covered">
|
|
145 context-key validation-fault-context-uri
|
|
</span><br/>
|
|
<span class="covered" title="5 out of 5 forms covered">
|
|
146 :id (str "https://"
|
|
</span><br/>
|
|
<span class="covered" title="2 out of 2 forms covered">
|
|
147 (get-hostname)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
148 "/fault/"
|
|
</span><br/>
|
|
<span class="covered" title="2 out of 2 forms covered">
|
|
149 (get-pid)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
150 ":"
|
|
</span><br/>
|
|
<span class="covered" title="3 out of 3 forms covered">
|
|
151 (inst-ms (java.util.Date.)))
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
152 :type "Fault"
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
153 :severity severity
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
154 :fault fault
|
|
</span><br/>
|
|
<span class="partial" title="7 out of 8 forms covered">
|
|
155 :narrative (or (messages fault)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
156 (do
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 17 forms covered">
|
|
157 (warn "No narrative provided for fault token " fault)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
158 (str fault)))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
159
|
|
</span><br/>
|
|
<span class="covered" title="60 out of 60 forms covered">
|
|
160 (defmacro nil-if-empty
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
161 "if `x` is an empty collection, return `nil`; else return `x`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
162 [x]
|
|
</span><br/>
|
|
<span class="covered" title="2 out of 2 forms covered">
|
|
163 `(if (and (coll? ~x) (empty? ~x)) nil
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
164 ~x))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
165
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
166 (defn concat-non-empty
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
167 "Quick function to replace the pattern (nil-if-empty (remove nil? (concat ...)))
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
168 which I'm using a lot!"
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
169 [& lists]
|
|
</span><br/>
|
|
<span class="partial" title="28 out of 29 forms covered">
|
|
170 (nil-if-empty (remove nil? (apply concat lists))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
171
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
172 (defn has-type-or-fault
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
173 "If object `x` has a `:type` value which is `acceptable`, return `nil`;
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
174 else return a fault object with this `severity` and `token`.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
175
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
176 `acceptable` may be passed as either nil, a string, or a set of strings.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
177 If `acceptable` is `nil`, no type specific tests will be performed."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
178 [x acceptable severity token]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
179 (when acceptable
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
180 (let [tv (:type x)]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
181 (when-not
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 5 forms covered">
|
|
182 (cond
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 13 forms covered">
|
|
183 (and (string? tv) (string? acceptable)) (= tv acceptable)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 13 forms covered">
|
|
184 (and (string? tv) (set? acceptable)) (acceptable tv)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 15 forms covered">
|
|
185 (and (coll? tv) (string? acceptable)) ((set tv) acceptable)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 12 forms covered">
|
|
186 (and (coll? tv) (set? acceptable)) (not-empty
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 6 forms covered">
|
|
187 (intersection (set tv) acceptable))
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
188 :else
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
189 (throw (ex-info "Type value or `acceptable` argument not as expected."
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 8 forms covered">
|
|
190 {:arguments {:x x
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
191 :acceptable acceptable
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
192 :severity severity
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
193 :token token}})))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
194 (make-fault-object severity token)))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
195
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
196 (defn any-or-faults
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
197 "Return `nil` if validating one of these options returns `nil`; otherwise
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
198 return a list comprising a fault report object with this `severity-if-none`
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
199 and this token followed by all the fault reports from validating each
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
200 option.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
201
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
202 There are several places - but especially in validating collections - where
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
203 there are several different valid configurations, but few or no properties
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
204 are always required."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
205 [options severity-if-none token]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 5 forms covered">
|
|
206 (let [faults (filter empty? options)]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 5 forms covered">
|
|
207 (when (empty? faults)
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
208 ;; i.e. there was at least one option that returned no faults...
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 7 forms covered">
|
|
209 (cons (make-fault-object severity-if-none token) faults))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
210
|
|
</span><br/>
|
|
<span class="covered" title="31 out of 31 forms covered">
|
|
211 (defmacro cond-make-fault-object
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
212 "If `v` is `false` or `nil`, return a fault object with this `severity` and `token`,
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
213 else return nil."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
214 [v severity token]
|
|
</span><br/>
|
|
<span class="covered" title="3 out of 3 forms covered">
|
|
215 `(when-not ~v (make-fault-object ~severity ~token)))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
216
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
217 (defn string-or-fault
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
218 "If this `value` is not a string, return a fault object with this `severity`
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
219 and `token`, else `nil`. If `pattern` is also passed, it is expected to be
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
220 a Regex, and the fault object will be returned unless `value` matches the
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
221 `pattern`."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
222 ([value severity token]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 10 forms covered">
|
|
223 (when-not (string? value) (make-fault-object severity token)))
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
224 ([value severity token pattern]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 14 forms covered">
|
|
225 (when not (and (string? value) (re-matches pattern value))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
226 (make-fault-object severity token))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
227
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
228
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
229 (defn object-faults
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
230 "Return a list of faults found in object `x`, or `nil` if none are.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
231
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
232 If `expected-type` is also passed, verify that `x` has `expected-type`.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
233 `expected-type` may be passed as a string or as a set of strings. Detailed
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
234 verification of the particular features of types is not done here."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
235 ([x]
|
|
</span><br/>
|
|
<span class="partial" title="7 out of 8 forms covered">
|
|
236 (nil-if-empty
|
|
</span><br/>
|
|
<span class="covered" title="9 out of 9 forms covered">
|
|
237 (remove empty?
|
|
</span><br/>
|
|
<span class="covered" title="6 out of 6 forms covered">
|
|
238 (list
|
|
</span><br/>
|
|
<span class="covered" title="18 out of 18 forms covered">
|
|
239 (when-not (map? x)
|
|
</span><br/>
|
|
<span class="covered" title="12 out of 12 forms covered">
|
|
240 (make-fault-object :critical :not-an-object))
|
|
</span><br/>
|
|
<span class="covered" title="9 out of 9 forms covered">
|
|
241 (when-not
|
|
</span><br/>
|
|
<span class="covered" title="9 out of 9 forms covered">
|
|
242 (has-context? x)
|
|
</span><br/>
|
|
<span class="covered" title="12 out of 12 forms covered">
|
|
243 (make-fault-object :should :no-context))
|
|
</span><br/>
|
|
<span class="covered" title="18 out of 18 forms covered">
|
|
244 (when-not (:type x)
|
|
</span><br/>
|
|
<span class="covered" title="12 out of 12 forms covered">
|
|
245 (make-fault-object :minor :no-type))
|
|
</span><br/>
|
|
<span class="covered" title="42 out of 42 forms covered">
|
|
246 (when-not (and (map? x) (contains? x :id))
|
|
</span><br/>
|
|
<span class="covered" title="12 out of 12 forms covered">
|
|
247 (make-fault-object :minor :no-id-transient))))))
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
248 ([x expected-type]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 2 forms covered">
|
|
249 (concat-non-empty
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
250 (object-faults x)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
251 (when expected-type
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 2 forms covered">
|
|
252 (list
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 6 forms covered">
|
|
253 (has-type-or-fault x expected-type :critical :unexpected-type))))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
254
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
255
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
256 (defn object-reference-or-faults
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
257 "If this `value` is either
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
258
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
259 1. an object of `expected-type`;
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
260 2. a URI referencing an object of `expected-type`; or
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
261 3. a link object referencing an object of `expected-type`
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
262
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
263 and no faults are returned from validating the linked object, then return
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
264 `nil`; else return a sequence comprising a fault object with this `severity`
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
265 and `token`, prepended to the faults returned.
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
266
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
267 As with `has-type-or-fault` (q.v.), `expected-type` may be passed as a
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
268 string, as a set of strings, or `nil` (indicating the type of the
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
269 referenced object should not be checked).
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
270
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
271 **NOTE THAT** if `*reify-refs*` is `false`, referenced objects will not
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
272 actually be checked."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
273 [value expected-type severity token]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
274 (let [faults (cond
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 7 forms covered">
|
|
275 (string? value) (try (let [uri (URI. value)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
276 object (when *reify-refs*
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 5 forms covered">
|
|
277 (json/read-str (slurp uri)))]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
278 (when object
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
279 (object-faults object expected-type)))
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
280 (catch URISyntaxException _
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
281 (make-fault-object severity token)))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 8 forms covered">
|
|
282 (map? value) (if (has-type? value "Link")
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 7 forms covered">
|
|
283 (cond
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
284 ;; if we were looking for a link and we've
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
285 ;; found a link, that's OK.
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
286 (= expected-type "Link") nil
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 10 forms covered">
|
|
287 (and (set? expected-type) (expected-type "Link")) nil
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
288 (nil? expected-type) nil
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
289 :else
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 2 forms covered">
|
|
290 (object-reference-or-faults
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 6 forms covered">
|
|
291 (:href value) expected-type severity token))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 4 forms covered">
|
|
292 (object-faults value expected-type))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
293 :else (throw
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
294 (ex-info
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
295 "Argument `value` was not an object or a link to an object"
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 8 forms covered">
|
|
296 {:arguments {:value value}
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
297 :expected-type expected-type
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
298 :severity severity
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
299 :token token})))]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 10 forms covered">
|
|
300 (when faults (cons (make-fault-object severity token) faults))))
|
|
</span><br/>
|
|
<span class="blank" title="0 out of 0 forms covered">
|
|
301
|
|
</span><br/>
|
|
<span class="covered" title="1 out of 1 forms covered">
|
|
302 (defn coll-object-reference-or-fault
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
303 "As object-reference-or-fault, except `value` argument may also be a list of
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
304 objects and/or object references."
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
305 [value expected-type severity token]
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
306 (cond
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 9 forms covered">
|
|
307 (map? value) (object-reference-or-faults value expected-type severity token)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 5 forms covered">
|
|
308 (coll? value) (concat-non-empty
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
309 (map
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
310 #(object-reference-or-faults
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
311 % expected-type severity token)
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
312 value))
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
313 :else (throw
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 3 forms covered">
|
|
314 (ex-info
|
|
</span><br/>
|
|
<span class="not-tracked" title="0 out of 0 forms covered">
|
|
315 "Argument `value` was not an object, a link to an object, nor a list of these."
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 8 forms covered">
|
|
316 {:arguments {:value value}
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
317 :expected-type expected-type
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
318 :severity severity
|
|
</span><br/>
|
|
<span class="not-covered" title="0 out of 1 forms covered">
|
|
319 :token token}))))
|
|
</span><br/>
|
|
</body>
|
|
</html>
|