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

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

Enclosing class:

PartialMatchReport

public class PartialMatchReport.PartialMatchInfo
extends Object

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

Constructor Summary

PartialMatchReport.PartialMatchInfo()

Method Summary

double	getCoverage()
Graph	getDelta()
Match	getMatch()
boolean	isComplete()
void	setComplete(boolean isComplete)
void	setCoverage(double coverage)
void	setDelta(Graph delta)
void	setMatch(Match match)

Methods inherited from class java.lang.Object

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

Constructor Detail

PartialMatchReport.PartialMatchInfo

public PartialMatchReport.PartialMatchInfo()

Method Detail

getCoverage

public double getCoverage()

setCoverage

public void setCoverage(double coverage)

isComplete

public boolean isComplete()

setComplete

public void setComplete(boolean isComplete)

getMatch

public Match getMatch()

setMatch

public void setMatch(Match match)

getDelta

public Graph getDelta()

setDelta

public void setDelta(Graph delta)