Function: semantic-analyze-type-constraint

semantic-analyze-type-constraint is a byte-compiled function without a source file.

Signature

(semantic-analyze-type-constraint ARG &rest ARGS)

Implementations

(semantic-analyze-type-constraint (CONTEXT semantic-analyze-context-assignment)) in `semantic/analyze.el'.

Undocumented

(semantic-analyze-type-constraint (CONTEXT semantic-analyze-context-functionarg)) in `semantic/analyze.el'.

Undocumented

(semantic-analyze-type-constraint (CONTEXT semantic-analyze-context) &optional DESIRED-TYPE) in `semantic/analyze.el'.

Return a type constraint for completing :prefix in CONTEXT. Optional argument DESIRED-TYPE may be a non-type tag to analyze.

;; Could not find source code, showing raw function object. #[385 "\304\203�\305!\202\f�\306\307
\300\"\2066�\310\303\311\302\301\312\313\n\203&�\305!\202'�\306!\314\315!\"%\316\300#\210\211\262
\262
#\207" [#s(hash-table size 65 test eql rehash-size 1.5 rehash-threshold 0.8125 data ()) (#s(cl--generic-method (semantic-analyze-context-assignment) nil curried #[257 "\300
!\210\301\302\303\"\207" [cl--generic-isnot-nnm-p nil make-closure #[128 "\301\302\300#\303\304#\207" [V0 make-closure #[128 "\302\301\206�\300\"\207" [V0 V1 apply] 4 "\n\n(fn &rest ARGS)"] apply #[514 "

\300\301\302\"!@\"\207" [reverse eieio-oref assignee] 8 "\n\n(fn CL--CNM CONTEXT)"]] 6 "Return a type constraint for completing :prefix in CONTEXT.\n\n(fn CONTEXT)"]] 5 "\n\n(fn CL--NM)"]) #s(cl--generic-method (semantic-analyze-context-functionarg) nil curried #[257 "\300
!\210\301\302\303\"\207" [cl--generic-isnot-nnm-p nil make-closure #[128 "\301\302\300#\303\304#\207" [V0 make-closure #[128 "\302\301\206�\300\"\207" [V0 V1 apply] 4 "\n\n(fn &rest ARGS)"] apply #[514 "

\300\301\"@\"\207" [eieio-oref argument] 7 "\n\n(fn CL--CNM CONTEXT)"]] 6 "Return a type constraint for completing :prefix in CONTEXT.\n\n(fn CONTEXT)"]] 5 "\n\n(fn CL--NM)"]) #s(cl--generic-method (semantic-analyze-context) nil nil #[513 "\211\3001.�\211:\205(�\211@;\205(�\211A@9\205(�\211A@\205(�\301
8<\205(�\302
8<0\262
\2022�\210\303\262
\205\332�\211\211A@\262
\304=\204P�\211\211\305\306\301
8\262
\"\266\203\262
\211;\203]�\211\304D\262
\202\331�\211@;\203\241�\211\3001\221�\211:\205\213�\211@;\205\213�\211A@9\205\213�\211A@\205\213�\301
8<\205\213�\302
8<0\262
\202\225�\210\303\262
\204\241�\211@\304D\262
\202\331�\211\3001\317�\211:\205\311�\211@;\205\311�\211A@9\205\311�\211A@\205\311�\301
8<\205\311�\302
8<0\262
\202\323�\210\303\262
\204\331�\303\262
\211\207" [(error) 2 3 nil type :type plist-get] 9 "Return a type constraint for completing :prefix in CONTEXT.\nOptional argument DESIRED-TYPE may be a non-type tag to analyze.\n\n(fn CONTEXT &optional DESIRED-TYPE)"])) nil #s(cl--generic semantic-analyze-type-constraint ((0 #s(cl--generic-generalizer eieio--generic-generalizer 50 cl--generic-struct-tag #[385 "
\301N\302
!>\205�\303\304\305!\"\207" [cl-struct-eieio--class-tags cl--class type-of mapcar eieio--class-name eieio--class-precedence-list] 7 "\n\n(fn TAG &rest _)"]) #s(cl--generic-generalizer cl--generic-t-generalizer 0 #[385 "\300\207" [nil] 3 "\n\n(fn NAME &rest _)"] #[385 "\300\207" [(t)] 3 "\n\n(fn TAG &rest _)"]))) (#s(cl--generic-method (semantic-analyze-context-assignment) nil curried #[257 "\300
!\210\301\302\303\"\207" [cl--generic-isnot-nnm-p nil make-closure #[128 "\301\302\300#\303\304#\207" [V0 make-closure #[128 "\302\301\206�\300\"\207" [V0 V1 apply] 4 "\n\n(fn &rest ARGS)"] apply #[514 "

\300\301\302\"!@\"\207" [reverse eieio-oref assignee] 8 "\n\n(fn CL--CNM CONTEXT)"]] 6 "Return a type constraint for completing :prefix in CONTEXT.\n\n(fn CONTEXT)"]] 5 "\n\n(fn CL--NM)"]) #s(cl--generic-method (semantic-analyze-context-functionarg) nil curried #[257 "\300
!\210\301\302\303\"\207" [cl--generic-isnot-nnm-p nil make-closure #[128 "\301\302\300#\303\304#\207" [V0 make-closure #[128 "\302\301\206�\300\"\207" [V0 V1 apply] 4 "\n\n(fn &rest ARGS)"] apply #[514 "

\300\301\"@\"\207" [eieio-oref argument] 7 "\n\n(fn CL--CNM CONTEXT)"]] 6 "Return a type constraint for completing :prefix in CONTEXT.\n\n(fn CONTEXT)"]] 5 "\n\n(fn CL--NM)"]) #s(cl--generic-method (semantic-analyze-context) nil nil #[513 "\211\3001.�\211:\205(�\211@;\205(�\211A@9\205(�\211A@\205(�\301
8<\205(�\302
8<0\262
\2022�\210\303\262
\205\332�\211\211A@\262
\304=\204P�\211\211\305\306\301
8\262
\"\266\203\262
\211;\203]�\211\304D\262
\202\331�\211@;\203\241�\211\3001\221�\211:\205\213�\211@;\205\213�\211A@9\205\213�\211A@\205\213�\301
8<\205\213�\302
8<0\262
\202\225�\210\303\262
\204\241�\211@\304D\262
\202\331�\211\3001\317�\211:\205\311�\211@;\205\311�\211A@9\205\311�\211A@\205\311�\301
8<\205\311�\302
8<0\262
\202\323�\210\303\262
\204\331�\303\262
\211\207" [(error) 2 3 nil type :type plist-get] 9 "Return a type constraint for completing :prefix in CONTEXT.\nOptional argument DESIRED-TYPE may be a non-type tag to analyze.\n\n(fn CONTEXT &optional DESIRED-TYPE)"])) nil) apply type-of null gethash cl--generic-cache-miss 0 append #[385 "
\301N\302
!>\205�\303\304\305!\"\207" [cl-struct-eieio--class-tags cl--class type-of mapcar eieio--class-name eieio--class-precedence-list] 7 "\n\n(fn TAG &rest _)"] #[385 "\300\207" [(t)] 3 "\n\n(fn TAG &rest _)"] nil puthash] 13 "\n\n(fn ARG &rest ARGS)"]