Re: [push-api] Rename hasPermission (#136)

As an example of how this is pretty natural in Java, see HttpServletRequest. A whole host of methods starting with `get` which does look pretty verbose, but... there are methods like `getRequestURL()`. That would look pretty odd as `requestURL()`. That verbosity provides clarity and consistency e.g. when there are also setters, at a cost. I'm ok with making our own APIs more compact, as long as we don't lose too much clarity while doing so. 

---
Reply to this email directly or view it on GitHub:
https://github.com/w3c/push-api/issues/136#issuecomment-94484247