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: 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 0: aload 0
invokespecial java.lang.Object.<init>:()V
1: return
end local 0 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 0: aload 0
ifnonnull 2
1: ldc "null"
areturn
2: StackMap locals:
StackMap stack:
new java.lang.StringBuilder
dup
ldc "["
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
astore 1
start local 1 3: ldc ""
astore 2
start local 2 4: aload 0
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
start local 3 6: aload 1
aload 2
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
7: aload 1
aload 3
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: ldc ", "
astore 2
end local 3 9: iinc 4 1
StackMap locals:
StackMap stack:
10: iload 4
iload 5
if_icmplt 5
11: aload 1
ldc "]"
invokevirtual java.lang.StringBuilder.append:(Ljava/lang/String;)Ljava/lang/StringBuilder;
pop
12: aload 1
invokevirtual java.lang.StringBuilder.toString:()Ljava/lang/String;
areturn
end local 2 end local 1 end local 0 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 0: aload 0
ifnonnull 2
1: ldc "null"
areturn
2: StackMap locals:
StackMap stack:
aload 0
instanceof com.oracle.truffle.api.interop.TruffleObject
ifeq 4
3: new java.lang.StringBuilder
dup
aload 0
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
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: StackMap locals:
StackMap stack:
aload 0
instanceof java.lang.String
ifeq 6
5: new java.lang.StringBuilder
dup
ldc "\""
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 0
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: StackMap locals:
StackMap stack:
aload 0
instanceof java.lang.Character
ifeq 8
7: new java.lang.StringBuilder
dup
ldc "'"
invokespecial java.lang.StringBuilder.<init>:(Ljava/lang/String;)V
aload 0
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: StackMap locals:
StackMap stack:
aload 0
instanceof java.lang.Boolean
ifeq 10
9: aload 0
invokevirtual java.lang.Object.toString:()Ljava/lang/String;
areturn
10: StackMap locals:
StackMap stack:
new java.lang.StringBuilder
dup
aload 0
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
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 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 0: ldc "Pre-condition contract violation for receiver %s."
iconst_1
anewarray java.lang.Object
dup
iconst_0
1: aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
2: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 0 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 start local 1 0: ldc "Post-condition contract violation for receiver %s and return value %s."
iconst_2
anewarray java.lang.Object
dup
iconst_0
1: aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
2: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 start local 1 0: ldc "Post-condition contract violation for receiver %s. Thrown unexpected error %s."
iconst_2
anewarray java.lang.Object
dup
iconst_0
1: aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
invokevirtual java.lang.Object.getClass:()Ljava/lang/Class;
invokevirtual java.lang.Class.getName:()Ljava/lang/String;
aastore
2: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 0: ldc "Invariant contract violation for receiver %s."
iconst_1
anewarray java.lang.Object
dup
iconst_0
aload 0
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 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 start local 1 0: ldc "Invariant contract violation for receiver %s and arguments %s."
iconst_2
anewarray java.lang.Object
dup
iconst_0
aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
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 end local 0 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 start local 1 0: ldc "Invariant contract violation for receiver %s and identifier %s."
iconst_2
anewarray java.lang.Object
dup
iconst_0
aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
aastore
invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 start local 1 0: ldc "Invariant contract violation for receiver %s and index %s."
iconst_2
anewarray java.lang.Object
dup
iconst_0
aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
lload 1
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 end local 0 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 start local 1 0: ldc "Post-condition contract violation for receiver %s and return value %s."
iconst_2
anewarray java.lang.Object
dup
iconst_0
1: aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
2: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 start local 1 0: 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: aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
2: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 start local 1 0: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 1
aload 1
invokestatic com.oracle.truffle.api.interop.AssertUtils.isInteropValue:(Ljava/lang/Object;)Z
ifne 1
new java.lang.AssertionError
dup
aload 0
aload 1
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: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 1 end local 0 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 start local 1 0: aload 1
ifnonnull 2
1: new java.lang.NullPointerException
dup
aload 0
aload 1
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: StackMap locals:
StackMap stack:
aload 1
invokestatic com.oracle.truffle.api.interop.AssertUtils.isInteropValue:(Ljava/lang/Object;)Z
ifne 4
3: new java.lang.ClassCastException
dup
aload 0
aload 1
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: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 1 end local 0 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 start local 1 0: aload 1
invokestatic com.oracle.truffle.api.interop.InteropLibrary.getUncached:(Ljava/lang/Object;)Lcom/oracle/truffle/api/interop/InteropLibrary;
astore 2
start local 2 1: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 2
aload 2
aload 1
invokevirtual com.oracle.truffle.api.interop.InteropLibrary.isString:(Ljava/lang/Object;)Z
ifne 2
new java.lang.AssertionError
dup
aload 0
aload 1
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: StackMap locals: com.oracle.truffle.api.interop.InteropLibrary
StackMap stack:
getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 5
aload 2
aload 1
invokevirtual com.oracle.truffle.api.interop.InteropLibrary.asString:(Ljava/lang/Object;)Ljava/lang/String;
ifnonnull 5
new java.lang.AssertionError
dup
aload 0
aload 1
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: StackMap locals:
StackMap stack: com.oracle.truffle.api.interop.UnsupportedMessageException
pop
4: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 5
new java.lang.AssertionError
dup
invokespecial java.lang.AssertionError.<init>:()V
athrow
5: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 2 end local 1 end local 0 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 start local 1 0: aload 1
ifnonnull 2
1: new java.lang.NullPointerException
dup
aload 0
aload 1
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: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 1 end local 0 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 start local 1 0: 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: aload 0
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
dup
iconst_1
aload 1
invokestatic com.oracle.truffle.api.interop.AssertUtils.formatValue:(Ljava/lang/Object;)Ljava/lang/String;
aastore
2: invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 0: aload 0
instanceof com.oracle.truffle.api.TruffleException
ifne 3
aload 0
instanceof com.oracle.truffle.api.interop.TruffleObject
ifne 3
aload 0
instanceof java.lang.Boolean
ifne 3
aload 0
instanceof java.lang.Byte
ifne 3
aload 0
instanceof java.lang.Short
ifne 3
aload 0
instanceof java.lang.Integer
ifne 3
1: aload 0
instanceof java.lang.Long
ifne 3
aload 0
instanceof java.lang.Float
ifne 3
aload 0
instanceof java.lang.Double
ifne 3
aload 0
instanceof java.lang.Character
ifne 3
aload 0
instanceof java.lang.String
ifne 3
2: iconst_0
ireturn
StackMap locals:
StackMap stack:
3: iconst_1
ireturn
end local 0 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 start local 1 0: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 1
aload 1
ifnonnull 1
new java.lang.AssertionError
dup
aload 0
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: StackMap locals:
StackMap stack:
aload 1
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
start local 2 3: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 4
aload 0
aload 2
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 4: StackMap locals:
StackMap stack:
iinc 3 1
StackMap locals:
StackMap stack:
5: iload 3
iload 4
if_icmplt 2
6: iconst_1
ireturn
end local 1 end local 0 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 0: aload 0
instanceof com.oracle.truffle.api.interop.TruffleObject
ifne 2
1: iconst_0
ireturn
2: StackMap locals:
StackMap stack:
aload 0
invokestatic com.oracle.truffle.api.interop.InteropLibrary.getUncached:(Ljava/lang/Object;)Lcom/oracle/truffle/api/interop/InteropLibrary;
astore 1
start local 1 3: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 4
aload 1
aload 0
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
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: StackMap locals: com.oracle.truffle.api.interop.InteropLibrary
StackMap stack:
getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 5
aload 1
aload 0
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
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: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 1 end local 0 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 start local 1 0: 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
aastore
dup
iconst_1
aload 1
aastore
invokestatic java.lang.String.format:(Ljava/lang/String;[Ljava/lang/Object;)Ljava/lang/String;
areturn
end local 1 end local 0 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 start local 2 start local 4 start local 5 0: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 1
lload 0
lload 2
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
aastore
dup
iconst_1
lload 0
invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
aastore
dup
iconst_2
aload 5
aastore
dup
iconst_3
lload 2
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: StackMap locals:
StackMap stack:
lload 0
lload 2
lcmp
iflt 2
iconst_1
ireturn
StackMap locals:
StackMap stack:
2: iconst_0
ireturn
end local 5 end local 4 end local 2 end local 0 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 start local 1 start local 2 start local 3 start local 4 start local 6 0: getstatic com.oracle.truffle.api.interop.AssertUtils.$assertionsDisabled:Z
ifne 4
aload 0
aload 1
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ifne 4
new java.lang.AssertionError
dup
1: 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: aload 0
aastore
dup
iconst_1
aload 2
aastore
dup
iconst_2
lload 4
invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
aastore
dup
iconst_3
aload 1
aastore
dup
iconst_4
aload 3
aastore
dup
iconst_5
lload 6
invokestatic java.lang.Long.valueOf:(J)Ljava/lang/Long;
aastore
3: 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: StackMap locals:
StackMap stack:
aload 0
aload 1
invokevirtual java.lang.String.equals:(Ljava/lang/Object;)Z
ireturn
end local 6 end local 4 end local 3 end local 2 end local 1 end local 0 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 0: aload 0
ifnonnull 2
1: new java.lang.NullPointerException
dup
aload 0
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: StackMap locals:
StackMap stack:
iconst_1
ireturn
end local 0 LocalVariableTable:
Start End Slot Name Signature
0 3 0 receiver Ljava/lang/Object;
MethodParameters:
Name Flags
receiver
}
SourceFile: "AssertUtils.java"