if (binding.getSuperclass() != null &&
binding.getSuperclass() != type.getAST().resolveWellKnownType("java.lang.Object")) {
// Check Restriction.noSuperClass
ImplementationArtifactType artifactType = mappingHelper.getTypeOf(artifactDef);
if (artifactType != null && artifactType instanceof ClassType) {
ClassType classType = (ClassType) artifactType;
if (classType.getRestrictions().contains(ClassTypeRestriction.noSuperclass)) {
generateResultsForASTNode(history, type, resource,
"The type "+ binding.getQualifiedName() + " should "+