% $Id: WebState.html,v 1.1 2003/10/01 07:22:16 connolly Exp $
%
See also: State /Web Architecture
WebState: trait
includes
URI
introduces
represents: Message, absoluteURI, Literal → Bool
% for represents(m, i, l) read: m represents i as l
% e.g. if m is an HTTP response to dereferencing i,
% then represents(m, i, m's body)
data: → URISchemeID
asURI: Literal → absoluteURI % "foo" → data:foo
asserts
∀ l, l1, l2: Literal
asURI(l).scheme = data;
% asURI is 1-1:
asURI(l1) = asURI(l2) ⇒ l1 = l2
[Index]
HTML generated using lsl2html.