| /********************************************************************** |
| * This file is part of "Object Teams Development Tooling"-Software |
| * |
| * Copyright 2004, 2010 Fraunhofer Gesellschaft, Munich, Germany, |
| * for its Fraunhofer Institute and Computer Architecture and Software |
| * Technology (FIRST), Berlin, Germany and Technical University Berlin, |
| * Germany. |
| * |
| * This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License 2.0 |
| * which accompanies this distribution, and is available at |
| * https://www.eclipse.org/legal/epl-2.0/ |
| * |
| * SPDX-License-Identifier: EPL-2.0 |
| * |
| * 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.tests.selection.codeselect; |
| |
| import junit.framework.Test; |
| import junit.framework.TestSuite; |
| |
| import org.eclipse.jdt.core.ICompilationUnit; |
| import org.eclipse.jdt.core.IJavaElement; |
| import org.eclipse.jdt.core.JavaModelException; |
| import org.eclipse.jdt.core.WorkingCopyOwner; |
| import org.eclipse.objectteams.otdt.tests.AbstractJavaModelTests; |
| |
| /** |
| * @author brcan |
| */ |
| public class CodeSelectionTests extends AbstractJavaModelTests |
| { |
| public static Test suite() |
| { |
| if (false) |
| { |
| TestSuite suite = new Suite(CodeSelectionTests.class.getName()); |
| suite.addTest(new CodeSelectionTests("testMethodReference1")); |
| return suite; |
| } |
| return new Suite(CodeSelectionTests.class); |
| } |
| |
| public CodeSelectionTests(String name) |
| { |
| super(name); |
| } |
| |
| public void setUpSuite() throws Exception |
| { |
| super.setUpSuite(); |
| |
| setUpJavaProject("CodeSelection"); |
| } |
| |
| public void tearDownSuite() throws Exception |
| { |
| deleteProject("CodeSelection"); |
| |
| super.tearDownSuite(); |
| } |
| |
| // public void testAbstractMethod() throws JavaModelException |
| // { |
| // ICompilationUnit cu = getCompilationUnit( |
| // "Resolve", |
| // "src", |
| // "", |
| // "ResolveAbstractMethod.java"); |
| // IJavaElement[] elements = codeSelect(cu, "foo", "foo"); |
| // assertElementsEqual( |
| // "Unexpected elements", |
| // "foo() [in SuperInterface [in SuperInterface.java [in <default> [in src [in Resolve]]]]]", |
| // elements); |
| // } |
| |
| //testing bound base classes |
| public void testBaseclass1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "B1", "B1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]", |
| elements); |
| } |
| // testing base constructor invocation: |
| public void testBaseclass1b() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "base();", "base"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "B1() [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testBaseclass2() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T2.java"); |
| IJavaElement[] elements = codeSelect(cu, "basepkg.B1", "basepkg.B1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]", |
| elements); |
| } |
| |
| public void testBaseclass3() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T3.java"); |
| IJavaElement[] elements = codeSelect(cu, "T1", "T1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "T1 [in T1.java [in teampkg1 [in src [in CodeSelection]]]]", |
| elements); |
| } |
| |
| public void testBaseclass4() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T4.java"); |
| IJavaElement[] elements = codeSelect(cu, "teampkg2.T0", "teampkg2.T0"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "T0 [in T0.java [in teampkg2 [in src [in CodeSelection]]]]", |
| elements); |
| } |
| |
| public void testBaseclass5() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T5.java"); |
| IJavaElement[] elements = codeSelect(cu, "t4.R1", "t4.R1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R1 [in T4 [in T4.java [in teampkg1 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testBaseclass6() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T6.java"); |
| IJavaElement[] elements = codeSelect(cu, "base.R1", "base.R1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R1 [in T5 [in T5.java [in teampkg1 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testBaseclass6b() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T6.java"); |
| IJavaElement[] elements = codeSelect(cu, "R1<@base>", "R1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R1 [in T5 [in T5.java [in teampkg1 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testBaseclass6c() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T6.java"); |
| IJavaElement[] elements = codeSelect(cu, "R1<@TR6.base> {}", "R1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R1 [in T5 [in T5.java [in teampkg1 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| // select the superclass ref from one rofi to another |
| public void testRoleSuperclass() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2.T2", "R2.java"); |
| IJavaElement[] elements = codeSelect(cu, "R1", "R1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R1 [in R1.java [in teampkg2.T2 [in src [in CodeSelection]]]]", |
| elements); |
| } |
| |
| //testing type declarations |
| public void testTeamDeclaration() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T0.java"); |
| IJavaElement[] elements = codeSelect(cu, "T0", "T0"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "T0 [in T0.java [in teampkg2 [in src [in CodeSelection]]]]", |
| elements); |
| } |
| |
| public void testNestedTeamDeclaration() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "TR1", "TR1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "TR1 [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testInlinedRoleDeclaration() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "R1 {", "R1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R1 [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| //TODO(gbr) test role declaration in role file. |
| |
| //testing method declarations |
| public void testMethodDeclaration1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "t1m1()", "t1m1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "t1m1() [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testMethodDeclaration2() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "tr1m1()", "tr1m1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "tr1m1() [in TR1 [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| public void testMethodDeclaration3() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "r1m1(){/*roleMethod*/}", "r1m1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "r1m1() [in R1 [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| public void testMethodReference1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg1", "T7.java"); |
| IJavaElement[] elements = codeSelect(cu, "collect(strings);", "collect"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "collect(Set<String>) [in R1 [in T7 [in T7.java [in teampkg1 [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| //testing field declarations |
| public void testFieldDeclaration1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "t1_f", "t1_f"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "t1_f [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testFieldDeclaration2() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "tr1_f", "tr1_f"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "tr1_f [in TR1 [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| public void testFieldDeclaration3() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "teampkg2", "T1.java"); |
| IJavaElement[] elements = codeSelect(cu, "r1_f;//roleField", "r1_f"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "r1_f [in R1 [in T1 [in T1.java [in teampkg2 [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| // actually a dup of https://bugs.eclipse.org/bugs/show_bug.cgi?id=204417 |
| public void _testRegression1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "regression", "Client1.java"); |
| IJavaElement[] elements = codeSelect(cu, "A(a.cs)", "A"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "A [in A.java [in regression [in src [in CodeSelection]]]]", |
| elements); |
| } |
| |
| |
| /** |
| * Select a callout mapping (role method spec) |
| */ |
| public void testCallout1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "rm2", "rm2"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "rm2(int) -> bm1(int) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| /** |
| * Select a callout mapping (role method spec) |
| */ |
| public void testCalloutToFieldShorthand() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon; // c-t-f shorthand", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| /** |
| * Select a callin replace mapping (role method spec) |
| */ |
| public void testCallin1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "rm1(int i, Collection c) <-", "rm1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "rm1(int, Collection) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| /** |
| * Select argument name inside a callin parameter mapping. |
| */ |
| public void testParamMapping1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "i <- x,", "i"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "i [in rm1(int, Collection) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]]", |
| elements); |
| } |
| |
| |
| /** |
| * Select argument name inside a callout parameter mapping. |
| */ |
| public void testParamMapping2() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "x,//callout mapping", "x"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "x [in rm2(int) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]]", |
| // codeSelect cannot handle children of OTJavaElement :(, uses corresponding SourceMethod as parent |
| // "x [in rm2(int)->bm1(int) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]]", |
| elements); |
| } |
| |
| /** |
| * Select method call inside a callout parameter mapping. |
| */ |
| public void testParamMapping3() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "doubleIt(result)", "doubleIt"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "doubleIt(int) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]", |
| // codeSelect cannot handle children of OTJavaElement :(, uses corresponding SourceMethod as parent |
| // "x [in rm2(int)->bm1(int) [in R [in MappingsTeam1 [in MappingsTeam1.java [in mappings [in src [in CodeSelection]]]]]]]", |
| elements); |
| } |
| |
| /** |
| * Select base field reference inside a callout-to-field parameter mapping. |
| */ |
| public void testParamMapping4() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon } // c-t-f", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| /** |
| * Select base field reference inside a callin parameter mapping. |
| */ |
| public void testParamMapping5() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "MappingsTeam1.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon } // callin", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testInferredCallout1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "InferredCallouts.java"); |
| IJavaElement[] elements = codeSelect(cu, "bm1(4)", "bm1"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "bm1(int) [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testInferredCallout2() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "InferredCallouts.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon = 3L; // qualified version", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testInferredCallout3() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "InferredCallouts.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon; // callout-to-field read", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testInferredCallout4() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "InferredCallouts.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon = 3L; // unqualified version", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testInferredCallout5() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "mappings", "InferredCallouts.java"); |
| IJavaElement[] elements = codeSelect(cu, "jon; // unqualified: callout-to-field read", "jon"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "jon [in B1 [in B1.java [in basepkg [in src [in CodeSelection]]]]]", |
| elements); |
| } |
| |
| public void testRoleCreation1() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "statements", "RoleCreation.java"); |
| IJavaElement[] elements = codeSelect(cu, "R<@t>(\"1\");", "R"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R(String) [in R [in RoleCreation [in RoleCreation.java [in statements [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| public void testRoleCreation2() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "statements", "RoleCreation.java"); |
| IJavaElement[] elements = codeSelect(cu, "R(\"2\");", "R"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "R(String) [in R [in RoleCreation [in RoleCreation.java [in statements [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| // awaiting progress in Trac #192 |
| public void _testRoleCreation3() throws JavaModelException |
| { |
| ProblemRequestor problemRequestor = new ProblemRequestor(); |
| WorkingCopyOwner owner = newWorkingCopyOwner(problemRequestor); |
| |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "statements", "RoleCreation.java"); |
| cu.getWorkingCopy(owner, null); |
| IJavaElement[] elements = codeSelect(cu, "RProtected<@t>(\"3\");", "RProtected"); |
| assertProblems("Unexpected problems", |
| "----------\n" + |
| "1. ERROR in /CodeSelection/src/statements/RoleCreation.java\n" + |
| "Illegal parameterized use of non-public role RProtected (OTJLD 1.2.3(b)).\n" + |
| "----------\n" + |
| "2. ERROR in /CodeSelection/src/statements/RoleCreation.java\n" + |
| "Illegal parameterized use of non-public role RProtected (OTJLD 1.2.3(b)).\n" + |
| "----------\n", |
| problemRequestor); |
| |
| assertElementsEqual( |
| "Unexpected elements", |
| "RProtected(String) [in RProtected [in RoleCreation [in RoleCreation.java [in statements [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| public void testRoleCreation4() throws JavaModelException |
| { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "statements", "RoleCreation.java"); |
| IJavaElement[] elements = codeSelect(cu, "RProtected(\"4\");", "RProtected"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "RProtected(String) [in RProtected [in RoleCreation [in RoleCreation.java [in statements [in src [in CodeSelection]]]]]]", |
| elements); |
| } |
| |
| public void testTSuperCall1() throws JavaModelException { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "statements", "TSuper.java"); |
| IJavaElement[] elements = codeSelect(cu, "m(1);", "m"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "m(int) [in R1 [in Inner2 [in Mid1 [in TSuper [in TSuper.java [in statements [in src [in CodeSelection]]]]]]]]", |
| elements); |
| } |
| public void testTSuperCall2() throws JavaModelException { |
| ICompilationUnit cu = getCompilationUnit("CodeSelection", "src", "statements", "TSuper.java"); |
| IJavaElement[] elements = codeSelect(cu, "m(2);", "m"); |
| assertElementsEqual( |
| "Unexpected elements", |
| "m(int) [in R1 [in Inner1 [in Mid2 [in TSuper [in TSuper.java [in statements [in src [in CodeSelection]]]]]]]]", |
| elements); |
| } |
| } |
