org.eclipse.emf.henshin.interpreter
Interface Engine

All Known Implementing Classes:

EngineImpl

public interface Engine

Interface for interpreter engines.

Field Summary

static String	OPTION_CHECK_DANGLING Option for general checks for dangling edges.
static String	OPTION_DETERMINISTIC Option for general deterministic engine behavior.
static String	OPTION_INJECTIVE_MATCHING Option for general injective rule matching.
static String	OPTION_INVERSE_MATCHING_ORDER Option for enabling / disabling inverse matching order.
static String	OPTION_SORT_VARIABLES Option for enabling / disabling automatic variable sorting.
static String	OPTION_WORKER_THREADS Option for setting the number of worker threads to be used.

Method Summary

Change	createChange(Rule rule, EGraph graph, Match completeMatch, Match resultMatch) Create an Change for applying a rule.
Iterable<Match>	findMatches(Rule rule, EGraph graph, Match partialMatch) Find matches for a Rule in an EGraph.
Map<String,Object>	getOptions() Get or set the options for this engine.
ScriptEngine	getScriptEngine() Get the used script engine.
void	shutdown() Shutdown this engine.

Field Detail

OPTION_INJECTIVE_MATCHING

static final String OPTION_INJECTIVE_MATCHING

Option for general injective rule matching.

See Also:

Constant Field Values

OPTION_CHECK_DANGLING

static final String OPTION_CHECK_DANGLING

Option for general checks for dangling edges.

See Also:

Constant Field Values

OPTION_DETERMINISTIC

static final String OPTION_DETERMINISTIC

Option for general deterministic engine behavior.

See Also:

Constant Field Values

OPTION_SORT_VARIABLES

static final String OPTION_SORT_VARIABLES

Option for enabling / disabling automatic variable sorting.

See Also:

Constant Field Values

OPTION_INVERSE_MATCHING_ORDER

static final String OPTION_INVERSE_MATCHING_ORDER

Option for enabling / disabling inverse matching order.

See Also:

Constant Field Values

OPTION_WORKER_THREADS

static final String OPTION_WORKER_THREADS

Option for setting the number of worker threads to be used.

See Also:

Constant Field Values

Method Detail

findMatches

Iterable<Match> findMatches(Rule rule,
                            EGraph graph,
                            Match partialMatch)

Find matches for a Rule in an EGraph.

Parameters:

rule - Rule to be matched.

graph - Graph where the match should be found.

partialMatch - Partial match (can be empty or null).

Returns:

An iterable list of matches.

createChange

Change createChange(Rule rule,
                    EGraph graph,
                    Match completeMatch,
                    Match resultMatch)

Create an Change for applying a rule.

Parameters:

rule - Rule to be applied.

graph - Graph where the rule should be applied.

completeMatch - A complete match for the rule in the graph.

resultMatch - This result match will be initialized by the engine!

Returns:

An Change object that can be used to apply the rule

getScriptEngine

ScriptEngine getScriptEngine()

Get the used script engine.

Returns:

Script engine.

getOptions

Map<String,Object> getOptions()

Get or set the options for this engine.

Returns:

Options map.

shutdown

void shutdown()

Shutdown this engine.