https://openjdk.java.net/ 
public interface org.graalvm.compiler.debug.DebugVerifyHandler extends org.graalvm.compiler.debug.DebugHandler
  minor version: 0
  major version: 59
  flags: flags: (0x0601) ACC_PUBLIC, ACC_INTERFACE, ACC_ABSTRACT
  this_class: org.graalvm.compiler.debug.DebugVerifyHandler
  super_class: java.lang.Object
{
  public abstract void verify(org.graalvm.compiler.debug.DebugContext, java.lang.Object, java.lang.String, java.lang.Object[]);
    descriptor: (Lorg/graalvm/compiler/debug/DebugContext;Ljava/lang/Object;Ljava/lang/String;[Ljava/lang/Object;)V
    flags: (0x0481) ACC_PUBLIC, ACC_VARARGS, ACC_ABSTRACT
    MethodParameters:
           Name  Flags
      debug      
      object     
      format     
      arguments  
}
SourceFile: "DebugVerifyHandler.java"