org.eclipse.emf.henshin.interpreter.util
Class PartialMatchReport

java.lang.Object
  org.eclipse.emf.henshin.interpreter.util.PartialMatchReport

public class PartialMatchReport
extends Object

This class contains informations about partial matches for a given module and generates a textual report,which can be used to give the Henshin users a detailed feedback.

Nested Class Summary

class

PartialMatchReport.PartialMatchInfo Helping class containing the information about one partial match and the delta with the lhs.

Constructor Summary

PartialMatchReport(Module module, List<Match> matches)
Constructor

Method Summary

void	collectPartialMatchInfos(Rule originalRule, List<Match> matches) Method collecting the report information for the given partial matches
double	getCoverage() Method computing the coverage of a lhs by a partial match
Map<Rule,List<PartialMatchReport.PartialMatchInfo>>	getInfos()
Module	getModule()
String	getReport() The method generating a textual report.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

PartialMatchReport

public PartialMatchReport(Module module,
                          List<Match> matches)

Constructor

Method Detail

getInfos

public Map<Rule,List<PartialMatchReport.PartialMatchInfo>> getInfos()

Returns:

getModule

public Module getModule()

Returns:

getReport

public String getReport()

The method generating a textual report.

Returns:

Textual report

collectPartialMatchInfos

public void collectPartialMatchInfos(Rule originalRule,
                                     List<Match> matches)

Method collecting the report information for the given partial matches

Parameters:

originalRule - Rule to collect infos about partial matches for.

matches - Module to be used.

getCoverage

public double getCoverage()

Method computing the coverage of a lhs by a partial match

Returns:

Coverage of the module by the matches