execution/org.eclipse.efm.execution.configuration.common.ui/src/org/eclipse/efm/execution/configuration/common/ui/page/overview/OverviewAnalysisProfileSection.java - efm/org.eclipse.efm-modeling - Git at Google

 /*******************************************************************************
  * Copyright (c) 2017 CEA LIST.
  *
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
  * which accompanies this distribution, and is available at
  * http://www.eclipse.org/legal/epl-v10.html
  *
  * Contributors:
  *  Erwan Mahe (CEA LIST) erwan.mahe@cea.fr
  *   - Initial API and Implementation
  *******************************************************************************/
 package org.eclipse.efm.execution.configuration.common.ui.page.overview;

 import java.util.ArrayList;

 import org.eclipse.core.runtime.CoreException;
 import org.eclipse.debug.core.ILaunchConfiguration;
 import org.eclipse.debug.core.ILaunchConfigurationWorkingCopy;
 import org.eclipse.efm.execution.configuration.common.ui.api.AbstractConfigurationPage;
 import org.eclipse.efm.execution.configuration.common.ui.api.AbstractConfigurationSection;
 import org.eclipse.efm.execution.configuration.common.ui.api.IWidgetToolkit;
 import org.eclipse.efm.execution.configuration.common.ui.editors.FieldEditor;
 import org.eclipse.swt.SWT;
 import org.eclipse.swt.custom.CTabFolder;
 import org.eclipse.swt.custom.CTabItem;
 import org.eclipse.swt.custom.ScrolledComposite;
 import org.eclipse.swt.events.SelectionEvent;
 import org.eclipse.swt.events.SelectionListener;
 import org.eclipse.swt.layout.GridData;
 import org.eclipse.swt.widgets.Composite;

 public class OverviewAnalysisProfileSection extends AbstractConfigurationSection {

 	public OverviewAnalysisProfileSection(AbstractConfigurationPage configurationPage)
 	{
 		super(configurationPage);
 	}

 	private FieldEditor[] contentFieldEdit;

 	protected CTabFolder fTabFolder;

 	protected CTabItem fExplorationTabItem;

 	protected CTabItem fTransitionCoverageTabItem;
 	protected CTabItem fBehaviorSelectionTabItem;
 	protected CTabItem fTestOfflineTabItem;

 	public OverviewTransitionCoverageConfigurationProfile fTransitionCoveragePage;
 	public OverviewBehaviorSelectionConfigurationProfile fBehaviorSelectionPage;
 	public OverviewTestOfflineConfigurationProfile fTestOfflinePage;

 	/////////////////////////////////////
 	// ANALYSIS SELECTION
 	/////////////////////////////////////

 	private String fModelAnalysisProfile = ANALYSIS_PROFILE_MODEL_EXPLORATION;


 	@Override
 	public String getSectionTitle() {
 		return "Analysis Profile";
 	}

 	@Override
 	public String getSectionDescription() {
 		return "Select and configure one profile for model analysis";
 	}


 	@Override
 	public void requestLayout() {
 		super.requestLayout();
 	}

 	@Override
 	protected void createContent(Composite parent, IWidgetToolkit widgetToolkit)
 	{
 		fTabFolder = widgetToolkit.createTabFolder( parent, SWT.TOP );

 		fTabFolder.setToolTipText(
 				  "Choice of the strategy for the symbolic execution of the model\n"
 				+ "\t- Exploration: basic symbolic execution of the model\n"
 				+ "\t- Transition Coverage: compute a symbolic tree which covers all transitions of the model\n"
 				+ "\t- Behavior Selection: compute one or more symbolic path(s) which cover(s)\n"
 				+ "\t\t\t   a predefined behavior\n"
 				+ "\t- TESTOFFLINE : Test Verdict Computation: Offline testing...\n");

 		GridData gd = new GridData(SWT.FILL,SWT.FILL, true, true, 2, 1);
 		fTabFolder.setLayoutData(gd);

 		createExplorationTabItem(widgetToolkit);
 		createTransitionCoverageTabItem(widgetToolkit);
 		createBehaviorSelectionTabItem(widgetToolkit);

 		if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
 			createTestOfflineTabItem(widgetToolkit);
 		} else {
 			fTestOfflineTabItem = null;
 		}

 		fTabFolder.addSelectionListener(new SelectionListener() {
 			@Override
 			public void widgetSelected(SelectionEvent e) {
 				handleModelSelectionChange();

 				fConfigurationPage.propagateUpdateJobScheduling();
 				requestLayout();
 			}
 			@Override
 			public void widgetDefaultSelected(SelectionEvent e) {
 				fConfigurationPage.propagateUpdateJobScheduling();
 				requestLayout();
 			}
 		});
 	}


 	private void createExplorationTabItem(IWidgetToolkit widgetToolkit)
 	{
 		fExplorationTabItem = new CTabItem(fTabFolder, SWT.NONE );
 		fExplorationTabItem.setText(ANALYSIS_PROFILE_MODEL_EXPLORATION);

 		ScrolledComposite scrolledComposite =
 				widgetToolkit.createScrolledComposite(fTabFolder);

 		scrolledComposite.setContent(
 				widgetToolkit.createLabel(scrolledComposite,
 				"Configure Exploration limitation in Supervisor Tab", 2) );

 		fExplorationTabItem.setControl(scrolledComposite);
 	}

 	private void createTransitionCoverageTabItem(IWidgetToolkit widgetToolkit)
 	{
 		fTransitionCoverageTabItem = new CTabItem(fTabFolder, SWT.NONE );
 		fTransitionCoverageTabItem.setText(ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION);

 		ScrolledComposite scrolledComposite =
 				widgetToolkit.createScrolledComposite(fTabFolder);

 		fTransitionCoveragePage =
 				new OverviewTransitionCoverageConfigurationProfile(this.fConfigurationPage);

 		fTransitionCoveragePage.createControl(scrolledComposite, widgetToolkit);

 		Composite control = fTransitionCoveragePage.getControl();
 		if (control != null) {
 			scrolledComposite.setContent(control);
 //			scrolledComposite.setMinSize(
 //					control.computeSize(SWT.DEFAULT, SWT.DEFAULT));

 			fTransitionCoverageTabItem.setControl(scrolledComposite);
 		}
 	}

 	private void createBehaviorSelectionTabItem(IWidgetToolkit widgetToolkit)
 	{
 		fBehaviorSelectionTabItem = new CTabItem(fTabFolder, SWT.NONE );
 		fBehaviorSelectionTabItem.setText(ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR);


 		ScrolledComposite scrolledComposite =
 				widgetToolkit.createScrolledComposite(fTabFolder);

 		fBehaviorSelectionPage =
 				new OverviewBehaviorSelectionConfigurationProfile(this.fConfigurationPage);

 		fBehaviorSelectionPage.createControl(scrolledComposite, widgetToolkit);

 		Composite control = fBehaviorSelectionPage.getControl();
 		if (control != null) {
 			scrolledComposite.setContent(control);
 //			scrolledComposite.setMinSize(
 //					control.computeSize(SWT.DEFAULT, SWT.DEFAULT));

 			fBehaviorSelectionTabItem.setControl(scrolledComposite);
 		}
 	}

 	private void createTestOfflineTabItem(IWidgetToolkit widgetToolkit)
 	{
 		fTestOfflineTabItem = new CTabItem(fTabFolder, SWT.NONE );
 		fTestOfflineTabItem.setText(ANALYSIS_PROFILE_MODEL_TEST_OFFLINE);


 		ScrolledComposite scrolledComposite =
 				widgetToolkit.createScrolledComposite(fTabFolder);

 		fTestOfflinePage =
 				new OverviewTestOfflineConfigurationProfile(this.fConfigurationPage);

 		fTestOfflinePage.createControl(scrolledComposite, widgetToolkit);

 		Composite control = fTestOfflinePage.getControl();
 		if (control != null) {
 			scrolledComposite.setContent(control);
 //			scrolledComposite.setMinSize(
 //					control.computeSize(SWT.DEFAULT, SWT.DEFAULT));

 			fTestOfflineTabItem.setControl(scrolledComposite);
 		}
 	}


 	public void setVisibleProfilePage(String profile) {
 		switch ( profile ) {
 		case ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION:
 			fTabFolder.setSelection( fTransitionCoverageTabItem );
 			break;
 		case ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR:
 			fTabFolder.setSelection( fBehaviorSelectionTabItem );
 			break;
 		case ANALYSIS_PROFILE_MODEL_TEST_OFFLINE:
 			fTabFolder.setSelection( (fTestOfflineTabItem != null) ?
 					fTestOfflineTabItem : fExplorationTabItem );
 			break;

 		case ANALYSIS_PROFILE_MODEL_EXPLORATION:
 		default:
 			fTabFolder.setSelection( fExplorationTabItem );
 			break;
 		}
 	}

 	// ======================================================================================
 	//                              Miscellaneous handling
 	// ======================================================================================
 	public void handleModelFileChange() {
 		if( fModelAnalysisProfile.equals(ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION) )
 		{
 			fTransitionCoveragePage.handleModelFilePathChanged(
 					((OverviewConfigurationPage) fConfigurationPage).getModelPathText());
 		}
 	}

 	private void handleModelSelectionChange() {
 		CTabItem selectionTabItem = fTabFolder.getItem( fTabFolder.getSelectionIndex() );
 		fModelAnalysisProfile = selectionTabItem.getText();

 		for( AbstractConfigurationPage confPage : getConfigurationPages() ) {
 			confPage.handleModelAnalysisProfileSelectionChanged(fModelAnalysisProfile);
 		}

 //		getConfigurationPage().propagateGUIupdate();
 	}

 	@Override
 	public FieldEditor[] getFieldEditors() {
 		return contentFieldEdit;
 	}


 	// ======================================================================================
 	//                              Fields Value Update
 	// ======================================================================================

 	public void setDefaultFieldValues(ILaunchConfigurationWorkingCopy configuration) {
 		configuration.setAttribute(
 				ATTR_SPECIFICATION_MODEL_ANALYSIS_PROFILE,
 				ANALYSIS_PROFILE_MODEL_EXPLORATION);

 		// TRANSITION COVERAGE ANALYSIS
 //		fTransitionCoveragePage.setDefaults(configuration);

 		configuration.setAttribute(
 				ATTR_ENABLED_TRANSITION_COVERAGE_DETAILS_SELECTION, false);

 		configuration.setAttribute(
 				ATTR_TRANSITION_COVERAGE_SELECTION, new ArrayList<String>());

 		// BEHAVIOR SELECTION ANALYSIS
 //		fBehaviorSelectionPage.setDefaults(configuration);
 		configuration.setAttribute(
 				ATTR_BEHAVIOR_ANALYSIS_ELEMENT_NAME_LIST,
 				BEHAVIOR_INITIAL_SAMPLE);

 		// TEST OFFLINE // INCUBATION MODE
 		if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
 //			fTestOfflinePage.setDefaults(configuration);

 			configuration.setAttribute(
 					ATTR_TEST_OFFLINE_TRACE_FILE_LOCATION,
 					DEFAULT_TEST_OFFLINE_TRACE_FILE_LOCATION);

 			configuration.setAttribute(
 					ATTR_TEST_OFFLINE_PURPOSE_FILE_LOCATION,
 					DEFAULT_TEST_OFFLINE_PURPOSE_FILE_LOCATION);

 			configuration.setAttribute(
 					ATTR_TEST_OFFLINE_ENABLED_TRACE_CONFIGURATION, false);

 			configuration.setAttribute(
 					ATTR_TEST_OFFLINE_OBSERVABLE_SPECIFICATION,
 					DEFAULT_TEST_OFFLINE_OBSERVABLE_SPECIFICATION);

 			configuration.setAttribute(
 					ATTR_TEST_OFFLINE_CONTROLLABLE_SPECIFICATION,
 					DEFAULT_TEST_OFFLINE_CONTROLLABLE_SPECIFICATION);
 		}
 	}

 	public void initializeFieldValuesFrom(ILaunchConfiguration configuration) {
 		try {
 			fModelAnalysisProfile = configuration.getAttribute(
 					ATTR_SPECIFICATION_MODEL_ANALYSIS_PROFILE,
 					ANALYSIS_PROFILE_MODEL_EXPLORATION);

 			setVisibleProfilePage(fModelAnalysisProfile);
 		}
 		catch (CoreException e) {
 			e.printStackTrace();
 		}

 		setVisibleProfilePage( fModelAnalysisProfile );

 		fConfigurationPage.propagateGUIupdate();

 		// TRANSITION COVERAGE ANALYSIS
 		fTransitionCoveragePage.initializeFrom(configuration);

 		// BEHAVIOR SELECTION ANALYSIS
 		fBehaviorSelectionPage.initializeFrom(configuration);


 		// TEST OFFLINE // INCUBATION MODE
 		if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
 			fTestOfflinePage.initializeFrom(configuration);
 		}
 	}


 	public void applyUpdatesOnFieldValuesFrom(ILaunchConfigurationWorkingCopy configuration) {
 		configuration.setAttribute(
 				ATTR_SPECIFICATION_MODEL_ANALYSIS_PROFILE, fModelAnalysisProfile);
 		//System.err.println("+++++" + fModelAnalysisProfile);
 		// TRANSITION COVERAGE ANALYSIS
 		fTransitionCoveragePage.performApply(configuration);

 		// BEHAVIOR SELECTION ANALYSIS
 		fBehaviorSelectionPage.performApply(configuration);

 		// TEST OFFLINE // INCUBATION MODE
 		if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
 			fTestOfflinePage.performApply(configuration);
 		}
 	}

 	// ======================================================================================
 	//                              Fields Validation
 	// ======================================================================================

 	public boolean areFieldsValid(ILaunchConfiguration launchConfig) {
 		switch( fModelAnalysisProfile ) {
 		case ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR: {
 			// BEHAVIOR SELECTION ANALYSIS
 			if( ! fBehaviorSelectionPage.isValid(launchConfig) )
 			{
 				return false;
 			}

 			break;
 		}
 		case ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION: {
 			// TRANSITION COVERAGE ANALYSIS
 			if( ! fTransitionCoveragePage.isValid(launchConfig) )
 			{
 				return false;
 			}

 			break;
 		}

 		case ANALYSIS_PROFILE_MODEL_TEST_OFFLINE: {
 			// TEST OFFLINE // INCUBATION MODE
 			if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
 				if( ! fTestOfflinePage.isValid(launchConfig) )
 				{
 					return false;
 				}
 			}

 			break;
 		}

 		case ANALYSIS_PROFILE_MODEL_EXPLORATION:
 		default:
 			break;
 		}

 		return true;
 	}

 }
	/*******************************************************************************
	* Copyright (c) 2017 CEA LIST.
	*
	* All rights reserved. This program and the accompanying materials
	* are made available under the terms of the Eclipse Public License v1.0
	* which accompanies this distribution, and is available at
	* http://www.eclipse.org/legal/epl-v10.html
	*
	* Contributors:
	* Erwan Mahe (CEA LIST) erwan.mahe@cea.fr
	* - Initial API and Implementation
	*******************************************************************************/
	package org.eclipse.efm.execution.configuration.common.ui.page.overview;

	import java.util.ArrayList;

	import org.eclipse.core.runtime.CoreException;
	import org.eclipse.debug.core.ILaunchConfiguration;
	import org.eclipse.debug.core.ILaunchConfigurationWorkingCopy;
	import org.eclipse.efm.execution.configuration.common.ui.api.AbstractConfigurationPage;
	import org.eclipse.efm.execution.configuration.common.ui.api.AbstractConfigurationSection;
	import org.eclipse.efm.execution.configuration.common.ui.api.IWidgetToolkit;
	import org.eclipse.efm.execution.configuration.common.ui.editors.FieldEditor;
	import org.eclipse.swt.SWT;
	import org.eclipse.swt.custom.CTabFolder;
	import org.eclipse.swt.custom.CTabItem;
	import org.eclipse.swt.custom.ScrolledComposite;
	import org.eclipse.swt.events.SelectionEvent;
	import org.eclipse.swt.events.SelectionListener;
	import org.eclipse.swt.layout.GridData;
	import org.eclipse.swt.widgets.Composite;

	public class OverviewAnalysisProfileSection extends AbstractConfigurationSection {

	public OverviewAnalysisProfileSection(AbstractConfigurationPage configurationPage)
	{
	super(configurationPage);
	}

	private FieldEditor[] contentFieldEdit;

	protected CTabFolder fTabFolder;

	protected CTabItem fExplorationTabItem;

	protected CTabItem fTransitionCoverageTabItem;
	protected CTabItem fBehaviorSelectionTabItem;
	protected CTabItem fTestOfflineTabItem;

	public OverviewTransitionCoverageConfigurationProfile fTransitionCoveragePage;
	public OverviewBehaviorSelectionConfigurationProfile fBehaviorSelectionPage;
	public OverviewTestOfflineConfigurationProfile fTestOfflinePage;

	/////////////////////////////////////
	// ANALYSIS SELECTION
	/////////////////////////////////////

	private String fModelAnalysisProfile = ANALYSIS_PROFILE_MODEL_EXPLORATION;


	@Override
	public String getSectionTitle() {
	return "Analysis Profile";
	}

	@Override
	public String getSectionDescription() {
	return "Select and configure one profile for model analysis";
	}


	@Override
	public void requestLayout() {
	super.requestLayout();
	}

	@Override
	protected void createContent(Composite parent, IWidgetToolkit widgetToolkit)
	{
	fTabFolder = widgetToolkit.createTabFolder( parent, SWT.TOP );

	fTabFolder.setToolTipText(
	"Choice of the strategy for the symbolic execution of the model\n"
	+ "\t- Exploration: basic symbolic execution of the model\n"
	+ "\t- Transition Coverage: compute a symbolic tree which covers all transitions of the model\n"
	+ "\t- Behavior Selection: compute one or more symbolic path(s) which cover(s)\n"
	+ "\t\t\t a predefined behavior\n"
	+ "\t- TESTOFFLINE : Test Verdict Computation: Offline testing...\n");

	GridData gd = new GridData(SWT.FILL,SWT.FILL, true, true, 2, 1);
	fTabFolder.setLayoutData(gd);

	createExplorationTabItem(widgetToolkit);
	createTransitionCoverageTabItem(widgetToolkit);
	createBehaviorSelectionTabItem(widgetToolkit);

	if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
	createTestOfflineTabItem(widgetToolkit);
	} else {
	fTestOfflineTabItem = null;
	}

	fTabFolder.addSelectionListener(new SelectionListener() {
	@Override
	public void widgetSelected(SelectionEvent e) {
	handleModelSelectionChange();

	fConfigurationPage.propagateUpdateJobScheduling();
	requestLayout();
	}
	@Override
	public void widgetDefaultSelected(SelectionEvent e) {
	fConfigurationPage.propagateUpdateJobScheduling();
	requestLayout();
	}
	});
	}


	private void createExplorationTabItem(IWidgetToolkit widgetToolkit)
	{
	fExplorationTabItem = new CTabItem(fTabFolder, SWT.NONE );
	fExplorationTabItem.setText(ANALYSIS_PROFILE_MODEL_EXPLORATION);

	ScrolledComposite scrolledComposite =
	widgetToolkit.createScrolledComposite(fTabFolder);

	scrolledComposite.setContent(
	widgetToolkit.createLabel(scrolledComposite,
	"Configure Exploration limitation in Supervisor Tab", 2) );

	fExplorationTabItem.setControl(scrolledComposite);
	}

	private void createTransitionCoverageTabItem(IWidgetToolkit widgetToolkit)
	{
	fTransitionCoverageTabItem = new CTabItem(fTabFolder, SWT.NONE );
	fTransitionCoverageTabItem.setText(ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION);

	ScrolledComposite scrolledComposite =
	widgetToolkit.createScrolledComposite(fTabFolder);

	fTransitionCoveragePage =
	new OverviewTransitionCoverageConfigurationProfile(this.fConfigurationPage);

	fTransitionCoveragePage.createControl(scrolledComposite, widgetToolkit);

	Composite control = fTransitionCoveragePage.getControl();
	if (control != null) {
	scrolledComposite.setContent(control);
	// scrolledComposite.setMinSize(
	// control.computeSize(SWT.DEFAULT, SWT.DEFAULT));

	fTransitionCoverageTabItem.setControl(scrolledComposite);
	}
	}

	private void createBehaviorSelectionTabItem(IWidgetToolkit widgetToolkit)
	{
	fBehaviorSelectionTabItem = new CTabItem(fTabFolder, SWT.NONE );
	fBehaviorSelectionTabItem.setText(ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR);


	ScrolledComposite scrolledComposite =
	widgetToolkit.createScrolledComposite(fTabFolder);

	fBehaviorSelectionPage =
	new OverviewBehaviorSelectionConfigurationProfile(this.fConfigurationPage);

	fBehaviorSelectionPage.createControl(scrolledComposite, widgetToolkit);

	Composite control = fBehaviorSelectionPage.getControl();
	if (control != null) {
	scrolledComposite.setContent(control);
	// scrolledComposite.setMinSize(
	// control.computeSize(SWT.DEFAULT, SWT.DEFAULT));

	fBehaviorSelectionTabItem.setControl(scrolledComposite);
	}
	}

	private void createTestOfflineTabItem(IWidgetToolkit widgetToolkit)
	{
	fTestOfflineTabItem = new CTabItem(fTabFolder, SWT.NONE );
	fTestOfflineTabItem.setText(ANALYSIS_PROFILE_MODEL_TEST_OFFLINE);


	ScrolledComposite scrolledComposite =
	widgetToolkit.createScrolledComposite(fTabFolder);

	fTestOfflinePage =
	new OverviewTestOfflineConfigurationProfile(this.fConfigurationPage);

	fTestOfflinePage.createControl(scrolledComposite, widgetToolkit);

	Composite control = fTestOfflinePage.getControl();
	if (control != null) {
	scrolledComposite.setContent(control);
	// scrolledComposite.setMinSize(
	// control.computeSize(SWT.DEFAULT, SWT.DEFAULT));

	fTestOfflineTabItem.setControl(scrolledComposite);
	}
	}


	public void setVisibleProfilePage(String profile) {
	switch ( profile ) {
	case ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION:
	fTabFolder.setSelection( fTransitionCoverageTabItem );
	break;
	case ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR:
	fTabFolder.setSelection( fBehaviorSelectionTabItem );
	break;
	case ANALYSIS_PROFILE_MODEL_TEST_OFFLINE:
	fTabFolder.setSelection( (fTestOfflineTabItem != null) ?
	fTestOfflineTabItem : fExplorationTabItem );
	break;

	case ANALYSIS_PROFILE_MODEL_EXPLORATION:
	default:
	fTabFolder.setSelection( fExplorationTabItem );
	break;
	}
	}

	// ======================================================================================
	// Miscellaneous handling
	// ======================================================================================
	public void handleModelFileChange() {
	if( fModelAnalysisProfile.equals(ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION) )
	{
	fTransitionCoveragePage.handleModelFilePathChanged(
	((OverviewConfigurationPage) fConfigurationPage).getModelPathText());
	}
	}

	private void handleModelSelectionChange() {
	CTabItem selectionTabItem = fTabFolder.getItem( fTabFolder.getSelectionIndex() );
	fModelAnalysisProfile = selectionTabItem.getText();

	for( AbstractConfigurationPage confPage : getConfigurationPages() ) {
	confPage.handleModelAnalysisProfileSelectionChanged(fModelAnalysisProfile);
	}

	// getConfigurationPage().propagateGUIupdate();
	}

	@Override
	public FieldEditor[] getFieldEditors() {
	return contentFieldEdit;
	}


	// ======================================================================================
	// Fields Value Update
	// ======================================================================================

	public void setDefaultFieldValues(ILaunchConfigurationWorkingCopy configuration) {
	configuration.setAttribute(
	ATTR_SPECIFICATION_MODEL_ANALYSIS_PROFILE,
	ANALYSIS_PROFILE_MODEL_EXPLORATION);

	// TRANSITION COVERAGE ANALYSIS
	// fTransitionCoveragePage.setDefaults(configuration);

	configuration.setAttribute(
	ATTR_ENABLED_TRANSITION_COVERAGE_DETAILS_SELECTION, false);

	configuration.setAttribute(
	ATTR_TRANSITION_COVERAGE_SELECTION, new ArrayList<String>());

	// BEHAVIOR SELECTION ANALYSIS
	// fBehaviorSelectionPage.setDefaults(configuration);
	configuration.setAttribute(
	ATTR_BEHAVIOR_ANALYSIS_ELEMENT_NAME_LIST,
	BEHAVIOR_INITIAL_SAMPLE);

	// TEST OFFLINE // INCUBATION MODE
	if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
	// fTestOfflinePage.setDefaults(configuration);

	configuration.setAttribute(
	ATTR_TEST_OFFLINE_TRACE_FILE_LOCATION,
	DEFAULT_TEST_OFFLINE_TRACE_FILE_LOCATION);

	configuration.setAttribute(
	ATTR_TEST_OFFLINE_PURPOSE_FILE_LOCATION,
	DEFAULT_TEST_OFFLINE_PURPOSE_FILE_LOCATION);

	configuration.setAttribute(
	ATTR_TEST_OFFLINE_ENABLED_TRACE_CONFIGURATION, false);

	configuration.setAttribute(
	ATTR_TEST_OFFLINE_OBSERVABLE_SPECIFICATION,
	DEFAULT_TEST_OFFLINE_OBSERVABLE_SPECIFICATION);

	configuration.setAttribute(
	ATTR_TEST_OFFLINE_CONTROLLABLE_SPECIFICATION,
	DEFAULT_TEST_OFFLINE_CONTROLLABLE_SPECIFICATION);
	}
	}

	public void initializeFieldValuesFrom(ILaunchConfiguration configuration) {
	try {
	fModelAnalysisProfile = configuration.getAttribute(
	ATTR_SPECIFICATION_MODEL_ANALYSIS_PROFILE,
	ANALYSIS_PROFILE_MODEL_EXPLORATION);

	setVisibleProfilePage(fModelAnalysisProfile);
	}
	catch (CoreException e) {
	e.printStackTrace();
	}

	setVisibleProfilePage( fModelAnalysisProfile );

	fConfigurationPage.propagateGUIupdate();

	// TRANSITION COVERAGE ANALYSIS
	fTransitionCoveragePage.initializeFrom(configuration);

	// BEHAVIOR SELECTION ANALYSIS
	fBehaviorSelectionPage.initializeFrom(configuration);


	// TEST OFFLINE // INCUBATION MODE
	if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
	fTestOfflinePage.initializeFrom(configuration);
	}
	}


	public void applyUpdatesOnFieldValuesFrom(ILaunchConfigurationWorkingCopy configuration) {
	configuration.setAttribute(
	ATTR_SPECIFICATION_MODEL_ANALYSIS_PROFILE, fModelAnalysisProfile);
	//System.err.println("+++++" + fModelAnalysisProfile);
	// TRANSITION COVERAGE ANALYSIS
	fTransitionCoveragePage.performApply(configuration);

	// BEHAVIOR SELECTION ANALYSIS
	fBehaviorSelectionPage.performApply(configuration);

	// TEST OFFLINE // INCUBATION MODE
	if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
	fTestOfflinePage.performApply(configuration);
	}
	}

	// ======================================================================================
	// Fields Validation
	// ======================================================================================

	public boolean areFieldsValid(ILaunchConfiguration launchConfig) {
	switch( fModelAnalysisProfile ) {
	case ANALYSIS_PROFILE_MODEL_COVERAGE_BEHAVIOR: {
	// BEHAVIOR SELECTION ANALYSIS
	if( ! fBehaviorSelectionPage.isValid(launchConfig) )
	{
	return false;
	}

	break;
	}
	case ANALYSIS_PROFILE_MODEL_COVERAGE_TRANSITION: {
	// TRANSITION COVERAGE ANALYSIS
	if( ! fTransitionCoveragePage.isValid(launchConfig) )
	{
	return false;
	}

	break;
	}

	case ANALYSIS_PROFILE_MODEL_TEST_OFFLINE: {
	// TEST OFFLINE // INCUBATION MODE
	if( getConfigurationPage().isEnabledSymbexIncubationMode() ) {
	if( ! fTestOfflinePage.isValid(launchConfig) )
	{
	return false;
	}
	}

	break;
	}

	case ANALYSIS_PROFILE_MODEL_EXPLORATION:
	default:
	break;
	}

	return true;
	}

	}