Bug 19988 Quick fix could have corrections when class does not override all super-methods [quick fix]
build F2 A class that does not implement all methods from an interface it implements or abstract class it extends from is in Error. The className is red-highlighted and the Text-Hover displays the message:" Class <classname> must implement the inherited abstract method <super-method- name>." Since we have this information. Is it difficult have a Quick Fix displaying at least 2 possiblities: "Make this class Abstract" "Override the super-method" ROel
org.eclipse.jdt.ui/ui/org/eclipse/jdt/internal/ui/text/correction/LocalCorrectionsSubProcessor.java
String label= CorrectionMessages.getString("LocalCorrectionsSubProcessor.changeaccesstostatic.description");
				Image image= JavaPluginImages.get(JavaPluginImages.IMG_CORRECTION_CHANGE);
				ASTRewriteCorrectionProposal proposal= new ASTRewriteCorrectionProposal(label, cu, rewrite, 1, image);
				proposal.addImport(typeBinding);
				proposals.add(proposal);
			}
		}
	}
	public static void addUnimplementedMethodsProposals(ProblemPosition problemPos, ArrayList proposals) {
		ICompilationUnit cu= problemPos.getCompilationUnit();
		CompilationUnit astRoot= AST.parseCompilationUnit(cu, true);
		ASTNode selectedNode= ASTResolving.findCoveringNode(astRoot, problemPos.getOffset(), problemPos.getLength());
		if (selectedNode == null) {
			return;
		}
		ASTNode typeNode= null;
		if (selectedNode.getNodeType() == ASTNode.SIMPLE_NAME && selectedNode.getParent().getNodeType() == ASTNode.TYPE_DECLARATION) {
			typeNode= selectedNode.getParent();
		} else if (selectedNode.getNodeType() == ASTNode.CLASS_INSTANCE_CREATION) {
			ClassInstanceCreation creation= (ClassInstanceCreation) selectedNode;
			typeNode= creation.getAnonymousClassDeclaration();				
		}
		if (typeNode != null) {
			UnimplementedMethodsCompletionProposal proposal= new UnimplementedMethodsCompletionProposal(cu, typeNode, 0);
			proposals.add(proposal);
		}
	}
}