[Next][Prev] [Right] [Left] [Up] [Index] [Root]

RECORDS

 
Acknowledgements
 
Introduction
 
The Record Format Constructor
 
Creating a Record
 
Access and Modification Functions







DETAILS

 
Introduction

 
The Record Format Constructor
      recformat< L > : FieldnameList -> RecFormat
      Example Rec_RecordFormat (H15E1)

 
Creating a Record
      rec< F | L > : RecFormat, FieldAssignmentList -> Rec
      Example Rec_Record (H15E2)

 
Access and Modification Functions
      Format(r) : Rec -> RecFormat
      Names(F) : RecFrmt -> [ MonStgElt ]
      Names(r) : Rec -> [ MonStgElt ]
      r`fieldname : Rec, Fieldname -> Elt
      r`fieldname := expression;
      delete r`fieldname : Rec, Fieldname -> Nil
      assigned r`fieldname : Rec, Fieldname -> BoolElt
      r``s : Rec, String -> Elt
      Example Rec_RecordAccess (H15E3)

[Next][Prev] [Right] [____] [Up] [Index] [Root]
Version: V2.19 of Mon Dec 17 14:40:36 EST 2012