diff options
author | dos-reis <gdr@axiomatics.org> | 2008-08-24 13:52:23 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2008-08-24 13:52:23 +0000 |
commit | 60a9e4cc014a5c2b9982121a7af4bee1f75ed1b4 (patch) | |
tree | 55aec1eecb99dd96dfb4f83af4086d38d2b6d3d9 /src/algebra/net.spad.pamphlet | |
parent | 65ade1a218eb177b1e5d08f9929c8b73eaa914bd (diff) | |
download | open-axiom-60a9e4cc014a5c2b9982121a7af4bee1f75ed1b4.tar.gz |
* algebra/net.spad.pamphlet: New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_1): Include
HOSTNAME and PORTNUM.
* algebra/exposed.lsp.pamphlet: Export them.
* algebra/data.spad.pamphlet (DataBuffer): New.
Diffstat (limited to 'src/algebra/net.spad.pamphlet')
-rw-r--r-- | src/algebra/net.spad.pamphlet | 102 |
1 files changed, 102 insertions, 0 deletions
diff --git a/src/algebra/net.spad.pamphlet b/src/algebra/net.spad.pamphlet new file mode 100644 index 00000000..70130a5b --- /dev/null +++ b/src/algebra/net.spad.pamphlet @@ -0,0 +1,102 @@ +\documentclass{article} +\usepackage{axiom} + +\author{Gabriel Dos~Reis} + +\begin{document} + +\begin{abstract} +\end{abstract} + +\tableofcontents +\eject + +\section{The Hostname domain} + +<<domain HOSTNAME Hostname>>= +)abbrev domain HOSTNAME Hostname +++ Author: Gabriel Dos Reis +++ Date Created: August 23, 2008 +++ Date Last Modified: August 23, 2008 +++ References: RFC 1034, RFC 1035 +++ Description: +++ This domain represents hostnames on computer network. +Hostname(): Public == Private where + Public == Join(SetCategory, CoercibleTo String) with + host: String -> % + ++ host(n) constructs a Hostname from the name `n'. + Private == add + Rep == String + host n == per n + x = y == rep x = rep y + coerce(x: %): String == rep x + coerce(x: %): OutputForm == rep(x)::OutputForm + +@ + +\section{The PortNumber domain} +<<domain PORTNUM PortNumber>>= +)abbrev domain PORTNUM PortNumber +++ Author: Gabriel Dos Reis +++ Date Created: August 23, 2008 +++ Date Last Modified: August 23, 2008 +++ Description: +++ This domain represents network port numbers (notable TCP and UDP). +PortNumber(): Public == Private where + Public == Join(SetCategory,CoercibleTo SingleInteger) with + port: SingleInteger -> % + ++ port(n) constructs a PortNumber from the integer `n'. + Private == add + Rep == SingleInteger + port n == per n + x = y == rep x = rep y + coerce(x: %): SingleInteger == rep x + coerce(x: %): OutputForm == rep(x)::OutputForm + +@ + + +\section{License} + +<<license>>= +-- Copyright (C) 2007-2008, Gabriel Dos Reis. +-- All rights reserved. +-- +-- Redistribution and use in source and binary forms, with or without +-- modification, are permitted provided that the following conditions are +-- met: +-- +-- - Redistributions of source code must retain the above copyright +-- notice, this list of conditions and the following disclaimer. +-- +-- - Redistributions in binary form must reproduce the above copyright +-- notice, this list of conditions and the following disclaimer in +-- the documentation and/or other materials provided with the +-- distribution. +-- +-- - Neither the name of The Numerical Algorithms Group Ltd. nor the +-- names of its contributors may be used to endorse or promote products +-- derived from this software without specific prior written permission. +-- +-- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS +-- IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED +-- TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A +-- PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER +-- OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, +-- EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, +-- PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR +-- PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF +-- LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING +-- NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS +-- SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. + +@ + +<<*>>= +<<license>> +<<domain HOSTNAME Hostname>> +<<domain PORTNUM PortNumber>> + +@ + +\end{document} |