Lines Matching refs:decl
127 for decl in decls:
128 if not decl.data:
131 yield decl
134 def analyze_resolved(resolved, decl, types, knowntypes, extra=None):
135 if decl.kind not in KINDS:
141 if decl.kind in (KIND.STRUCT, KIND.UNION):
142 typedeps = [typedeps] * len(decl.members)
150 raise NotImplementedError((decl, extra))
152 unsupported = _check_unsupported(decl, typedeps, types, knowntypes)
158 def _check_unsupported(decl, typedeps, types, knowntypes):
160 raise NotImplementedError(decl)
162 if decl.kind in (KIND.STRUCT, KIND.UNION):
163 return _check_members(decl, typedeps, types, knowntypes)
164 elif decl.kind is KIND.ENUM:
166 raise NotImplementedError((decl, typedeps))
169 return _check_typedep(decl, typedeps, types, knowntypes)
172 def _check_members(decl, typedeps, types, knowntypes):
174 raise NotImplementedError((decl, typedeps))
176 #members = decl.members or () # A forward decl has no members.
177 members = decl.members
179 # A forward decl has no members, but that shouldn't surface here..
180 raise NotImplementedError(decl)
182 raise NotImplementedError((decl, typedeps))
196 def _check_typedep(decl, typedecl, types, knowntypes):
208 raise NotImplementedError((decl, typedecl))
210 if isinstance(decl, Member):
211 return _check_vartype(decl, typedecl, types, knowntypes)
212 elif not isinstance(decl, Declaration):
213 raise NotImplementedError(decl)
214 elif decl.kind is KIND.TYPEDEF:
215 return _check_vartype(decl, typedecl, types, knowntypes)
216 elif decl.kind is KIND.VARIABLE:
217 if not is_process_global(decl):
219 checked = _check_vartype(decl, typedecl, types, knowntypes)
222 raise NotImplementedError(decl)
225 def _check_vartype(decl, typedecl, types, knowntypes):
227 checked = _check_typespec(decl, typedecl, types, knowntypes)
230 if is_immutable(decl.vartype):
232 if is_fixed_type(decl.vartype):
237 def _check_typespec(decl, typedecl, types, knowntypes):
238 typespec = decl.vartype.typespec
258 elif is_funcptr(decl.vartype):