more tests

Author: bronsa

src/test/clojure/clojure/tools/analyzer/jvm/passes_test.clj

@@ -21,10 +21,11 @@
             [clojure.tools.analyzer.passes.jvm.fix-case-test :refer [fix-case-test]]
             [clojure.tools.analyzer.passes.jvm.analyze-host-expr :refer [analyze-host-expr]]
             [clojure.tools.analyzer.passes.jvm.classify-invoke :refer [classify-invoke]])
-  (:import (clojure.lang Keyword Var Symbol AFunction
+  (:import (clojure.lang Keyword Var Symbol AFunction ExceptionInfo
                          PersistentVector PersistentArrayMap PersistentHashSet ISeq)
            java.util.regex.Pattern
-           (java.io File)))
+           (java.io File)
+           (java.util UUID Arrays)))
 
 (defn validate [ast]
   (env/with-env (ana.jvm/global-env)
@@ -294,3 +295,74 @@
 
   (let [a (ast1 Boolean/TYPE)]
     (is (= :static-field (:op a)))))
+
+(deftest bad-method-names-test
+  (is (thrown? ExceptionInfo (ast1 String/foo)))
+  (is (thrown? ExceptionInfo (ast1 String/.foo)))
+  (is (thrown? ExceptionInfo (ast1 Math/new))))
+
+(deftest param-tags-method-signature-selection-test
+  (let [a (ana (r/read-string "^[double] Math/abs"))]
+    (is (= :method-value (:op a)))
+    (is (= 1 (count (:methods a))))
+    (is (:validated? a)))
+
+  (let [a (ana (r/read-string "^[float] Math/abs"))]
+    (is (= :method-value (:op a)))
+    (is (= 1 (count (:methods a))))
+    (is (:validated? a)))
+
+  (let [a (ana (r/read-string "^[long] Math/abs"))]
+    (is (= :method-value (:op a)))
+    (is (= 1 (count (:methods a))))
+    (is (:validated? a)))
+
+  (let [a (ana (r/read-string "^[int] Math/abs"))]
+    (is (= :method-value (:op a)))
+    (is (= 1 (count (:methods a))))
+    (is (:validated? a))))
+
+(deftest param-tags-constructor-invocation-test
+  (let [a (ana (r/read-string "(^[long long] java.util.UUID/new 1 2)"))]
+    (is (= :new (:op a)))
+    (is (:validated? a))
+    (is (= '[long long] (:param-tags a))))
+
+  (let [a (ana (r/read-string "(^[String] String/new \"a\")"))]
+    (is (= :new (:op a)))
+    (is (:validated? a))
+    (is (= '[String] (:param-tags a)))))
+
+(deftest param-tags-no-arg-invocation-test
+  (let [a (ana (r/read-string "(^[] String/.toUpperCase \"hello\")"))]
+    (is (= :instance-call (:op a)))
+    (is (:validated? a))
+    (is (= '[] (:param-tags a))))
+
+  (let [a (ana (r/read-string "(^[] Long/.toString 42)"))]
+    (is (= :instance-call (:op a)))
+    (is (:validated? a))
+    (is (= '[] (:param-tags a)))))
+
+(deftest param-tags-wildcard-test
+  (let [a (ana (r/read-string "(^[_ _] String/.substring \"hello\" 1 3)"))]
+    (is (= :instance-call (:op a)))
+    (is (:validated? a))
+    (is (= '[_ _] (:param-tags a)))))
+
+(deftest param-tags-array-types-test
+  (let [a (ana (r/read-string "^[long/1 long] java.util.Arrays/binarySearch"))]
+    (is (= :method-value (:op a)))
+    (is (= 1 (count (:methods a))))
+    (is (:validated? a)))
+
+  (let [a (ana (r/read-string "^[Object/1 _] java.util.Arrays/binarySearch"))]
+    (is (= :method-value (:op a)))
+    (is (= 1 (count (:methods a))))
+    (is (:validated? a))))
+
+(deftest bad-param-tags-test
+  (is (thrown? ExceptionInfo (ana (r/read-string "^[String String] Math/abs"))))
+  (is (thrown? ExceptionInfo (ana (r/read-string "(^[] String/foo \"a\")"))))
+  (is (thrown? ExceptionInfo (ana (r/read-string "(^[] String/.foo \"a\")"))))
+  (is (thrown? ExceptionInfo (ana (r/read-string "(^[String String String] java.util.UUID/new 1 2 3)")))))