View | Details | Raw Unified | Return to bug 210353
Collapse All | Expand All

(-)model/org/eclipse/jdt/core/JavaCore.java (-4 / +8 lines)
Lines 2031-2040 Link Here
2031
	 *     - possible values:   { "enabled", "disabled" }
2031
	 *     - possible values:   { "enabled", "disabled" }
2032
	 *     - default:           "enabled"
2032
	 *     - default:           "enabled"
2033
	 *
2033
	 *
2034
	 * COMPILER / Reporting Attempt to Override Package-Default Method
2034
	 * COMPILER / Reporting Attempt to Override Package Visible Method
2035
	 *    A package default method is not visible in a different package, and thus
2035
	 *    A package visible method, that is any method that is not explicitly 
2036
	 *    cannot be overridden. When enabling this option, the compiler will signal
2036
	 *    declared as private, protected or public, is not visible from other 
2037
	 *    such scenarii either as an error or a warning.
2037
	 *    packages, and thus cannot be overridden there. Attempting to override 
2038
	 *    a package visible method from a another package introduces a new 
2039
	 *    method that is unrelated to the original one. When enabling this 
2040
	 *    option, the compiler will signal such situations as an error or a 
2041
	 *    warning.
2038
	 *     - option id:         "org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod"
2042
	 *     - option id:         "org.eclipse.jdt.core.compiler.problem.overridingPackageDefaultMethod"
2039
	 *     - possible values:   { "error", "warning", "ignore" }
2043
	 *     - possible values:   { "error", "warning", "ignore" }
2040
	 *     - default:           "warning"
2044
	 *     - default:           "warning"

Return to bug 210353