PR# 19718 Precondition Violation (object type is wrong)
Problem Report Summary
Synopsis: Precondition Violation (object type is wrong)
Simplified version of report number 19669. I still get the same error after removing the [thought-to-be-offending] override classes. The root class, BIG_NUMBER_NG_DEMO, and the class in question, BIG_NUMBER_TESTS, are very simple now. There are no external dependencies, and I removed the reliance on the override classes. (The accuracy or complexity of JJ_BIG_NUMBER and JJ_NATURAL_8_RNG should not matter.) In class BIG_NUMBER_TESTS, feature `is_negative' violates a precondition. Notice that `is_one', which has the same format, does not violate the precondition. In the debugger, the type of the argument that is the subject of the precondition is wrong--its type shows as BIG_NUMBER_TESTS, not a JJ_BIG_NUMBER as expected. Go up to the calling feature and the type of the local variable `n' that is passed to `compare_functions' is a JJ_BIG_NUMBER.
Run the program or execute the two test features.