yogsototh/kibit
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

fixed issue #31

Browse source
This commit is contained in:
Jonas Enlund 2012-05-20 08:12:05 +03:00
parent 820d26ad0b
commit 0f6bbc689a
1 changed files with 24 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

25
src/kibit/rules/misc.clj
View file

@ -2,6 +2,16 @@
(:require [clojure.core.logic :as logic])
(:use [kibit.rules.util :only [defrules]]))
;; Returns true if symbol is of
;; form Foo or foo.bar.Baz
(defn class-symbol? [sym]
(let [sym (pr-str sym)
idx (.lastIndexOf sym ".")]
(if (neg? idx)
(Character/isUpperCase (first sym))
(Character/isUpperCase (nth sym (inc idx))))))
(defrules rules
;; clojure.string
[(apply str (interpose ?x ?y)) (clojure.string/join ?x ?y)]
@ -38,10 +48,23 @@
(let [obj (logic/lvar)
method (logic/lvar)
args (logic/lvar)]
[#(logic/== % (logic/llist '. obj method args))
[#(logic/all
(logic/== % (logic/llist '. obj method args))
(logic/pred obj (complement class-symbol?)))
#(logic/project [method args]
(logic/== % `(~(symbol (str "." method)) ~obj ~@args)))])
(let [klass (logic/lvar)
static-method (logic/lvar)
args (logic/lvar)]
[#(logic/all
(logic/== % (logic/llist '. klass static-method args))
(logic/pred klass class-symbol?))
#(logic/project [klass static-method args]
(let [s? (seq? static-method)
args (if s? (rest static-method) args)
static-method (if s? (first static-method) static-method)]
(logic/== % `(~(symbol (str klass "/" static-method)) ~@args))))])
;; Threading
(let [form (logic/lvar)