Attachment #60479 for bug #176027




	 * Bug 103304: [Javadoc] Wrong reference proposal for inner classes.
	 * @see "http://bugs.eclipse.org/bugs/show_bug.cgi?id=103304"
	 */
	public void testBug103304a_public() {
		String[] units = new String[] {
			new String[] {
				"boden/IAFAState.java",
				"package boden;\n" + 
				"public interface IAFAState {\n" + 

				"	 */\n" + 
				"	IAFAState.ValidationException valid2;\n" + 
				"}\n"
			};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//boden\TestValid.java:8: warning - Tag @see: reference not found: ValidationException
				"----------\n" + 
				"1. ERROR in boden\\TestValid.java (at line 4)\n" + 
				"	* @see ValidationException\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"2. ERROR in boden\\TestValid.java (at line 9)\n" + 
				"	* @see ValidationException#IAFAState.ValidationException(String, IAFAState)\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		} else {
			runConformTest(units);
		}
	}
	
	public void testBug103304a_private() {
		String[] units = new String[] {
				"boden/IAFAState.java",
				"package boden;\n" + 
				"public interface IAFAState {\n" + 
				"    public class ValidationException extends Exception {\n" + 
				"        public ValidationException(String variableName, IAFAState subformula) {\n" + 
				"            super(\"Variable \'\"+variableName+\"\' may be unbound in \'\"+subformula+\"\'\");\n" + 
				"        }\n" + 
				"        public void method() {}\n" + 
				"    }\n" + 
				"    /**\n" + 
				"     * Validates a formula for consistent bindings. Bindings are consistent, when at each point in time,\n" + 
				"     * the set of povided variables can be guaranteed to be a superset of the set of required variables.\n" + 
				"     * @throws ValidationException Thrown if a variable is unbound. \n" + 
				"     * @see ValidationException#IAFAState.ValidationException(String, IAFAState)\n" + 
				"     * @see IAFAState.ValidationException#method()\n" + 
				"     * @see ValidationException\n" + 
				"     * {@link ValidationException}\n" + 
				"     */\n" + 
				"    public void validate() throws ValidationException;\n" + 
				"}\n",
				"boden/TestValid.java",
				"package boden;\n" + 
				"import boden.IAFAState.ValidationException;\n" + 
				"/**\n" + 
				" * @see ValidationException\n" + 
				" * @see IAFAState.ValidationException\n" + 
				" */\n" + 
				"public class TestValid {\n" + 
				"	/**  \n" + 
				"	 * @see ValidationException#IAFAState.ValidationException(String, IAFAState)\n" + 
				"	 */\n" + 
				"	IAFAState.ValidationException valid1;\n" + 
				"	/**\n" + 
				"	 * @see IAFAState.ValidationException#IAFAState.ValidationException(String, IAFAState)\n" + 
				"	 */\n" + 
				"	IAFAState.ValidationException valid2;\n" + 
				"}\n"
			};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//boden\TestValid.java:8: warning - Tag @see: reference not found: ValidationException
				//boden\TestValid.java:12: warning - Tag @see: reference not found: ValidationException#IAFAState.ValidationException(String, IAFAState)
				"----------\n" + 
				"1. ERROR in boden\\TestValid.java (at line 4)\n" + 
				"	* @see ValidationException\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"2. ERROR in boden\\TestValid.java (at line 9)\n" + 
				"	* @see ValidationException#IAFAState.ValidationException(String, IAFAState)\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		} else {
			runConformTest(units);
		}
	}

	public void testBug103304b() {
		this.reportInvalidJavadocVisibility = CompilerOptions.PRIVATE;
		String[] units = new String[] {
				"boden/IAFAState.java",
				"package boden;\n" + 
				"public interface IAFAState {\n" + 

				"public class TestInvalid1 {\n" + 
				"	/** \n" + 
				"	 * @see ValidationException#ValidationException(String, IAFAState)\n" + 
				"	 * @see ValidationException#IAFAState.ValidationException(String, IAFAState)\n" +
				"	 */ \n" + 
				"	IAFAState.ValidationException invalid;\n" + 
				"}\n",

				"	 */\n" + 
				"	IAFAState.ValidationException invalid;\n" + 
				"}\n"
			};
		String errors_14 = new String (
				//boden\TestInvalid1.java:7: warning - Tag @see: reference not found: ValidationException#ValidationException(String, IAFAState)
				//boden\TestInvalid1.java:8: warning - Tag @see: reference not found: ValidationException#IAFAState.ValidationException(String, IAFAState)
				//boden\TestInvalid2.java:6: warning - Tag @see: can't find ValidationException(String, IAFAState) in boden.IAFAState.ValidationException => bug ID: 4288720
				//boden\TestInvalid3.java:6: warning - Tag @see: can't find IAFA.State.ValidationException(String, IAFAState) in boden.IAFAState.ValidationException
				//boden\TestInvalid4.java:6: warning - Tag @see: can't find IAFAState in boden.IAFAState.ValidationException
				"----------\n" + 
				"1. ERROR in boden\\TestInvalid1.java (at line 5)\n" + 
				"	* @see ValidationException#ValidationException(String, IAFAState)\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"2. ERROR in boden\\TestInvalid1.java (at line 6)\n" + 
				"	* @see ValidationException#IAFAState.ValidationException(String, IAFAState)\n" + 
				"	       ^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"----------\n" + 
				"1. ERROR in boden\\TestInvalid3.java (at line 5)\n" + 
				"	* @see IAFAState.ValidationException#IAFA.State.ValidationException(String, IAFAState)\n" + 
				"	                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"----------\n" + 
				"1. ERROR in boden\\TestInvalid4.java (at line 5)\n" + 
				"	* @see IAFAState.ValidationException#IAFAState .ValidationException(String, IAFAState)\n" + 
				"	                                     ^^^^^^^^^\n" + 
				"Javadoc: IAFAState cannot be resolved or is not a field\n" + 
				"----------\n"
		);
		String errors_50 = new String (
				//boden\TestInvalid1.java:7: warning - Tag @see: reference not found: ValidationException#ValidationException(String, IAFAState)
				//boden\TestInvalid2.java:6: warning - Tag @see: can't find ValidationException(String, IAFAState) in boden.IAFAState.ValidationException => bug ID: 4288720
				//boden\TestInvalid3.java:6: warning - Tag @see: can't find IAFA.State.ValidationException(String, IAFAState) in boden.IAFAState.ValidationException
				//boden\TestInvalid4.java:6: warning - Tag @see: can't find IAFAState in boden.IAFAState.ValidationException
				"----------\n" + 
				"1. ERROR in boden\\TestInvalid3.java (at line 5)\n" + 
				"	* @see IAFAState.ValidationException#IAFA.State.ValidationException(String, IAFAState)\n" + 
				"	                                     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"----------\n" + 
				"1. ERROR in boden\\TestInvalid4.java (at line 5)\n" + 
				"	* @see IAFAState.ValidationException#IAFAState .ValidationException(String, IAFAState)\n" + 
				"	                                     ^^^^^^^^^\n" + 
				"Javadoc: IAFAState cannot be resolved or is not a field\n" + 
				"----------\n"
		);
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units, errors_14);
		} else {
			runNegativeTest(units, errors_50);
		}
		
	}
	public void testBug103304c() {
		runConformTest(

			);
		}
	}
	
	/**
	 * Bug 176027: [javadoc] @link to member type handled incorrectly
	 * @see "https://bugs.eclipse.org/bugs/show_bug.cgi?id=176027"
	 */
	public void testBug176027a() {
		// case1 class X static class Inner
		String[] units = new String[] {
			"otherpkg/C.java",
			"package otherpkg;\n" +
			"public class C {\n" +
			"        public static class Inner { }\n" +
			"}\n"
			,
			"somepkg/MemberTypeDocTest.java",
			"package somepkg;\n" +
			"import otherpkg.C.Inner;\n" +
			"/**\n" +
			" * {@link Inner} -- error/warning \n" +
			" */\n" +
			"public class MemberTypeDocTest {\n" +
			"      void m() { }\n" +
			"}\n"
		};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//somepkg/MemberTypeDocTest.java:6: warning - Tag @link: reference not found: Inner
				"----------\n" + 
				"1. ERROR in somepkg\\MemberTypeDocTest.java (at line 4)\n" + 
				"	* {@link Inner} -- error/warning \n" + 
				"	         ^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		}
		else {
			runConformTest(units);
		}
	}
	
	public void testBug176027b() {
		// case3 class X class Inner
		String[] units = new String[] {
			"otherpkg/C.java",
			"package otherpkg;\n" +
			"public class C {\n" +
			"        public class Inner { }\n" +
			"}\n"
			,
			"somepkg/MemberTypeDocTest.java",
			"package somepkg;\n" +
			"import otherpkg.C.Inner;\n" +
			"/**\n" +
			" * {@link Inner} -- error/warning \n" +
			" */\n" +
			"public class MemberTypeDocTest {\n" +
			"      void m() { }\n" +
			"}\n"
		};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//somepkg/MemberTypeDocTest.java:6: warning - Tag @link: reference not found: Inner
				"----------\n" + 
				"1. ERROR in somepkg\\MemberTypeDocTest.java (at line 4)\n" + 
				"	* {@link Inner} -- error/warning \n" + 
				"	         ^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		}
		else {
			runConformTest(units);
		}
	}
	
	public void testBug176027c() {
		// case3 class X interface Inner
		String[] units = new String[] {
			"otherpkg/C.java",
			"package otherpkg;\n" +
			"public class C {\n" +
			"        public interface Inner { }\n" +
			"}\n"
			,
			"somepkg/MemberTypeDocTest.java",
			"package somepkg;\n" +
			"import otherpkg.C.Inner;\n" +
			"/**\n" +
			" * {@link Inner} -- error/warning \n" +
			" */\n" +
			"public class MemberTypeDocTest {\n" +
			"      void m() { }\n" +
			"}\n"
		};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//somepkg/MemberTypeDocTest.java:6: warning - Tag @link: reference not found: Inner
				"----------\n" + 
				"1. ERROR in somepkg\\MemberTypeDocTest.java (at line 4)\n" + 
				"	* {@link Inner} -- error/warning \n" + 
				"	         ^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		}
		else {
			runConformTest(units);
		}
	}
	
	public void testBug176027d() {
		// case4 interface X static class Inner
		String[] units = new String[] {
			"otherpkg/C.java",
			"package otherpkg;\n" +
			"public interface C {\n" +
			"        public static class Inner { }\n" +
			"}\n"
			,
			"somepkg/MemberTypeDocTest.java",
			"package somepkg;\n" +
			"import otherpkg.C.Inner;\n" +
			"/**\n" +
			" * {@link Inner} -- error/warning \n" +
			" */\n" +
			"public class MemberTypeDocTest {\n" +
			"      void m() { }\n" +
			"}\n"
		};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//somepkg/MemberTypeDocTest.java:6: warning - Tag @link: reference not found: Inner
				"----------\n" + 
				"1. ERROR in somepkg\\MemberTypeDocTest.java (at line 4)\n" + 
				"	* {@link Inner} -- error/warning \n" + 
				"	         ^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		}
		else {
			runConformTest(units);
		}
	}
	
	public void testBug176027f() {
		// case5 interface X class Inner
		String[] units = new String[] {
			"otherpkg/C.java",
			"package otherpkg;\n" +
			"public interface C {\n" +
			"        public class Inner { }\n" +
			"}\n"
			,
			"somepkg/MemberTypeDocTest.java",
			"package somepkg;\n" +
			"import otherpkg.C.Inner;\n" +
			"/**\n" +
			" * {@link Inner} -- error/warning \n" +
			" */\n" +
			"public class MemberTypeDocTest {\n" +
			"      void m() { }\n" +
			"}\n"
		};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//somepkg/MemberTypeDocTest.java:6: warning - Tag @link: reference not found: Inner
				"----------\n" + 
				"1. ERROR in somepkg\\MemberTypeDocTest.java (at line 4)\n" + 
				"	* {@link Inner} -- error/warning \n" + 
				"	         ^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		}
		else {
			runConformTest(units);
		}
	}
	
	public void testBug176027g() {
		// case6 interface X interface Inner
		String[] units = new String[] {
			"otherpkg/C.java",
			"package otherpkg;\n" +
			"public interface C {\n" +
			"        public interface Inner { }\n" +
			"}\n"
			,
			"somepkg/MemberTypeDocTest.java",
			"package somepkg;\n" +
			"import otherpkg.C.Inner;\n" +
			"/**\n" +
			" * {@link Inner} -- error/warning \n" +
			" */\n" +
			"public class MemberTypeDocTest {\n" +
			"      void m() { }\n" +
			"}\n"
		};
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,
				//somepkg/MemberTypeDocTest.java:6: warning - Tag @link: reference not found: Inner
				"----------\n" + 
				"1. ERROR in somepkg\\MemberTypeDocTest.java (at line 4)\n" + 
				"	* {@link Inner} -- error/warning \n" + 
				"	         ^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n"
			);
		}
		else {
			runConformTest(units);
		}
	}
	
	public void testBug176027h_public() {
		// test embedded inner classes
		String[] units = new String[] {
				"mainpkg/Outer.java",
				"package mainpkg;\n" +
				"public class Outer {\n" +
				"        public class Inner {\n" +
				"        	public class MostInner{\n" +
				"    \n" +    		
				"        	}\n" +
				"        } \n" +
				"}\n"
				,
				"pkg1/Valid1.java",
				"package pkg1; \n" +
				"import mainpkg.Outer.Inner.MostInner;\n" +
				"// valid import - no error in 5.0\n" +
				"\n" +
				"/** \n" +
				" * {@link MostInner}\n" +
				" * \n" +
				" */ \n" +
				"public class Valid1 { \n" +
				"	/** \n" +
				"	 * {@link MostInner} \n" +
				"	 * \n" +
				"	 */ \n" +
				"      void m() { } \n" +
				"}\n"
				,
				"pkg2/Valid2.java",
				"package pkg2; \n" +
				"import mainpkg.Outer.Inner.*;\n" +
				"//valid import - no error in 5.0\n" +
				"\n" +
				"/** \n" +
				" * {@link MostInner}\n" +
				" * \n" +
				" */ \n" +
				"public class Valid2 { \n" +
				"      void m() { } \n" +
				"}\n"
				,
				"pkg3/Invalid3.java",
				"package pkg3; \n" +
				"import mainpkg.Outer.*;\n" +
				"//invalid import: expecting warning / error\n" +
				"\n" +
				"/** \n" +
				" * {@link MostInner} -- error/warning  \n" +
				" * \n" +
				" */ \n" +
				"public class Invalid3 { \n" +
				"      void m() { } \n" +
				"}\n"
		};
		
		String error14 = new String (
			//pkg1\Valid1.java:12: warning - Tag @link: reference not found: MostInner
			//pkg2\Valid2.java:12: warning - Tag @link: reference not found: MostInner
			//pkg3\Invalid3.java:12: warning - Tag @link: reference not found: MostInner
			"----------\n" + 
			"1. ERROR in pkg1\\Valid1.java (at line 6)\n" + 
			"	* {@link MostInner}\n" + 
			"	         ^^^^^^^^^\n" + 
			"Javadoc: Invalid member type qualification\n" + 
			"----------\n" + 
			"----------\n" + 
			"1. ERROR in pkg2\\Valid2.java (at line 6)\n" + 
			"	* {@link MostInner}\n" + 
			"	         ^^^^^^^^^\n" + 
			"Javadoc: Invalid member type qualification\n" + 
			"----------\n" + 
			"----------\n" + 
			"1. ERROR in pkg3\\Invalid3.java (at line 6)\n" + 
			"	* {@link MostInner} -- error/warning  \n" + 
			"	         ^^^^^^^^^\n" + 
			"Javadoc: MostInner cannot be resolved to a type\n" + 
			"----------\n");
		
		String error50 = new String (
				//pkg3\Invalid3.java:12: warning - Tag @link: reference not found: MostInner
				"----------\n" + 
				"1. ERROR in pkg3\\Invalid3.java (at line 6)\n" + 
				"	* {@link MostInner} -- error/warning  \n" + 
				"	         ^^^^^^^^^\n" + 
				"Javadoc: MostInner cannot be resolved to a type\n" + 
				"----------\n");
		
		this.reportInvalidJavadocVisibility = CompilerOptions.PUBLIC;
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,error14);
		}
		else {
			runNegativeTest(units,error50);
		}
	}
	
	public void testBug176027h_private() {
		// test embedded inner classes
		String[] units = new String[] {
				"mainpkg/Outer.java",
				"package mainpkg;\n" +
				"public class Outer {\n" +
				"        public class Inner {\n" +
				"        	public class MostInner{\n" +
				"    \n" +    		
				"        	}\n" +
				"        } \n" +
				"}\n"
				,
				"pkg1/Valid1.java",
				"package pkg1; \n" +
				"import mainpkg.Outer.Inner.MostInner;\n" +
				"// valid import - no error in 5.0\n" +
				"\n" +
				"/** \n" +
				" * {@link MostInner}\n" +
				" * \n" +
				" */ \n" +
				"public class Valid1 { \n" +
				"	/** \n" +
				"	 * {@link MostInner} \n" +
				"	 * \n" +
				"	 */ \n" +
				"      void m() { } \n" +
				"}\n"
				,
				"pkg2/Valid2.java",
				"package pkg2; \n" +
				"import mainpkg.Outer.Inner.*;\n" +
				"//valid import - no error in 5.0\n" +
				"\n" +
				"/** \n" +
				" * {@link MostInner}\n" +
				" * \n" +
				" */ \n" +
				"public class Valid2 { \n" +
				"      void m() { } \n" +
				"}\n"
				,
				"pkg3/Invalid3.java",
				"package pkg3; \n" +
				"import mainpkg.Outer.*;\n" +
				"//invalid import: expecting warning / error\n" +
				"\n" +
				"/** \n" +
				" * {@link MostInner} -- error/warning  \n" +
				" * \n" +
				" */ \n" +
				"public class Invalid3 { \n" +
				"      void m() { } \n" +
				"}\n"
		};
		
		String error14 = new String(
				//pkg1\Valid1.java:12: warning - Tag @link: reference not found: MostInner
				//pkg1\Valid1.java:17: warning - Tag @link: reference not found: MostInner
				//pkg2\Valid2.java:12: warning - Tag @link: reference not found: MostInner
				//pkg3\Invalid3.java:12: warning - Tag @link: reference not found: MostInner
				"----------\n" + 
				"1. ERROR in pkg1\\Valid1.java (at line 6)\n" + 
				"	* {@link MostInner}\n" + 
				"	         ^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"2. ERROR in pkg1\\Valid1.java (at line 11)\n" + 
				"	* {@link MostInner} \n" + 
				"	         ^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"----------\n" + 
				"1. ERROR in pkg2\\Valid2.java (at line 6)\n" + 
				"	* {@link MostInner}\n" + 
				"	         ^^^^^^^^^\n" + 
				"Javadoc: Invalid member type qualification\n" + 
				"----------\n" + 
				"----------\n" + 
				"1. ERROR in pkg3\\Invalid3.java (at line 6)\n" + 
				"	* {@link MostInner} -- error/warning  \n" + 
				"	         ^^^^^^^^^\n" + 
				"Javadoc: MostInner cannot be resolved to a type\n" + 
		"----------\n");
		
		String error50 = new String(
				//pkg3\Invalid3.java:12: warning - Tag @link: reference not found: MostInner
				"----------\n" + 
				"1. ERROR in pkg3\\Invalid3.java (at line 6)\n" + 
				"	* {@link MostInner} -- error/warning  \n" + 
				"	         ^^^^^^^^^\n" + 
				"Javadoc: MostInner cannot be resolved to a type\n" + 
				"----------\n");
		
		this.reportInvalidJavadocVisibility = CompilerOptions.PRIVATE;
		if (complianceLevel.equals(COMPLIANCE_1_3) || complianceLevel.equals(COMPLIANCE_1_4)) {
			runNegativeTest(units,error14);
		}
		else {
			runNegativeTest(units,error50);
		}
	}
}




		}
	}

			private void verifyTypeReference(Expression reference, Expression typeReference, Scope scope, boolean source15, ReferenceBinding resolvedType, int modifiers) {
				if (resolvedType.isValidBinding()) {
					int scopeModifiers = -1;
		
					// reference must have enough visibility to be used
					if (!canBeSeen(scope.problemReporter().options.reportInvalidJavadocTagsVisibility, modifiers)) {
						scope.problemReporter().javadocHiddenReference(typeReference.sourceStart, reference.sourceEnd, scope, modifiers);
						return;
					}
		
					// type reference must have enough visibility to be used
					if (reference != typeReference) {
						if (!canBeSeen(scope.problemReporter().options.reportInvalidJavadocTagsVisibility, resolvedType.modifiers)) {
							scope.problemReporter().javadocHiddenReference(typeReference.sourceStart, typeReference.sourceEnd, scope, resolvedType.modifiers);
					return;
				}
			}

			// member types
			if (resolvedType.isMemberType()) {
				ReferenceBinding topLevelType = resolvedType;
				int depth = 0;
				while (topLevelType.enclosingType() != null) {
					topLevelType = topLevelType.enclosingType();
					depth++;
				}
				ClassScope topLevelScope = scope.classScope();
				// when scope is not on compilation unit type, then inner class may not be visible...
				if (topLevelScope.parent.kind != Scope.COMPILATION_UNIT_SCOPE ||
					!CharOperation.equals(topLevelType.sourceName, topLevelScope.referenceContext.name)) {
					topLevelScope = topLevelScope.outerMostClassScope();
					if (typeReference instanceof JavadocSingleTypeReference) {
						// inner class single reference can only be done in same unit
						if ((!source15 && depth == 1) || topLevelType != topLevelScope.referenceContext.binding) {
							if (scopeModifiers == -1) scopeModifiers = scope.getDeclarationModifiers();
							scope.problemReporter().javadocInvalidMemberTypeQualification(typeReference.sourceStart, typeReference.sourceEnd, scopeModifiers);
							return;
						}
					}
					
					// member types
					if (resolvedType.isMemberType()) {
						ReferenceBinding topLevelType = resolvedType;
						// rebuild and store (in reverse order) compound name to handle embedded inner class
						int idx = resolvedType.depth()+topLevelType.getPackage().compoundName.length;
						char[][] computedCompoundName = new char[idx+1][];
						computedCompoundName[idx] = topLevelType.sourceName;
						int depth = 0;
						while (topLevelType.enclosingType() != null) {
							topLevelType = topLevelType.enclosingType();
							depth++;
							idx--;
							computedCompoundName[idx] = topLevelType.sourceName;
						}
						
						// add package information
						idx--;
						for (int i = topLevelType.getPackage().compoundName.length; --i >= 0;) {
							computedCompoundName[idx] = topLevelType.getPackage().compoundName[i];
							idx--;
						}
												
						ClassScope topLevelScope = scope.classScope();
						// when scope is not on compilation unit type, then inner class may not be visible...
						if (topLevelScope.parent.kind != Scope.COMPILATION_UNIT_SCOPE ||
							!CharOperation.equals(topLevelType.sourceName, topLevelScope.referenceContext.name)) {
							topLevelScope = topLevelScope.outerMostClassScope();
							if (typeReference instanceof JavadocSingleTypeReference) {
								// inner class single reference can only be done in same unit
								if ((!source15 && depth == 1) || topLevelType != topLevelScope.referenceContext.binding) {
									// search for corresponding import
									boolean hasValidImport = false;
									boolean extendsEnclosingTypeOrInterface = false;
									if (source15) {
										CompilationUnitScope unitScope = topLevelScope.compilationUnitScope();
										ImportBinding[] imports = unitScope.imports;
										int length = imports == null ? 0 : imports.length;
										for (int i=0; i<length; i++) {
											if (hasValidImport) { // break the loop as soon as valid import found
												break;
											}
											boolean invalidImport = false;
											if (imports[i].onDemand) {
												if (! hasValidImport && (imports[i].compoundName.length == (computedCompoundName.length-1))) {
													for (int j = imports[i].compoundName.length; --j >= 0;) {
														if (!CharOperation.equals(imports[i].compoundName[j], computedCompoundName[j])) {
															invalidImport = true;
															break;	
														}
													}
													if (! invalidImport) {
														hasValidImport = true;
													}
												}
											} else {
												// compare import and enclosingtype compoundnames
												char[][] compoundName = imports[i].compoundName;
												if (compoundName.length > 1) {
													if (computedCompoundName == compoundName) {
														hasValidImport = true;
													}
													if (! hasValidImport && (computedCompoundName.length == compoundName.length)) {
														for (int j = computedCompoundName.length; --j >= 0;) {
															if (!CharOperation.equals(computedCompoundName[j], compoundName[j])) {
																invalidImport = true;
																break;	
															}
														}
														if (! invalidImport) {
															hasValidImport = true;
														}
													}																					
												}
											
											}
										}
									}
									if (! source15  || (source15 && (!hasValidImport || extendsEnclosingTypeOrInterface))) { // no valid import, no superclass or interface --> report error 
										if (scopeModifiers == -1) scopeModifiers = scope.getDeclarationModifiers();
										scope.problemReporter().javadocInvalidMemberTypeQualification(typeReference.sourceStart, typeReference.sourceEnd, scopeModifiers);
										return;
									}
								}
							}
						}
					}
				}
			}
		}
	}

	public void traverse(ASTVisitor visitor, BlockScope scope) {
		if (visitor.visit(this, scope)) {

Return to bug 176027

Lines 723-771 Link Here

(-)compiler/org/eclipse/jdt/internal/compiler/ast/Javadoc.java (-38 / +101 lines)
723	}	723	}
724	}	724	}
725		725
726	private void verifyTypeReference(Expression reference, Expression typeReference, Scope scope, boolean source15, ReferenceBinding resolvedType, int modifiers) {	726	private void verifyTypeReference(Expression reference, Expression typeReference, Scope scope, boolean source15, ReferenceBinding resolvedType, int modifiers) {
727	if (resolvedType.isValidBinding()) {	727	if (resolvedType.isValidBinding()) {
728	int scopeModifiers = -1;	728	int scopeModifiers = -1;
729		729
730	// reference must have enough visibility to be used	730	// reference must have enough visibility to be used
731	if (!canBeSeen(scope.problemReporter().options.reportInvalidJavadocTagsVisibility, modifiers)) {	731	if (!canBeSeen(scope.problemReporter().options.reportInvalidJavadocTagsVisibility, modifiers)) {
732	scope.problemReporter().javadocHiddenReference(typeReference.sourceStart, reference.sourceEnd, scope, modifiers);	732	scope.problemReporter().javadocHiddenReference(typeReference.sourceStart, reference.sourceEnd, scope, modifiers);
733	return;	733	return;
734	}	734	}
735		735
736	// type reference must have enough visibility to be used	736	// type reference must have enough visibility to be used
737	if (reference != typeReference) {	737	if (reference != typeReference) {
738	if (!canBeSeen(scope.problemReporter().options.reportInvalidJavadocTagsVisibility, resolvedType.modifiers)) {	738	if (!canBeSeen(scope.problemReporter().options.reportInvalidJavadocTagsVisibility, resolvedType.modifiers)) {
739	scope.problemReporter().javadocHiddenReference(typeReference.sourceStart, typeReference.sourceEnd, scope, resolvedType.modifiers);	739	scope.problemReporter().javadocHiddenReference(typeReference.sourceStart, typeReference.sourceEnd, scope, resolvedType.modifiers);
740	return;
741	}
742	}
743
744	// member types
745	if (resolvedType.isMemberType()) {
746	ReferenceBinding topLevelType = resolvedType;
747	int depth = 0;
748	while (topLevelType.enclosingType() != null) {
749	topLevelType = topLevelType.enclosingType();
750	depth++;
751	}
752	ClassScope topLevelScope = scope.classScope();
753	// when scope is not on compilation unit type, then inner class may not be visible...
754	if (topLevelScope.parent.kind != Scope.COMPILATION_UNIT_SCOPE \|\|
755	!CharOperation.equals(topLevelType.sourceName, topLevelScope.referenceContext.name)) {
756	topLevelScope = topLevelScope.outerMostClassScope();
757	if (typeReference instanceof JavadocSingleTypeReference) {
758	// inner class single reference can only be done in same unit
759	if ((!source15 && depth == 1) \|\| topLevelType != topLevelScope.referenceContext.binding) {
760	if (scopeModifiers == -1) scopeModifiers = scope.getDeclarationModifiers();
761	scope.problemReporter().javadocInvalidMemberTypeQualification(typeReference.sourceStart, typeReference.sourceEnd, scopeModifiers);
762	return;	740	return;
763	}	741	}
764	}	742	}
		743
		744	// member types
		745	if (resolvedType.isMemberType()) {
		746	ReferenceBinding topLevelType = resolvedType;
		747	// rebuild and store (in reverse order) compound name to handle embedded inner class
		748	int idx = resolvedType.depth()+topLevelType.getPackage().compoundName.length;
		749	char[][] computedCompoundName = new char[idx+1][];
		750	computedCompoundName[idx] = topLevelType.sourceName;
		751	int depth = 0;
		752	while (topLevelType.enclosingType() != null) {
		753	topLevelType = topLevelType.enclosingType();
		754	depth++;
		755	idx--;
		756	computedCompoundName[idx] = topLevelType.sourceName;
		757	}
		758
		759	// add package information
		760	idx--;
		761	for (int i = topLevelType.getPackage().compoundName.length; --i >= 0;) {
		762	computedCompoundName[idx] = topLevelType.getPackage().compoundName[i];
		763	idx--;
		764	}
		765
		766	ClassScope topLevelScope = scope.classScope();
		767	// when scope is not on compilation unit type, then inner class may not be visible...
		768	if (topLevelScope.parent.kind != Scope.COMPILATION_UNIT_SCOPE \|\|
		769	!CharOperation.equals(topLevelType.sourceName, topLevelScope.referenceContext.name)) {
		770	topLevelScope = topLevelScope.outerMostClassScope();
		771	if (typeReference instanceof JavadocSingleTypeReference) {
		772	// inner class single reference can only be done in same unit
		773	if ((!source15 && depth == 1) \|\| topLevelType != topLevelScope.referenceContext.binding) {
		774	// search for corresponding import
		775	boolean hasValidImport = false;
		776	boolean extendsEnclosingTypeOrInterface = false;
		777	if (source15) {
		778	CompilationUnitScope unitScope = topLevelScope.compilationUnitScope();
		779	ImportBinding[] imports = unitScope.imports;
		780	int length = imports == null ? 0 : imports.length;
		781	for (int i=0; i<length; i++) {
		782	if (hasValidImport) { // break the loop as soon as valid import found
		783	break;
		784	}
		785	boolean invalidImport = false;
		786	if (imports[i].onDemand) {
		787	if (! hasValidImport && (imports[i].compoundName.length == (computedCompoundName.length-1))) {
		788	for (int j = imports[i].compoundName.length; --j >= 0;) {
		789	if (!CharOperation.equals(imports[i].compoundName[j], computedCompoundName[j])) {
		790	invalidImport = true;
		791	break;
		792	}
		793	}
		794	if (! invalidImport) {
		795	hasValidImport = true;
		796	}
		797	}
		798	} else {
		799	// compare import and enclosingtype compoundnames
		800	char[][] compoundName = imports[i].compoundName;
		801	if (compoundName.length > 1) {
		802	if (computedCompoundName == compoundName) {
		803	hasValidImport = true;
		804	}
		805	if (! hasValidImport && (computedCompoundName.length == compoundName.length)) {
		806	for (int j = computedCompoundName.length; --j >= 0;) {
807	if (!CharOperation.equals(computedCompoundName[j], compoundName[j])) {
808	invalidImport = true;
809	break;
810	}
811	}
812	if (! invalidImport) {
813	hasValidImport = true;
814	}
815	}
816	}
817
818	}
819	}
820	}
821	if (! source15 \|\| (source15 && (!hasValidImport \|\| extendsEnclosingTypeOrInterface))) { // no valid import, no superclass or interface --> report error
822	if (scopeModifiers == -1) scopeModifiers = scope.getDeclarationModifiers();
823	scope.problemReporter().javadocInvalidMemberTypeQualification(typeReference.sourceStart, typeReference.sourceEnd, scopeModifiers);
824	return;
825	}
826	}
827	}
828	}
829	}
765	}	830	}
766	}	831	}
767	}
768	}
769		832
770	public void traverse(ASTVisitor visitor, BlockScope scope) {	833	public void traverse(ASTVisitor visitor, BlockScope scope) {
771	if (visitor.visit(this, scope)) {	834	if (visitor.visit(this, scope)) {