[241222] tools.analyzer.jvm

(defn var-name [v]
  (let [nm (:name (meta v))
	nsp (.getName ^clojure.lang.Namespace (:ns (meta v)))]
    (symbol (name nsp) (name nm))))

(defn transition-pass
  ;; pass 는 metadata 로 어떻게, 언제 수행할지를 설정할 수 있다. 이는 schedule 에 구현되어있음.
  {:pass-info {:walk :post :depends #{} :after an-jvm/default-passes}}
  [ast]
  (let [transitions (-> (env/deref-env) :passes-opts :transitions)]
    (if (and (= (:op ast) :invoke)       ;; AST 노드가 함수 호출
	     (= (-> ast :fn :op) :var)     ;; 변수인가
	     (contains? transitions (var-name (-> ast :fn :var))))  ;; 변환해야 하는 녀석인가.
      (do
	(merge ast
	       {:op :transitions
		:name (get transitions (var-name (-> ast :fn :var)))}))
      ast))) ;; 다른 노드는 변경하지 않음

;; 메타데이터는 아래코드로 알 수 있음.
(meta #'transition-pass)
(meta (var transition-pass))


;; 사용자 정의 패스를 추가한 패스 목록 생성
;; schedule 은 meta 함수의 메타데이터를 이용해서 설정값을 가진다.
;; {:after    #{...}  ; 이 패스 이전에 실행되어야 하는 패스들
;;  :before   #{...}  ; 이 패스 이후에 실행되어야 하는 패스들
;;  :depends  #{...}  ; 이 패스가 의존하는 패스들
;;  :walk     :none/:post/:pre/:any  ; 트리 순회 방식
;;  :affects  #{...}  ; 이 패스와 같은 트리 순회에 포함되어야 하는 패스들
;;  :state    fn      ; 패스 상태를 초기화하는 함수}
(def custom-passes
  (schedule (into an-jvm/default-passes #{#'transition-pass})))



;; 사용자 정의 패스를 추가한 패스 목록 생성
;; schedule 은 meta 함수의 메타데이터를 이용해서 설정값을 가진다.
;; {:after    #{...}  ; 이 패스 이전에 실행되어야 하는 패스들
;;  :before   #{...}  ; 이 패스 이후에 실행되어야 하는 패스들
;;  :depends  #{...}  ; 이 패스가 의존하는 패스들
;;  :walk     :none/:post/:pre/:any  ; 트리 순회 방식
;;  :affects  #{...}  ; 이 패스와 같은 트리 순회에 포함되어야 하는 패스들
;;  :state    fn      ; 패스 상태를 초기화하는 함수}
(def custom-passes
  (schedule (into an-jvm/default-passes #{#'transition-pass})))

;; 분석할 코드
(defn special [] "fOO")
(defn boom! [] "FFOO")
(def code '(special))

;; plus-to-multiply-pass  도입
(binding [ana.jvm/run-passes custom-passes]
  (-> (ana.jvm/analyze  code
			(ana.jvm/empty-env)
			{:passes-opts (merge ana.jvm/default-passes-opts {:transitions {`special `boom!}})})))
;;=>
{:args [],
 :children [:fn :args],
 :fn
 {:op :var,
  :assignable? false,
  :var #'jvm-analyzer-demo/special,
  :meta
  {:arglists ([]),
   :line 92,
   :column 1,
   :file "/src/jvm_analyzer_demo.clj",
   :name special,
   :ns #namespace[jvm-analyzer-demo]},
  :env
  {:context :ctx/expr,
   :locals {},
   :ns jvm-analyzer-demo,
   :column 12,
   :line 93,
   :file "/src/jvm_analyzer_demo.clj"},
  :form special,
  :o-tag java.lang.Object,
  :arglists ([])},
 :meta {:line 93, :column 12},
 :name jvm-analyzer-demo/boom!,
 :op :transitions,
 :env
 {:context :ctx/expr,
  :locals {},
  :ns jvm-analyzer-demo,
  :column 12,
  :line 93,
  :file "/src/jvm_analyzer_demo.clj"},
 :o-tag java.lang.Object,
 :top-level true,
 :form (special)}