javapathfinder / jpf-core

The static method java.lang.ThreadLocal.withInitial (added in JDK 1.8) is currently missing. This can be fixed by adding

  public static <S> ThreadLocal<S> withInitial(Supplier<? extends S> supplier) {
    return new SuppliedThreadLocal<>(supplier);
  }

to ThreadLocal here

jpf-core/src/classes/java/lang/ThreadLocal.java

Lines 98 to 100 in 7e63ebf

    
           static final class SuppliedThreadLocal<E> extends ThreadLocal<E> { 
        
             // we need to preserve the modifiers since this might introduce races (supplier could be shared)

Can you please add this together with a unit test and make a pull request?

Can I work on this Issue?

To my knowledge, Alex is not currently working on this, so please go ahead.

Hello @cyrille-artho can you assign me this task so that I can start working on it

Thanks I'll do my best

Hey @cyrille-artho created pull request please look into it

	static final class SuppliedThreadLocal<E> extends ThreadLocal<E> {

	// we need to preserve the modifiers since this might introduce races (supplier could be shared)

`java.lang.ThreadLocal.withInitial` method missing