Как да изследвате Java методи чрез REPL

Играя си с Clojure и Java Interop и измислих следното, за да проверя методите на някои екземпляри:

(defn methods-of [instance & [string]]
  {:pre [(nil? instance)]}
  (filter #(re-find (re-pattern (or string #".*")) %) (map #(.getName %) (-> instance class .getMethods))))

Но се чудех, като се има предвид, че това е много практичен начин да се получи тази информация от REPL, дали има някаква библиотека, която да постигне това (и повече).


person Andrea Richiardi    schedule 30.08.2014    source източник
comment
Знам за emacs плъгин, който прави това.   -  person Anoop    schedule 30.08.2014
comment
Кое? Би било чудесно да го пренесете, ако е възможно. Не би трябвало да е трудно.   -  person Andrea Richiardi    schedule 30.08.2014
comment
braveclojure.com/using-emacs-with-clojure . . тази връзка намерих онлайн. Не съм сигурен кой е. Бях виждал човек да го използва на среща.   -  person Anoop    schedule 30.08.2014


Отговори (2)


Clojure идва с пространство от имена, което помага при отражението: clojure.reflect. Основната функция за използване е clojure.reflect/reflect.

user> (require '[clojure.reflect :as reflect])
nil
user> (clojure.pprint/pprint (reflect/reflect (java.util.Date.)))
{:bases
 #{java.io.Serializable java.lang.Comparable java.lang.Object
   java.lang.Cloneable},
 :flags #{:public},
 :members
 #{{:name getSeconds,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name serialVersionUID,
    :type long,
    :declaring-class java.util.Date,
    :flags #{:private :static :final}}
   {:name getCalendarDate,
    :return-type sun.util.calendar.BaseCalendar$Date,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:private :final}}
   {:name after,
    :return-type boolean,
    :declaring-class java.util.Date,
    :parameter-types [java.util.Date],
    :exception-types [],
    :flags #{:public}}
   {:name hashCode,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name wtb,
    :type java.lang.String<>,
    :declaring-class java.util.Date,
    :flags #{:private :static :final}}
   {:name setMonth,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:public}}
   {:name getMonth,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name getCalendarSystem,
    :return-type sun.util.calendar.BaseCalendar,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:private :static :final}}
   {:name fastTime,
    :type long,
    :declaring-class java.util.Date,
    :flags #{:transient :private}}
   {:name defaultCenturyStart,
    :type int,
    :declaring-class java.util.Date,
    :flags #{:private :static}}
   {:name writeObject,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [java.io.ObjectOutputStream],
    :exception-types [java.io.IOException],
    :flags #{:private}}
   {:name getMillisOf,
    :return-type long,
    :declaring-class java.util.Date,
    :parameter-types [java.util.Date],
    :exception-types [],
    :flags #{:static :final}}
   {:name getMinutes,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name ttb,
    :type int<>,
    :declaring-class java.util.Date,
    :flags #{:private :static :final}}
   {:name setDate,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:public}}
   {:name setSeconds,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:public}}
   {:name java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [long],
    :exception-types [],
    :flags #{:public}}
   {:name getTimeImpl,
    :return-type long,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:private :final}}
   {:name setYear,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:public}}
   {:name normalize,
    :return-type sun.util.calendar.BaseCalendar$Date,
    :declaring-class java.util.Date,
    :parameter-types [sun.util.calendar.BaseCalendar$Date],
    :exception-types [],
    :flags #{:private :final}}
   {:name getHours,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name getYear,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [int int int int int int],
    :exception-types [],
    :flags #{:public}}
   {:name java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name UTC,
    :return-type long,
    :declaring-class java.util.Date,
    :parameter-types [int int int int int int],
    :exception-types [],
    :flags #{:static :public}}
   {:name getTime,
    :return-type long,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name getJulianCalendar,
    :return-type sun.util.calendar.BaseCalendar,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:synchronized :private :static :final}}
   {:name getCalendarSystem,
    :return-type sun.util.calendar.BaseCalendar,
    :declaring-class java.util.Date,
    :parameter-types [sun.util.calendar.BaseCalendar$Date],
    :exception-types [],
    :flags #{:private :static :final}}
   {:name setTime,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [long],
    :exception-types [],
    :flags #{:public}}
   {:name setMinutes,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:public}}
   {:name cdate,
    :type sun.util.calendar.BaseCalendar$Date,
    :declaring-class java.util.Date,
    :flags #{:transient :private}}
   {:name getDay,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name toString,
    :return-type java.lang.String,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [int int int int int],
    :exception-types [],
    :flags #{:public}}
   {:name java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [int int int],
    :exception-types [],
    :flags #{:public}}
   {:name toInstant,
    :return-type java.time.Instant,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name clone,
    :return-type java.lang.Object,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name from,
    :return-type java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [java.time.Instant],
    :exception-types [],
    :flags #{:static :public}}
   {:name compareTo,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [java.util.Date],
    :exception-types [],
    :flags #{:public}}
   {:name toLocaleString,
    :return-type java.lang.String,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name convertToAbbr,
    :return-type java.lang.StringBuilder,
    :declaring-class java.util.Date,
    :parameter-types [java.lang.StringBuilder java.lang.String],
    :exception-types [],
    :flags #{:private :static :final}}
   {:name getTimezoneOffset,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name toGMTString,
    :return-type java.lang.String,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name normalize,
    :return-type sun.util.calendar.BaseCalendar$Date,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:private :final}}
   {:name parse,
    :return-type long,
    :declaring-class java.util.Date,
    :parameter-types [java.lang.String],
    :exception-types [],
    :flags #{:static :public}}
   {:name jcal,
    :type sun.util.calendar.BaseCalendar,
    :declaring-class java.util.Date,
    :flags #{:private :static}}
   {:name gcal,
    :type sun.util.calendar.BaseCalendar,
    :declaring-class java.util.Date,
    :flags #{:private :static :final}}
   {:name before,
    :return-type boolean,
    :declaring-class java.util.Date,
    :parameter-types [java.util.Date],
    :exception-types [],
    :flags #{:public}}
   {:name compareTo,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [java.lang.Object],
    :exception-types [],
    :flags #{:synthetic :bridge :public}}
   {:name getDate,
    :return-type int,
    :declaring-class java.util.Date,
    :parameter-types [],
    :exception-types [],
    :flags #{:public}}
   {:name readObject,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [java.io.ObjectInputStream],
    :exception-types
    [java.io.IOException java.lang.ClassNotFoundException],
    :flags #{:private}}
   {:name setHours,
    :return-type void,
    :declaring-class java.util.Date,
    :parameter-types [int],
    :exception-types [],
    :flags #{:public}}
   {:name getCalendarSystem,
    :return-type sun.util.calendar.BaseCalendar,
    :declaring-class java.util.Date,
    :parameter-types [long],
    :exception-types [],
    :flags #{:private :static :final}}
   {:name equals,
    :return-type boolean,
    :declaring-class java.util.Date,
    :parameter-types [java.lang.Object],
    :exception-types [],
    :flags #{:public}}
   {:name java.util.Date,
    :declaring-class java.util.Date,
    :parameter-types [java.lang.String],
    :exception-types [],
    :flags #{:public}}}}
nil
user> 

Понякога е по-лесно да използвате bean, за да видите различните налични полета.

user> (clojure.pprint/pprint (bean (java.util.Date.)))
{:seconds 9,
 :date 30,
 :class java.util.Date,
 :minutes 13,
 :hours 8,
 :year 114,
 :timezoneOffset 420,
 :month 7,
 :day 6,
 :time 1409411589031}
nil

Използване на reflect/reflect за изброяване на всички имена на методи (както правехте във вашия пример):

user> (->> (reflect/reflect (java.util.Date.)) :members (filter :return-type) (map :name))
(getSeconds getCalendarDate after hashCode setMonth getMonth getCalendarSystem writeObject getMillisOf getMinutes setDate setSeconds getTimeImpl setYear normalize getHours getYear UTC getTime getJulianCalendar getCalendarSystem setTime setMinutes getDay toString toInstant clone from compareTo toLocaleString convertToAbbr getTimezoneOffset toGMTString normalize parse before compareTo getDate readObject setHours getCalendarSystem equals)
person noisesmith    schedule 30.08.2014
comment
Благодаря ви, много хубаво, но все още многословно и липсва частта за филтриране (със сигурност обаче не е трудно да се приложи функционалността). Ще го проуча. - person Andrea Richiardi; 30.08.2014
comment
Филтрирането може да бъде направено по същия начин, както би било направено с всички други собствени данни на clojure. Например можете да направите (->> (reflect/reflect (java.util.Date.)) :members (filter :return-type)), за да получите само методи, можете допълнително да филтрирате, за да премахнете методи, които връщат или приемат определени типове или аргументи... - person noisesmith; 30.08.2014

Разгледайте iroh.

> (.? String  #"^conta") ;; grep all fields/methods that start with conta
(#[contains :: (java.lang.String, java.lang.CharSequence) -> boolean])
> (.? String  #"^con" :name) ;; return just the name of the method/field
("concat" "contains" "contentEquals")
> (.? "string instance"  #"^con" :name) ;; works with instances also
("concat" "contains" "contentEquals")
> (.? "a string instance" :static :name :public :method) ; all public static methods
("copyValueOf" "format" "join" "valueOf")
> (.? "a string instance" #"^t" :instance :name :public :method) ;; all public instance methods that start with t
("toCharArray" "toLowerCase" "toString" "toUpperCase" "trim")
person DanLebrero    schedule 30.08.2014
comment
Уау, това търсех! - person Andrea Richiardi; 30.08.2014
comment
Разкъсвам се между това и другото, исках да изчакам да видя колко гласа за получават и двете. - person Andrea Richiardi; 04.09.2014