final class com.oracle.truffle.api.interop.AssertUtils
  minor version: 0
  major version: 59
  flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
  this_class: com.oracle.truffle.api.interop.AssertUtils
  super_class: java.lang.Object
{
  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 43
            ldc Lcom/oracle/truffle/api/interop/AssertUtils;
            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 com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            return
      LocalVariableTable:
        Start  End  Slot  Name  Signature

  private void <init>();
    descriptor: ()V
    flags: (0x0002) ACC_PRIVATE
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.api.interop.AssertUtils this
         0: .line 45
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 46
            return
        end local 0 // com.oracle.truffle.api.interop.AssertUtils this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    2     0  this  Lcom/oracle/truffle/api/interop/AssertUtils;

  private static java.lang.String formatArgs(java.lang.Object[]);
    descriptor: ([Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=7, args_size=1
        start local 0 // java.lang.Object[] args
         0: .line 49
            aload 0 /* args */
            ifnonnull 2
         1: .line 50
            ldc "null"
            areturn
         2: .line 52
      StackMap locals:
      StackMap stack:
            new java.lang.StringBuilder
            dup
            ldc "["
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            astore 1 /* b */
        start local 1 // java.lang.StringBuilder b
         3: .line 53
            ldc ""
            astore 2 /* sep */
        start local 2 // java.lang.String sep
         4: .line 54
            aload 0 /* args */
            dup
            astore 6
            arraylength
            istore 5
            iconst_0
            istore 4
            goto 10
      StackMap locals: java.lang.Object[] java.lang.StringBuilder java.lang.String top int int java.lang.Object[]
      StackMap stack:
         5: aload 6
            iload 4
            aaload
            astore 3 /* arg */
        start local 3 // java.lang.Object arg
         6: .line 55
            aload 1 /* b */
            aload 2 /* sep */
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            pop
         7: .line 56
            aload 1 /* b */
            aload 3 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            pop
         8: .line 57
            ldc ", "
            astore 2 /* sep */
        end local 3 // java.lang.Object arg
         9: .line 54
            iinc 4 1
      StackMap locals:
      StackMap stack:
        10: iload 4
            iload 5
            if_icmplt 5
        11: .line 59
            aload 1 /* b */
            ldc "]"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            pop
        12: .line 60
            aload 1 /* b */
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
        end local 2 // java.lang.String sep
        end local 1 // java.lang.StringBuilder b
        end local 0 // java.lang.Object[] args
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0   13     0  args  [Ljava/lang/Object;
            3   13     1     b  Ljava/lang/StringBuilder;
            4   13     2   sep  Ljava/lang/String;
            6    9     3   arg  Ljava/lang/Object;
    MethodParameters:
      Name  Flags
      args  

  private static java.lang.String formatValue(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=3, locals=1, args_size=1
        start local 0 // java.lang.Object arg
         0: .line 64
            aload 0 /* arg */
            ifnonnull 2
         1: .line 65
            ldc "null"
            areturn
         2: .line 66
      StackMap locals:
      StackMap stack:
            aload 0 /* arg */
            instanceof com.oracle.truffle.api.interop.TruffleObject
            ifeq 4
         3: .line 67
            new java.lang.StringBuilder
            dup
            aload 0 /* arg */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            ldc "("
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* arg */
            invokevirtual java.lang.Object.getClass:()Ljava/lang/Class;
            invokevirtual java.lang.Class.getName:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc ")"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
         4: .line 68
      StackMap locals:
      StackMap stack:
            aload 0 /* arg */
            instanceof java.lang.String
            ifeq 6
         5: .line 69
            new java.lang.StringBuilder
            dup
            ldc "\""
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* arg */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc "\""
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
         6: .line 70
      StackMap locals:
      StackMap stack:
            aload 0 /* arg */
            instanceof java.lang.Character
            ifeq 8
         7: .line 71
            new java.lang.StringBuilder
            dup
            ldc "'"
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            aload 0 /* arg */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc "'"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
         8: .line 72
      StackMap locals:
      StackMap stack:
            aload 0 /* arg */
            instanceof java.lang.Boolean
            ifeq 10
         9: .line 73
            aload 0 /* arg */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            areturn
        10: .line 75
      StackMap locals:
      StackMap stack:
            new java.lang.StringBuilder
            dup
            aload 0 /* arg */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokestatic java.lang.String.valueOf:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
            ldc "("
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            aload 0 /* arg */
            invokevirtual java.lang.Object.getClass:()Ljava/lang/Class;
            invokevirtual java.lang.Class.getSimpleName:()Ljava/lang/String;
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            ldc ")"
            invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
            invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
            areturn
        end local 0 // java.lang.Object arg
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0   11     0   arg  Ljava/lang/Object;
    MethodParameters:
      Name  Flags
      arg   

  private static java.lang.String violationPre(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=5, locals=1, args_size=1
        start local 0 // java.lang.Object receiver
         0: .line 80
            ldc "Pre-condition contract violation for receiver %s."
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
         1: .line 81
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
         2: .line 80
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  receiver  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  

  static java.lang.String violationPost(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object returnValue
         0: .line 85
            ldc "Post-condition contract violation for receiver %s and return value %s."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
         1: .line 86
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* returnValue */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
         2: .line 85
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Object returnValue
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    3     0     receiver  Ljava/lang/Object;
            0    3     1  returnValue  Ljava/lang/Object;
    MethodParameters:
             Name  Flags
      receiver     
      returnValue  

  static java.lang.String violationPost(java.lang.Object, java.lang.Throwable);
    descriptor: (Ljava/lang/Object;Ljava/lang/Throwable;)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Throwable t
         0: .line 90
            ldc "Post-condition contract violation for receiver %s. Thrown unexpected error %s."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
         1: .line 91
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* t */
            invokevirtual java.lang.Object.getClass:()Ljava/lang/Class;
            invokevirtual java.lang.Class.getName:()Ljava/lang/String;
            aastore
         2: .line 90
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Throwable t
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  receiver  Ljava/lang/Object;
            0    3     1         t  Ljava/lang/Throwable;
    MethodParameters:
          Name  Flags
      receiver  
      t         

  static java.lang.String violationInvariant(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=1, args_size=1
        start local 0 // java.lang.Object receiver
         0: .line 95
            ldc "Invariant contract violation for receiver %s."
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    1     0  receiver  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  

  static java.lang.String violationInvariant(java.lang.Object, java.lang.Object[]);
    descriptor: (Ljava/lang/Object;[Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object[] args
         0: .line 99
            ldc "Invariant contract violation for receiver %s and arguments %s."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* args */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatArgs:([Ljava/lang/Object;)Ljava/lang/String;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Object[] args
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    1     0  receiver  Ljava/lang/Object;
            0    1     1      args  [Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      args      

  static java.lang.String violationInvariant(java.lang.Object, java.lang.String);
    descriptor: (Ljava/lang/Object;Ljava/lang/String;)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.String arg
         0: .line 103
            ldc "Invariant contract violation for receiver %s and identifier %s."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* arg */
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.String arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    1     0  receiver  Ljava/lang/Object;
            0    1     1       arg  Ljava/lang/String;
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  static java.lang.String violationInvariant(java.lang.Object, long);
    descriptor: (Ljava/lang/Object;J)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=6, locals=3, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // long arg
         0: .line 107
            ldc "Invariant contract violation for receiver %s and index %s."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            lload 1 /* arg */
            invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // long arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    1     0  receiver  Ljava/lang/Object;
            0    1     1       arg  J
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  private static java.lang.String violationReturn(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object returnValue
         0: .line 111
            ldc "Post-condition contract violation for receiver %s and return value %s."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
         1: .line 112
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* returnValue */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
         2: .line 111
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Object returnValue
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot         Name  Signature
            0    3     0     receiver  Ljava/lang/Object;
            0    3     1  returnValue  Ljava/lang/Object;
    MethodParameters:
             Name  Flags
      receiver     
      returnValue  

  private static java.lang.String violationArgument(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object arg
         0: .line 116
            ldc "Pre-condition contract violation for receiver %s and argument %s. Valid arguments must be of type Boolean, Byte, Short, Integer, Long, Float, Double, Character, String or implement TruffleObject."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
         1: .line 118
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
         2: .line 116
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Object arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  receiver  Ljava/lang/Object;
            0    3     1       arg  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  static boolean validReturn(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object arg
         0: .line 122
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 1
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.isInteropValue:(Ljava/lang/Object;)Z
            ifne 1
            new java.lang.AssertionError
            dup
            aload 0 /* receiver */
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationReturn:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         1: .line 123
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 1 // java.lang.Object arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    2     0  receiver  Ljava/lang/Object;
            0    2     1       arg  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  static boolean validArgument(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object arg
         0: .line 127
            aload 1 /* arg */
            ifnonnull 2
         1: .line 128
            new java.lang.NullPointerException
            dup
            aload 0 /* receiver */
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationArgument:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.NullPointerException.<init>:(Ljava/lang/String;)V
            athrow
         2: .line 130
      StackMap locals:
      StackMap stack:
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.isInteropValue:(Ljava/lang/Object;)Z
            ifne 4
         3: .line 131
            new java.lang.ClassCastException
            dup
            aload 0 /* receiver */
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationArgument:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.ClassCastException.<init>:(Ljava/lang/String;)V
            athrow
         4: .line 133
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 1 // java.lang.Object arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    5     0  receiver  Ljava/lang/Object;
            0    5     1       arg  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  static boolean assertString(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=3, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object string
         0: .line 137
            aload 1 /* string */
            invokestatic com.oracle.truffle.api.interop.InteropLibrary.getUncached:(Ljava/lang/Object;)Lcom/oracle/truffle/api/interop/InteropLibrary;
            astore 2 /* uncached */
        start local 2 // com.oracle.truffle.api.interop.InteropLibrary uncached
         1: .line 138
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 2
            aload 2 /* uncached */
            aload 1 /* string */
            invokevirtual com.oracle.truffle.api.interop.InteropLibrary.isString:(Ljava/lang/Object;)Z
            ifne 2
            new java.lang.AssertionError
            dup
            aload 0 /* receiver */
            aload 1 /* string */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationPost:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         2: .line 140
      StackMap locals: com.oracle.truffle.api.interop.InteropLibrary
      StackMap stack:
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 5
            aload 2 /* uncached */
            aload 1 /* string */
            invokevirtual com.oracle.truffle.api.interop.InteropLibrary.asString:(Ljava/lang/Object;)Ljava/lang/String;
            ifnonnull 5
            new java.lang.AssertionError
            dup
            aload 0 /* receiver */
            aload 1 /* string */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationPost:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         3: .line 141
      StackMap locals:
      StackMap stack: com.oracle.truffle.api.interop.UnsupportedMessageException
            pop
         4: .line 142
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 5
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
         5: .line 144
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 2 // com.oracle.truffle.api.interop.InteropLibrary uncached
        end local 1 // java.lang.Object string
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    6     0  receiver  Ljava/lang/Object;
            0    6     1    string  Ljava/lang/Object;
            1    6     2  uncached  Lcom/oracle/truffle/api/interop/InteropLibrary;
      Exception table:
        from    to  target  type
           2     3       3  Class com.oracle.truffle.api.interop.UnsupportedMessageException
    MethodParameters:
          Name  Flags
      receiver  
      string    

  static boolean validNonInteropArgument(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=4, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object arg
         0: .line 148
            aload 1 /* arg */
            ifnonnull 2
         1: .line 149
            new java.lang.NullPointerException
            dup
            aload 0 /* receiver */
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationNonInteropArgument:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.NullPointerException.<init>:(Ljava/lang/String;)V
            athrow
         2: .line 151
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 1 // java.lang.Object arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  receiver  Ljava/lang/Object;
            0    3     1       arg  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  private static java.lang.String violationNonInteropArgument(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x000a) ACC_PRIVATE, ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object arg
         0: .line 155
            ldc "Pre-condition contract violation for receiver %s and argument %s. Argument must not be null."
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
         1: .line 157
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            dup
            iconst_1
            aload 1 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
         2: .line 155
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Object arg
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  receiver  Ljava/lang/Object;
            0    3     1       arg  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      arg       

  static boolean isInteropValue(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // java.lang.Object o
         0: .line 162
            aload 0 /* o */
            instanceof com.oracle.truffle.api.TruffleException
            ifne 3
            aload 0 /* o */
            instanceof com.oracle.truffle.api.interop.TruffleObject
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Boolean
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Byte
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Short
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Integer
            ifne 3
         1: .line 163
            aload 0 /* o */
            instanceof java.lang.Long
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Float
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Double
            ifne 3
            aload 0 /* o */
            instanceof java.lang.Character
            ifne 3
            aload 0 /* o */
            instanceof java.lang.String
            ifne 3
         2: .line 162
            iconst_0
            ireturn
      StackMap locals:
      StackMap stack:
         3: iconst_1
            ireturn
        end local 0 // java.lang.Object o
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    4     0     o  Ljava/lang/Object;
    MethodParameters:
      Name  Flags
      o     

  static boolean validArguments(java.lang.Object, java.lang.Object[]);
    descriptor: (Ljava/lang/Object;[Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=3, locals=6, args_size=2
        start local 0 // java.lang.Object receiver
        start local 1 // java.lang.Object[] args
         0: .line 167
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 1
            aload 1 /* args */
            ifnonnull 1
            new java.lang.AssertionError
            dup
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationPre:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         1: .line 168
      StackMap locals:
      StackMap stack:
            aload 1 /* args */
            dup
            astore 5
            arraylength
            istore 4
            iconst_0
            istore 3
            goto 5
      StackMap locals: java.lang.Object java.lang.Object[] top int int java.lang.Object[]
      StackMap stack:
         2: aload 5
            iload 3
            aaload
            astore 2 /* arg */
        start local 2 // java.lang.Object arg
         3: .line 169
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 4
            aload 0 /* receiver */
            aload 2 /* arg */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.validArgument:(Ljava/lang/Object;Ljava/lang/Object;)Z
            ifne 4
            new java.lang.AssertionError
            dup
            invokespecial java.lang.AssertionError.<init>:()V
            athrow
        end local 2 // java.lang.Object arg
         4: .line 168
      StackMap locals:
      StackMap stack:
            iinc 3 1
      StackMap locals:
      StackMap stack:
         5: iload 3
            iload 4
            if_icmplt 2
         6: .line 171
            iconst_1
            ireturn
        end local 1 // java.lang.Object[] args
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    7     0  receiver  Ljava/lang/Object;
            0    7     1      args  [Ljava/lang/Object;
            3    4     2       arg  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
      args      

  static boolean validScope(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=7, locals=2, args_size=1
        start local 0 // java.lang.Object o
         0: .line 175
            aload 0 /* o */
            instanceof com.oracle.truffle.api.interop.TruffleObject
            ifne 2
         1: .line 176
            iconst_0
            ireturn
         2: .line 178
      StackMap locals:
      StackMap stack:
            aload 0 /* o */
            invokestatic com.oracle.truffle.api.interop.InteropLibrary.getUncached:(Ljava/lang/Object;)Lcom/oracle/truffle/api/interop/InteropLibrary;
            astore 1 /* uncached */
        start local 1 // com.oracle.truffle.api.interop.InteropLibrary uncached
         3: .line 179
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 4
            aload 1 /* uncached */
            aload 0 /* o */
            invokevirtual com.oracle.truffle.api.interop.InteropLibrary.isScope:(Ljava/lang/Object;)Z
            ifne 4
            new java.lang.AssertionError
            dup
            ldc "Invariant contract violation for receiver %s: is not a scope."
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* o */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         4: .line 180
      StackMap locals: com.oracle.truffle.api.interop.InteropLibrary
      StackMap stack:
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 5
            aload 1 /* uncached */
            aload 0 /* o */
            invokevirtual com.oracle.truffle.api.interop.InteropLibrary.hasMembers:(Ljava/lang/Object;)Z
            ifne 5
            new java.lang.AssertionError
            dup
            ldc "Invariant contract violation for receiver %s: does not have members."
            iconst_1
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* o */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         5: .line 181
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 1 // com.oracle.truffle.api.interop.InteropLibrary uncached
        end local 0 // java.lang.Object o
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    6     0         o  Ljava/lang/Object;
            3    6     1  uncached  Lcom/oracle/truffle/api/interop/InteropLibrary;
    MethodParameters:
      Name  Flags
      o     

  static java.lang.String violationScopeMemberLengths(java.lang.Object, java.lang.Object);
    descriptor: (Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/String;
    flags: (0x0008) ACC_STATIC
    Code:
      stack=5, locals=2, args_size=2
        start local 0 // java.lang.Object allMembers
        start local 1 // java.lang.Object parentMembers
         0: .line 185
            ldc "Scope members of %s do not contain all scope parent members of %s"
            iconst_2
            anewarray java.lang.Object
            dup
            iconst_0
            aload 0 /* allMembers */
            aastore
            dup
            iconst_1
            aload 1 /* parentMembers */
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            areturn
        end local 1 // java.lang.Object parentMembers
        end local 0 // java.lang.Object allMembers
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0    1     0     allMembers  Ljava/lang/Object;
            0    1     1  parentMembers  Ljava/lang/Object;
    MethodParameters:
               Name  Flags
      allMembers     
      parentMembers  

  static boolean validScopeMemberLengths(long, long, java.lang.Object, java.lang.Object);
    descriptor: (JJLjava/lang/Object;Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=8, locals=6, args_size=4
        start local 0 // long allSize
        start local 2 // long parentSize
        start local 4 // java.lang.Object allMembers
        start local 5 // java.lang.Object parentMembers
         0: .line 189
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 1
            lload 0 /* allSize */
            lload 2 /* parentSize */
            lcmp
            ifge 1
            new java.lang.AssertionError
            dup
            ldc "Scope members of %s (count = %d) do not contain all scope parent members of %s (count = %d)"
            iconst_4
            anewarray java.lang.Object
            dup
            iconst_0
            aload 4 /* allMembers */
            aastore
            dup
            iconst_1
            lload 0 /* allSize */
            invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
            aastore
            dup
            iconst_2
            aload 5 /* parentMembers */
            aastore
            dup
            iconst_3
            lload 2 /* parentSize */
            invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
            aastore
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         1: .line 190
      StackMap locals:
      StackMap stack:
            lload 0 /* allSize */
            lload 2 /* parentSize */
            lcmp
            iflt 2
            iconst_1
            ireturn
      StackMap locals:
      StackMap stack:
         2: iconst_0
            ireturn
        end local 5 // java.lang.Object parentMembers
        end local 4 // java.lang.Object allMembers
        end local 2 // long parentSize
        end local 0 // long allSize
      LocalVariableTable:
        Start  End  Slot           Name  Signature
            0    3     0        allSize  J
            0    3     2     parentSize  J
            0    3     4     allMembers  Ljava/lang/Object;
            0    3     5  parentMembers  Ljava/lang/Object;
    MethodParameters:
               Name  Flags
      allSize        
      parentSize     
      allMembers     
      parentMembers  

  static boolean validScopeMemberNames(java.lang.String, java.lang.String, java.lang.Object, java.lang.Object, long, long);
    descriptor: (Ljava/lang/String;Ljava/lang/String;Ljava/lang/Object;Ljava/lang/Object;JJ)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=8, locals=8, args_size=6
        start local 0 // java.lang.String allElementName
        start local 1 // java.lang.String parentElementName
        start local 2 // java.lang.Object allMembers
        start local 3 // java.lang.Object parentMembers
        start local 4 // long allIndex
        start local 6 // long parentIndex
         0: .line 194
            getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
            ifne 4
            aload 0 /* allElementName */
            aload 1 /* parentElementName */
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ifne 4
            new java.lang.AssertionError
            dup
         1: .line 195
            ldc "Member %s of scope %s at [%d] does not equal to member %s of parent scope %s at [%d]. Scope must contain all members from parent scopes."
            bipush 6
            anewarray java.lang.Object
            dup
            iconst_0
         2: .line 196
            aload 0 /* allElementName */
            aastore
            dup
            iconst_1
            aload 2 /* allMembers */
            aastore
            dup
            iconst_2
            lload 4 /* allIndex */
            invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
            aastore
            dup
            iconst_3
            aload 1 /* parentElementName */
            aastore
            dup
            iconst_4
            aload 3 /* parentMembers */
            aastore
            dup
            iconst_5
            lload 6 /* parentIndex */
            invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
            aastore
         3: .line 194
            invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.AssertionError.<init>:(Ljava/lang/Object;)V
            athrow
         4: .line 197
      StackMap locals:
      StackMap stack:
            aload 0 /* allElementName */
            aload 1 /* parentElementName */
            invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
            ireturn
        end local 6 // long parentIndex
        end local 4 // long allIndex
        end local 3 // java.lang.Object parentMembers
        end local 2 // java.lang.Object allMembers
        end local 1 // java.lang.String parentElementName
        end local 0 // java.lang.String allElementName
      LocalVariableTable:
        Start  End  Slot               Name  Signature
            0    5     0     allElementName  Ljava/lang/String;
            0    5     1  parentElementName  Ljava/lang/String;
            0    5     2         allMembers  Ljava/lang/Object;
            0    5     3      parentMembers  Ljava/lang/Object;
            0    5     4           allIndex  J
            0    5     6        parentIndex  J
    MethodParameters:
                   Name  Flags
      allElementName     
      parentElementName  
      allMembers         
      parentMembers      
      allIndex           
      parentIndex        

  static boolean preCondition(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Z
    flags: (0x0008) ACC_STATIC
    Code:
      stack=3, locals=1, args_size=1
        start local 0 // java.lang.Object receiver
         0: .line 201
            aload 0 /* receiver */
            ifnonnull 2
         1: .line 202
            new java.lang.NullPointerException
            dup
            aload 0 /* receiver */
            invokestatic com.oracle.truffle.api.interop.AssertUtils.violationPre:(Ljava/lang/Object;)Ljava/lang/String;
            invokespecial java.lang.NullPointerException.<init>:(Ljava/lang/String;)V
            athrow
         2: .line 204
      StackMap locals:
      StackMap stack:
            iconst_1
            ireturn
        end local 0 // java.lang.Object receiver
      LocalVariableTable:
        Start  End  Slot      Name  Signature
            0    3     0  receiver  Ljava/lang/Object;
    MethodParameters:
          Name  Flags
      receiver  
}
SourceFile: "AssertUtils.java"