de.uni_hildesheim.sse.validation

Class IvmlJavaValidator

java.lang.Object

AbstractIvmlJavaValidator

de.uni_hildesheim.sse.validation.IvmlJavaValidator

public class IvmlJavaValidator
extends AbstractIvmlJavaValidator

The on-the-fly validator calling the model transformation mechanism.

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.dslCore.validation.ValidationUtils.IModelValidationCallback<VariabilityUnit,net.ssehub.easy.varModel.model.Project>	callback

Constructor Summary

Constructors

Constructor and Description
IvmlJavaValidator()

Method Summary

Modifier and Type	Method and Description
void	checkModel(VariabilityUnit unit) Checks the model on top-level element layer.

Methods inherited from class java.lang.Object

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

Field Detail

callback

private net.ssehub.easy.dslCore.validation.ValidationUtils.IModelValidationCallback<VariabilityUnit,net.ssehub.easy.varModel.model.Project> callback

Constructor Detail

IvmlJavaValidator

public IvmlJavaValidator()

Method Detail

checkModel

public void checkModel(VariabilityUnit unit)

Checks the model on top-level element layer. This method is called by dynamic dispatch.

Parameters:

unit - the variability unit to start tests with