access

Declares the access attribute attribute, one value of the state that read gives, null for none: a fact the aggregate's access policies compare with a caller's claims (AggregateModel.accessOf). read is a pure, cheap function of the state, derived on each commit: it reads the state alone, does no I/O, reads no clock and draws no random number. A state member marked @Access calls it in a generated model, a value class unwrapped.

Declares the access attribute attribute, several values of the state that read gives, as access of one value does.