testplugins/org.eclipse.objectteams.otdt.ui.tests/src/org/eclipse/objectteams/otdt/ui/tests/core/CallinQuickFixTest.java

/**********************************************************************
 * This file is part of "Object Teams Development Tooling"-Software
 * 
 * Copyright 2004, 2016 Fraunhofer Gesellschaft, Munich, Germany,
 * for its Fraunhofer Institute and Computer Architecture and Software
 * Technology (FIRST), Berlin, Germany and Technical University Berlin,
 * Germany.
 * 
 * All rights reserved. This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v1.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v10.html
 * $Id: CallinQuickFixTest.java 23495 2010-02-05 23:15:16Z stephan $
 * 
 * Please visit http://www.eclipse.org/objectteams for updates and contact.
 * 
 * Contributors:
 * 	  Fraunhofer FIRST - Initial API and implementation
 * 	  Technical University Berlin - Initial API and implementation
 **********************************************************************/
package org.eclipse.objectteams.otdt.ui.tests.core;

import java.util.ArrayList;
import java.util.Hashtable;
import java.util.List;

import org.eclipse.jdt.core.ICompilationUnit;
import org.eclipse.jdt.core.IPackageFragment;
import org.eclipse.jdt.core.JavaCore;
import org.eclipse.jdt.core.dom.CompilationUnit;
import org.eclipse.jdt.internal.ui.text.correction.AssistContext;
import org.eclipse.jdt.ui.tests.core.rules.ProjectTestSetup;
import org.eclipse.jdt.ui.text.java.IJavaCompletionProposal;
import org.eclipse.jface.text.contentassist.ICompletionProposal;
import org.eclipse.objectteams.otdt.core.ext.OTDTPlugin;
import org.junit.Rule;
import org.junit.runner.RunWith;
import org.junit.runners.JUnit4;
import org.junit.Test;

/**
 * Test OT-specific quickfixes and quick assist (here: callin related issues).
 * @author stephan
 * @since 1.2.8
 */
@RunWith(JUnit4.class)
public class CallinQuickFixTest extends OTQuickFixTest {
	
	@Rule
    public ProjectTestSetup projectsetup = new ProjectTestSetup();

	@Override
	protected void addOptions(Hashtable options) {
		super.addOptions(options);
		// need to configure 5.4(c) to warning to enable quickfix for testSuppressWarning1():
		options.put(OTDTPlugin.OT_COMPILER_EXCEPTION_IN_GUARD, JavaCore.WARNING);
	}

