Right now you say that a document can be in one of two FROZENNESS states: FROZEN or UNFROZEN.
I think a more conventional way to do this would be to say that every Document object has a frozenness boolean, which gets set to true or false. In particular, you'd want there to be a specific <dfn for="Document">frozenness</dfn> concept.
Then you can talk about things like |document|'s [=Document/frozenness=] is true.
(Note: specifically trying to move away from all caps.)
Right now you say that a document can be in one of two FROZENNESS states: FROZEN or UNFROZEN.
I think a more conventional way to do this would be to say that every
Document
object has a frozenness boolean, which gets set to true or false. In particular, you'd want there to be a specific<dfn for="Document">frozenness</dfn>
concept.Then you can talk about things like
|document|'s [=Document/frozenness=] is true
.(Note: specifically trying to move away from all caps.)