: Public Note
Created: |
10-04-2008 12:15:51 |
Modified: |
10-04-2008 12:15:51 |
|
Project: |
|
Author: |
|
Version: |
|
Phase: |
|
Status: |
|
Complexity: |
|
Difficulty: |
|
Priority: |
|
Multiplicity: |
|
Advanced: |
|
UUID: |
{C6426A19-0B40-48aa-868B-28AE495FBF02} |
Appears In: |
Schema CD |
{ forEvery n : MemberName -> locate(n) = memberValue(n)}<br /></p><p> -- Record acts as a dictionary on its attributes<br /></p><p><br /></p><p>{ forEvery n : MemberName -> isTypeOf.memberValue(n)(recordType.memberType(n)) } <br /></p><p> -- the type of each attribute is given in the associated RecordType<br /></p>