Searched refs:supername (Results 1 – 3 of 3) sorted by relevance
208 final String supername = jc.getSuperclassName(); in every_class_has_an_accessible_superclass() local209 if (! hs.add(supername)) { // If supername already is in the list in every_class_has_an_accessible_superclass()212 final Verifier v = VerifierFactory.getVerifier(supername); in every_class_has_an_accessible_superclass()216 … throw new ClassConstraintException("Could not load in ancestor class '"+supername+"'."); in every_class_has_an_accessible_superclass()218 jc = Repository.lookupClass(supername); in every_class_has_an_accessible_superclass()221 throw new ClassConstraintException("Ancestor class '"+supername+ in every_class_has_an_accessible_superclass()
341 String supername = file.getSuperclass(); in subtypeOf() local342 if (supername != null && supername.equals(cname)) in subtypeOf()351 if (supername != null && classPool.get(supername).subtypeOf(clazz)) in subtypeOf()813 String supername = getClassFile2().getSuperclass(); in getSuperclass() local814 if (supername == null) in getSuperclass()816 return classPool.get(supername); in getSuperclass()
194 const char *supername; in print_subclass_type() local200 supername = super.c_str(); in print_subclass_type()203 isl_bool2cpp().c_str(), supername); in print_subclass_type()205 cppname, supername, cppname); in print_subclass_type()