examples/org.eclipse.ocl.examples.impactanalyzer/src/org/eclipse/ocl/examples/impactanalyzer/configuration/OptimizationActivation.java

/*******************************************************************************
 * Copyright (c) 2009, 2018 SAP AG 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:
 *     SAP AG - initial API and implementation
 ******************************************************************************/
package org.eclipse.ocl.examples.impactanalyzer.configuration;

import org.eclipse.ocl.examples.impactanalyzer.ImpactAnalyzer;
import org.eclipse.ocl.examples.impactanalyzer.instanceScope.InstanceScopeAnalysis;

/**
 * Call {@link #getOption()} to obtain the singleton {@link ActivationOption} object through which you can configure the behavior
 * of the {@link ImpactAnalyzer} and more specifically, the {@link InstanceScopeAnalysis} component. The different
 * options are explained in the {@link ActivationOption} documentation. Clients may also use
 * {@link #setOption(ActivationOption)} to set a new {@link ActivationOption} object specifically configured.
 * It becomes effective at the time the setter is called. It is not recommended to change the configuration
 * once an {@link ImpactAnalyzer} or {@link InstanceScopeAnalysis} object has been created and used for the
 * first time because certain up-front calculations and caching may depend on the configuration chosen.
 */
public class OptimizationActivation {
    private static final ThreadLocal<ActivationOption> activeOption = new ThreadLocal<ActivationOption>() {
        @Override
        protected ActivationOption initialValue() {
            return new ActivationOption(true, false, true, true, "All optimizations activated except \"unused\" checks");
        };
    };

    public static ActivationOption getOption() {
        return activeOption.get();
    }

    public static void setOption(ActivationOption option) {
        activeOption.set(option);
    }
}