	/* Suppressing a warning re exception thrown from guard predicate. */
	@Test
	public void testSuppressWarning1() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo() {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        void foo(){\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("        boolean bad() throws Exception {\n");
		buf.append("        	throw new Exception(\"too bad\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo when (bad());\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		CompilationUnit astRoot= getASTRoot(cuteam);
		ArrayList<IJavaCompletionProposal> proposals= collectCorrections(cuteam, astRoot);
		assertNumberOfProposals(proposals, 2);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[2];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        void foo(){\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("        boolean bad() throws Exception {\n");
		buf.append("        	throw new Exception(\"too bad\");\n");
		buf.append("		}\n");
		buf.append("		@SuppressWarnings(\"exceptioninguard\")\n");
		buf.append("        foo <- after foo when (bad());\n");
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();


		assertExpectedExistInProposals(proposals, expectedProposals);
	}

	/* Adjust a callin modifier to the bound role method (after -> replace). */
	@Test
	public void testChangeCallinModifier1() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo() {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\")\n");
		buf.append("        callin void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		CompilationUnit astRoot= getASTRoot(cuteam);
		ArrayList<IJavaCompletionProposal> proposals= collectCorrections(cuteam, astRoot);
		assertNumberOfProposals(proposals, 2);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[2];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");// removed callin modifier
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n");
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\")\n");
		buf.append("        callin void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- replace foo;\n");				// changed after to replace
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[1] = buf.toString();


		assertExpectedExistInProposals(proposals, expectedProposals);
	}

	/* Remove signatures from a callin binding. */
	@Test
	public void testRemoveSignatures1() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo(String val) {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		void foo() <- after void foo(String val);\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("foo() <- after");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n"); // removed signatures
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
	}


    /* Do not propose to remove signatures from a callin binding, where argument is used in a predicate. */
	@Test
    public void testRemoveSignatures2() throws Exception {
            IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
            StringBuffer buf= new StringBuffer();
            buf.append("package test1;\n");
            buf.append("public class B1 {\n");
            buf.append("    public void foo(String val) {};\n");
            buf.append("}\n");
            pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

            buf = new StringBuffer();
            buf.append("package test1;\n");
            buf.append("public team class T1 {\n");
            buf.append("    protected class R playedBy B1 {\n");
            buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
            buf.append("            System.out.print(\"OK\");\n");
            buf.append("            }\n");
            buf.append("            void foo() <- after void foo(String val)\n");
            buf.append("                base when(val != null);\n");
            buf.append("    }\n");
            buf.append("}\n");
            ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);

            int offset= buf.toString().indexOf("foo() <- after");
            AssistContext context= getCorrectionContext(cuteam, offset, 0);
            List<IJavaCompletionProposal> proposals= collectAssists(context, false);

            assertNumberOfProposals(proposals, 0);
    }


    /* Remove signatures from a callin binding despite guard predicate (no arg used). */
	@Test
    public void testRemoveSignatures3() throws Exception {
            IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
            StringBuffer buf= new StringBuffer();
            buf.append("package test1;\n");
            buf.append("public class B1 {\n");
            buf.append("    public void foo(String val) {};\n");
            buf.append("}\n");
            pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

            buf = new StringBuffer();
            buf.append("package test1;\n");
            buf.append("public team class T1 {\n");
            buf.append("    protected class R playedBy B1 {\n");
            buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
            buf.append("            System.out.print(\"OK\");\n");
            buf.append("            }\n");
            buf.append("            void foo() <- after void foo(String val)\n");
            buf.append("                base when (hasRole(base, R.class));\n");
            buf.append("    }\n");
            buf.append("}\n");
            ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);

            int offset= buf.toString().indexOf("foo() <- after");
            AssistContext context= getCorrectionContext(cuteam, offset, 0);
            List<IJavaCompletionProposal> proposals= collectAssists(context, false);

            assertNumberOfProposals(proposals, 1);
            assertCorrectLabels(proposals);

            String[] expectedProposals = new String[1];
            buf= new StringBuffer();
            buf.append("package test1;\n");
            buf.append("public team class T1 {\n");
            buf.append("    protected class R playedBy B1 {\n");
            buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
            buf.append("            System.out.print(\"OK\");\n");
            buf.append("            }\n");
            buf.append("            foo <- after foo\n"); // removed signatures
            buf.append("                base when (hasRole(base, R.class));\n");
            buf.append("    }\n");
            buf.append("}\n");
            expectedProposals[0] = buf.toString();

            assertExpectedExistInProposals(proposals, expectedProposals);
    }

	/* Remove signatures with type parameters from a callin binding. */
	@Test
	public void testRemoveSignatures4() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo(String val) {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") <E1, E2> E1 foo(E2 e) {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		<E1, E2> E1 foo(E2 e) <- after E1 foo(E2 val);\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("foo(E2 e) <- after");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") <E1, E2> E1 foo(E2 e) {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n"); // removed signatures
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
	}

