www-jigsaw@w3.org

Hi,

Currently I'm doing some programming analysis work on Jigsaw.

I found that in the method "ResourceStoreImpl.addResource()", there is not a
check "if(resources != null)" before the statement
"resources.put(index.getIdentifier(), index)".

I don't know whether it is a potential bug or is done on purpose?

Thank you for your suggestions!

 

Sincerely, alex