Lines Matching refs:kls
59 // Do a JLS lookup in `kls` to find a method.
60 VeriMethod LookupMethodIn(const VeriClass& kls,
64 // Do a JLS lookup in `kls` to find a field.
65 VeriField LookupFieldIn(const VeriClass& kls,
69 // Lookup a method declared in `kls`.
70 VeriMethod LookupDeclaredMethodIn(const VeriClass& kls,
82 const DexFile& GetDexFileOf(const VeriClass& kls) {
83 return GetResolverOf(kls)->dex_file_;
87 // Return the resolver where `kls` is from.
88 VeridexResolver* GetResolverOf(const VeriClass& kls) const;