Determines if the given character is considered as white space. Note that Javscript is much more permissive on what it considers to be whitespace than does JSON. Ref. ECMAScript section 7.2
(self, c)
source not stored for this graph (policy: none)
no outgoing calls
no test coverage detected