+ switch (oc) {
+ case test_attr_zc:
+ check_warn_symbol_type(&AO1, OBJECT_T, 0, "\"has/hasnt\" expression");
+ check_warn_symbol_type(&AO2, ATTRIBUTE_T, 0, "\"has/hasnt\" expression");
+ break;
+ case jin_zc:
+ check_warn_symbol_type(&AO1, OBJECT_T, 0, "\"in/notin\" expression");
+ check_warn_symbol_type(&AO2, OBJECT_T, CLASS_T, "\"in/notin\" expression");
+ break;
+ case 200:
+ /* first argument can be anything */
+ check_warn_symbol_type(&AO2, CLASS_T, 0, "\"ofclass\" expression");
+ break;
+ case 201:
+ /* first argument can be anything */
+ check_warn_symbol_type(&AO2, PROPERTY_T, INDIVIDUAL_PROPERTY_T, "\"provides\" expression");
+ break;
+ }
+