|
|
|
@ -21,11 +21,14 @@
|
|
|
|
|
|
|
|
|
|
;;; Commentary:
|
|
|
|
|
|
|
|
|
|
;; FIXME: Storage mechanism for abstract methods is missing (@abstract-method)
|
|
|
|
|
|
|
|
|
|
;;; Code:
|
|
|
|
|
|
|
|
|
|
(require 'phpinspect-project)
|
|
|
|
|
(require 'phpinspect-autoload)
|
|
|
|
|
(require 'phpinspect-worker)
|
|
|
|
|
(require 'inline)
|
|
|
|
|
|
|
|
|
|
(defcustom phpinspect-load-stubs t
|
|
|
|
|
"If and when phpinspect should load code stubs."
|
|
|
|
@ -172,7 +175,7 @@ currently opened projects."
|
|
|
|
|
|
|
|
|
|
(cl-defmethod phpinspect--cache-get-project-create
|
|
|
|
|
((cache phpinspect--cache) (project-root string))
|
|
|
|
|
"Get a project that is located in PROJECT-ROOT from CACHE.
|
|
|
|
|
"Get a project that is located in PROJECT-ROOT from CACHE.
|
|
|
|
|
If no such project exists in the cache yet, it is created and
|
|
|
|
|
then returned."
|
|
|
|
|
(let ((project (phpinspect--cache-get-project cache project-root)))
|
|
|
|
@ -251,7 +254,9 @@ then returned."
|
|
|
|
|
(phpinspect-project-add-index builtin-project (phpinspect-build-stub-index))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-build-stub-index ()
|
|
|
|
|
(phpinspect--index-tokens (phpinspect-parse-file (expand-file-name "builtins.php" phpinspect-stub-directory))))
|
|
|
|
|
(phpinspect--index-tokens
|
|
|
|
|
(phpinspect-parse-file
|
|
|
|
|
(expand-file-name "builtins.php" phpinspect-stub-directory))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-dump-stub-index ()
|
|
|
|
|
(interactive)
|
|
|
|
@ -286,5 +291,849 @@ then returned."
|
|
|
|
|
(puthash "builtins" project (phpinspect--cache-projects phpinspect-stub-cache))
|
|
|
|
|
(setf (phpinspect--cache-read-only-p phpinspect-stub-cache) t)))
|
|
|
|
|
|
|
|
|
|
(cl-defstruct (phpinspect-bidi-graph (:constructor phpinspect-make-bidi-graph))
|
|
|
|
|
"A bidirectional graph."
|
|
|
|
|
(rel (make-hash-table :test #'eq :size 2000 :rehash-size 2.0))
|
|
|
|
|
(rel-back (make-hash-table :test #'eq :size 2000 :rehash-size 2.0)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-bidi-graph-link (graph obj1 obj2)
|
|
|
|
|
(let ((existing-rel (gethash obj1 (phpinspect-bidi-graph-rel graph)))
|
|
|
|
|
(existing-back-rel (gethash obj2 (phpinspect-bidi-graph-rel-back graph))))
|
|
|
|
|
(if existing-rel
|
|
|
|
|
(setcdr existing-rel (cons obj2 (cdr existing-rel)))
|
|
|
|
|
(puthash obj1 (list obj2) (phpinspect-bidi-graph-rel graph)))
|
|
|
|
|
|
|
|
|
|
(if existing-back-rel
|
|
|
|
|
(setcdr existing-back-rel (cons obj1 (cdr existing-back-rel)))
|
|
|
|
|
(puthash obj2 (list obj1) (phpinspect-bidi-graph-rel-back graph)))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-bidi-graph-unlink-between (graph obj1 obj2)
|
|
|
|
|
(when-let ((rel (gethash obj1 (phpinspect-bidi-graph-rel graph)))
|
|
|
|
|
(back-rel (gethash obj2 (phpinspect-bidi-graph-rel-back graph))))
|
|
|
|
|
(puthash obj1 (delq obj2 rel) (phpinspect-bidi-graph-rel graph))
|
|
|
|
|
(puthash obj2 (delq obj1 back-rel) (phpinspect-bidi-graph-rel-back graph))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-bidi-graph-unlink (graph obj)
|
|
|
|
|
(when-let ((obj-link (gethash obj (phpinspect-bidi-graph-rel graph))))
|
|
|
|
|
(dolist (back-rel obj-link)
|
|
|
|
|
(when-let ((back-link (gethash back-rel (phpinspect-bidi-graph-rel-back graph))))
|
|
|
|
|
(puthash back-rel (delq obj back-link) (phpinspect-bidi-graph-rel-back graph))))
|
|
|
|
|
(remhash obj (phpinspect-bidi-graph-rel graph))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-bidi-graph-get-linking-from (graph obj)
|
|
|
|
|
(gethash obj (phpinspect-bidi-graph-rel graph)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-bidi-graph-get-linking-to (graph obj)
|
|
|
|
|
(gethash obj (phpinspect-bidi-graph-rel-back graph)))
|
|
|
|
|
|
|
|
|
|
(cl-defstruct (phpinspect-cache (:constructor phpinspect-make-cache))
|
|
|
|
|
(groups (make-hash-table :test #'equal :size 2000 :rehash-size 1.2)))
|
|
|
|
|
|
|
|
|
|
(cl-defstruct (phpinspect-cache-type (:constructor phpinspect-make-cache-type))
|
|
|
|
|
(group nil)
|
|
|
|
|
(category nil)
|
|
|
|
|
(name nil)
|
|
|
|
|
(methods nil)
|
|
|
|
|
(variables nil))
|
|
|
|
|
|
|
|
|
|
(cl-defstruct (phpinspect-cache-namespace (:constructor phpinspect-make-cache-namespace))
|
|
|
|
|
(types nil)
|
|
|
|
|
(functions nil))
|
|
|
|
|
|
|
|
|
|
(cl-defstruct (phpinspect-cache-group (:constructor phpinspect-make-cache-group))
|
|
|
|
|
(spec nil)
|
|
|
|
|
(namespaces (make-hash-table :test #'eq :size 2000 :rehash-size 2.0))
|
|
|
|
|
(extends (phpinspect-make-bidi-graph))
|
|
|
|
|
(implements (phpinspect-make-bidi-graph)))
|
|
|
|
|
|
|
|
|
|
(eval-and-compile
|
|
|
|
|
(defconst phpinspect-cache-types '(@interface @trait @class @method @type
|
|
|
|
|
@abstract-method @function @variable @namespace)
|
|
|
|
|
"Types of entities that the cache can store.")
|
|
|
|
|
|
|
|
|
|
(defconst phpinspect-cache-containing-types '(@class @trait @interface)
|
|
|
|
|
"Types of entities that the cache can store members for.")
|
|
|
|
|
|
|
|
|
|
(defconst phpinspect-cache-member-types '(@method @abstract-method @function @variable)
|
|
|
|
|
"Types of entities that the cache can store as members."))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-type-get-extends (type)
|
|
|
|
|
(phpinspect-cache-group-get-extends
|
|
|
|
|
(phpinspect-cache-type-group type)
|
|
|
|
|
(phpinspect-cache-type-name type)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-type-get-implements (type)
|
|
|
|
|
(phpinspect-cache-group-get-implements
|
|
|
|
|
(phpinspect-cache-type-group type)
|
|
|
|
|
(phpinspect-cache-type-name type)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-type-add-method (type method)
|
|
|
|
|
(push (cons (phpinspect--function-short-name-symbol method)
|
|
|
|
|
method)
|
|
|
|
|
(phpinspect-cache-type-methods type)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-get-extends (group type-name)
|
|
|
|
|
(phpinspect-bidi-graph-get-linking-from
|
|
|
|
|
(phpinspect-cache-group-extends group)
|
|
|
|
|
type-name))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-get-implements (group type-name)
|
|
|
|
|
(phpinspect-bidi-graph-get-linking-from
|
|
|
|
|
(phpinspect-cache-group-implements group)
|
|
|
|
|
type-name))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-get-extending (group type-name)
|
|
|
|
|
(phpinspect-bidi-graph-get-linking-to
|
|
|
|
|
(phpinspect-cache-group-extends group)
|
|
|
|
|
type-name))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-get-implementing (group type-name)
|
|
|
|
|
(phpinspect-bidi-graph-get-linking-to
|
|
|
|
|
(phpinspect-cache-group-implements group)
|
|
|
|
|
type-name))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-get-namespace (group namespace)
|
|
|
|
|
(gethash namespace (phpinspect-cache-group-namespaces group)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-get-namespace-create (group namespace)
|
|
|
|
|
(or (phpinspect-cache-group-get-namespace group namespace)
|
|
|
|
|
(puthash namespace (phpinspect-make-cache-namespace)
|
|
|
|
|
(phpinspect-cache-group-namespaces group))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-namespace-get-type-create (namespace type category group)
|
|
|
|
|
(or (phpinspect-cache-namespace-get-type namespace type category)
|
|
|
|
|
(cdar
|
|
|
|
|
(push (cons (phpinspect--type-short-name type)
|
|
|
|
|
(phpinspect-make-cache-type
|
|
|
|
|
:name (phpinspect--type-name-symbol type)
|
|
|
|
|
:category category
|
|
|
|
|
:group group))
|
|
|
|
|
(phpinspect-cache-namespace-types namespace)))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-namespace-get-type (namespace type category)
|
|
|
|
|
(when-let ((entity
|
|
|
|
|
(cdr (assq (phpinspect--type-short-name type)
|
|
|
|
|
(phpinspect-cache-namespace-types namespace)))))
|
|
|
|
|
(and (or (eq '@type category)
|
|
|
|
|
(eq category (phpinspect-cache-type-category entity)))
|
|
|
|
|
entity)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-namespace-delete-type (namespace type category)
|
|
|
|
|
(let ((types (phpinspect-cache-namespace-types namespace))
|
|
|
|
|
(name (phpinspect--type-short-name type))
|
|
|
|
|
cell-before)
|
|
|
|
|
(catch 'break
|
|
|
|
|
(while types
|
|
|
|
|
(let ((type-cell (car types)))
|
|
|
|
|
(when (eq (car type-cell) name)
|
|
|
|
|
(when (or (eq '@type category)
|
|
|
|
|
(eq category
|
|
|
|
|
(phpinspect-cache-type-category (cdr type-cell))))
|
|
|
|
|
(if cell-before
|
|
|
|
|
(setcdr cell-before (cdr types))
|
|
|
|
|
(setf (phpinspect-cache-namespace-types namespace) (cdr types)))
|
|
|
|
|
|
|
|
|
|
(throw 'break (cdr type-cell)))))
|
|
|
|
|
|
|
|
|
|
(setq cell-before types
|
|
|
|
|
types (cdr types))))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-namespace-delete-function (namespace function-name)
|
|
|
|
|
(let ((functions (phpinspect-cache-namespace-functions namespace))
|
|
|
|
|
(name (phpinspect-intern-name
|
|
|
|
|
(phpinspect-type-name-short
|
|
|
|
|
(phpinspect-name-string function-name))))
|
|
|
|
|
cell-before)
|
|
|
|
|
(catch 'break
|
|
|
|
|
(while functions
|
|
|
|
|
(let ((type-cell (car functions)))
|
|
|
|
|
(when (eq (car type-cell) name)
|
|
|
|
|
(if cell-before
|
|
|
|
|
(setcdr cell-before (cdr functions))
|
|
|
|
|
(setf (phpinspect-cache-namespace-functions namespace)
|
|
|
|
|
(cdr functions)))
|
|
|
|
|
(throw 'break (cdr type-cell))))
|
|
|
|
|
|
|
|
|
|
(setq cell-before functions
|
|
|
|
|
functions (cdr functions))))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-unlink-type-dependencies (group name)
|
|
|
|
|
(phpinspect-bidi-graph-unlink
|
|
|
|
|
(phpinspect-cache-group-extends group) name)
|
|
|
|
|
|
|
|
|
|
(phpinspect-bidi-graph-unlink
|
|
|
|
|
(phpinspect-cache-group-implements group) name))
|
|
|
|
|
|
|
|
|
|
(defmacro phpinspect--inline-wildcard-param-p (param)
|
|
|
|
|
`(let ((param ,param))
|
|
|
|
|
(and (inline-const-p param) (eq '* (inline-const-val param)))))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-delete-type
|
|
|
|
|
(group param type _member namespace _implements _extends)
|
|
|
|
|
(setq type (inline-const-val type))
|
|
|
|
|
|
|
|
|
|
(inline-letevals (group param namespace)
|
|
|
|
|
(if (phpinspect--inline-wildcard-param-p param)
|
|
|
|
|
(if namespace
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let ((namespace (phpinspect-cache-group-get-namespace
|
|
|
|
|
,group ,namespace)))
|
|
|
|
|
(let (resultset)
|
|
|
|
|
(setf (phpinspect-cache-namespace-types namespace)
|
|
|
|
|
(seq-filter
|
|
|
|
|
(lambda (type-cell)
|
|
|
|
|
(if ,(if (eq type '@type)
|
|
|
|
|
t
|
|
|
|
|
`(eq (phpinspect-cache-type-category (cdr type-cell))
|
|
|
|
|
(quote ,type)))
|
|
|
|
|
(progn
|
|
|
|
|
(push (cdr type-cell) resultset)
|
|
|
|
|
(phpinspect-cache-group-unlink-type-dependencies
|
|
|
|
|
,group (car type-cell))
|
|
|
|
|
nil)
|
|
|
|
|
t))
|
|
|
|
|
(phpinspect-cache-namespace-types namespace)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset))))
|
|
|
|
|
(inline-quote
|
|
|
|
|
(let (resultset)
|
|
|
|
|
(dolist (namespace (hash-table-values
|
|
|
|
|
(phpinspect-cache-group-namespaces ,group)))
|
|
|
|
|
(let (new-types)
|
|
|
|
|
(dolist (type-cell (phpinspect-cache-namespace-types namespace))
|
|
|
|
|
(if ,(if (eq type '@type)
|
|
|
|
|
t
|
|
|
|
|
`(eq (phpinspect-cache-type-category
|
|
|
|
|
(cdr type-cell))
|
|
|
|
|
(quote ,type)))
|
|
|
|
|
(progn
|
|
|
|
|
(push (cdr type-cell) resultset)
|
|
|
|
|
(phpinspect-cache-group-unlink-type-dependencies
|
|
|
|
|
,group (car type-cell))
|
|
|
|
|
nil)
|
|
|
|
|
(push type-cell new-types)))
|
|
|
|
|
(setf (phpinspect-cache-namespace-types namespace) new-types)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset))))
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let* ((namespace (phpinspect-cache-group-get-namespace-create
|
|
|
|
|
,group
|
|
|
|
|
(or ,namespace
|
|
|
|
|
(phpinspect--type-namespace ,param))))
|
|
|
|
|
(result (phpinspect-cache-namespace-delete-type
|
|
|
|
|
namespace ,param (quote ,type))))
|
|
|
|
|
(phpinspect-cache-group-unlink-type-dependencies
|
|
|
|
|
,group (phpinspect-cache-type-name result))
|
|
|
|
|
result)))))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-delete-function
|
|
|
|
|
(group param _type _member namespace _implements _extends)
|
|
|
|
|
|
|
|
|
|
(inline-letevals (group param namespace)
|
|
|
|
|
(if (phpinspect--inline-wildcard-param-p param)
|
|
|
|
|
(if namespace
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let ((namespace (phpinspect-cache-group-get-namespace
|
|
|
|
|
,group ,namespace)))
|
|
|
|
|
(let ((resultset
|
|
|
|
|
(cons 'phpinspect-cache-multiresult
|
|
|
|
|
(mapcar #'cdr
|
|
|
|
|
(phpinspect-cache-namespace-functions
|
|
|
|
|
namespace)))))
|
|
|
|
|
(setf (phpinspect-cache-namespace-functions namespace) nil)
|
|
|
|
|
resultset)))
|
|
|
|
|
(inline-quote
|
|
|
|
|
(let (resultset)
|
|
|
|
|
(dolist (namespace (hash-table-values
|
|
|
|
|
(phpinspect-cache-group-namespaces ,group)))
|
|
|
|
|
(setq resultset
|
|
|
|
|
(nconc
|
|
|
|
|
(mapcar #'cdr
|
|
|
|
|
(phpinspect-cache-namespace-functions
|
|
|
|
|
namespace))
|
|
|
|
|
resultset)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset))))
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let ((namespace
|
|
|
|
|
(phpinspect-cache-group-get-namespace
|
|
|
|
|
,group (or ,namespace
|
|
|
|
|
(phpinspect-intern-name
|
|
|
|
|
(phpinspect-type-name-namespace
|
|
|
|
|
(phpinspect-name-string ,param)))))))
|
|
|
|
|
(phpinspect-cache-namespace-delete-function
|
|
|
|
|
namespace ,param))))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect--assq-delete (key alist)
|
|
|
|
|
(let* ((result (cons nil nil))
|
|
|
|
|
(result-rear result)
|
|
|
|
|
deleted)
|
|
|
|
|
(catch 'break
|
|
|
|
|
(while alist
|
|
|
|
|
(if (eq key (caar alist))
|
|
|
|
|
(progn
|
|
|
|
|
(setcdr result-rear (cdr alist))
|
|
|
|
|
(setq deleted (car alist))
|
|
|
|
|
(throw 'break nil))
|
|
|
|
|
(setq result-rear (setcdr result-rear (cons (car alist) nil)))
|
|
|
|
|
(setq alist (cdr alist)))))
|
|
|
|
|
|
|
|
|
|
(list deleted (cdr result))))
|
|
|
|
|
|
|
|
|
|
;; OPTIMIZE: this is probably not optimal for large numbers of keys
|
|
|
|
|
(defun phpinspect--assq-delete-multi (keys alist)
|
|
|
|
|
(let (all-deleted)
|
|
|
|
|
(dolist (key keys)
|
|
|
|
|
(pcase-let ((`(,deleted ,filtered) (phpinspect--assq-delete key alist)))
|
|
|
|
|
(push deleted all-deleted)
|
|
|
|
|
(setq alist filtered)))
|
|
|
|
|
|
|
|
|
|
(list all-deleted alist)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect--alist-values (alist)
|
|
|
|
|
(let* ((vals (cons nil nil))
|
|
|
|
|
(vals-rear vals))
|
|
|
|
|
(dolist (cell alist)
|
|
|
|
|
(setq vals-rear (setcdr vals-rear (cons (cdr cell) nil))))
|
|
|
|
|
|
|
|
|
|
(cdr vals)))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--do-delete-method (cache group param type member)
|
|
|
|
|
(when-let ((member-type
|
|
|
|
|
(car
|
|
|
|
|
(phpinspect-cache-transact cache (list (phpinspect-cache-group-spec group))
|
|
|
|
|
:get member :as @type))))
|
|
|
|
|
(cond ((eq '* param)
|
|
|
|
|
(let ((deleted (phpinspect--alist-values
|
|
|
|
|
(phpinspect-cache-type-methods member-type))))
|
|
|
|
|
(setf (phpinspect-cache-type-methods member-type) nil)
|
|
|
|
|
(cons 'phpinspect-cache-multiresult deleted)))
|
|
|
|
|
((and (listp param) (not (phpinspect-name-p param)))
|
|
|
|
|
(pcase-let ((`(,deleted ,filtered)
|
|
|
|
|
(phpinspect--assq-delete-multi
|
|
|
|
|
param (phpinspect-cache-type-methods member-type))))
|
|
|
|
|
(setf (phpinspect-cache-type-methods member-type) filtered)
|
|
|
|
|
(cons 'phpinspect-cache-multiresult deleted)))
|
|
|
|
|
(t
|
|
|
|
|
(pcase-let ((`(,deleted ,filtered)
|
|
|
|
|
(phpinspect--assq-delete
|
|
|
|
|
param (phpinspect-cache-type-methods member-type))))
|
|
|
|
|
|
|
|
|
|
(setf (phpinspect-cache-type-methods member-type) filtered)
|
|
|
|
|
deleted)))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--do-delete-variable (cache group param type member)
|
|
|
|
|
(when-let ((member-type
|
|
|
|
|
(car
|
|
|
|
|
(phpinspect-cache-transact cache (list (phpinspect-cache-group-spec group))
|
|
|
|
|
:get member :as @type))))
|
|
|
|
|
(cond ((eq '* param)
|
|
|
|
|
(let ((deleted (phpinspect--alist-values
|
|
|
|
|
(phpinspect-cache-type-variables member-type))))
|
|
|
|
|
(setf (phpinspect-cache-type-variables member-type) nil)
|
|
|
|
|
(cons 'phpinspect-cache-multiresult deleted)))
|
|
|
|
|
((and (listp param) (not (phpinspect-name-p param)))
|
|
|
|
|
(pcase-let ((`(,deleted ,filtered)
|
|
|
|
|
(phpinspect--assq-delete-multi
|
|
|
|
|
param (phpinspect-cache-type-variables member-type))))
|
|
|
|
|
(setf (phpinspect-cache-type-variables member-type) filtered)
|
|
|
|
|
(cons 'phpinspect-cache-multiresult deleted)))
|
|
|
|
|
(t
|
|
|
|
|
(pcase-let ((`(,deleted ,filtered)
|
|
|
|
|
(phpinspect--assq-delete
|
|
|
|
|
param (phpinspect-cache-type-variables member-type))))
|
|
|
|
|
|
|
|
|
|
(setf (phpinspect-cache-type-variables member-type) filtered)
|
|
|
|
|
deleted)))))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-delete-member
|
|
|
|
|
(cache group param type member namespace implements extends)
|
|
|
|
|
(inline-letevals (cache group param member)
|
|
|
|
|
(setq type (inline-const-val type))
|
|
|
|
|
|
|
|
|
|
(pcase type
|
|
|
|
|
((or '@function '@method)
|
|
|
|
|
(inline-quote
|
|
|
|
|
(phpinspect-cache-query--do-delete-method ,cache ,group ,param (quote ,type) ,member)))
|
|
|
|
|
('@variable
|
|
|
|
|
(inline-quote
|
|
|
|
|
(phpinspect-cache-query--do-delete-variable ,cache ,group ,param (quote ,type) ,member)))
|
|
|
|
|
(_ (error "Delete not supported for member type %s" type)))))
|
|
|
|
|
|
|
|
|
|
(defmacro phpinspect-cache-query--do-delete
|
|
|
|
|
(cache group param type member namespace implements extends)
|
|
|
|
|
(cl-assert (symbolp type))
|
|
|
|
|
|
|
|
|
|
(cond
|
|
|
|
|
((memq type (cons '@type phpinspect-cache-containing-types))
|
|
|
|
|
`(phpinspect-cache-query--do-delete-type
|
|
|
|
|
,group ,param (quote ,type) ,member ,namespace ,implements ,extends))
|
|
|
|
|
((and (eq '@function type) (not member))
|
|
|
|
|
`(phpinspect-cache-query--do-delete-function
|
|
|
|
|
,group ,param (quote ,type) ,member ,namespace ,implements ,extends))
|
|
|
|
|
((and (memq type phpinspect-cache-member-types) member)
|
|
|
|
|
`(phpinspect-cache-query--do-delete-member
|
|
|
|
|
,cache ,group ,param (quote ,type) ,member ,namespace ,implements ,extends))
|
|
|
|
|
(t (error "Delete not supported for entity type %s" type))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-namespace-get-function (namespace func-name)
|
|
|
|
|
(cdr (assq func-name (phpinspect-cache-namespace-functions namespace))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-register-extends (group type extends)
|
|
|
|
|
(if (listp extends)
|
|
|
|
|
(dolist (ext extends)
|
|
|
|
|
(phpinspect-cache-group-register-extends type ext))
|
|
|
|
|
(phpinspect-bidi-graph-link
|
|
|
|
|
(phpinspect-cache-group-extends group)
|
|
|
|
|
(phpinspect--type-name-symbol type)
|
|
|
|
|
(phpinspect--type-name-symbol extends))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-group-register-implements (group type implements)
|
|
|
|
|
(if (listp implements)
|
|
|
|
|
(dolist (ext implements)
|
|
|
|
|
(phpinspect-cache-group-register-implements type ext))
|
|
|
|
|
(phpinspect-bidi-graph-link
|
|
|
|
|
(phpinspect-cache-group-implements group)
|
|
|
|
|
(phpinspect--type-name-symbol type)
|
|
|
|
|
(phpinspect--type-name-symbol implements))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-type-add-variable (type variable)
|
|
|
|
|
(push (cons (phpinspect--variable-name-symbol variable)
|
|
|
|
|
variable)
|
|
|
|
|
(phpinspect-cache-type-variables type)))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-insert-method
|
|
|
|
|
(cache group param type member namespace)
|
|
|
|
|
(setq type (inline-const-val type))
|
|
|
|
|
(inline-letevals (cache group param member namespace)
|
|
|
|
|
(inline-quote
|
|
|
|
|
(let ((member-type
|
|
|
|
|
(car
|
|
|
|
|
(phpinspect-cache-transact ,cache (list (phpinspect-cache-group-spec ,group))
|
|
|
|
|
:get ,member
|
|
|
|
|
:in ,namespace
|
|
|
|
|
:as @type)))
|
|
|
|
|
resultset)
|
|
|
|
|
,(pcase type
|
|
|
|
|
((or '@function '@method)
|
|
|
|
|
`(if (listp ,param)
|
|
|
|
|
(progn
|
|
|
|
|
(dolist (method ,param)
|
|
|
|
|
(push method resultset)
|
|
|
|
|
(phpinspect-cache-type-add-method member-type method))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset))
|
|
|
|
|
(cdar (phpinspect-cache-type-add-method member-type ,param))))
|
|
|
|
|
('@variable
|
|
|
|
|
`(if (listp ,param)
|
|
|
|
|
(progn
|
|
|
|
|
(dolist (variable ,param)
|
|
|
|
|
(push variable resultset)
|
|
|
|
|
(phpinspect-cache-type-add-variable member-type variable))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset))
|
|
|
|
|
(cdar (phpinspect-cache-type-add-variable member-type ,param))))
|
|
|
|
|
(_ (error "Insert not supported for member type %s" type)))))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--do-insert-function (cache group param namespace)
|
|
|
|
|
(let ((namespace
|
|
|
|
|
(phpinspect-cache-group-get-namespace-create
|
|
|
|
|
group (or namespace
|
|
|
|
|
(phpinspect--function-namespace param)))))
|
|
|
|
|
(or (when-let ((existing (assq (phpinspect--function-name-symbol param)
|
|
|
|
|
(phpinspect-cache-namespace-functions namespace))))
|
|
|
|
|
(cdar (setcdr existing (cons param (cdr existing)))))
|
|
|
|
|
(cdar (push (cons (phpinspect--function-short-name-symbol param) param)
|
|
|
|
|
(phpinspect-cache-namespace-functions namespace))))))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-insert-member
|
|
|
|
|
(cache group param type member namespace implements extends)
|
|
|
|
|
(if member
|
|
|
|
|
(inline-quote
|
|
|
|
|
(phpinspect-cache-query--do-insert-method
|
|
|
|
|
,cache ,group ,param ,type ,member ,namespace))
|
|
|
|
|
|
|
|
|
|
;; Else: insert function in namespace
|
|
|
|
|
(inline-quote
|
|
|
|
|
(phpinspect-cache-query--do-insert-function ,cache ,group ,param ,namespace))))
|
|
|
|
|
|
|
|
|
|
(defmacro phpinspect-cache-query--do-insert
|
|
|
|
|
(cache group param type member namespace implements extends)
|
|
|
|
|
(cl-assert (symbolp type))
|
|
|
|
|
|
|
|
|
|
(cond
|
|
|
|
|
((memq type (cons '@type phpinspect-cache-containing-types))
|
|
|
|
|
`(let* ((namespace (phpinspect-cache-group-get-namespace-create
|
|
|
|
|
,group
|
|
|
|
|
(or ,namespace (phpinspect--type-namespace ,param)))))
|
|
|
|
|
,(when extends
|
|
|
|
|
`(phpinspect-cache-group-register-extends ,group ,param ,extends))
|
|
|
|
|
|
|
|
|
|
,(when implements
|
|
|
|
|
`(phpinspect-cache-group-register-implements ,group ,param ,implements))
|
|
|
|
|
|
|
|
|
|
(phpinspect-cache-namespace-get-type-create
|
|
|
|
|
namespace ,param (quote ,type) ,group)))
|
|
|
|
|
((memq type phpinspect-cache-member-types)
|
|
|
|
|
`(phpinspect-cache-query--do-insert-member
|
|
|
|
|
,cache ,group ,param (quote ,type) ,member ,namespace ,implements ,extends))
|
|
|
|
|
(t (error "Insert not supported for entity type %s" type))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--do-get-type-wildcard (group param type namespace)
|
|
|
|
|
(if namespace
|
|
|
|
|
(when-let ((namespace (phpinspect-cache-group-get-namespace group namespace)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult
|
|
|
|
|
(mapcar #'cdr (phpinspect-cache-namespace-types namespace))))
|
|
|
|
|
(cons
|
|
|
|
|
'phpinspect-cache-multiresult
|
|
|
|
|
(mapcan
|
|
|
|
|
(lambda (namespace)
|
|
|
|
|
(mapcar #'cdr (phpinspect-cache-namespace-types namespace)))
|
|
|
|
|
(hash-table-values (phpinspect-cache-group-namespaces group))))))
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--do-get-type
|
|
|
|
|
(group param type member namespace implements extends)
|
|
|
|
|
(let ((result
|
|
|
|
|
(if (eq '* param)
|
|
|
|
|
(phpinspect-cache-query--do-get-type-wildcard group param type namespace)
|
|
|
|
|
(when-let* ((namespace (phpinspect-cache-group-get-namespace
|
|
|
|
|
group
|
|
|
|
|
(or namespace
|
|
|
|
|
(phpinspect--type-namespace param)))))
|
|
|
|
|
(phpinspect-cache-namespace-get-type namespace param type)))))
|
|
|
|
|
|
|
|
|
|
;; OPTIMIZE: Performance of these filters won't be very good when using
|
|
|
|
|
;; wildcards without namespace parameter. Probably worth optimizing when
|
|
|
|
|
;; this becomes a frequent use case.
|
|
|
|
|
(when implements
|
|
|
|
|
(setq result
|
|
|
|
|
(let ((implementing (phpinspect-cache-group-get-implementing group implements))
|
|
|
|
|
filtered)
|
|
|
|
|
(when result
|
|
|
|
|
(if (and (consp result)
|
|
|
|
|
(eq 'phpinspect-cache-multiresult (car result)))
|
|
|
|
|
(progn
|
|
|
|
|
(dolist (res (cdr result))
|
|
|
|
|
(when (memq (phpinspect-cache-type-name res) implementing)
|
|
|
|
|
(push res filtered)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult filtered))
|
|
|
|
|
(when (memq (phpinspect-cache-type-name result) implementing)
|
|
|
|
|
result))))))
|
|
|
|
|
|
|
|
|
|
(when extends
|
|
|
|
|
(setq result
|
|
|
|
|
(let ((extending (phpinspect-cache-group-get-extending group extends))
|
|
|
|
|
filtered)
|
|
|
|
|
(when result
|
|
|
|
|
(if (and (consp result)
|
|
|
|
|
(eq 'phpinspect-cache-multiresult (car result)))
|
|
|
|
|
(progn
|
|
|
|
|
(dolist (res (cdr result))
|
|
|
|
|
(when (memq (phpinspect-cache-type-name res) extending)
|
|
|
|
|
(push res filtered)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult filtered))
|
|
|
|
|
(when (memq (phpinspect-cache-type-name result) extending)
|
|
|
|
|
result))))))
|
|
|
|
|
result))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-get-function
|
|
|
|
|
(group param type member namespace implements extends)
|
|
|
|
|
(inline-letevals (group param member namespace implements extends)
|
|
|
|
|
(if (phpinspect--inline-wildcard-param-p param)
|
|
|
|
|
(if namespace
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let ((namespace (phpinspect-cache-group-get-namespace
|
|
|
|
|
,group ,namespace)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult
|
|
|
|
|
(mapcar #'cdr
|
|
|
|
|
(phpinspect-cache-namespace-functions namespace)))))
|
|
|
|
|
(inline-quote
|
|
|
|
|
(let (resultset)
|
|
|
|
|
(dolist (namespace (hash-table-values
|
|
|
|
|
(phpinspect-cache-group-namespaces ,group)))
|
|
|
|
|
(setq resultset
|
|
|
|
|
(nconc
|
|
|
|
|
(mapcar #'cdr
|
|
|
|
|
(phpinspect-cache-namespace-functions namespace))
|
|
|
|
|
resultset)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset))))
|
|
|
|
|
(if namespace
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let ((namespace (phpinspect-cache-group-get-namespace
|
|
|
|
|
,group ,namespace)))
|
|
|
|
|
(phpinspect-cache-namespace-get-function namespace ,param)))
|
|
|
|
|
(inline-quote
|
|
|
|
|
(let* ((name-string (phpinspect-name-string ,param))
|
|
|
|
|
(namespace-name (phpinspect-intern-name
|
|
|
|
|
(phpinspect-type-name-namespace name-string)))
|
|
|
|
|
(short-name (phpinspect-intern-name
|
|
|
|
|
(phpinspect-type-name-short name-string))))
|
|
|
|
|
(if (string-match-p "^\\\\" (phpinspect-name-string ,param))
|
|
|
|
|
(when-let ((namespace (phpinspect-cache-group-get-namespace
|
|
|
|
|
,group namespace-name)))
|
|
|
|
|
(phpinspect-cache-namespace-get-function namespace short-name))
|
|
|
|
|
(let (resultset)
|
|
|
|
|
(dolist (namespace (hash-table-values
|
|
|
|
|
(phpinspect-cache-group-namespaces ,group)))
|
|
|
|
|
(when-let ((func (phpinspect-cache-namespace-get-function
|
|
|
|
|
namespace short-name)))
|
|
|
|
|
(push func resultset)))
|
|
|
|
|
(cons 'phpinspect-cache-multiresult resultset)))))))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-type-get-method (type method-name)
|
|
|
|
|
(cdr (assq method-name (phpinspect-cache-type-methods type))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-type-get-variable (type method-name)
|
|
|
|
|
(cdr (assq method-name (phpinspect-cache-type-variables type))))
|
|
|
|
|
|
|
|
|
|
(define-inline phpinspect-cache-query--do-get-member (cache group param type member namespace)
|
|
|
|
|
(inline-letevals (cache group param member namespace)
|
|
|
|
|
(setq type (inline-const-val type))
|
|
|
|
|
|
|
|
|
|
(inline-quote
|
|
|
|
|
(when-let ((member-type
|
|
|
|
|
(car
|
|
|
|
|
(phpinspect-cache-transact ,cache (list (phpinspect-cache-group-spec ,group))
|
|
|
|
|
:get ,member
|
|
|
|
|
:as @type
|
|
|
|
|
:in ,namespace))))
|
|
|
|
|
|
|
|
|
|
,(pcase type
|
|
|
|
|
((or '@function '@method)
|
|
|
|
|
(if (phpinspect--inline-wildcard-param-p param)
|
|
|
|
|
`(cons 'phpinspect-cache-multiresult
|
|
|
|
|
(phpinspect--alist-values (phpinspect-cache-type-methods member-type)))
|
|
|
|
|
`(phpinspect-cache-type-get-method member-type ,param)))
|
|
|
|
|
('@variable
|
|
|
|
|
(if (phpinspect--inline-wildcard-param-p param)
|
|
|
|
|
`(cons 'phpinspect-cache-multiresult
|
|
|
|
|
(phpinspect--alist-values (phpinspect-cache-type-variables member-type)))
|
|
|
|
|
`(phpinspect-cache-type-get-variable member-type ,param)))
|
|
|
|
|
(_ (error "Get not supported for member entity type %s" type)))))))
|
|
|
|
|
|
|
|
|
|
(defmacro phpinspect-cache-query--do-get
|
|
|
|
|
(cache group param type member namespace implements extends)
|
|
|
|
|
(cl-assert (symbolp type))
|
|
|
|
|
|
|
|
|
|
(cond
|
|
|
|
|
((memq type (cons '@type phpinspect-cache-containing-types))
|
|
|
|
|
`(phpinspect-cache-query--do-get-type
|
|
|
|
|
,group ,param (quote ,type) ,member ,namespace ,implements ,extends))
|
|
|
|
|
((and (eq '@function type) (not member))
|
|
|
|
|
`(phpinspect-cache-query--do-get-function
|
|
|
|
|
,group ,param ,type ,member ,namespace ,implements ,extends))
|
|
|
|
|
((and (memq type phpinspect-cache-member-types) member)
|
|
|
|
|
`(phpinspect-cache-query--do-get-member
|
|
|
|
|
,cache ,group ,param (quote ,type) ,member ,namespace))
|
|
|
|
|
(t (error "Get not supported for entity type %s" type))))
|
|
|
|
|
|
|
|
|
|
(defmacro phpinspect-cache-query--wrap-action
|
|
|
|
|
(action cache group param type member namespace implements extends)
|
|
|
|
|
(let* ((param-sym (gensym "param")))
|
|
|
|
|
`(let ((,param-sym ,param))
|
|
|
|
|
(if (and (sequencep ,param-sym) (not (phpinspect-name-p ,param-sym)))
|
|
|
|
|
(let* ((result (cons 'phpinspect-cache-multiresult nil))
|
|
|
|
|
(result-rear result))
|
|
|
|
|
(seq-doseq (p ,param-sym)
|
|
|
|
|
(when-let ((action-result
|
|
|
|
|
(,action ,cache ,group p ,type ,member
|
|
|
|
|
,namespace ,implements ,extends)))
|
|
|
|
|
(setq result-rear
|
|
|
|
|
(setcdr result-rear
|
|
|
|
|
(cons action-result nil)))))
|
|
|
|
|
result)
|
|
|
|
|
(,action ,cache ,group ,param ,type ,member ,namespace ,implements ,extends)))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--compile-groups (cache group-specs intent)
|
|
|
|
|
(cl-assert (phpinspect-cache-p cache))
|
|
|
|
|
(let (groups)
|
|
|
|
|
|
|
|
|
|
(if group-specs
|
|
|
|
|
(dolist (spec group-specs)
|
|
|
|
|
(cl-assert (listp spec))
|
|
|
|
|
(cl-assert (memq (car spec) '(project label))
|
|
|
|
|
t "Spec car must be the symbol `project' or `label'")
|
|
|
|
|
(let ((group (gethash spec (phpinspect-cache-groups cache))))
|
|
|
|
|
(when (and (eq :insert intent) (not group))
|
|
|
|
|
(setq group (puthash spec (phpinspect-make-cache-group :spec spec)
|
|
|
|
|
(phpinspect-cache-groups cache))))
|
|
|
|
|
(push group groups)))
|
|
|
|
|
(if (eq :insert intent)
|
|
|
|
|
(error "Cannot insert without defining cache group")
|
|
|
|
|
(setq groups (hash-table-values (phpinspect-cache-groups cache)))))
|
|
|
|
|
|
|
|
|
|
groups))
|
|
|
|
|
|
|
|
|
|
(defmacro phpinspect-cache-transact (cache group-specs &rest query)
|
|
|
|
|
(declare (indent 2))
|
|
|
|
|
(cl-assert (listp query))
|
|
|
|
|
|
|
|
|
|
(let (type intent intent-param member namespace implements extends key value)
|
|
|
|
|
(while (setq key (pop query))
|
|
|
|
|
(cl-assert (keywordp key) t "Query keys must be keywords, %s provided" key)
|
|
|
|
|
(setq value (pop query))
|
|
|
|
|
|
|
|
|
|
;; Namespace is allowed to be dynamic/nil
|
|
|
|
|
(unless (eq :in key)
|
|
|
|
|
(cl-assert value t "Key %s has no value" key))
|
|
|
|
|
|
|
|
|
|
(pcase key
|
|
|
|
|
((or :insert :get :delete)
|
|
|
|
|
(when intent
|
|
|
|
|
(error "Defined duplicate intent: %s, %s" intent key))
|
|
|
|
|
(setq intent key
|
|
|
|
|
intent-param value))
|
|
|
|
|
(:as (unless (and (symbolp value)
|
|
|
|
|
(memq value phpinspect-cache-types))
|
|
|
|
|
(error ":type must be one of %s, %s provided"
|
|
|
|
|
phpinspect-cache-types value))
|
|
|
|
|
(setq type value))
|
|
|
|
|
(:member-of (setq member value))
|
|
|
|
|
(:in (setq namespace value))
|
|
|
|
|
(:implementing (setq implements value))
|
|
|
|
|
(:extending (setq extends value))
|
|
|
|
|
(_ (error "Unexpected query keyword %s" key))))
|
|
|
|
|
|
|
|
|
|
;; Query validation
|
|
|
|
|
(unless type
|
|
|
|
|
(error "Providing entity type with keyword :as is required."))
|
|
|
|
|
|
|
|
|
|
(when (and member (not (memq type phpinspect-cache-member-types)))
|
|
|
|
|
(error "Keyword :member-of can only be used for types %s"
|
|
|
|
|
phpinspect-cache-member-types))
|
|
|
|
|
|
|
|
|
|
(when (and extends (not (memq type '(@class @trait @interface @type))))
|
|
|
|
|
(error "Keyword :extending cannot be used for types other than %s"
|
|
|
|
|
'(class trait interface)))
|
|
|
|
|
|
|
|
|
|
(when (eq :insert intent)
|
|
|
|
|
(when (and (memq type '(@variable @method @abstract-method)) (not member))
|
|
|
|
|
(error "Variable and methods must be member of %s."
|
|
|
|
|
phpinspect-cache-containing-types))
|
|
|
|
|
|
|
|
|
|
(when (eq '@type type)
|
|
|
|
|
(error ":as @type cannot be used for insertions.")))
|
|
|
|
|
|
|
|
|
|
(when (and intent (not intent-param))
|
|
|
|
|
(error "Intent %s must have a parameter %s" intent))
|
|
|
|
|
|
|
|
|
|
(let ((group-specs-sym (make-symbol "group-specs"))
|
|
|
|
|
(intent-param-sym (make-symbol "intent-param"))
|
|
|
|
|
(cache-sym (make-symbol "cache"))
|
|
|
|
|
(member-sym (make-symbol "member"))
|
|
|
|
|
(namespace-sym (make-symbol "namespace"))
|
|
|
|
|
(implements-sym (make-symbol "implements"))
|
|
|
|
|
(extends-sym (make-symbol "extends"))
|
|
|
|
|
(resultset-sym (make-symbol "resultset"))
|
|
|
|
|
(groups-sym (make-symbol "groups")))
|
|
|
|
|
(let* ((action-args
|
|
|
|
|
`(,(if (eq '* intent-param) `(quote ,intent-param) intent-param-sym)
|
|
|
|
|
,type
|
|
|
|
|
,(if member member-sym nil)
|
|
|
|
|
,(if namespace namespace-sym nil)
|
|
|
|
|
,(if implements implements-sym nil)
|
|
|
|
|
,(if extends extends-sym nil)))
|
|
|
|
|
(validate-args
|
|
|
|
|
`(,(if (eq '* intent-param) `(quote ,intent-param) intent-param-sym)
|
|
|
|
|
(quote ,type)
|
|
|
|
|
,(if member member-sym nil)
|
|
|
|
|
,(if namespace namespace-sym nil)
|
|
|
|
|
,(if implements implements-sym nil)
|
|
|
|
|
,(if extends extends-sym nil)))
|
|
|
|
|
(action (pcase intent
|
|
|
|
|
(:insert 'phpinspect-cache-query--do-insert)
|
|
|
|
|
(:delete 'phpinspect-cache-query--do-delete)
|
|
|
|
|
(:get 'phpinspect-cache-query--do-get)
|
|
|
|
|
(_ (error "Invalid intent %s" intent)))))
|
|
|
|
|
`(let* ,(seq-filter
|
|
|
|
|
(lambda (val) val)
|
|
|
|
|
`((,group-specs-sym ,group-specs)
|
|
|
|
|
,(unless (eq '* intent-param) `(,intent-param-sym ,intent-param))
|
|
|
|
|
,(when cache `(,cache-sym ,cache))
|
|
|
|
|
,(when member `(,member-sym ,member))
|
|
|
|
|
,(when namespace `(,namespace-sym ,namespace))
|
|
|
|
|
,(when implements `(,implements-sym ,implements))
|
|
|
|
|
,(when extends `(,extends-sym ,extends))
|
|
|
|
|
(,groups-sym (phpinspect-cache-query--compile-groups ,cache ,group-specs ,intent))
|
|
|
|
|
,resultset-sym))
|
|
|
|
|
,(cons 'phpinspect-cache-query--validate (cons intent validate-args))
|
|
|
|
|
(dolist (group ,groups-sym)
|
|
|
|
|
(when-let ((result ,(cons 'phpinspect-cache-query--wrap-action
|
|
|
|
|
(cons action (cons cache (cons 'group action-args))))))
|
|
|
|
|
(if (and (listp result) (eq 'phpinspect-cache-multiresult (car result)))
|
|
|
|
|
(setq ,resultset-sym (nconc ,resultset-sym (cdr result)))
|
|
|
|
|
(push result ,resultset-sym))))
|
|
|
|
|
,resultset-sym)))))
|
|
|
|
|
|
|
|
|
|
(defun phpinspect-cache-query--validate
|
|
|
|
|
(intent intent-param type member namespace implements extends)
|
|
|
|
|
(and
|
|
|
|
|
;; Validate intent-param
|
|
|
|
|
(cond
|
|
|
|
|
((phpinspect--type-p intent-param)
|
|
|
|
|
(cond
|
|
|
|
|
((not (memq type '(@class @trait @interface @type)))
|
|
|
|
|
(error "Cannot use intent-param of type phpinspect--type when querying for %s" type))
|
|
|
|
|
((and (phpinspect--type-fully-qualified intent-param)
|
|
|
|
|
namespace)
|
|
|
|
|
(error "Use of fully qualified type %s while specifying namespace %s in query"
|
|
|
|
|
intent-param namespace)))
|
|
|
|
|
t)
|
|
|
|
|
((phpinspect-name-p intent-param) t)
|
|
|
|
|
((listp intent-param)
|
|
|
|
|
(if (memq type '(@class @trait @interface @type))
|
|
|
|
|
(unless (seq-every-p #'phpinspect--type-p intent-param)
|
|
|
|
|
(error "Each intent param must be of type `phpinspect--type'. Got: %s" intent-param))
|
|
|
|
|
(pcase intent
|
|
|
|
|
(:insert
|
|
|
|
|
(unless (or (seq-every-p #'phpinspect--variable-p intent-param)
|
|
|
|
|
(seq-every-p #'phpinspect--function-p intent-param))
|
|
|
|
|
(error "Each intent param must be an instance of `phpinspect--function' or `phpinspect--variable'")))
|
|
|
|
|
(:get
|
|
|
|
|
(unless (seq-every-p #'phpinspect-name-p intent-param)
|
|
|
|
|
(error "Each intent param must be a name, got: %s" intent-param)))
|
|
|
|
|
(:delete
|
|
|
|
|
(unless (or (seq-every-p #'phpinspect-name-p intent-param))
|
|
|
|
|
(error "Each intent param must be an instance of `phpinspect--function', `phpinspect--variable' or `phpinspect-name'")))))
|
|
|
|
|
t)
|
|
|
|
|
((eq '* intent-param)
|
|
|
|
|
(unless (memq intent '(:get :delete))
|
|
|
|
|
(error "Wildcard '* cannot be used with intent %s" intent)))
|
|
|
|
|
((phpinspect--function-p intent-param)
|
|
|
|
|
(cond
|
|
|
|
|
((not (memq intent '(:insert :delete)))
|
|
|
|
|
(error "`phpinspect--function' can only be used as parameter for :insert and :delete intents."))
|
|
|
|
|
((not (memq type '(@function @method @abstract-method)))
|
|
|
|
|
(error "Inserting/deleting `phpinspect--function' as type %s is not supported" type)))
|
|
|
|
|
t)
|
|
|
|
|
(t (error "Unsupported intent-param %s" intent-param)))
|
|
|
|
|
;; Validate member
|
|
|
|
|
(cond
|
|
|
|
|
((phpinspect--type-p member) t)
|
|
|
|
|
((not member) t)
|
|
|
|
|
(t (error "unsupported member type (allowed `phpinspect--type'): %s" member)))
|
|
|
|
|
|
|
|
|
|
;; Validate namespace
|
|
|
|
|
(cond
|
|
|
|
|
((phpinspect-name-p namespace) t)
|
|
|
|
|
((not namespace) t)
|
|
|
|
|
(t (error "unsupported namespace type (allowed `phpinspect-name'): %s" namespace)))
|
|
|
|
|
|
|
|
|
|
;; Validate implements
|
|
|
|
|
(cond
|
|
|
|
|
((listp implements)
|
|
|
|
|
(unless (seq-every-p #'phpinspect--type-p implements)
|
|
|
|
|
(error "Each parameter of :implementing must be of type `phpinspect--type'. Got: %s" implements))
|
|
|
|
|
t)
|
|
|
|
|
((phpinspect--type-p implements) t)
|
|
|
|
|
((not implements) t)
|
|
|
|
|
(t (error "unsupported parameter for :implementing (allowed `phpinspect--type': %s" implements)))
|
|
|
|
|
|
|
|
|
|
;; Validate extends
|
|
|
|
|
(cond
|
|
|
|
|
((listp extends)
|
|
|
|
|
(unless (seq-every-p #'phpinspect--type-or-name-p extends)
|
|
|
|
|
(error "Each parameter of :extending must be of type `phpinspect--type'. Got: %s" extends))
|
|
|
|
|
t)
|
|
|
|
|
((phpinspect--type-p extends) t)
|
|
|
|
|
((not extends) t)
|
|
|
|
|
(t (error "unsupported parameter for :extending (allowed `phpinspect--type': %s" extends)))))
|
|
|
|
|
|
|
|
|
|
;;; phpinspect.el ends here
|
|
|
|
|
(provide 'phpinspect-cache)
|
|
|
|
|