CVS difference for ai05s/ai05-0228-1.txt
--- ai05s/ai05-0228-1.txt 2010/11/20 05:22:32 1.4
+++ ai05s/ai05-0228-1.txt 2011/01/06 01:39:33 1.5
@@ -162,6 +162,13 @@
it makes perfect sense to initialize all objects to that value. That would
greatly reduce the chances of invalid objects of the type existing.
+We considered making these subtype aspects rather than type aspects. That would
+allow giving different default values to different subtypes. However, given the
+existence of many ways to create anonymous subtypes it would be very hard to
+guarantee that all values of a type are initialized. Without that guarantee, these
+aspects lose a lot of their purpose.
Providing a default initial value for an enumeration type with an unknown value:
Questions? Ask the ACAA Technical Agent