1. Syntax errors tcs#64
   • empty constraints
   • empty renaming tcs#152
2. Validity rules tcs#65
   • class declaration
   • class type declaration
   • feature call
   • creation expression
   • creation instruction
3. Declaration tcs#148
   • PnD in various tools: constraint class names, renamed features, creation procedure names
   • BON/UML: display, addition, modification
   • metrics: anything related to multiple constraints
   • autocompletion for class names, feature names, creation procedures in: editor
   • refactoring: renaming contraint, constraint feature or creation procedure
4. Access tcs#148 tcs#194 tcs#196
   • autocompletion for
     • feature names in
       • editor tcs#244 tcs#246
       • debugger (watch expressions, conditions)
     • creation procedures in
       • editor
       • debugger (watch expressions, conditions)
   • evaluation in the debugger tcs#288
   • semantics of feature calls, creation procedures tcs#286
   • reattachment that involves different generic derivations
   • assignment attempt when the target involves multi-constraint formal generics tcs#237
   • browsing facilities tcs#270 tcs#290 tcs#292
   • PnD tcs#272 tcs#274 tcs#282 tcs#284
5. Recompilation
   • constraints modification:
     • constraint is added/removed
     • feature renaming is added/removed
   • changing inheritance of constraint tcs#292
   • changing inheritance of actual generic parameter
6. Special cases
   • large number of constraints
   • recursive generics
   • conforming constraints
   • constraints that are expanded or frozen
   • using formal generics as actual generics in class type declaration
   • redeclaration/merging of features, involving multi-constraint formals
   • using the formal generic in agent, tuple

Statistics

• C=4 (number of open Critical bugs that need to be fixed before release)
• N=10 (number of open Non-critial bugs)
• D=30 (total number of all Discovered bugs)
• r=1 (number of new bugs per day)