% $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.