blob: 1831c48d7db2ec6730e7e0e95a34a58170c96b57 [file] [log] [blame]
/*******************************************************************************
* Copyright (c) 2004-2008 Akos Horvath, Gergely Varro and Daniel Varro
* 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:
* Akos Horvath, Gergely Varro - initial API and implementation
*******************************************************************************/
package org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.internal.algorithms;
import java.util.ArrayList;
import java.util.List;
import org.eclipse.viatra2.core.IModelManager;
/**
* Used to return the appropriate SearchGraphProvider (uses the alternate representation if available) for the Flattened Pattern.
* @author Akos Horvath
*
*/
public class SearchGraphFactory{
private static boolean useAlternate = false;
private static List<ISearchGraphProvider> alternateProvider = new ArrayList<ISearchGraphProvider>();
public static ISearchGraph getSearchGraph(IModelManager manager){
if( (!useAlternate) || alternateProvider.size() == 0) //use default
return new VPMBasedSearchGraph(manager);
else
return alternateProvider.get(0).getSearchGraph(manager);
}
/**
* @return the useAlternate
*/
public static boolean isUseAlternate() {
return useAlternate;
}
/**
* @param useAlternate the useAlternate to set
*/
public static void setUseAlternate(boolean useAlternate) {
SearchGraphFactory.useAlternate = useAlternate;
}
/**
* @return the alternateProvider
*/
public static List<ISearchGraphProvider> getAlternateProvider() {
return alternateProvider;
}
/**
* @param alternateProvider the alternateProvider to set
*/
public static void setAlternateProvider(
List<ISearchGraphProvider> alternateProvider) {
SearchGraphFactory.alternateProvider = alternateProvider;
}
}