Package de.uni_hildesheim.sse.validation

Class VilBuildLanguageJavaValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

de.uni_hildesheim.sse.vil.expressions.validation.AbstractExpressionDslJavaValidator

de.uni_hildesheim.sse.vil.expressions.validation.ExpressionDslJavaValidator

de.uni_hildesheim.sse.validation.AbstractVilBuildLanguageJavaValidator

de.uni_hildesheim.sse.validation.VilBuildLanguageJavaValidator

All Implemented Interfaces:

org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor

public class VilBuildLanguageJavaValidator
extends de.uni_hildesheim.sse.validation.AbstractVilBuildLanguageJavaValidator

Nested Class Summary

Nested classes/interfaces inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator.MethodWrapper, org.eclipse.xtext.validation.AbstractDeclarativeValidator.State, org.eclipse.xtext.validation.AbstractDeclarativeValidator.StateAccess

Nested classes/interfaces inherited from interface org.eclipse.emf.ecore.EValidator

org.eclipse.emf.ecore.EValidator.Descriptor, org.eclipse.emf.ecore.EValidator.PatternMatcher, org.eclipse.emf.ecore.EValidator.Registry, org.eclipse.emf.ecore.EValidator.SubstitutionLabelProvider, org.eclipse.emf.ecore.EValidator.ValidationDelegate

Field Summary

Fields

Modifier and Type	Field	Description
private ValidationUtils.IModelValidationCallback<de.uni_hildesheim.sse.vilBuildLanguage.ImplementationUnit,Script>	callback

Fields inherited from class org.eclipse.xtext.validation.AbstractInjectableValidator

CURRENT_LANGUAGE_NAME, ISSUE_SEVERITIES

Fields inherited from interface org.eclipse.emf.ecore.EValidator

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Fields inherited from interface org.eclipse.xtext.validation.ValidationMessageAcceptor

INSIGNIFICANT_INDEX

Constructor Summary

Constructors

Constructor	Description
VilBuildLanguageJavaValidator()

Method Summary

Modifier and Type	Method	Description
void	checkModel(de.uni_hildesheim.sse.vilBuildLanguage.ImplementationUnit unit)	Checks the model on top-level element layer.

Methods inherited from class de.uni_hildesheim.sse.validation.AbstractVilBuildLanguageJavaValidator

getEPackages

Methods inherited from class org.eclipse.xtext.validation.AbstractDeclarativeValidator

acceptError, acceptError, acceptInfo, acceptInfo, acceptWarning, acceptWarning, addIssue, addIssue, addIssue, addIssue, addIssue, addIssueToState, checkDone, checkIsFromCurrentlyCheckedResource, createDiagnostic, createDiagnostic, createMethodWrapper, error, error, error, error, error, error, error, error, getCancelIndicator, getChain, getCheckMode, getContext, getCurrentMethod, getCurrentObject, getIssueSeverities, getMessageAcceptor, guard, handleExceptionDuringValidation, info, info, info, info, info, info, info, info, internalValidate, isIgnored, newInstance, setInjector, setMessageAcceptor, toDiagnosticSeverity, warning, warning, warning, warning, warning, warning, warning, warning

Methods inherited from class org.eclipse.xtext.validation.AbstractInjectableValidator

getCurrentLanguage, isLanguageSpecific, isResponsible, register, validate, validate, validate

Methods inherited from class java.lang.Object

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

Field Detail

callback

private ValidationUtils.IModelValidationCallback<de.uni_hildesheim.sse.vilBuildLanguage.ImplementationUnit,Script> callback

Constructor Detail

VilBuildLanguageJavaValidator

public VilBuildLanguageJavaValidator()

Method Detail

checkModel

public void checkModel(de.uni_hildesheim.sse.vilBuildLanguage.ImplementationUnit 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