diff options
| author | dos-reis <gdr@axiomatics.org> | 2008-10-05 14:15:17 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2008-10-05 14:15:17 +0000 |
| commit | 94756b27ee8d56cd01e8591f19feffc3fa2898fa (patch) | |
| tree | d8e5ed0554f1678b3062838cfd7f39fd48c1a2d6 /src/algebra/data.spad.pamphlet | |
| parent | 4da4e775ade14aa9e8c2d0b4b106e743e4d283a4 (diff) | |
| download | open-axiom-94756b27ee8d56cd01e8591f19feffc3fa2898fa.tar.gz | |
* interp/c-util.boot (getFunctionReplacement): Tidy.
* algebra/data.spad.pamphlet (Byte): Likewise.
Diffstat (limited to 'src/algebra/data.spad.pamphlet')
| -rw-r--r-- | src/algebra/data.spad.pamphlet | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet index e290fcd6..9a62ec4a 100644 --- a/src/algebra/data.spad.pamphlet +++ b/src/algebra/data.spad.pamphlet @@ -19,7 +19,9 @@ import OutputForm )abbrev domain BYTE Byte ++ Author: Gabriel Dos Reis ++ Date Created: April 19, 2008 -++ Related Constructor: +++ Date Last Updated: October 5, 2008 +++ Basic Operations: byte, bitand, bitor, bitxor +++ Related Constructor: NonNegativeInteger ++ Description: ++ Byte is the datatype of 8-bit sized unsigned integer values. Byte(): Public == Private where @@ -40,12 +42,11 @@ Byte(): Public == Private where sample: () -> % ++ sample() returns a sample datum of type Byte. Private == add - import Character byte(x: NonNegativeInteger): % == not (x < 256$Lisp) => userError "integer value cannot be represented by a byte" x : % - sample() = byte(0@NonNegativeInteger) + sample() = 0$Lisp hash x == SXHASH(x)$Lisp coerce(x: NonNegativeInteger): % == byte x |