changeset 58901 | 2700c409ff10 |
parent 58877 | aec7bf35d6f5 |
child 59095 | 03fbcd06b4c0 |
58900:434329f6f456 | 58901:2700c409ff10 |
---|---|
439 b.addPush(JavaKind.Object, new ReadNode(address, JAVA_THREAD_THREAD_OBJECT_LOCATION, stamp, BarrierType.NONE)); |
439 b.addPush(JavaKind.Object, new ReadNode(address, JAVA_THREAD_THREAD_OBJECT_LOCATION, stamp, BarrierType.NONE)); |
440 return true; |
440 return true; |
441 } |
441 } |
442 }); |
442 }); |
443 |
443 |
444 r.registerMethodSubstitution(ThreadSubstitutions.class, "isInterrupted", Receiver.class, boolean.class); |
444 if (config.osThreadInterruptedOffset != Integer.MAX_VALUE) { |
445 r.registerMethodSubstitution(ThreadSubstitutions.class, "isInterrupted", Receiver.class, boolean.class); |
|
446 } |
|
447 |
|
445 } |
448 } |
446 |
449 |
447 public static final String reflectionClass; |
450 public static final String reflectionClass; |
448 public static final String constantPoolClass; |
451 public static final String constantPoolClass; |
449 |
452 |