// Please note, that calls sites which have no non-abstract target, can be found due to several reasons:
//  - the target interface/abstract class is not implemented in the scope of the current project
//  - the target class is not part of the project (note, even if you load the entire(!) JDK some references to some classes cannot be resolved)

import org.opalj.collection.immutable._; import org.opalj.br._ ; import org.opalj.br.analyses._; import org.opalj.br.instructions._
val p = Project(org.opalj.bytecode.JRELibraryFolder)
//val p = Project(org.opalj.bytecode.RTJar)

val unresolvableInterfaceCalls = p.allMethodsWithBody.par.flatMap {m => m.body.get.instructions.collect { case i : INVOKEINTERFACE  if p.interfaceCall(i).isEmpty => i.toString}}.toSet
unresolvableInterfaceCalls.toList.sorted.foreach(println)

val unresolvableSpecialCalls = p.allMethodsWithBody.par.flatMap {m => m.body.get.instructions.collect { case i : INVOKESPECIAL  if p.specialCall(i).isEmpty => i.toString}}.toSet
unresolvableSpecialCalls.toList.sorted.foreach(println)

val unresolvableStaticCalls = p.allMethodsWithBody.par.flatMap {m => m.body.get.instructions.collect { case i : INVOKESTATIC  if p.staticCall(i).isEmpty => i.toString}}.toSet
unresolvableStaticCalls.toList.sorted.foreach(println)

val unresolvableVirtualCalls = p.allMethodsWithBody.par.flatMap {m => val cf = m.classFile; m.body.get.instructions.collect { case i : INVOKEVIRTUAL  if p.virtualCall(cf.thisType.packageName,i).isEmpty => i.toString}}.toSet
unresolvableVirtualCalls.toList.sorted.foreach(println)

println("Completely unresolvable methods: "+(unresolvableVirtualCalls.size + unresolvableStaticCalls.size + unresolvableSpecialCalls.size + unresolvableInterfaceCalls.size))
// for the entire JDK 8 ~ 820 method call sites have no target method
// for the RTJar ~ 880 method call sites have no target method


// Methods which call no other method:
p.allMethodsWithBody.count{m => m.body.forall{code => code.forall{(pc,i)=> !i.isInstanceOf[InvocationInstruction]}}}
// Non-public methods:
 p.allMethodsWithBody.count{m => !m.isPublic}