Lines Matching refs:def
92 ClassDefinition def = env.getClassDefinition(type);
101 if (def.subClassOf(env, c)) {
124 ClassDefinition def = env.getClassDefinition(type);
127 if (def.subClassOf(env, ignore1) || def.superClassOf(env, ignore1) ||
128 def.subClassOf(env, ignore2) || def.superClassOf(env, ignore2)) {
136 if (def.superClassOf(env, c) || def.subClassOf(env, c)) {
142 && def.getName().toString().equals("java.lang.CloneNotSupportedException")) {
143 env.error(arrayCloneWhere, "warn.array.clone.supported", def.getName());
147 env.error(cs.where, "catch.not.thrown", def.getName());
154 ClassDefinition def = c.getClassDefinition(env);
164 if (def.subClassOf(env, env.getClassDeclaration(type))) {