Package org.eclipse.epsilon.hutn.validation

Class AbstractFixer

java.lang.Object

org.eclipse.epsilon.hutn.validation.AbstractFixer

All Implemented Interfaces:

IEvlFixer

public abstract class AbstractFixer
extends Object
implements IEvlFixer

Constructor Summary

Constructors

Constructor	Description
AbstractFixer()

Method Summary

Modifier and Type	Method	Description
protected boolean	applyFix(UnsatisfiedConstraint constraint)	Clients should override this method if fixes are used by the validator.
void	fix(IEvlModule module)
boolean	hasChangedModel()
protected abstract ParseProblem	interpretUnsatisfiedConstraint(UnsatisfiedConstraint constraint)
void	reset()

Methods inherited from class java.lang.Object

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

Constructor Details

AbstractFixer

public AbstractFixer()

Method Details

fix

public void fix(IEvlModule module)
         throws EolRuntimeException

Specified by:

fix in interface IEvlFixer

Throws:

EolRuntimeException

reset

public void reset()

hasChangedModel

public boolean hasChangedModel()

applyFix

protected boolean applyFix(UnsatisfiedConstraint constraint)
                    throws EolRuntimeException

Clients should override this method if fixes are used by the validator. Returning true causes validation to be invoked again.

Parameters:

constraint - The unsatisifed constraint for which a fix will be applied.

Returns:

true if and only if the fix caused the model to be changed.

Throws:

EolRuntimeException

interpretUnsatisfiedConstraint

protected abstract ParseProblem interpretUnsatisfiedConstraint(UnsatisfiedConstraint constraint)