class com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker implements com.oracle.truffle.api.instrumentation.ExecutionEventListener
  minor version: 0
  major version: 59
  flags: flags: (0x0020) ACC_SUPER
  this_class: com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker
  super_class: java.lang.Object
{
  private void <init>();
    descriptor: ()V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
         0: .line 236
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
            return
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$NodePropertyChecker;

  public void onEnter(com.oracle.truffle.api.instrumentation.EventContext, com.oracle.truffle.api.frame.VirtualFrame);
    descriptor: (Lcom/oracle/truffle/api/instrumentation/EventContext;Lcom/oracle/truffle/api/frame/VirtualFrame;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=1, locals=5, args_size=3
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
        start local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        start local 2 // com.oracle.truffle.api.frame.VirtualFrame frame
         0: .line 239
            aload 1 /* context */
            invokevirtual com.oracle.truffle.api.instrumentation.EventContext.getInstrumentedNode:()Lcom/oracle/truffle/api/nodes/Node;
            astore 3 /* instrumentedNode */
        start local 3 // com.oracle.truffle.api.nodes.Node instrumentedNode
         1: .line 240
            aload 3 /* instrumentedNode */
            invokevirtual com.oracle.truffle.api.nodes.Node.getRootNode:()Lcom/oracle/truffle/api/nodes/RootNode;
            astore 4 /* root */
        start local 4 // com.oracle.truffle.api.nodes.RootNode root
         2: .line 241
            aload 4 /* root */
            invokestatic com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker.checkRootNames:(Lcom/oracle/truffle/api/nodes/RootNode;)V
         3: .line 242
            return
        end local 4 // com.oracle.truffle.api.nodes.RootNode root
        end local 3 // com.oracle.truffle.api.nodes.Node instrumentedNode
        end local 2 // com.oracle.truffle.api.frame.VirtualFrame frame
        end local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
      LocalVariableTable:
        Start  End  Slot              Name  Signature
            0    4     0              this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$NodePropertyChecker;
            0    4     1           context  Lcom/oracle/truffle/api/instrumentation/EventContext;
            0    4     2             frame  Lcom/oracle/truffle/api/frame/VirtualFrame;
            1    4     3  instrumentedNode  Lcom/oracle/truffle/api/nodes/Node;
            2    4     4              root  Lcom/oracle/truffle/api/nodes/RootNode;
    MethodParameters:
         Name  Flags
      context  
      frame    

  private static void checkRootNames(com.oracle.truffle.api.nodes.RootNode);
    descriptor: (Lcom/oracle/truffle/api/nodes/RootNode;)V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.nodes.RootNode root
         0: .line 246
            aload 0 /* root */
            invokestatic org.junit.Assert.assertNotNull:(Ljava/lang/Object;)V
         1: .line 247
            aload 0 /* root */
            invokevirtual com.oracle.truffle.api.nodes.RootNode.getName:()Ljava/lang/String;
            pop
         2: .line 248
            aload 0 /* root */
            invokevirtual com.oracle.truffle.api.nodes.RootNode.getQualifiedName:()Ljava/lang/String;
            pop
         3: .line 249
            return
        end local 0 // com.oracle.truffle.api.nodes.RootNode root
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0  root  Lcom/oracle/truffle/api/nodes/RootNode;
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.CompilerDirectives$TruffleBoundary()
    MethodParameters:
      Name  Flags
      root  

  public void onReturnValue(com.oracle.truffle.api.instrumentation.EventContext, com.oracle.truffle.api.frame.VirtualFrame, java.lang.Object);
    descriptor: (Lcom/oracle/truffle/api/instrumentation/EventContext;Lcom/oracle/truffle/api/frame/VirtualFrame;Ljava/lang/Object;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=0, locals=4, args_size=4
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
        start local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        start local 2 // com.oracle.truffle.api.frame.VirtualFrame frame
        start local 3 // java.lang.Object result
         0: .line 252
            return
        end local 3 // java.lang.Object result
        end local 2 // com.oracle.truffle.api.frame.VirtualFrame frame
        end local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
      LocalVariableTable:
        Start  End  Slot     Name  Signature
            0    1     0     this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$NodePropertyChecker;
            0    1     1  context  Lcom/oracle/truffle/api/instrumentation/EventContext;
            0    1     2    frame  Lcom/oracle/truffle/api/frame/VirtualFrame;
            0    1     3   result  Ljava/lang/Object;
    MethodParameters:
         Name  Flags
      context  
      frame    
      result   

  public void onReturnExceptional(com.oracle.truffle.api.instrumentation.EventContext, com.oracle.truffle.api.frame.VirtualFrame, java.lang.Throwable);
    descriptor: (Lcom/oracle/truffle/api/instrumentation/EventContext;Lcom/oracle/truffle/api/frame/VirtualFrame;Ljava/lang/Throwable;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=0, locals=4, args_size=4
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
        start local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        start local 2 // com.oracle.truffle.api.frame.VirtualFrame frame
        start local 3 // java.lang.Throwable exception
         0: .line 255
            return
        end local 3 // java.lang.Throwable exception
        end local 2 // com.oracle.truffle.api.frame.VirtualFrame frame
        end local 1 // com.oracle.truffle.api.instrumentation.EventContext context
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker this
      LocalVariableTable:
        Start  End  Slot       Name  Signature
            0    1     0       this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$NodePropertyChecker;
            0    1     1    context  Lcom/oracle/truffle/api/instrumentation/EventContext;
            0    1     2      frame  Lcom/oracle/truffle/api/frame/VirtualFrame;
            0    1     3  exception  Ljava/lang/Throwable;
    MethodParameters:
           Name  Flags
      context    
      frame      
      exception  
}
SourceFile: "VerifierInstrument.java"
NestHost: com.oracle.truffle.tck.instrumentation.VerifierInstrument
InnerClasses:
  public abstract TruffleBoundary = com.oracle.truffle.api.CompilerDirectives$TruffleBoundary of com.oracle.truffle.api.CompilerDirectives
  private NodePropertyChecker = com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker of com.oracle.truffle.tck.instrumentation.VerifierInstrument