plugins/org.eclipse.ocl.pivot.ui/src/org/eclipse/ocl/pivot/ui/internal/preferences/PivotProjectPreferencePage.java

/*******************************************************************************
 * Copyright (c) 2015, 2018 Willink Transformations and others.
 * All rights reserved.   This program and the accompanying materials
 * are made available under the terms of the Eclipse Public License v2.0
 * which accompanies this distribution, and is available at
 * http://www.eclipse.org/legal/epl-v20.html
 *
 * Contributors:
 *   E.D.Willink - Initial API and implementation
 *******************************************************************************/
package org.eclipse.ocl.pivot.ui.internal.preferences;

import java.util.List;

import org.eclipse.ocl.common.ui.internal.preferences.AbstractProjectPreferencePage;
import org.eclipse.ocl.pivot.messages.StatusCodes;
import org.eclipse.ocl.pivot.options.PivotConsoleOptions;
import org.eclipse.ocl.pivot.options.PivotValidationOptions;
import org.eclipse.ocl.pivot.ui.messages.PivotUIMessages;
import org.eclipse.ocl.pivot.util.PivotPlugin;
import org.eclipse.swt.SWT;
import org.eclipse.swt.layout.GridData;
import org.eclipse.swt.widgets.Composite;
import org.eclipse.swt.widgets.Label;

/**
 * The Project/Property preference page for the UML Bindings.
 */
public class PivotProjectPreferencePage extends AbstractProjectPreferencePage
{
	protected static final String[][] SEVERITY_MODES = new String[][] {
		{ PivotUIMessages.Pivot_Severity_Ignore, StatusCodes.Severity.IGNORE.toString() },
		{ PivotUIMessages.Pivot_Severity_Info, StatusCodes.Severity.INFO.toString() },
		{ PivotUIMessages.Pivot_Severity_Warning, StatusCodes.Severity.WARNING.toString() },
		{ PivotUIMessages.Pivot_Severity_Error, StatusCodes.Severity.ERROR.toString() }
	};

	public PivotProjectPreferencePage() {
		super(PivotPlugin.PLUGIN_ID, PivotUIMessages.Pivot_PageTitle);
	}

	@Override
	protected AbstractProjectPreferencePage createClonePage() {
		return new PivotProjectPreferencePage();
	}

	/**
	 * Creates the field editors. Field editors are abstractions of
	 * the common GUI blocks needed to manipulate various types
	 * of preferences. Each field editor knows how to save and
	 * restore itself.
	 */
	@Override
	protected void createFieldEditors(Composite fieldEditorParent, List<IFieldEditor> fields) {
		Label horizontalLine= new Label(fieldEditorParent, SWT.SEPARATOR | SWT.HORIZONTAL);
		horizontalLine.setLayoutData(new GridData(GridData.FILL, GridData.FILL, false, false, 2, 1));
		horizontalLine.setFont(fieldEditorParent.getFont());
		fields.add(new MyComboFieldEditor(PivotValidationOptions.EcoreValidation,
				PivotUIMessages.Pivot_EcoreValidation, SEVERITY_MODES, fieldEditorParent));
		fields.add(new MyComboFieldEditor(PivotValidationOptions.MissingSafeNavigation,
				PivotUIMessages.Pivot_MissingSafeNavigation, SEVERITY_MODES, fieldEditorParent));
		fields.add(new MyComboFieldEditor(PivotValidationOptions.RedundantSafeNavigation,
				PivotUIMessages.Pivot_RedundantSafeNavigation, SEVERITY_MODES, fieldEditorParent));
		horizontalLine = new Label(fieldEditorParent, SWT.SEPARATOR | SWT.HORIZONTAL);
		horizontalLine.setLayoutData(new GridData(GridData.FILL, GridData.FILL, false, false, 2, 1));
		horizontalLine.setFont(fieldEditorParent.getFont());
		fields.add(new MyComboFieldEditor(PivotConsoleOptions.ConsoleModeltypesInformation,
				PivotUIMessages.Pivot_ModelTypeSelection, BOOLEANS, fieldEditorParent));
	}
}