comments?
Proto: Variables
Create a rule titled "Variables" to read as follows:
A type of variable is a property that the rules define as a varibale,
and specify the following:
a) The type(s) of entity possessing an instance of that variable. No
other entity possesses an instance of that variable.
b) The type of variable which can be one of: Date, Integer, Float, or String.
c) Exactly one officer who tracks instances of that variable. That
officer's report includes the value of each instance of that variable
whose value is not Null.
and optionally:
d) Limits on the range of values allowed for the variable, and a
default value. If no default value is given then it is Null.
At any given time, each instance of a variable has exactly one
possible value for that type of variable. If an instance of a
variable comes to have a value, it ceases to have any other value. If
an instance of a variable would otherwise fail to have a possible
value, it comes to have its default value.
--
Peekee
