Transient Attributes

Revision as of 14:34, 23 June 2009 by Manus (Talk | contribs) (New page: For storable purposes, it makes sense that some attributes of objects are not stored to disk. We call them volatile attribute and currently are specified using a note clause: field: deta...)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

For storable purposes, it makes sense that some attributes of objects are not stored to disk. We call them volatile attribute and currently are specified using a note clause:

field: detachable X
  note
    option: volatile
  attribute
  end

Validity Rule

An attribute can be marked `volatile' if and only if its type has a default value and if the enclosing class is not expanded.