home *** CD-ROM | disk | FTP | other *** search
- %
- % @(#)Signature.m 1.2 6/29/87
- %
- export _SignatureObject to "Builtins"
-
- const _SignatureObject ==
- immutable object _signatureObject
- export getSignature, create
- const PAT == immutable type PAT
- function getSignature -> [Signature]
- end PAT
- function getSignature -> [result : Signature]
- result <- PAT
- end getSignature
- operation create -> [r : PAT]
- r <- immutable object aSignature
- export getSignature
- function getSignature -> [ r : Signature ]
- r <- self
- end getSignature
- end aSignature
- end create
- end _signatureObject
-