Module CookieWrites

Classes and predicates for reasoning about writes to cookies.

Import path

import javascript

httpOnly	Gets the flag that indicates that a cookie is HttpOnly.
secure	Gets the flag that indicates that a cookie is secure.

ClientSideCookieWrite	A client-side write to a cookie.
CookieWrite	A write to a cookie.