%PDF- %PDF-
Direktori : /usr/local/share/emacs/27.2/lisp/cedet/semantic/ |
Current File : //usr/local/share/emacs/27.2/lisp/cedet/semantic/analyze.elc |
;ELC ;;; Compiled ;;; in Emacs version 27.2 ;;; with all optimizations. ;;; This file uses dynamic docstrings, first added in Emacs 19.29. ;;; This file does not contain utf-8 non-ASCII characters, ;;; and so can be loaded in Emacs versions earlier than 23. ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; ;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;; (byte-code "\300\301!\210\300\302!\210\300\303!\210\300\304!\210\300\305!\210\300\306!\207" [require semantic semantic/format semantic/ctxt semantic/scope semantic/sort semantic/analyze/fcn] 2) #@50 Collection of any errors thrown during analysis. (defvar semantic-analyze-error-stack nil (#$ . 602)) #@50 Push the error data in ERR onto the error stack. (defalias 'semantic-analyze-push-error #[(err) " B\211\207" [err semantic-analyze-error-stack] 2 (#$ . 710)]) (byte-code "\300\301\302\303!\"\210\300\304\305\303!\"\210\300\306\304\"\210\307\306\310\311#\210\312\303\313\304#\314\303\315\316\317$\207" [defalias semantic-analyze-context-p eieio-make-class-predicate semantic-analyze-context semantic-analyze-context--eieio-childp eieio-make-child-predicate semantic-analyze-context-child-p make-obsolete "use (cl-typep ... \\='semantic-analyze-context) instead" "25.1" define-symbol-prop cl-deftype-satisfies eieio-defclass-internal nil ((bounds :initarg :bounds :type list :documentation "The bounds of this context.\nUsually bound to the dimension of a single symbol or command.") (prefix :initarg :prefix :type list :documentation "List of tags defining local text.\nThis can be nil, or a list where the last element can be a string\nrepresenting text that may be incomplete. Preceding elements\nmust be semantic tags representing variables or functions\ncalled in a dereference sequence.") (prefixclass :initarg :prefixclass :type list :documentation "Tag classes expected at this context.\nThese are classes for tags, such as 'function, or 'variable.") (prefixtypes :initarg :prefixtypes :type list :documentation "List of tags defining types for :prefix.\nThis list is one shorter than :prefix. Each element is a semantic\ntag representing a type matching the semantic tag in the same\nposition in PREFIX.") (scope :initarg :scope :type (or null semantic-scope-cache) :documentation "List of tags available in scopetype.\nSee `semantic-analyze-scoped-tags' for details.") (buffer :initarg :buffer :type buffer :documentation "The buffer this context is derived from.") (errors :initarg :errors :documentation "Any errors thrown and caught during analysis.")) (:documentation "Base analysis data for any context.")] 6) #@63 Create a new object of class type `semantic-analyze-context'. (defalias 'semantic-analyze-context #[(&rest slots) "\301\302\303#\207" [slots apply make-instance semantic-analyze-context] 4 (#$ . 2642)]) (byte-code "\300\301\302\303#\300\207" [function-put semantic-analyze-context compiler-macro semantic-analyze-context--anon-cmacro] 4) (defalias 'semantic-analyze-context--anon-cmacro #[(whole &rest slots) "@;\204 \207\302\303\304@ @# @\305@DABB\"\207" [slots whole macroexp--warn-and-return format "Obsolete name arg %S to constructor %S" identity] 5]) (byte-code "\300\301\302\303!\"\210\300\304\305\303!\"\210\300\306\304\"\210\307\306\310\311#\210\312\303\313\304#\314\303\315\316\317$\207" [defalias semantic-analyze-context-assignment-p eieio-make-class-predicate semantic-analyze-context-assignment semantic-analyze-context-assignment--eieio-childp eieio-make-child-predicate semantic-analyze-context-assignment-child-p make-obsolete "use (cl-typep ... \\='semantic-analyze-context-assignment) instead" "25.1" define-symbol-prop cl-deftype-satisfies eieio-defclass-internal (semantic-analyze-context) ((assignee :initarg :assignee :type list :documentation "A sequence of tags for an assignee.\nThis is a variable into which some value is being placed. The last\nitem in the list is the variable accepting the value. Earlier\ntags represent the variables being dereferenced to get to the\nassignee.")) (:documentation "Analysis class for a value in an assignment.")] 6) #@74 Create a new object of class type `semantic-analyze-context-assignment'. (defalias 'semantic-analyze-context-assignment #[(&rest slots) "\301\302\303#\207" [slots apply make-instance semantic-analyze-context-assignment] 4 (#$ . 4137)]) (byte-code "\300\301\302\303#\300\207" [function-put semantic-analyze-context-assignment compiler-macro semantic-analyze-context-assignment--anon-cmacro] 4) (defalias 'semantic-analyze-context-assignment--anon-cmacro #[(whole &rest slots) "@;\204 \207\302\303\304@ @# @\305@DABB\"\207" [slots whole macroexp--warn-and-return format "Obsolete name arg %S to constructor %S" identity] 5]) (byte-code "\300\301\302\303!\"\210\300\304\305\303!\"\210\300\306\304\"\210\307\306\310\311#\210\312\303\313\304#\314\303\315\316\317$\207" [defalias semantic-analyze-context-functionarg-p eieio-make-class-predicate semantic-analyze-context-functionarg semantic-analyze-context-functionarg--eieio-childp eieio-make-child-predicate semantic-analyze-context-functionarg-child-p make-obsolete "use (cl-typep ... \\='semantic-analyze-context-functionarg) instead" "25.1" define-symbol-prop cl-deftype-satisfies eieio-defclass-internal (semantic-analyze-context) ((function :initarg :function :type list :documentation "A sequence of tags for a function.\nThis is a function being called. The cursor will be in the position\nof an argument.\nThe last tag in :function is the function being called. Earlier\ntags represent the variables being dereferenced to get to the\nfunction.") (index :initarg :index :type integer :documentation "The index of the argument for this context.\nIf a function takes 4 arguments, this value should be bound to\nthe values 1 through 4.") (argument :initarg :argument :type list :documentation "A sequence of tags for the :index argument.\nThe argument can accept a value of some type, and this contains the\ntag for that definition. It should be a tag, but might\nbe just a string in some circumstances.")) (:documentation "Analysis class for a value as a function argument.")] 6) #@75 Create a new object of class type `semantic-analyze-context-functionarg'. (defalias 'semantic-analyze-context-functionarg #[(&rest slots) "\301\302\303#\207" [slots apply make-instance semantic-analyze-context-functionarg] 4 (#$ . 6185)]) (byte-code "\300\301\302\303#\300\207" [function-put semantic-analyze-context-functionarg compiler-macro semantic-analyze-context-functionarg--anon-cmacro] 4) (defalias 'semantic-analyze-context-functionarg--anon-cmacro #[(whole &rest slots) "@;\204 \207\302\303\304@ @# @\305@DABB\"\207" [slots whole macroexp--warn-and-return format "Obsolete name arg %S to constructor %S" identity] 5]) (byte-code "\300\301\302\303!\"\210\300\304\305\303!\"\210\300\306\304\"\210\307\306\310\311#\210\312\303\313\304#\314\303\315\316\317$\207" [defalias semantic-analyze-context-return-p eieio-make-class-predicate semantic-analyze-context-return semantic-analyze-context-return--eieio-childp eieio-make-child-predicate semantic-analyze-context-return-child-p make-obsolete "use (cl-typep ... \\='semantic-analyze-context-return) instead" "25.1" define-symbol-prop cl-deftype-satisfies eieio-defclass-internal (semantic-analyze-context) nil (:documentation "Analysis class for return data.\nReturn data methods identify the required type by the return value\nof the parent function.")] 6) #@70 Create a new object of class type `semantic-analyze-context-return'. (defalias 'semantic-analyze-context-return #[(&rest slots) "\301\302\303#\207" [slots apply make-instance semantic-analyze-context-return] 4 (#$ . 7513)]) (byte-code "\300\301\302\303#\300\207" [function-put semantic-analyze-context-return compiler-macro semantic-analyze-context-return--anon-cmacro] 4) (defalias 'semantic-analyze-context-return--anon-cmacro #[(whole &rest slots) "@;\204 \207\302\303\304@ @# @\305@DABB\"\207" [slots whole macroexp--warn-and-return format "Obsolete name arg %S to constructor %S" identity] 5]) (byte-code "\300\301\302\303\302\304%\210\300\301\302\305\306\307%\210\300\301\302\310\306\311%\210\300\312\302\313\302\314%\210\300\312\302\315\306\316%\210\300\312\302\317\306\320%\207" [cl-generic-define-method semantic-analyze-type-constraint nil ((context semantic-analyze-context) &optional desired-type) #[(context &optional desired-type) "\3031- :\205) @;\205) A@9\205) A@\205) \304 8<\205) \305 8<0\202/ \210\306)\205\322 \211A@)\307=\204O \211\310\311 \304 8)\n\"+;\203[ \307D\202\321 @;\203\234 \3121\216 :\205\212 @;\205\212 A@9\205\212 A@\205\212 \304 8<\205\212 \305 8<0\202\220 \210\306)\204\234 @\307D\202\321 \3131\311 :\205\305 @;\205\305 A@9\205\305 A@\205\305 \304 8<\205\305 \305 8<0\202\313 \210\306)\204\321 \306\207" [desired-type tag attribute (error) 2 3 nil type :type plist-get (error) (error)] 4 "Return a type constraint for completing :prefix in CONTEXT.\nOptional argument DESIRED-TYPE may be a non-type tag to analyze."] ((context semantic-analyze-context-functionarg)) t #[(#1=#:cl--cnm context) " \302 \303\"@\"\207" [#1# context eieio-oref argument] 5 "Return a type constraint for completing :prefix in CONTEXT."] ((context semantic-analyze-context-assignment)) #[(#2=#:cl--cnm context) " \302\303 \304\"!@\"\207" [#2# context reverse eieio-oref assignee] 6 "Return a type constraint for completing :prefix in CONTEXT."] semantic-analyze-interesting-tag ((context semantic-analyze-context)) #[(context) "\303\304\301\"!\211\203F @\30519 \n:\2055 \n@;\2055 \nA@9\2055 \nA@\2055 \306\n8<\2055 \307\n8<0\202; \210\310)\204F A\211\204 @)\207" [context prefix tag reverse eieio-oref (error) 2 3 nil] 5 "Return a tag from CONTEXT that would be most interesting to a user."] ((context semantic-analyze-context-functionarg)) #[(#3=#:cl--cnm context) " \206\n \302 \303\"\242\207" [#3# context eieio-oref function] 3 "Try the base, and if that fails, return what we are assigning into."] ((context semantic-analyze-context-assignment)) #[(#4=#:cl--cnm context) " \206\n \302 \303\"\242\207" [#4# context eieio-oref assignee] 3 "Try the base, and if that fails, return what we are assigning into."]] 6) #@688 Attempt to find all tags in SEQUENCE. Optional argument LOCALVAR is the list of local variables to use when finding the details on the first element of SEQUENCE in case it is not found in the global set of tables. Optional argument SCOPE are additional terminals to search which are currently scoped. These are not local variables, but symbols available in a structure which doesn't need to be dereferenced. Optional argument TYPERETURN is a symbol in which the types of all found will be stored. If nil, that data is thrown away. Optional argument THROWSYM specifies a symbol the throw on non-recoverable error. Remaining arguments FLAGS are additional flags to apply when searching. (defalias 'semantic-analyze-find-tag-sequence #[(sequence &optional scope typereturn throwsym &rest flags) "\306\211\307\310\311!\307\204\"