public abstract class org.graalvm.compiler.phases.VerifyPhase<C> extends org.graalvm.compiler.phases.BasePhase<C>
  minor version: 0
  major version: 59
  flags: flags: (0x0421) ACC_PUBLIC, ACC_SUPER, ACC_ABSTRACT
  this_class: org.graalvm.compiler.phases.VerifyPhase
  super_class: org.graalvm.compiler.phases.BasePhase
{
  static final boolean $assertionsDisabled;
    descriptor: Z
    flags: (0x1018) ACC_STATIC, ACC_FINAL, ACC_SYNTHETIC

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=0, args_size=0
         0: .line 33
            ldc Lorg/graalvm/compiler/phases/VerifyPhase;
            invokevirtual java.lang.Class.desiredAssertionStatus:()Z
            ifne 1
            iconst_1
            goto 2
      StackMap locals:
      StackMap stack:
         1: iconst_0
      StackMap locals:
      StackMap stack: int
         2: putstatic org.graalvm.compiler.phases.VerifyPhase.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  public void <init>();
    descriptor: ()V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // org.graalvm.compiler.phases.VerifyPhase this
         0: .line 33
            aload 0 /* this */
            invokespecial org.graalvm.compiler.phases.BasePhase.<init>:()V
            return
        end local 0 // org.graalvm.compiler.phases.VerifyPhase this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lorg/graalvm/compiler/phases/VerifyPhase<TC;>;

  protected final void run(org.graalvm.compiler.nodes.StructuredGraph, );
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)V
    flags: (0x0014) ACC_PROTECTED, ACC_FINAL
    Code:
      stack=3, locals=3, args_size=3
        start local 0 // org.graalvm.compiler.phases.VerifyPhase this
        start local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        start local 2 // java.lang.Object context
         0: .line 56
            getstatic org.graalvm.compiler.phases.VerifyPhase.$assertionsDisabled:Z
            ifne 1
            aload 0 /* this */
            aload 1 /* graph */
            aload 2 /* context */
            invokevirtual org.graalvm.compiler.phases.VerifyPhase.verify:(Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)Z
            ifne 1
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         1: .line 57
      StackMap locals:
      StackMap stack:
            return
        end local 2 // java.lang.Object context
        end local 1 // org.graalvm.compiler.nodes.StructuredGraph graph
        end local 0 // org.graalvm.compiler.phases.VerifyPhase this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    2     0     this  Lorg/graalvm/compiler/phases/VerifyPhase<TC;>;
            0    2     1    graph  Lorg/graalvm/compiler/nodes/StructuredGraph;
            0    2     2  context  TC;
    Signature: (Lorg/graalvm/compiler/nodes/StructuredGraph;TC;)V
    MethodParameters:
         Name  Flags
      graph    
      context  

  protected abstract boolean verify(org.graalvm.compiler.nodes.StructuredGraph, );
    descriptor: (Lorg/graalvm/compiler/nodes/StructuredGraph;Ljava/lang/Object;)Z
    flags: (0x0404) ACC_PROTECTED, ACC_ABSTRACT
    Signature: (Lorg/graalvm/compiler/nodes/StructuredGraph;TC;)Z
    MethodParameters:
         Name  Flags
      graph    
      context  
}
Signature: <C:Ljava/lang/Object;>Lorg/graalvm/compiler/phases/BasePhase<TC;>;
SourceFile: "VerifyPhase.java"
NestMembers:
  org.graalvm.compiler.phases.VerifyPhase$VerificationError
InnerClasses:
  public VerificationError = org.graalvm.compiler.phases.VerifyPhase$VerificationError of org.graalvm.compiler.phases.VerifyPhase