graal/21.0.0.2 : truffle/com.oracle.truffle.tck.instrumentation/com/oracle/truffle/tck/instrumentation/VerifierInstrument.class

public class com.oracle.truffle.tck.instrumentation.VerifierInstrument extends com.oracle.truffle.api.instrumentation.TruffleInstrument implements com.oracle.truffle.tck.common.inline.InlineVerifier
  minor version: 0
  major version: 59
  flags: flags: (0x0021) ACC_PUBLIC, ACC_SUPER
  this_class: com.oracle.truffle.tck.instrumentation.VerifierInstrument
  super_class: com.oracle.truffle.api.instrumentation.TruffleInstrument
{
  private com.oracle.truffle.api.instrumentation.TruffleInstrument$Env env;
    descriptor: Lcom/oracle/truffle/api/instrumentation/TruffleInstrument$Env;
    flags: (0x0002) ACC_PRIVATE

  private com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory inlineScriptFactory;
    descriptor: Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$InlineScriptFactory;
    flags: (0x0002) ACC_PRIVATE

  private com.oracle.truffle.api.instrumentation.EventBinding<com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory> inlineBinding;
    descriptor: Lcom/oracle/truffle/api/instrumentation/EventBinding;
    flags: (0x0002) ACC_PRIVATE
    Signature: Lcom/oracle/truffle/api/instrumentation/EventBinding<Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$InlineScriptFactory;>;

  private static final java.lang.ThreadLocal<java.lang.Boolean> ENTERED;
    descriptor: Ljava/lang/ThreadLocal;
    flags: (0x001a) ACC_PRIVATE, ACC_STATIC, ACC_FINAL
    Signature: Ljava/lang/ThreadLocal<Ljava/lang/Boolean;>;

  static final com.oracle.truffle.tck.instrumentation.VerifierInstrument$TruffleTCKAccessor ACCESSOR;
    descriptor: Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$TruffleTCKAccessor;
    flags: (0x0018) ACC_STATIC, ACC_FINAL

  static void <clinit>();
    descriptor: ()V
    flags: (0x0008) ACC_STATIC
    Code:
      stack=2, locals=0, args_size=0
         0: .line 87
            new java.lang.ThreadLocal
            dup
            invokespecial java.lang.ThreadLocal.<init>:()V
            putstatic com.oracle.truffle.tck.instrumentation.VerifierInstrument.ENTERED:Ljava/lang/ThreadLocal;
         1: .line 386
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$TruffleTCKAccessor
            dup
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$TruffleTCKAccessor.<init>:()V
            putstatic com.oracle.truffle.tck.instrumentation.VerifierInstrument.ACCESSOR:Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$TruffleTCKAccessor;
            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 // com.oracle.truffle.tck.instrumentation.VerifierInstrument this
         0: .line 81
            aload 0 /* this */
            invokespecial com.oracle.truffle.api.instrumentation.TruffleInstrument.<init>:()V
            return
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument;

  protected void onCreate(com.oracle.truffle.api.instrumentation.TruffleInstrument$Env);
    descriptor: (Lcom/oracle/truffle/api/instrumentation/TruffleInstrument$Env;)V
    flags: (0x0004) ACC_PROTECTED
    Code:
      stack=6, locals=2, args_size=2
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument this
        start local 1 // com.oracle.truffle.api.instrumentation.TruffleInstrument$Env instrumentEnv
         0: .line 91
            aload 0 /* this */
            aload 1 /* instrumentEnv */
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.env:Lcom/oracle/truffle/api/instrumentation/TruffleInstrument$Env;
         1: .line 92
            aload 1 /* instrumentEnv */
            aload 0 /* this */
            invokevirtual com.oracle.truffle.api.instrumentation.TruffleInstrument$Env.registerService:(Ljava/lang/Object;)V
         2: .line 93
            aload 1 /* instrumentEnv */
            invokevirtual com.oracle.truffle.api.instrumentation.TruffleInstrument$Env.getInstrumenter:()Lcom/oracle/truffle/api/instrumentation/Instrumenter;
         3: .line 94
            invokestatic com.oracle.truffle.api.instrumentation.SourceSectionFilter.newBuilder:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            iconst_1
            anewarray java.lang.Class
            dup
            iconst_0
            ldc Lcom/oracle/truffle/api/instrumentation/StandardTags$RootTag;
            aastore
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.tagIs:([Ljava/lang/Class;)Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.build:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;
         4: .line 95
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$RootFrameChecker
            dup
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$RootFrameChecker.<init>:()V
         5: .line 93
            invokevirtual com.oracle.truffle.api.instrumentation.Instrumenter.attachExecutionEventListener:(Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;Lcom/oracle/truffle/api/instrumentation/ExecutionEventListener;)Lcom/oracle/truffle/api/instrumentation/EventBinding;
            pop
         6: .line 96
            aload 1 /* instrumentEnv */
            invokevirtual com.oracle.truffle.api.instrumentation.TruffleInstrument$Env.getInstrumenter:()Lcom/oracle/truffle/api/instrumentation/Instrumenter;
         7: .line 97
            invokestatic com.oracle.truffle.api.instrumentation.SourceSectionFilter.newBuilder:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            iconst_1
            anewarray java.lang.Class
            dup
            iconst_0
            ldc Lcom/oracle/truffle/api/instrumentation/StandardTags$RootTag;
            aastore
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.tagIs:([Ljava/lang/Class;)Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.build:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;
         8: .line 98
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker
            dup
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker.<init>:()V
         9: .line 96
            invokevirtual com.oracle.truffle.api.instrumentation.Instrumenter.attachExecutionEventListener:(Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;Lcom/oracle/truffle/api/instrumentation/ExecutionEventListener;)Lcom/oracle/truffle/api/instrumentation/EventBinding;
            pop
        10: .line 99
            aload 1 /* instrumentEnv */
            invokevirtual com.oracle.truffle.api.instrumentation.TruffleInstrument$Env.getInstrumenter:()Lcom/oracle/truffle/api/instrumentation/Instrumenter;
        11: .line 100
            invokestatic com.oracle.truffle.api.instrumentation.SourceSectionFilter.newBuilder:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            iconst_1
            anewarray java.lang.Class
            dup
            iconst_0
            ldc Lcom/oracle/truffle/api/instrumentation/StandardTags$RootTag;
            aastore
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.tagIs:([Ljava/lang/Class;)Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.build:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;
        12: .line 101
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker
            dup
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker.<init>:()V
        13: .line 99
            invokevirtual com.oracle.truffle.api.instrumentation.Instrumenter.attachExecutionEventFactory:(Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;Lcom/oracle/truffle/api/instrumentation/ExecutionEventNodeFactory;)Lcom/oracle/truffle/api/instrumentation/EventBinding;
            pop
        14: .line 102
            aload 1 /* instrumentEnv */
            invokevirtual com.oracle.truffle.api.instrumentation.TruffleInstrument$Env.getInstrumenter:()Lcom/oracle/truffle/api/instrumentation/Instrumenter;
        15: .line 103
            invokestatic com.oracle.truffle.api.instrumentation.SourceSectionFilter.newBuilder:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.build:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;
        16: .line 104
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$EmptyExecutionEventListener
            dup
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$EmptyExecutionEventListener.<init>:()V
        17: .line 102
            invokevirtual com.oracle.truffle.api.instrumentation.Instrumenter.attachExecutionEventListener:(Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;Lcom/oracle/truffle/api/instrumentation/ExecutionEventListener;)Lcom/oracle/truffle/api/instrumentation/EventBinding;
            pop
        18: .line 105
            return
        end local 1 // com.oracle.truffle.api.instrumentation.TruffleInstrument$Env instrumentEnv
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   19     0           this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument;
            0   19     1  instrumentEnv  Lcom/oracle/truffle/api/instrumentation/TruffleInstrument$Env;
    MethodParameters:
               Name  Flags
      instrumentEnv  

  public void setInlineSnippet(java.lang.String, org.graalvm.polyglot.tck.InlineSnippet, com.oracle.truffle.tck.common.inline.InlineVerifier$ResultVerifier);
    descriptor: (Ljava/lang/String;Lorg/graalvm/polyglot/tck/InlineSnippet;Lcom/oracle/truffle/tck/common/inline/InlineVerifier$ResultVerifier;)V
    flags: (0x0001) ACC_PUBLIC
    Code:
      stack=7, locals=4, args_size=4
        start local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument this
        start local 1 // java.lang.String languageId
        start local 2 // org.graalvm.polyglot.tck.InlineSnippet inlineSnippet
        start local 3 // com.oracle.truffle.tck.common.inline.InlineVerifier$ResultVerifier verifier
         0: .line 109
            aload 2 /* inlineSnippet */
            ifnull 7
         1: .line 110
            aload 0 /* this */
            new com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory
            dup
            aload 0 /* this */
            aload 1 /* languageId */
            aload 2 /* inlineSnippet */
            aload 3 /* verifier */
            invokespecial com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory.<init>:(Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument;Ljava/lang/String;Lorg/graalvm/polyglot/tck/InlineSnippet;Lcom/oracle/truffle/tck/common/inline/InlineVerifier$ResultVerifier;)V
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineScriptFactory:Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$InlineScriptFactory;
         2: .line 111
            aload 0 /* this */
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.env:Lcom/oracle/truffle/api/instrumentation/TruffleInstrument$Env;
            invokevirtual com.oracle.truffle.api.instrumentation.TruffleInstrument$Env.getInstrumenter:()Lcom/oracle/truffle/api/instrumentation/Instrumenter;
         3: .line 112
            invokestatic com.oracle.truffle.api.instrumentation.SourceSectionFilter.newBuilder:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            iconst_2
            anewarray java.lang.Class
            dup
            iconst_0
            ldc Lcom/oracle/truffle/api/instrumentation/StandardTags$StatementTag;
            aastore
            dup
            iconst_1
            ldc Lcom/oracle/truffle/api/instrumentation/StandardTags$CallTag;
            aastore
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.tagIs:([Ljava/lang/Class;)Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter$Builder;
            invokevirtual com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder.build:()Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;
         4: .line 113
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineScriptFactory:Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$InlineScriptFactory;
         5: .line 111
            invokevirtual com.oracle.truffle.api.instrumentation.Instrumenter.attachExecutionEventFactory:(Lcom/oracle/truffle/api/instrumentation/SourceSectionFilter;Lcom/oracle/truffle/api/instrumentation/ExecutionEventNodeFactory;)Lcom/oracle/truffle/api/instrumentation/EventBinding;
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineBinding:Lcom/oracle/truffle/api/instrumentation/EventBinding;
         6: .line 114
            goto 13
      StackMap locals:
      StackMap stack:
         7: aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineBinding:Lcom/oracle/truffle/api/instrumentation/EventBinding;
            ifnull 13
         8: .line 115
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineScriptFactory:Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$InlineScriptFactory;
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory.snippetExecuted:Z
            ifne 10
         9: .line 116
            ldc "Inline snippet was not executed."
            invokestatic org.junit.Assert.fail:(Ljava/lang/String;)V
        10: .line 118
      StackMap locals:
      StackMap stack:
            aload 0 /* this */
            getfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineBinding:Lcom/oracle/truffle/api/instrumentation/EventBinding;
            invokevirtual com.oracle.truffle.api.instrumentation.EventBinding.dispose:()V
        11: .line 119
            aload 0 /* this */
            aconst_null
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineBinding:Lcom/oracle/truffle/api/instrumentation/EventBinding;
        12: .line 120
            aload 0 /* this */
            aconst_null
            putfield com.oracle.truffle.tck.instrumentation.VerifierInstrument.inlineScriptFactory:Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument$InlineScriptFactory;
        13: .line 122
      StackMap locals:
      StackMap stack:
            return
        end local 3 // com.oracle.truffle.tck.common.inline.InlineVerifier$ResultVerifier verifier
        end local 2 // org.graalvm.polyglot.tck.InlineSnippet inlineSnippet
        end local 1 // java.lang.String languageId
        end local 0 // com.oracle.truffle.tck.instrumentation.VerifierInstrument this
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0   14     0           this  Lcom/oracle/truffle/tck/instrumentation/VerifierInstrument;
            0   14     1     languageId  Ljava/lang/String;
            0   14     2  inlineSnippet  Lorg/graalvm/polyglot/tck/InlineSnippet;
            0   14     3       verifier  Lcom/oracle/truffle/tck/common/inline/InlineVerifier$ResultVerifier;
    MethodParameters:
               Name  Flags
      languageId     
      inlineSnippet  
      verifier       

  private static void leave();
    descriptor: ()V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=0, args_size=0
         0: .line 126
            getstatic com.oracle.truffle.tck.instrumentation.VerifierInstrument.ENTERED:Ljava/lang/ThreadLocal;
            getstatic java.lang.Boolean.FALSE:Ljava/lang/Boolean;
            invokevirtual java.lang.ThreadLocal.set:(Ljava/lang/Object;)V
         1: .line 127
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.CompilerDirectives$TruffleBoundary()

  private static void enter();
    descriptor: ()V
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=0, args_size=0
         0: .line 131
            getstatic com.oracle.truffle.tck.instrumentation.VerifierInstrument.ENTERED:Ljava/lang/ThreadLocal;
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            invokevirtual java.lang.ThreadLocal.set:(Ljava/lang/Object;)V
         1: .line 132
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.CompilerDirectives$TruffleBoundary()

  private static boolean isEntered();
    descriptor: ()Z
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=2, locals=0, args_size=0
         0: .line 136
            getstatic java.lang.Boolean.TRUE:Ljava/lang/Boolean;
            getstatic com.oracle.truffle.tck.instrumentation.VerifierInstrument.ENTERED:Ljava/lang/ThreadLocal;
            invokevirtual java.lang.ThreadLocal.get:()Ljava/lang/Object;
            if_acmpne 1
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         1: iconst_0
            ireturn
      LocalVariableTable:
        Start  End  Slot  Name  Signature
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.CompilerDirectives$TruffleBoundary()
}
SourceFile: "VerifierInstrument.java"
NestMembers:
  com.oracle.truffle.tck.instrumentation.VerifierInstrument$EmptyExecutionEventListener  com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory  com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory$InlineScriptNode  com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker  com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode  com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker$LibraryCheckerNode$InstrumentableNodeInLibrary  com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker  com.oracle.truffle.tck.instrumentation.VerifierInstrument$RootFrameChecker  com.oracle.truffle.tck.instrumentation.VerifierInstrument$TruffleTCKAccessor
InnerClasses:
  public abstract TruffleBoundary = com.oracle.truffle.api.CompilerDirectives$TruffleBoundary of com.oracle.truffle.api.CompilerDirectives
  public final Builder = com.oracle.truffle.api.instrumentation.SourceSectionFilter$Builder of com.oracle.truffle.api.instrumentation.SourceSectionFilter
  public final CallTag = com.oracle.truffle.api.instrumentation.StandardTags$CallTag of com.oracle.truffle.api.instrumentation.StandardTags
  public final RootTag = com.oracle.truffle.api.instrumentation.StandardTags$RootTag of com.oracle.truffle.api.instrumentation.StandardTags
  public final StatementTag = com.oracle.truffle.api.instrumentation.StandardTags$StatementTag of com.oracle.truffle.api.instrumentation.StandardTags
  public final Env = com.oracle.truffle.api.instrumentation.TruffleInstrument$Env of com.oracle.truffle.api.instrumentation.TruffleInstrument
  public abstract Registration = com.oracle.truffle.api.instrumentation.TruffleInstrument$Registration of com.oracle.truffle.api.instrumentation.TruffleInstrument
  public abstract ResultVerifier = com.oracle.truffle.tck.common.inline.InlineVerifier$ResultVerifier of com.oracle.truffle.tck.common.inline.InlineVerifier
  private final EmptyExecutionEventListener = com.oracle.truffle.tck.instrumentation.VerifierInstrument$EmptyExecutionEventListener of com.oracle.truffle.tck.instrumentation.VerifierInstrument
  private InlineScriptFactory = com.oracle.truffle.tck.instrumentation.VerifierInstrument$InlineScriptFactory of com.oracle.truffle.tck.instrumentation.VerifierInstrument
  private LibraryChecker = com.oracle.truffle.tck.instrumentation.VerifierInstrument$LibraryChecker of com.oracle.truffle.tck.instrumentation.VerifierInstrument
  private NodePropertyChecker = com.oracle.truffle.tck.instrumentation.VerifierInstrument$NodePropertyChecker of com.oracle.truffle.tck.instrumentation.VerifierInstrument
  private RootFrameChecker = com.oracle.truffle.tck.instrumentation.VerifierInstrument$RootFrameChecker of com.oracle.truffle.tck.instrumentation.VerifierInstrument
  final TruffleTCKAccessor = com.oracle.truffle.tck.instrumentation.VerifierInstrument$TruffleTCKAccessor of com.oracle.truffle.tck.instrumentation.VerifierInstrument
    RuntimeVisibleAnnotations: 
      com.oracle.truffle.api.instrumentation.TruffleInstrument$Registration(name = "TckVerifierInstrument", id = "TckVerifierInstrument", services = {Lcom/oracle/truffle/tck/common/inline/InlineVerifier;})
/

graal/ 21.0.0.2/ truffle/com.oracle.truffle.tck.instrumentation/com/oracle/truffle/tck/instrumentation/VerifierInstrument.class
