diff options
Diffstat (limited to 'src/algebra/data.spad.pamphlet')
| -rw-r--r-- | src/algebra/data.spad.pamphlet | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/src/algebra/data.spad.pamphlet b/src/algebra/data.spad.pamphlet index 95feee21..2d84ac59 100644 --- a/src/algebra/data.spad.pamphlet +++ b/src/algebra/data.spad.pamphlet @@ -235,6 +235,22 @@ UInt64() == SystemNonNegativeInteger 64 @ +\section{System-level Pointer Datatype.} + +<<domain SYSPTR SystemPointer>>= +)abbrev domain SYSPTR SystemPointer +++ Author: Gabriel Dos Reis +++ Date Created: September 8, 2009 +++ Date Last Modified: September 8, 2009 +++ Description: +++ This domain is a datatype system-level pointer values. +SystemPointer(): SetCategory + == add + x = y == EQL(x,y)$Foreign(Builtin) + coerce(x:%): OutputForm == + FORMAT(NIL$Foreign(Builtin),"~A",x)$Foreign(Builtin) +@ + \section{The ByteBuffer domain} @@ -432,6 +448,8 @@ DataArray(N: PositiveInteger, T: SetCategory): Public == Private where <<domain UINT32 UInt32>> <<domain UINT64 UInt64>> +<<domain SYSPTR SystemPointer>> + @ \end{document} |