	// Remove signatures from a callin binding, comment present.
	// see Bug 370656 - [assist] remove signatures from method binding chokes on inline comment
	@Test
	public void testRemoveSignatures5() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo(int one, int two, String val, int dontcare) {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo(int one, int two) {\n");
		buf.append("        	System.out.print(two);\n");
		buf.append("		}\n");
		buf.append("		void foo(int one,//eol\n");
		buf.append("			     int two /* ignore last parameter */)\n");
		buf.append("		<- after\n");
		buf.append("		void foo(int one, int two, String val, int dontcare);\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("foo(int one,//eol");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo(int one, int two) {\n");
		buf.append("        	System.out.print(two);\n");
		buf.append("		}\n");
		buf.append("		foo\n"); // removed signature (incl. comment)
		buf.append("		<- after\n");
		buf.append("		foo;\n"); // removed signature
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
	}

	/* Add signatures to a callin binding. */
	@Test
	public void testAddSignatures1() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo(String val) {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("foo <- after");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		void foo() <- after void foo(String val);\n"); // added signatures
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
	}

	/* Add signatures to a callin binding, w/ type arguments. */
	@Test
	public void testAddSignatures2() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public <E1, E2 extends java.util.List<E1>> E1 foo(E2 val) {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") <E1, E2 extends java.util.List<E1>> E1 foo(E2 val) {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("foo <- after");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        @SuppressWarnings(\"basecall\") <E1, E2 extends java.util.List<E1>> E1 foo(E2 val) {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		<E1,E2 extends java.util.List<E1> >E1 foo(E2 val) <- after E1 foo(E2 val);\n"); // added signatures
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
	}

	// Bug 355274 -  [assist] make the add signatures assist smarter vis-a-vis ambiguous method bindings
	@Test
	public void testAddSignatures3() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo(String val) {};\n");
		buf.append("    public void foo() {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		foo <- after foo;\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("foo <- after");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        void foo() {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		void foo() <- after void foo();\n"); // added signatures, using best match
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
		
		
		String[] alternatives = {"void foo()", "void foo(String val)"};
		assertChoices((ICompletionProposal) proposals.get(0), "basemethod", alternatives);
	}

	// Bug 355274 -  [assist] make the add signatures assist smarter vis-a-vis ambiguous method bindings
	// type conversions involved
	@Test
	public void testAddSignatures4() throws Exception {
		IPackageFragment pack1= fSourceFolder.createPackageFragment("test1", false, null);
		StringBuffer buf= new StringBuffer();
		buf.append("package test1;\n");
		buf.append("public class B1 {\n");
		buf.append("    public void foo(B1 b, Integer val) {};\n");
		buf.append("    public void foo(B1 b, Object val) {};\n"); // no match, can't convert from Object to Number
		buf.append("    public void foo(B1 b, Integer val, int x) {};\n");
		buf.append("}\n");
		pack1.createCompilationUnit("B1.java", buf.toString(), false, null);

		buf = new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        void bar(R r, Number n) {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		bar <- after foo;\n");
		buf.append("    }\n");
		buf.append("}\n");
		ICompilationUnit cuteam = pack1.createCompilationUnit("T1.java", buf.toString(), false, null);
		
		int offset= buf.toString().indexOf("bar <- after");
		AssistContext context= getCorrectionContext(cuteam, offset, 0);
		List<IJavaCompletionProposal> proposals= collectAssists(context, false);

		assertNumberOfProposals(proposals, 1);
		assertCorrectLabels(proposals);

		String[] expectedProposals = new String[1];
		buf= new StringBuffer();
		buf.append("package test1;\n");	
		buf.append("public team class T1 {\n");
		buf.append("    protected class R playedBy B1 {\n");
		buf.append("        void bar(R r, Number n) {\n");
		buf.append("        	System.out.print(\"OK\");\n");
		buf.append("		}\n");
		buf.append("		void bar(R r, Number n) <- after void foo(B1 b, Integer val);\n"); // added signatures
		buf.append("    }\n");
		buf.append("}\n");
		expectedProposals[0] = buf.toString();

		assertExpectedExistInProposals(proposals, expectedProposals);
		
		
		String[] alternatives = {"void foo(B1 b, Integer val)", "void foo(B1 b, Integer val, int x)"};
		assertChoices((ICompletionProposal) proposals.get(0), "basemethod", alternatives);
	}
}