diff options
author | dos-reis <gdr@axiomatics.org> | 2009-01-09 16:11:08 +0000 |
---|---|---|
committer | dos-reis <gdr@axiomatics.org> | 2009-01-09 16:11:08 +0000 |
commit | 5810cb6f263679851a135691a7ee483fda959472 (patch) | |
tree | fc4b7f7262ba55af23cafd1303bd60db447e7789 /src/algebra | |
parent | 1bdcca4e5a17ffeb4542c689a705b11b9c6a35cb (diff) | |
download | open-axiom-5810cb6f263679851a135691a7ee483fda959472.tar.gz |
* algebra/data.spad.pamphlet (Byte): Satisfy OrderedFinite.
(SystemInteger, SystemNonNegativeInteger, Int8, Int16, Int32,
UInt8, UInt 16, UInt32): New.
* algebra/Makefile.pamphlet (axiom_algebra_layer_7): Include INT8,
INT16, INT32, UINT8, UINT16, UINT32.
Diffstat (limited to 'src/algebra')
-rw-r--r-- | src/algebra/Makefile.in | 9 | ||||
-rw-r--r-- | src/algebra/Makefile.pamphlet | 9 | ||||
-rw-r--r-- | src/algebra/data.spad.pamphlet | 153 |
3 files changed, 159 insertions, 12 deletions
diff --git a/src/algebra/Makefile.in b/src/algebra/Makefile.in index 0e301731..6f2f5a6d 100644 --- a/src/algebra/Makefile.in +++ b/src/algebra/Makefile.in @@ -389,7 +389,7 @@ axiom_algebra_layer_2 = \ ELTAGG ELTAGG- FMC FMFUN FORTFN FVC \ SYNTAX FVFUN INTRET IXAGG IXAGG- SEGXCAT \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ - BYTE IDENT + IDENT axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) @@ -448,7 +448,7 @@ axiom_algebra_layer_6 = \ DIFEXT DIFEXT- ES1 ES2 GRMOD GRMOD- \ HYPCAT HYPCAT- MKCHSET MODRING NASRING NASRING- \ SORTPAK ZMOD PRQAGG QUAGG SKAGG DQAGG \ - PID OAGROUP OAMONS + PID OAGROUP OAMONS BYTE SYSINT SYSNNI axiom_algebra_layer_6_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6)) @@ -456,8 +456,9 @@ axiom_algebra_layer_6_objects = \ $(addprefix $(OUT)/, \ $(addsuffix .$(FASLEXT),$(axiom_algebra_layer_6))) axiom_algebra_layer_7 = \ - BTCAT BTCAT- LNAGG LNAGG- FMCAT IDPOAM \ - IFAMON GRALG GRALG- FLAGG FLAGG- + BTCAT BTCAT- LNAGG LNAGG- FMCAT IDPOAM \ + IFAMON GRALG GRALG- FLAGG FLAGG- \ + INT8 INT16 INT32 UNIT6 UINT16 UINT32 axiom_algebra_layer_7_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7)) diff --git a/src/algebra/Makefile.pamphlet b/src/algebra/Makefile.pamphlet index 8e96e46b..1041c6b1 100644 --- a/src/algebra/Makefile.pamphlet +++ b/src/algebra/Makefile.pamphlet @@ -239,7 +239,7 @@ axiom_algebra_layer_2 = \ ELTAGG ELTAGG- FMC FMFUN FORTFN FVC \ SYNTAX FVFUN INTRET IXAGG IXAGG- SEGXCAT \ CONTOUR LIST3 MKFUNC OASGP KTVLOGIC FNCAT \ - BYTE IDENT + IDENT axiom_algebra_layer_2_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_2)) @@ -341,7 +341,7 @@ axiom_algebra_layer_6 = \ DIFEXT DIFEXT- ES1 ES2 GRMOD GRMOD- \ HYPCAT HYPCAT- MKCHSET MODRING NASRING NASRING- \ SORTPAK ZMOD PRQAGG QUAGG SKAGG DQAGG \ - PID OAGROUP OAMONS + PID OAGROUP OAMONS BYTE SYSINT SYSNNI axiom_algebra_layer_6_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_6)) @@ -359,8 +359,9 @@ axiom_algebra_layer_6_objects = \ <<layer7>>= axiom_algebra_layer_7 = \ - BTCAT BTCAT- LNAGG LNAGG- FMCAT IDPOAM \ - IFAMON GRALG GRALG- FLAGG FLAGG- + BTCAT BTCAT- LNAGG LNAGG- FMCAT IDPOAM \ + IFAMON GRALG GRALG- FLAGG FLAGG- \ + INT8 INT16 INT32 UNIT6 UINT16 UINT32 axiom_algebra_layer_7_nrlibs = \ $(addsuffix .NRLIB/code.$(FASLEXT),$(axiom_algebra_layer_7)) diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet index a46ab663..d52ee479 100644 --- a/src/algebra/data.spad.pamphlet +++ b/src/algebra/data.spad.pamphlet @@ -19,13 +19,13 @@ import OutputForm )abbrev domain BYTE Byte ++ Author: Gabriel Dos Reis ++ Date Created: April 19, 2008 -++ Date Last Updated: October 5, 2008 +++ Date Last Updated: January 6, 2009 ++ 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 - Public == Join(OrderedSet, HomotopicTo Character) with + Public == Join(OrderedFinite, HomotopicTo Character) with byte: NonNegativeInteger -> % ++ byte(x) injects the unsigned integer value `v' into ++ the Byte algebra. `v' must be non-negative and less than 256. @@ -36,14 +36,149 @@ Byte(): Public == Private where sample: () -> % ++ sample() returns a sample datum of type Byte. Private == SubDomain(NonNegativeInteger, #1 < 256) add - byte(x: NonNegativeInteger): % == x::% + byte(x: NonNegativeInteger): % == per x sample() = 0$Lisp - coerce(c: Character) == ord(c)::% + coerce(c: Character) == per ord c coerce(x: %): Character == char rep x x = y == byteEqual(x,y)$Lisp x < y == byteLessThan(x,y)$Lisp + min() == per 0 + max() == per 255 bitand(x,y) == bitand(x,y)$Lisp bitior(x,y) == bitior(x,y)$Lisp + +@ + + +\section{Sized System Integer datatypes} + +<<domain SYSINT SystemInteger>>= +)abbrev domain SYSINT SystemInteger +++ Author: Gabriel Dos Reis +++ Date Created: December 26, 2008 +++ Date Last Modified: December 27, 2008 +++ Description: +++ This domain implements sized (signed) integer datatypes parameterized +++ by the precision (or width) of the underlying representation. +++ The intent is that they map directly to the hosting hardware +++ natural integer datatypes. Consequently, natural values for +++ N are: 8, 16, 32, 64, etc. These datatypes are mostly useful +++ for system programming tasks, i.e. interfacting with the hosting +++ operating system, reading/writing external binary format files. +SystemInteger(N: PositiveInteger): Public == Private where + Public == OrderedFinite + Private == SubDomain(Integer, length #1 <= N) add + min == per(-shift(1,N-1)) + max == per(shift(1,N-1)-1) + size() == (rep max - rep min + 1)::NonNegativeInteger + index i == per (i + rep min - 1) + lookup x == (rep x - rep min + 1)::PositiveInteger + random() == per(random()$Integer rem rep max) + +@ + +<<domain INT8 Int8>>= +)abbrev domain INT8 Int8 +++ Author: Gabriel Dos Reis +++ Date Created: January 6, 2009 +++ Date Last Modified: January 6, 2009 +++ Description: +++ This domain is a datatype for (signed) integer values +++ of precision 8 bits. +Int8() == SystemInteger 8 + +@ + +<<domain INT16 Int16>>= +)abbrev domain INT16 Int16 +++ Author: Gabriel Dos Reis +++ Date Created: January 6, 2009 +++ Date Last Modified: January 6, 2009 +++ Description: +++ This domain is a datatype for (signed) integer values +++ of precision 16 bits. +Int16() == SystemInteger 16 + +@ + +<<domain INT32 Int32>>= +)abbrev domain INT32 Int32 +++ Author: Gabriel Dos Reis +++ Date Created: January 6, 2009 +++ Date Last Modified: January 6, 2009 +++ Description: +++ This domain is a datatype for (signed) integer values +++ of precision 32 bits. +Int32() == SystemInteger 32 + +@ + + +<<domain SYSNNI SystemNonNegativeInteger>>= +)abbrev domain SYSNNI SystemNonNegativeInteger +++ Author: Gabriel Dos Reis +++ Date Created: December 26, 2008 +++ Date Last Modified: December 27, 2008 +++ Description: +++ This domain implements sized (unsigned) integer datatypes +++ parameterized by the precision (or width) of the underlying +++ representation. The intent is that they map directly to the +++ hosting hardware natural integer datatypes. Consequently, +++ natural values for N are: 8, 16, 32, 64, etc. These datatypes +++ are mostly useful for system programming tasks, i.e. interfacting +++ with the hosting operating system, reading/writing external +++ binary format files. +SystemNonNegativeInteger(N: PositiveInteger): Public == Private where + Public == OrderedFinite with + bitand: (%,%) -> % + ++ bitand(x,y) returns the bitwise `and' of `x' and `y'. + bitior: (%,%) -> % + ++ bitor(x,y) returns the bitwise `inclusive or' of `x' and `y'. + sample: () -> % + ++ sample() returns a sample datum of type Byte. + Private == SubDomain(NonNegativeInteger, length #1 <= N) add + min == per 0 + max == per((shift(1,N)-1)::NonNegativeInteger) + sample() == min + bitand(x,y) == BOOLE(BOOLE_-AND$Lisp,x,y)$Lisp + bitior(x,y) == BOOLE(BOOLE_-IOR$Lisp,x,y)$Lisp + +@ + +<<domain UINT8 UInt8>>= +)abbrev domain UINT8 UInt8 +++ Author: Gabriel Dos Reis +++ Date Created: January 6, 2009 +++ Date Last Modified: January 6, 2009 +++ Description: +++ This domain is a datatype for (unsigned) integer values +++ of precision 8 bits. +UInt8() == SystemNonNegativeInteger 8 + +@ + +<<domain UINT16 UInt16>>= +)abbrev domain UINT16 UInt16 +++ Author: Gabriel Dos Reis +++ Date Created: January 6, 2009 +++ Date Last Modified: January 6, 2009 +++ Description: +++ This domain is a datatype for (unsigned) integer values +++ of precision 16 bits. +UInt16() == SystemNonNegativeInteger 16 + +@ + +<<domain UINT32 UInt32>>= +)abbrev domain UINT32 UInt32 +++ Author: Gabriel Dos Reis +++ Date Created: January 6, 2009 +++ Date Last Modified: January 6, 2009 +++ Description: +++ This domain is a datatype for (unsigned) integer values +++ of precision 32 bits. +UInt32() == SystemNonNegativeInteger 32 + @ @@ -225,6 +360,16 @@ DataArray(N: PositiveInteger, T: SetCategory): Public == Private where <<domain BYTEBUF ByteBuffer>> <<domain DATAARY DataArray>> +<<domain SYSINT SystemInteger>> +<<domain INT8 Int8>> +<<domain INT16 Int16>> +<<domain INT32 Int32>> + +<<domain SYSNNI SystemNonNegativeInteger>> +<<domain UINT8 UInt8>> +<<domain UINT16 UInt16>> +<<domain UINT32 UInt32>> + @ \end{document} |