How does OFC handle programmers errors?
OFC uses the concept of Garbage in, defined value out. So for example if the programmer uses an index that is out of range for an object, a warning is given and a valid (but possible incorrect) value is returned. There are a few exceptions: test methods will return the correctness of the parameter and will not give a warning, some parameters can not be checked (for example an invalid pointer) and only parameters of OFC methods will be checked.
