├── doc └── intro.md ├── .gitignore ├── resources └── public │ └── index.html ├── CHANGELOG.md ├── project.clj ├── src └── pretty_spec │ ├── printer.cljc │ └── core.cljc ├── README.md ├── test └── pretty_spec │ └── core_test.clj └── LICENSE /doc/intro.md: -------------------------------------------------------------------------------- 1 | # Introduction to pretty-spec 2 | 3 | TODO: write [great documentation](http://jacobian.org/writing/what-to-write/) 4 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- 1 | /target 2 | /classes 3 | /checkouts 4 | pom.xml 5 | pom.xml.asc 6 | *.jar 7 | *.class 8 | /.lein-* 9 | /.nrepl-port 10 | .hgignore 11 | .hg/ 12 | -------------------------------------------------------------------------------- /resources/public/index.html: -------------------------------------------------------------------------------- 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- 1 | # Change Log 2 | All notable changes to this project will be documented in this file. This change log follows the conventions of [keepachangelog.com](http://keepachangelog.com/). 3 | 4 | ## [Unreleased] 5 | 6 | ## 0.1.3 - 2017-08-12 7 | ### Addeed 8 | - Add :ns-aliases to pprint options 9 | 10 | [Unreleased]: https://github.com/your-name/pretty-spec/compare/0.1.1...HEAD 11 | [0.1.1]: https://github.com/your-name/pretty-spec/compare/0.1.0...0.1.1 12 | -------------------------------------------------------------------------------- /project.clj: -------------------------------------------------------------------------------- 1 | (defproject pretty-spec "0.1.4" 2 | :description "A pretty printer for clojure.spec forms." 3 | :url "https://github.com/jpmonettas/pretty-spec" 4 | :license {:name "Eclipse Public License" 5 | :url "http://www.eclipse.org/legal/epl-v10.html"} 6 | :dependencies [[org.clojure/clojure "1.10.1" :scope "provided"] 7 | [org.clojure/clojurescript "1.10.597" :scope "provided"] 8 | [fipp "0.6.8"]] 9 | :target-path "target/%s" 10 | 11 | :source-paths ["src"] 12 | 13 | :cljsbuild {:builds [{:id "dev" 14 | :figwheel true 15 | :source-paths ["src"] 16 | :compiler {:main pretty-spec.core 17 | :output-to "resources/public/js/compiled/app.js" 18 | :output-dir "resources/public/js/out" 19 | :asset-path "js/out" 20 | :optimizations :none}}]} 21 | 22 | :profiles {:uberjar {:aot :all} 23 | :dev {:dependencies [[com.cemerick/piggieback "0.2.2"] 24 | [figwheel-sidecar "0.5.11"] 25 | [com.stuartsierra/dependency "0.2.0"] 26 | [ring/ring-spec "0.0.3"] ; Real-world specs for testing 27 | [com.gfredericks/test.chuck "0.2.7"]] 28 | :repl-options {:nrepl-middleware [cemerick.piggieback/wrap-cljs-repl]}}}) 29 | -------------------------------------------------------------------------------- /src/pretty_spec/printer.cljc: -------------------------------------------------------------------------------- 1 | (ns pretty-spec.printer 2 | (:require [fipp.visit :as fipp-visit :refer [visit]] 3 | [fipp.edn :as fipp-edn :refer [pretty-coll]] 4 | [fipp.ednize :refer [edn record->tagged]] 5 | [fipp.visit :as fipp-visit :refer [visit visit*]])) 6 | 7 | 8 | ;; Copy of fipps edn printer but with support for ns-aliases 9 | (defrecord EdnPrinter [symbols ns-aliases] 10 | 11 | fipp-visit/IVisitor 12 | 13 | (visit-unknown [this x] (visit this (edn x))) 14 | 15 | (visit-nil [this] [:text "nil"]) 16 | 17 | (visit-boolean [this x] 18 | [:text (str x)]) 19 | 20 | (visit-string [this x] 21 | [:text (pr-str x)]) 22 | 23 | (visit-character [this x] 24 | [:text (pr-str x)]) 25 | 26 | (visit-symbol [this x] 27 | (let [x' (if (and (qualified-symbol? x) 28 | (contains? ns-aliases (namespace x))) 29 | (symbol (ns-aliases (namespace x)) (name x)) 30 | x)] 31 | [:text (str x')])) 32 | 33 | (visit-keyword [this x] 34 | (let [x' (if (and (qualified-keyword? x) 35 | (contains? ns-aliases (namespace x))) 36 | (keyword (ns-aliases (namespace x)) (name x)) 37 | x)] 38 | [:text (str x')])) 39 | 40 | (visit-number [this x] 41 | [:text (pr-str x)]) 42 | 43 | (visit-seq [this x] 44 | (if-let [pretty (symbols (first x))] 45 | (pretty this x) 46 | (pretty-coll this "(" x :line ")" visit))) 47 | 48 | (visit-vector [this x] 49 | (pretty-coll this "[" x :line "]" visit)) 50 | 51 | (visit-map [this x] 52 | (pretty-coll this "{" x [:span "," :line] "}" 53 | (fn [printer [k v]] 54 | [:span (visit printer k) " " (visit printer v)]))) 55 | 56 | (visit-set [this x] 57 | (pretty-coll this "#{" x :line "}" visit)) 58 | 59 | (visit-tagged [this {:keys [tag form]}] 60 | [:group "#" (pr-str tag) 61 | (visit this form)]) 62 | 63 | (visit-meta [this m x] 64 | (visit* this x)) 65 | 66 | (visit-var [this x] 67 | [:text (str x)]) 68 | 69 | (visit-pattern [this x] 70 | [:text (pr-str x)]) 71 | 72 | (visit-record [this x] 73 | (visit this (record->tagged x)))) 74 | 75 | -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- 1 | # Pretty-Spec 2 | 3 | A clojure.spec form pretty printer for Clojure and ClojureScript. 4 | 5 | Extends [fipp](https://github.com/brandonbloom/fipp) pretty printer with rules for printing 6 | clojure.spec forms. 7 | 8 | This is just a simple library that does this one thing. 9 | 10 | Checkout [inspectable](https://github.com/jpmonettas/inspectable) or [expound](https://github.com/bhb/expound) 11 | if you are looking for spec browsing and explain-data analyzing. 12 | 13 | Installation 14 | ------------ 15 | 16 | **Pretty-Spec** is available as a Maven artifact from Clojars. 17 | 18 | The latest released version is: [![Clojars Project](https://img.shields.io/clojars/v/pretty-spec.svg)](https://clojars.org/pretty-spec)
19 | 20 | Usage 21 | ----- 22 | 23 | ```clojure 24 | user> (require '[clojure.spec.alpha :as s]) 25 | nil 26 | user> (require '[pretty-spec.core :as pspec]) 27 | nil 28 | user> (pspec/pprint (s/form 'clojure.core/let)) 29 | 30 | ; (clojure.spec.alpha/fspec 31 | ; :args (clojure.spec.alpha/cat 32 | ; :bindings :clojure.core.specs.alpha/bindings 33 | ; :body (clojure.spec.alpha/* clojure.core/any?)) 34 | ; :ret clojure.core/any? 35 | ; :fn nil) 36 | 37 | nil 38 | ``` 39 | 40 | Comparing to vanilla clojure.pprint: 41 | 42 | ```clojure 43 | user> (clojure.pprint/pprint (s/form 'clojure.core/let)) 44 | 45 | ; (clojure.spec.alpha/fspec 46 | ; :args 47 | ; (clojure.spec.alpha/cat 48 | ; :bindings 49 | ; :clojure.core.specs.alpha/bindings 50 | ; :body 51 | ; (clojure.spec.alpha/* clojure.core/any?)) 52 | ; :ret 53 | ; clojure.core/any? 54 | ; :fn 55 | ; nil) 56 | 57 | nil 58 | ``` 59 | 60 | Options 61 | ------- 62 | 63 | Pretty-spec pprint accepts the same options as [fipp](https://github.com/brandonbloom/fipp) pprint 64 | plus :ns-aliases which you can use to make your pprint even more redable. 65 | 66 | ```clojure 67 | user> (pspec/pprint (s/form 'clojure.core/let) 68 | {:ns-aliases {"clojure.spec.alpha" "s" 69 | "clojure.core.specs.alpha" "score" 70 | "clojure.core" nil}}) 71 | 72 | ; (s/fspec 73 | ; :args (s/cat :bindings :score/bindings :body (s/* any?)) 74 | ; :ret any? 75 | ; :fn nil) 76 | 77 | ``` 78 | -------------------------------------------------------------------------------- /test/pretty_spec/core_test.clj: -------------------------------------------------------------------------------- 1 | (ns pretty-spec.core-test 2 | (:require [clojure.core.specs.alpha] ; side-effect: loads specs 3 | [clojure.spec.alpha :as s] 4 | [clojure.string :as string] 5 | [clojure.test :refer :all] 6 | [clojure.test.check.generators :as gen] 7 | [com.gfredericks.test.chuck.clojure-test :refer [checking]] 8 | [com.stuartsierra.dependency :as deps] 9 | [fipp.clojure :as fipp] 10 | [pretty-spec.core :refer :all] 11 | [ring.core.spec] ; side effect: loads specs 12 | )) 13 | 14 | (defn spec-dependencies [spec] 15 | (->> spec 16 | s/form 17 | (tree-seq coll? seq ) 18 | (filter #(and (s/get-spec %) 19 | (not= spec %))) 20 | distinct)) 21 | 22 | (defn topo-sort [specs] 23 | (let [sorted (deps/topo-sort 24 | (reduce 25 | (fn [gr spec] 26 | (reduce 27 | (fn [g d] 28 | ;; If this creates a circular reference, then 29 | ;; just skip it. 30 | (if (deps/depends? g d spec) 31 | g 32 | (deps/depend g spec d))) 33 | gr 34 | (spec-dependencies spec))) 35 | (deps/graph) 36 | specs))] 37 | ;; Add any specs that have no dependencies and remove dupes 38 | (distinct (into sorted specs)))) 39 | 40 | (defn spec-gen [prefix] 41 | (->> (s/registry) 42 | (map key) 43 | (filter #(string/starts-with? (str %) (pr-str prefix))) 44 | topo-sort 45 | (filter keyword?) 46 | gen/elements)) 47 | 48 | (defn ignore-whitespace [s] 49 | (string/trim (string/replace s #"\s+" " "))) 50 | 51 | (s/def ::map (s/map-of keyword? any?)) 52 | (s/def ::sorted-map (s/map-of keyword? any? 53 | :into (sorted-map))) 54 | (deftest test-specs 55 | (checking 56 | "test specs are printed without losing information" 57 | 100 58 | [spec (spec-gen :pretty-spec.core-test)] 59 | (is (= (ignore-whitespace (with-out-str (fipp/pprint (s/form spec)))) 60 | (ignore-whitespace (with-out-str (pprint (s/form spec)))))))) 61 | 62 | (deftest clojure-core-specs 63 | (checking 64 | "all clojure.core specs are printed without losing information" 65 | 100 66 | [spec (spec-gen :clojure.core)] 67 | (is (= (ignore-whitespace (with-out-str (fipp/pprint (s/form spec)))) 68 | (ignore-whitespace (with-out-str (pprint (s/form spec)))))))) 69 | 70 | (deftest ring-specs 71 | (checking 72 | "all ring specs are printed without losing information" 73 | 100 74 | [spec (spec-gen :ring)] 75 | (is (= (ignore-whitespace (with-out-str (fipp/pprint (s/form spec)))) 76 | (ignore-whitespace (with-out-str (pprint (s/form spec)))))))) 77 | -------------------------------------------------------------------------------- /src/pretty_spec/core.cljc: -------------------------------------------------------------------------------- 1 | (ns pretty-spec.core 2 | (:require [clojure.spec.alpha :as s] 3 | [fipp.engine :refer [pprint-document]] 4 | [fipp.clojure :as fipp-clojure] 5 | [fipp.edn :as fipp-edn] 6 | [fipp.visit :as fipp-visit :refer [visit]] 7 | [pretty-spec.printer :as printer])) 8 | 9 | 10 | (defn- build-arg-pairs [p [f & args]] 11 | [:group "(" 12 | [:align (visit p f) :line 13 | (->> (partition 2 args) 14 | (map (fn [[p1 p2]] 15 | [:span (visit p p1) " " (visit p p2)])) 16 | (interpose :line)) 17 | ")"]]) 18 | 19 | (defn- build-one-arg-and-opts [p [f & args]] 20 | [:group "(" 21 | [:align (visit p f) :line (visit p (first args)) 22 | (when (next args) :line) 23 | (->> (partition 2 (rest args)) 24 | (map (fn [[optk optv]] 25 | [:span (visit p optk) " " (visit p optv)])) 26 | (interpose :line)) 27 | ")"]]) 28 | 29 | (defn- build-two-arg-and-opts [p [f kp vp & args]] 30 | [:group "(" 31 | [:align (visit p f) :line (visit p kp) :line (visit p vp) 32 | (when (next args) :line) 33 | (->> (partition 2 args) 34 | (map (fn [[optk optv]] 35 | [:span (visit p optk) " " (visit p optv)])) 36 | (interpose :line)) 37 | ")"]]) 38 | 39 | (defn- build-args [p [f & args]] 40 | [:group "(" 41 | [:align (visit p f) :line 42 | (->> args 43 | (map (partial visit p)) 44 | (interpose :line)) 45 | ")"]]) 46 | 47 | (defn- build-keys-vec [p ks] 48 | [:group "[" 49 | [:align (->> ks 50 | (map (partial visit p)) 51 | (interpose :line))] 52 | "]"]) 53 | 54 | (defn- build-keys [p [f & args]] 55 | [:group "(" 56 | [:align (visit p f) :line 57 | (->> (partition 2 args) 58 | (map (fn [[k v]] 59 | [:span (visit p k) " " (build-keys-vec p v)])) 60 | (interpose :line)) 61 | ")"]]) 62 | 63 | (defn- build-one-arg [p [f & args]] 64 | [:group "(" 65 | [:align (visit p f) " " (visit p (first args)) ")"]]) 66 | 67 | 68 | (defn build-symbol-map [dispatch] 69 | (into {} (for [[pretty-fn syms] dispatch 70 | sym syms 71 | sym (cons sym [(symbol "clojure.spec.alpha" (name sym)) 72 | (symbol "cljs.spec.alpha" (name sym))])] 73 | [sym pretty-fn]))) 74 | 75 | (def default-symbols 76 | (build-symbol-map 77 | {build-arg-pairs '[fspec or cat alt] 78 | build-one-arg-and-opts '[coll-of map-of] 79 | build-two-arg-and-opts '[map-of] 80 | build-args '[and merge conformer tuple] 81 | build-keys '[keys] 82 | build-one-arg '[? + * nilable]})) 83 | 84 | (defn spec-printer [options] 85 | (printer/map->EdnPrinter (merge {:symbols (merge default-symbols 86 | fipp-clojure/default-symbols)} 87 | options))) 88 | 89 | (def ^:dynamic *print-document* false) 90 | 91 | (defn pprint 92 | "Pretty prints a spec form as returned by (clojure.spec/form ...) 93 | Options are the same as in https://github.com/brandonbloom/fipp plus 94 | :ns-aliases, a map of strings to string with ns replacements." 95 | ([form] (pprint form {})) 96 | ([form options] 97 | (pprint form options (spec-printer options))) 98 | ([form options printer] 99 | (let [doc (fipp-visit/visit printer form)] 100 | (when *print-document* 101 | (prn "------------ Fipp doc ----------") 102 | (fipp-edn/pprint doc) 103 | (prn "------------ End Fipp doc ----------")) 104 | (pprint-document doc options)))) 105 | 106 | -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- 1 | THE ACCOMPANYING PROGRAM IS PROVIDED UNDER THE TERMS OF THIS ECLIPSE PUBLIC 2 | LICENSE ("AGREEMENT"). ANY USE, REPRODUCTION OR DISTRIBUTION OF THE PROGRAM 3 | CONSTITUTES RECIPIENT'S ACCEPTANCE OF THIS AGREEMENT. 4 | 5 | 1. DEFINITIONS 6 | 7 | "Contribution" means: 8 | 9 | a) in the case of the initial Contributor, the initial code and 10 | documentation distributed under this Agreement, and 11 | 12 | b) in the case of each subsequent Contributor: 13 | 14 | i) changes to the Program, and 15 | 16 | ii) additions to the Program; 17 | 18 | where such changes and/or additions to the Program originate from and are 19 | distributed by that particular Contributor. A Contribution 'originates' from 20 | a Contributor if it was added to the Program by such Contributor itself or 21 | anyone acting on such Contributor's behalf. Contributions do not include 22 | additions to the Program which: (i) are separate modules of software 23 | distributed in conjunction with the Program under their own license 24 | agreement, and (ii) are not derivative works of the Program. 25 | 26 | "Contributor" means any person or entity that distributes the Program. 27 | 28 | "Licensed Patents" mean patent claims licensable by a Contributor which are 29 | necessarily infringed by the use or sale of its Contribution alone or when 30 | combined with the Program. 31 | 32 | "Program" means the Contributions distributed in accordance with this 33 | Agreement. 34 | 35 | "Recipient" means anyone who receives the Program under this Agreement, 36 | including all Contributors. 37 | 38 | 2. GRANT OF RIGHTS 39 | 40 | a) Subject to the terms of this Agreement, each Contributor hereby grants 41 | Recipient a non-exclusive, worldwide, royalty-free copyright license to 42 | reproduce, prepare derivative works of, publicly display, publicly perform, 43 | distribute and sublicense the Contribution of such Contributor, if any, and 44 | such derivative works, in source code and object code form. 45 | 46 | b) Subject to the terms of this Agreement, each Contributor hereby grants 47 | Recipient a non-exclusive, worldwide, royalty-free patent license under 48 | Licensed Patents to make, use, sell, offer to sell, import and otherwise 49 | transfer the Contribution of such Contributor, if any, in source code and 50 | object code form. This patent license shall apply to the combination of the 51 | Contribution and the Program if, at the time the Contribution is added by the 52 | Contributor, such addition of the Contribution causes such combination to be 53 | covered by the Licensed Patents. The patent license shall not apply to any 54 | other combinations which include the Contribution. No hardware per se is 55 | licensed hereunder. 56 | 57 | c) Recipient understands that although each Contributor grants the licenses 58 | to its Contributions set forth herein, no assurances are provided by any 59 | Contributor that the Program does not infringe the patent or other 60 | intellectual property rights of any other entity. Each Contributor disclaims 61 | any liability to Recipient for claims brought by any other entity based on 62 | infringement of intellectual property rights or otherwise. As a condition to 63 | exercising the rights and licenses granted hereunder, each Recipient hereby 64 | assumes sole responsibility to secure any other intellectual property rights 65 | needed, if any. For example, if a third party patent license is required to 66 | allow Recipient to distribute the Program, it is Recipient's responsibility 67 | to acquire that license before distributing the Program. 68 | 69 | d) Each Contributor represents that to its knowledge it has sufficient 70 | copyright rights in its Contribution, if any, to grant the copyright license 71 | set forth in this Agreement. 72 | 73 | 3. REQUIREMENTS 74 | 75 | A Contributor may choose to distribute the Program in object code form under 76 | its own license agreement, provided that: 77 | 78 | a) it complies with the terms and conditions of this Agreement; and 79 | 80 | b) its license agreement: 81 | 82 | i) effectively disclaims on behalf of all Contributors all warranties and 83 | conditions, express and implied, including warranties or conditions of title 84 | and non-infringement, and implied warranties or conditions of merchantability 85 | and fitness for a particular purpose; 86 | 87 | ii) effectively excludes on behalf of all Contributors all liability for 88 | damages, including direct, indirect, special, incidental and consequential 89 | damages, such as lost profits; 90 | 91 | iii) states that any provisions which differ from this Agreement are offered 92 | by that Contributor alone and not by any other party; and 93 | 94 | iv) states that source code for the Program is available from such 95 | Contributor, and informs licensees how to obtain it in a reasonable manner on 96 | or through a medium customarily used for software exchange. 97 | 98 | When the Program is made available in source code form: 99 | 100 | a) it must be made available under this Agreement; and 101 | 102 | b) a copy of this Agreement must be included with each copy of the Program. 103 | 104 | Contributors may not remove or alter any copyright notices contained within 105 | the Program. 106 | 107 | Each Contributor must identify itself as the originator of its Contribution, 108 | if any, in a manner that reasonably allows subsequent Recipients to identify 109 | the originator of the Contribution. 110 | 111 | 4. COMMERCIAL DISTRIBUTION 112 | 113 | Commercial distributors of software may accept certain responsibilities with 114 | respect to end users, business partners and the like. While this license is 115 | intended to facilitate the commercial use of the Program, the Contributor who 116 | includes the Program in a commercial product offering should do so in a 117 | manner which does not create potential liability for other Contributors. 118 | Therefore, if a Contributor includes the Program in a commercial product 119 | offering, such Contributor ("Commercial Contributor") hereby agrees to defend 120 | and indemnify every other Contributor ("Indemnified Contributor") against any 121 | losses, damages and costs (collectively "Losses") arising from claims, 122 | lawsuits and other legal actions brought by a third party against the 123 | Indemnified Contributor to the extent caused by the acts or omissions of such 124 | Commercial Contributor in connection with its distribution of the Program in 125 | a commercial product offering. The obligations in this section do not apply 126 | to any claims or Losses relating to any actual or alleged intellectual 127 | property infringement. In order to qualify, an Indemnified Contributor must: 128 | a) promptly notify the Commercial Contributor in writing of such claim, and 129 | b) allow the Commercial Contributor to control, and cooperate with the 130 | Commercial Contributor in, the defense and any related settlement 131 | negotiations. The Indemnified Contributor may participate in any such claim 132 | at its own expense. 133 | 134 | For example, a Contributor might include the Program in a commercial product 135 | offering, Product X. That Contributor is then a Commercial Contributor. If 136 | that Commercial Contributor then makes performance claims, or offers 137 | warranties related to Product X, those performance claims and warranties are 138 | such Commercial Contributor's responsibility alone. Under this section, the 139 | Commercial Contributor would have to defend claims against the other 140 | Contributors related to those performance claims and warranties, and if a 141 | court requires any other Contributor to pay any damages as a result, the 142 | Commercial Contributor must pay those damages. 143 | 144 | 5. NO WARRANTY 145 | 146 | EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, THE PROGRAM IS PROVIDED ON 147 | AN "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, EITHER 148 | EXPRESS OR IMPLIED INCLUDING, WITHOUT LIMITATION, ANY WARRANTIES OR 149 | CONDITIONS OF TITLE, NON-INFRINGEMENT, MERCHANTABILITY OR FITNESS FOR A 150 | PARTICULAR PURPOSE. Each Recipient is solely responsible for determining the 151 | appropriateness of using and distributing the Program and assumes all risks 152 | associated with its exercise of rights under this Agreement , including but 153 | not limited to the risks and costs of program errors, compliance with 154 | applicable laws, damage to or loss of data, programs or equipment, and 155 | unavailability or interruption of operations. 156 | 157 | 6. DISCLAIMER OF LIABILITY 158 | 159 | EXCEPT AS EXPRESSLY SET FORTH IN THIS AGREEMENT, NEITHER RECIPIENT NOR ANY 160 | CONTRIBUTORS SHALL HAVE ANY LIABILITY FOR ANY DIRECT, INDIRECT, INCIDENTAL, 161 | SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING WITHOUT LIMITATION 162 | LOST PROFITS), HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN 163 | CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) 164 | ARISING IN ANY WAY OUT OF THE USE OR DISTRIBUTION OF THE PROGRAM OR THE 165 | EXERCISE OF ANY RIGHTS GRANTED HEREUNDER, EVEN IF ADVISED OF THE POSSIBILITY 166 | OF SUCH DAMAGES. 167 | 168 | 7. GENERAL 169 | 170 | If any provision of this Agreement is invalid or unenforceable under 171 | applicable law, it shall not affect the validity or enforceability of the 172 | remainder of the terms of this Agreement, and without further action by the 173 | parties hereto, such provision shall be reformed to the minimum extent 174 | necessary to make such provision valid and enforceable. 175 | 176 | If Recipient institutes patent litigation against any entity (including a 177 | cross-claim or counterclaim in a lawsuit) alleging that the Program itself 178 | (excluding combinations of the Program with other software or hardware) 179 | infringes such Recipient's patent(s), then such Recipient's rights granted 180 | under Section 2(b) shall terminate as of the date such litigation is filed. 181 | 182 | All Recipient's rights under this Agreement shall terminate if it fails to 183 | comply with any of the material terms or conditions of this Agreement and 184 | does not cure such failure in a reasonable period of time after becoming 185 | aware of such noncompliance. If all Recipient's rights under this Agreement 186 | terminate, Recipient agrees to cease use and distribution of the Program as 187 | soon as reasonably practicable. However, Recipient's obligations under this 188 | Agreement and any licenses granted by Recipient relating to the Program shall 189 | continue and survive. 190 | 191 | Everyone is permitted to copy and distribute copies of this Agreement, but in 192 | order to avoid inconsistency the Agreement is copyrighted and may only be 193 | modified in the following manner. The Agreement Steward reserves the right to 194 | publish new versions (including revisions) of this Agreement from time to 195 | time. No one other than the Agreement Steward has the right to modify this 196 | Agreement. The Eclipse Foundation is the initial Agreement Steward. The 197 | Eclipse Foundation may assign the responsibility to serve as the Agreement 198 | Steward to a suitable separate entity. Each new version of the Agreement will 199 | be given a distinguishing version number. The Program (including 200 | Contributions) may always be distributed subject to the version of the 201 | Agreement under which it was received. In addition, after a new version of 202 | the Agreement is published, Contributor may elect to distribute the Program 203 | (including its Contributions) under the new version. Except as expressly 204 | stated in Sections 2(a) and 2(b) above, Recipient receives no rights or 205 | licenses to the intellectual property of any Contributor under this 206 | Agreement, whether expressly, by implication, estoppel or otherwise. All 207 | rights in the Program not expressly granted under this Agreement are 208 | reserved. 209 | 210 | This Agreement is governed by the laws of the State of New York and the 211 | intellectual property laws of the United States of America. No party to this 212 | Agreement will bring a legal action under this Agreement more than one year 213 | after the cause of action arose. Each party waives its rights to a jury trial 214 | in any resulting litigation. 215 | --------------------------------------------------------------------------------