/******************************************************************************* | |
* 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.gtmatcher.core; | |
import org.eclipse.viatra2.gtasm.interpreter.exception.ViatraTransformationException; | |
import org.eclipse.viatra2.gtasm.interpreter.executionEnvironment.IExecutionEnvironment; | |
import org.eclipse.viatra2.gtasm.patternmatcher.PatternMatcherParameters; | |
import org.eclipse.viatra2.gtasm.patternmatcher.extension.IGTRuleMatcherFactory; | |
import org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.exceptions.GTErrorStrings; | |
import org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.exceptions.GraphTransformationException; | |
import org.eclipse.viatra2.gtasm.patternmatcher.impl.gtmatcher.internal.TraditionalGTRuleMatcher; | |
import org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.term.BasicTermHandler; | |
import org.eclipse.viatra2.gtasm.patternmatcher.impl.patternmatcher.term.TermHandler; | |
import org.eclipse.viatra2.gtasm.patternmatcher.patterns.IGTRuleMatcher; | |
import org.eclipse.viatra2.gtasmmodel.gtasm.metamodel.gt.GTRule; | |
/** | |
* Implements the IGTRuleMatcherFactory org.eclipse.viatra2.gtasm.patternmatcher.extension point for the viatra GTASM org.eclipse.viatra2.gtasm.interpreter.impl.interpreter with Local search based pattern matching | |
* @author Akos Horvath | |
* | |
*/ | |
public class LocalSearchGTRuleMatcherFactory implements IGTRuleMatcherFactory { | |
private IGTRuleMatcher construct(GTRule gtRule, IExecutionEnvironment enviroment, PatternMatcherParameters pmParams) | |
throws ViatraTransformationException { | |
if (gtRule.getPrecondition() != null) { | |
// traditional type gtRule with local search based pattern matching | |
TermHandler handler = new BasicTermHandler(enviroment); | |
return new TraditionalGTRuleMatcher(gtRule,enviroment, handler, pmParams); | |
} else { | |
enviroment.getFramework().getLogger().warning("ActionPattern type GTRule not yet supported"); | |
} | |
return null; | |
} | |
public IGTRuleMatcher getGTMatcher(IExecutionEnvironment gtEnviroment, | |
GTRule gtRule, PatternMatcherParameters mp) | |
throws ViatraTransformationException { | |
IGTRuleMatcher gtMatcher=null; | |
if (GTRuleMatchers.getInstance().containsKey(gtRule)) { | |
// We already had it precompiled | |
gtMatcher=GTRuleMatchers.getInstance().get(gtRule); | |
gtMatcher.initGTRule(gtEnviroment); | |
} else { | |
// We need to make a new gtMatcher | |
// GTRuleBuilder gtBuilder = new GTRuleBuilder(gtEnviroment.getFramework().getLogger(), gtEnviroment.getFramework().getTopmodel().getModelManager(), handlerr); | |
// gtMatcher = gtBuilder.construct(gtRule, gtEnviroment,mp); | |
gtMatcher = construct(gtRule, gtEnviroment,mp); | |
if (gtMatcher != null) { | |
GTRuleMatchers.getInstance().put(gtRule, gtMatcher); | |
} else { | |
String[] context = {gtRule.getName()}; | |
throw new GraphTransformationException(GTErrorStrings.GTRULETYPE_NOTSUPPORTED | |
,context | |
,gtRule); | |
} | |
} | |
return gtMatcher; | |
} | |
} |