Quick fix for adding a space after the header colon

Author: Neha Burnwal

ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/PDECoreMessages.java

@@ -181,6 +181,7 @@ public class PDECoreMessages extends NLS {
 	public static String BundleErrorReporter_noMainSection;
 	public static String BundleErrorReporter_duplicateHeader;
 	public static String BundleErrorReporter_noColon;
+	public static String BundleErrorReporter_noSpaceAfterColon;
 	public static String BundleErrorReporter_noSpaceValue;
 	public static String BundleErrorReporter_nameHeaderInMain;
 	public static String BundleErrorReporter_noNameHeader;

ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/builders/JarManifestErrorReporter.java

@@ -195,6 +195,11 @@ protected void parseManifest(IDocument document, IProgressMonitor monitor) {
 							PDEMarkerFactory.CAT_FATAL);
 					return;
 				}
+				if (line.length() >= colon + 2 && line.charAt(colon + 1) != ' ') {
+					report(PDECoreMessages.BundleErrorReporter_noSpaceAfterColon, lineNumber, CompilerFlags.ERROR,
+							PDEMarkerFactory.M_NO_SPACE_AFTER_COLON, PDEMarkerFactory.CAT_FATAL);
+					return;
+				}
 				if (line.length() < colon + 2 || line.charAt(colon + 1) != ' ') {
 					report(PDECoreMessages.BundleErrorReporter_noSpaceValue, lineNumber, CompilerFlags.ERROR, PDEMarkerFactory.CAT_FATAL);
 					return;

ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/builders/PDEMarkerFactory.java

@@ -76,6 +76,7 @@ public class PDEMarkerFactory {
 	public static final int M_EXEC_ENV_TOO_LOW = 0x1029; // other problem
 	public static final int M_CONFLICTING_AUTOMATIC_MODULE = 0x1030; // other problem
 	public static final int M_HEADER_INCORRECT = 0x1031; // other problem
+	public static final int M_NO_SPACE_AFTER_COLON = 0x1032; // other problem
 	public static final int M_SINGLETON_DIR_CHANGE = 0x1033; // other problem
 	public static final int M_MISSINGVERSION_REQ_BUNDLE = 0x1034; // other
 																	// problem

ui/org.eclipse.pde.core/src/org/eclipse/pde/internal/core/pderesources.properties

@@ -139,6 +139,7 @@ BundleErrorReporter_lineTooLong = The line is too long
 BundleErrorReporter_noMainSection = Manifest has no main section
 BundleErrorReporter_duplicateHeader = Header already defined
 BundleErrorReporter_noColon = ':' is required after the header name
+BundleErrorReporter_noSpaceAfterColon=Single space is required after the colon
 BundleErrorReporter_noSpaceValue = Single space and a value is required after the header name
 BundleErrorReporter_nameHeaderInMain = 'Name' header is not allowed in the main section
 BundleErrorReporter_noNameHeader = Extraneous empty line causes the file to be invalid

ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/PDEUIMessages.java

@@ -3238,6 +3238,8 @@ public class PDEUIMessages extends NLS {
 
 	public static String AddSourceBuildEntryResolution_label;
 
+	public static String AddSpaceAfterColon_add;
+
 	public static String RemoveSeperatorBuildEntryResolution_label;
 
 	public static String ExternalizeStringsResolution_desc;

ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/correction/AddSpaceBeforeValue.java

@@ -0,0 +1,67 @@
+/*******************************************************************************
+ * Copyright (c) 2025 IBM Corporation and others.
+ *
+ * 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
+ *
+ * Contributors:
+ *     IBM Corporation - initial API and implementation
+ *******************************************************************************/
+package org.eclipse.pde.internal.ui.correction;
+
+import java.util.logging.Level;
+import java.util.logging.Logger;
+
+import org.eclipse.core.resources.IMarker;
+import org.eclipse.jface.text.BadLocationException;
+import org.eclipse.jface.text.IDocument;
+import org.eclipse.jface.text.IRegion;
+import org.eclipse.pde.internal.core.text.bundle.BundleModel;
+import org.eclipse.pde.internal.ui.PDEUIMessages;
+
+/**
+ * Resolution to add a space after the colon when not present in a manifest
+ * header
+ */
+public class AddSpaceBeforeValue extends AbstractManifestMarkerResolution {
+
+	private static final Logger logger = Logger.getLogger(AddSpaceBeforeValue.class.getName());
+
+	public AddSpaceBeforeValue(int type, IMarker marker) {
+		super(type, marker);
+	}
+
+	@Override
+	public String getLabel() {
+		return PDEUIMessages.AddSpaceAfterColon_add;
+	}
+
+	@Override
+	protected void createChange(BundleModel model) {
+		try {
+			IDocument doc = model.getDocument();
+			int lineNum = marker.getAttribute(IMarker.LINE_NUMBER, -1);
+			IRegion lineInfo = doc.getLineInformation(lineNum - 1);
+			int offset = lineInfo.getOffset();
+			int length = lineInfo.getLength();
+
+			String getLine = doc.get(offset, length);
+			int colonInd = getLine.indexOf(':');
+
+			if (colonInd > 0 && getLine.charAt(colonInd + 1) != ' ') {
+				String userHeader = getLine.substring(0, colonInd + 1);
+				userHeader = userHeader + " "; //$NON-NLS-1$
+				doc.replace(offset, colonInd + 1, userHeader);
+			}
+		} catch (BadLocationException e) {
+			logger.log(Level.SEVERE, "Failed to apply AddSpaceBeforeValue quick fix, unexpected location in the doc", //$NON-NLS-1$
+					e);
+		}
+
+	}
+
+}

ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/correction/ResolutionGenerator.java

@@ -155,6 +155,9 @@ public IMarkerResolution[] getNonConfigSevResolutions(IMarker marker) {
 		case PDEMarkerFactory.M_MISSINGVERSION_REQ_BUNDLE:
 			return new IMarkerResolution[] {
 					new VersionMatchResolution(AbstractPDEMarkerResolution.CREATE_TYPE, marker) };
+		case PDEMarkerFactory.M_NO_SPACE_AFTER_COLON:
+			return new IMarkerResolution[] {
+					new AddSpaceBeforeValue(AbstractPDEMarkerResolution.CREATE_TYPE, marker) };
 		}
 		return NO_RESOLUTIONS;
 	}

ui/org.eclipse.pde.ui/src/org/eclipse/pde/internal/ui/pderesources.properties

@@ -591,6 +591,7 @@ AdvancedPluginExportPage_signButton=Si&gn the JAR archives using a keystore (a p
 AdvancedPluginExportPage_noKeystore=Keystore location is not set
 AdvancedPluginExportPage_noPassword=Password is not set
 AddSourceBuildEntryResolution_label=Add a {0} entry.
+AddSpaceAfterColon_add=Add a space after the colon
 AdvancedFeatureExportPage_createJNLP=&Create JNLP manifests for the JAR archives
 AdvancedFeatureExportPage_jreVersion=&JRE version:
 AdvancedPluginExportPage_qualifier = &Qualifier replacement (default value is today's date):