final class com.oracle.truffle.object.ShapeImpl$PropertyAssumptions
  minor version: 0
  major version: 59
  flags: flags: (0x0030) ACC_FINAL, ACC_SUPER
  this_class: com.oracle.truffle.object.ShapeImpl$PropertyAssumptions
  super_class: java.lang.Object
{
  private final org.graalvm.collections.EconomicMap<java.lang.Object, com.oracle.truffle.api.Assumption> stablePropertyAssumptions;
    descriptor: Lorg/graalvm/collections/EconomicMap;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL
    Signature: Lorg/graalvm/collections/EconomicMap<Ljava/lang/Object;Lcom/oracle/truffle/api/Assumption;>;

  private final com.oracle.truffle.api.Assumption singleContextAssumption;
    descriptor: Lcom/oracle/truffle/api/Assumption;
    flags: (0x0012) ACC_PRIVATE, ACC_FINAL

  void <init>(com.oracle.truffle.api.Assumption);
    descriptor: (Lcom/oracle/truffle/api/Assumption;)V
    flags: (0x0000) 
    Code:
      stack=2, locals=2, args_size=2
        start local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
        start local 1 // com.oracle.truffle.api.Assumption singleContextAssumption
         0: .line 1466
            aload 0 /* this */
            invokespecial java.lang.Object.<init>:()V
         1: .line 1467
            aload 0 /* this */
            aload 1 /* singleContextAssumption */
            putfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.singleContextAssumption:Lcom/oracle/truffle/api/Assumption;
         2: .line 1468
            aload 0 /* this */
            invokestatic org.graalvm.collections.EconomicMap.create:()Lorg/graalvm/collections/EconomicMap;
            putfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.stablePropertyAssumptions:Lorg/graalvm/collections/EconomicMap;
         3: .line 1469
            return
        end local 1 // com.oracle.truffle.api.Assumption singleContextAssumption
        end local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
      LocalVariableTable:
        Start  End  Slot                     Name  Signature
            0    4     0                     this  Lcom/oracle/truffle/object/ShapeImpl$PropertyAssumptions;
            0    4     1  singleContextAssumption  Lcom/oracle/truffle/api/Assumption;
    MethodParameters:
                         Name  Flags
      singleContextAssumption  

  synchronized com.oracle.truffle.api.Assumption getPropertyAssumption(java.lang.Object);
    descriptor: (Ljava/lang/Object;)Lcom/oracle/truffle/api/Assumption;
    flags: (0x0020) ACC_SYNCHRONIZED
    Code:
      stack=3, locals=4, args_size=2
        start local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
        start local 1 // java.lang.Object propertyName
         0: .line 1472
            invokestatic com.oracle.truffle.api.CompilerAsserts.neverPartOfCompilation:()V
         1: .line 1473
            aload 0 /* this */
            getfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.stablePropertyAssumptions:Lorg/graalvm/collections/EconomicMap;
            astore 2 /* map */
        start local 2 // org.graalvm.collections.EconomicMap map
         2: .line 1474
            aload 2 /* map */
            aload 1 /* propertyName */
            invokeinterface org.graalvm.collections.EconomicMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast com.oracle.truffle.api.Assumption
            astore 3 /* assumption */
        start local 3 // com.oracle.truffle.api.Assumption assumption
         3: .line 1475
            aload 3 /* assumption */
            ifnull 5
         4: .line 1476
            aload 3 /* assumption */
            areturn
         5: .line 1478
      StackMap locals: org.graalvm.collections.EconomicMap com.oracle.truffle.api.Assumption
      StackMap stack:
            invokestatic com.oracle.truffle.api.Truffle.getRuntime:()Lcom/oracle/truffle/api/TruffleRuntime;
            aload 1 /* propertyName */
            invokevirtual java.lang.Object.toString:()Ljava/lang/String;
            invokeinterface com.oracle.truffle.api.TruffleRuntime.createAssumption:(Ljava/lang/String;)Lcom/oracle/truffle/api/Assumption;
            astore 3 /* assumption */
         6: .line 1479
            aload 2 /* map */
            aload 1 /* propertyName */
            aload 3 /* assumption */
            invokeinterface org.graalvm.collections.EconomicMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
         7: .line 1480
            getstatic com.oracle.truffle.object.ShapeImpl.propertyAssumptionsCreated:Lcom/oracle/truffle/object/DebugCounter;
            invokevirtual com.oracle.truffle.object.DebugCounter.inc:()V
         8: .line 1481
            aload 3 /* assumption */
            areturn
        end local 3 // com.oracle.truffle.api.Assumption assumption
        end local 2 // org.graalvm.collections.EconomicMap map
        end local 1 // java.lang.Object propertyName
        end local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    9     0          this  Lcom/oracle/truffle/object/ShapeImpl$PropertyAssumptions;
            0    9     1  propertyName  Ljava/lang/Object;
            2    9     2           map  Lorg/graalvm/collections/EconomicMap<Ljava/lang/Object;Lcom/oracle/truffle/api/Assumption;>;
            3    9     3    assumption  Lcom/oracle/truffle/api/Assumption;
    MethodParameters:
              Name  Flags
      propertyName  

  synchronized void invalidatePropertyAssumption(java.lang.Object);
    descriptor: (Ljava/lang/Object;)V
    flags: (0x0020) ACC_SYNCHRONIZED
    Code:
      stack=3, locals=4, args_size=2
        start local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
        start local 1 // java.lang.Object propertyName
         0: .line 1485
            invokestatic com.oracle.truffle.api.CompilerAsserts.neverPartOfCompilation:()V
         1: .line 1486
            aload 0 /* this */
            getfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.stablePropertyAssumptions:Lorg/graalvm/collections/EconomicMap;
            astore 2 /* map */
        start local 2 // org.graalvm.collections.EconomicMap map
         2: .line 1487
            aload 2 /* map */
            aload 1 /* propertyName */
            invokeinterface org.graalvm.collections.EconomicMap.get:(Ljava/lang/Object;)Ljava/lang/Object;
            checkcast com.oracle.truffle.api.Assumption
            astore 3 /* assumption */
        start local 3 // com.oracle.truffle.api.Assumption assumption
         3: .line 1488
            aload 3 /* assumption */
            ifnull 7
            aload 3 /* assumption */
            getstatic com.oracle.truffle.api.utilities.NeverValidAssumption.INSTANCE:Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
            if_acmpeq 7
         4: .line 1489
            aload 3 /* assumption */
            ldc "invalidatePropertyAssumption"
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:(Ljava/lang/String;)V
         5: .line 1490
            aload 2 /* map */
            aload 1 /* propertyName */
            getstatic com.oracle.truffle.api.utilities.NeverValidAssumption.INSTANCE:Lcom/oracle/truffle/api/utilities/NeverValidAssumption;
            invokeinterface org.graalvm.collections.EconomicMap.put:(Ljava/lang/Object;Ljava/lang/Object;)Ljava/lang/Object;
            pop
         6: .line 1491
            getstatic com.oracle.truffle.object.ShapeImpl.propertyAssumptionsRemoved:Lcom/oracle/truffle/object/DebugCounter;
            invokevirtual com.oracle.truffle.object.DebugCounter.inc:()V
         7: .line 1493
      StackMap locals: org.graalvm.collections.EconomicMap com.oracle.truffle.api.Assumption
      StackMap stack:
            return
        end local 3 // com.oracle.truffle.api.Assumption assumption
        end local 2 // org.graalvm.collections.EconomicMap map
        end local 1 // java.lang.Object propertyName
        end local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
      LocalVariableTable:
        Start  End  Slot          Name  Signature
            0    8     0          this  Lcom/oracle/truffle/object/ShapeImpl$PropertyAssumptions;
            0    8     1  propertyName  Ljava/lang/Object;
            2    8     2           map  Lorg/graalvm/collections/EconomicMap<Ljava/lang/Object;Lcom/oracle/truffle/api/Assumption;>;
            3    8     3    assumption  Lcom/oracle/truffle/api/Assumption;
    MethodParameters:
              Name  Flags
      propertyName  

  synchronized void invalidateAllPropertyAssumptions();
    descriptor: ()V
    flags: (0x0020) ACC_SYNCHRONIZED
    Code:
      stack=2, locals=3, args_size=1
        start local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
         0: .line 1496
            invokestatic com.oracle.truffle.api.CompilerAsserts.neverPartOfCompilation:()V
         1: .line 1497
            aload 0 /* this */
            getfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.stablePropertyAssumptions:Lorg/graalvm/collections/EconomicMap;
            invokeinterface org.graalvm.collections.EconomicMap.getValues:()Ljava/lang/Iterable;
            invokeinterface java.lang.Iterable.iterator:()Ljava/util/Iterator;
            astore 2
            goto 4
      StackMap locals: com.oracle.truffle.object.ShapeImpl$PropertyAssumptions top java.util.Iterator
      StackMap stack:
         2: aload 2
            invokeinterface java.util.Iterator.next:()Ljava/lang/Object;
            checkcast com.oracle.truffle.api.Assumption
            astore 1 /* assumption */
        start local 1 // com.oracle.truffle.api.Assumption assumption
         3: .line 1498
            aload 1 /* assumption */
            ldc "invalidateAllPropertyAssumptions"
            invokeinterface com.oracle.truffle.api.Assumption.invalidate:(Ljava/lang/String;)V
        end local 1 // com.oracle.truffle.api.Assumption assumption
         4: .line 1497
      StackMap locals:
      StackMap stack:
            aload 2
            invokeinterface java.util.Iterator.hasNext:()Z
            ifne 2
         5: .line 1500
            aload 0 /* this */
            getfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.stablePropertyAssumptions:Lorg/graalvm/collections/EconomicMap;
            invokeinterface org.graalvm.collections.EconomicMap.clear:()V
         6: .line 1501
            return
        end local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
      LocalVariableTable:
        Start  End  Slot        Name  Signature
            0    7     0        this  Lcom/oracle/truffle/object/ShapeImpl$PropertyAssumptions;
            3    4     1  assumption  Lcom/oracle/truffle/api/Assumption;

  com.oracle.truffle.api.Assumption getSingleContextAssumption();
    descriptor: ()Lcom/oracle/truffle/api/Assumption;
    flags: (0x0000) 
    Code:
      stack=1, locals=1, args_size=1
        start local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
         0: .line 1504
            aload 0 /* this */
            getfield com.oracle.truffle.object.ShapeImpl$PropertyAssumptions.singleContextAssumption:Lcom/oracle/truffle/api/Assumption;
            areturn
        end local 0 // com.oracle.truffle.object.ShapeImpl$PropertyAssumptions this
      LocalVariableTable:
        Start  End  Slot  Name  Signature
            0    1     0  this  Lcom/oracle/truffle/object/ShapeImpl$PropertyAssumptions;
}
SourceFile: "ShapeImpl.java"
NestHost: com.oracle.truffle.object.ShapeImpl
InnerClasses:
  final PropertyAssumptions = com.oracle.truffle.object.ShapeImpl$PropertyAssumptions of com.oracle.truffle.object.ShapeImpl