// the following snippet can be executed using the scala console and the 
// "bytecode representation.jar"

// SETUP ----------------------------------------------------------------
import org.opalj.collection.immutable._
import org.opalj.br._
import org.opalj.br.analyses._

val p = Project(org.opalj.bytecode.RTJar)

// 1. ----------------------------------------------------------------
p.resolveMethodReference(
    ObjectType("java/util/ArrayList"),
    "toString",
    MethodDescriptor.JustReturnsString
).map{m => m.toJava}
// =>  Some("java.util.AbstractCollection{ public java.lang.String toString() }")

// 2. ----------------------------------------------------------------
p.resolveMethodReference(
    ObjectType("java/util/AbstractList"),
    "forEach",MethodDescriptor(ObjectType("java/util/function/Consumer"),VoidType)
).map{m => m.toJava}
// => Some("java.lang.Iterable{ public void forEach(java.util.function.Consumer) }")

// 3. ----------------------------------------------------------------
// Finding the maximally specific mehod
val superinterfaceTypes = UIDSet(ObjectType("java/lang/AutoCloseable"),ObjectType("java/io/Closeable"))
// Closeable inherits from AutoCloseable and both define "void close()"
p.findMaximallySpecificSuperinterfaceMethods(superinterfaceTypes, "close",MethodDescriptor.NoArgsAndReturnVoid, UIDSet.empty[ObjectType])._2.map{m => m.toJava}
// => Set("java.io.Closeable{ public void close() }")


// 3. ----------------------------------------------------------------
// Finding the maximally specific mehods if multiple methods exist
val superinterfaceTypes = UIDSet(
    ObjectType("java/lang/AutoCloseable"),
    ObjectType("java/io/Closeable"),
    ObjectType("java/nio/channels/Channel"),ObjectType("java/nio/file/WatchService"))
p.findMaximallySpecificSuperinterfaceMethods(superinterfaceTypes, "close",MethodDescriptor.NoArgsAndReturnVoid, UIDSet.empty[ObjectType])._2.map{m => m.toJava}
// => Set("java.nio.channels.Channel{ public void close() }", "java.nio.file.WatchService{ public void close() }")