% $Id: WebState.lsl,v 1.8 2000/01/17 21:33:40 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]
[source]
HTML generated using lsl2html.