Blocking get for the PropertyStore

[florian_kuebler]

The property store is capable of lazy computation. To schedule a concrete computation for an entity I would call propertyStore.apply(entity, key). If this is the first time the result is queried, this will return PropertyIsLazilyComputed.

Now i can add the epk to my dependencies and continue or call the propertyStore.waitOnPropertyComputationCompletion().

It would be nice to have a blocking get operation on the propertyStore that blocks until the computation of the queried property is completed.

[Michael Eichberg]

In which case do you need such a functionality?

Note that your proposal is inherently dead-lock prone if two analyses would start waiting on each other...

[Michael Eichberg]

Given the (current) lack of a convincing use case that is worth taking the risks of glorious misuse I will close this issue. I may consider reopening this issue if a convincing use case is provided.