vm/code/dependencies.cpp

1199   Klass* find_witness_in(KlassDepChange& changes,
1203   Klass* find_witness_subtype(Klass* context_type, KlassDepChange* changes = NULL) {
1210     if (changes != NULL) {
1211       return find_witness_in(*changes, context_type, participants_hide_witnesses);
1216   Klass* find_witness_definer(Klass* context_type, KlassDepChange* changes = NULL) {
1222     if (changes != NULL) {
1223       return find_witness_in(*changes, context_type, !participants_hide_witnesses);
1277 Klass* ClassHierarchyWalker::find_witness_in(KlassDepChange& changes,
1280   assert(changes.involves_context(context_type), "irrelevant dependency");
1281   Klass* new_type = changes.new_type();
1305       assert(changes.involves_context(part) == new_type->is_subtype_of(part),
1307       if (changes.involves_context(part)) {
1538                                                                    KlassDepChange* changes) {
1540   return wf.find_witness_subtype(ctxk, changes);
1547                                                                KlassDepChange* changes) {
1550   return wf.find_witness_subtype(ctxk, changes);
1557                                                                KlassDepChange* changes) {
1560   return wf.find_witness_subtype(ctxk, changes);
1618                                                 KlassDepChange* changes) {
1622   return wf.find_witness_subtype(ctxk, changes);
1679                                                     KlassDepChange* changes) {
1685   return wf.find_witness_definer(ctxk, changes);
1726                                                         KlassDepChange* changes) {
1730   return wf.find_witness_definer(ctxk, changes);
1733 Klass* Dependencies::check_has_no_finalizable_subclasses(Klass* ctxk, KlassDepChange* changes) {
1735   if (changes != NULL)
1736     search_at = changes->new_type(); // just look at the new bit
1740 Klass* Dependencies::check_call_site_target_value(oop call_site, oop method_handle, CallSiteDepChange* changes) {
1745   if (changes == NULL) {
1751     if (call_site == changes->call_site() && java_lang_invoke_CallSite::target(call_site) != changes->method_handle()) {
1752       assert(method_handle != changes->method_handle(), "must be");
1770 Klass* Dependencies::DepStream::check_klass_dependency(KlassDepChange* changes) {
1783     witness = check_abstract_with_unique_concrete_subtype(context_type(), type_argument(1), changes);
1786     witness = check_abstract_with_no_concrete_subtype(context_type(), changes);
1789     witness = check_concrete_with_no_concrete_subtype(context_type(), changes);
1792     witness = check_unique_concrete_method(context_type(), method_argument(1), changes);
1795     witness = check_abstract_with_exclusive_concrete_subtypes(context_type(), type_argument(1), type_argument(2), changes);
1798     witness = check_exclusive_concrete_methods(context_type(), method_argument(1), method_argument(2), changes);
1801     witness = check_has_no_finalizable_subclasses(context_type(), changes);
1812 Klass* Dependencies::DepStream::check_call_site_dependency(CallSiteDepChange* changes) {
1819     witness = check_call_site_target_value(argument_oop(0), argument_oop(1), changes);
1830 Klass* Dependencies::DepStream::spot_check_dependency_at(DepChange& changes) {
1832   if (changes.is_klass_change() && changes.as_klass_change()->involves_context(context_type()))
1833     return check_klass_dependency(changes.as_klass_change());
1836   if (changes.is_call_site_change())
1837     return check_call_site_dependency(changes.as_call_site_change());