Package de.uni_hildesheim.sse.validation

Class IvmlJavaValidator

  • All Implemented Interfaces:
    org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
    public class IvmlJavaValidator
extends de.uni_hildesheim.sse.validation.AbstractIvmlJavaValidator
    The on-the-fly validator calling the model transformation mechanism.

    • 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 net.ssehub.easy.dslCore.validation.ValidationUtils.IModelValidationCallback<de.uni_hildesheim.sse.ivml.VariabilityUnit,​net.ssehub.easy.varModel.model.Project> 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

    • Method Summary

      All Methods Instance Methods Concrete Methods 
      Modifier and Type Method Description
      void checkModel​(de.uni_hildesheim.sse.ivml.VariabilityUnit unit)
      Checks the model on top-level element layer.

      • Methods inherited from class de.uni_hildesheim.sse.validation.AbstractIvmlJavaValidator

        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 net.ssehub.easy.dslCore.validation.ValidationUtils.IModelValidationCallback<de.uni_hildesheim.sse.ivml.VariabilityUnit,​net.ssehub.easy.varModel.model.Project> callback

    • Constructor Detail

      • IvmlJavaValidator

        public IvmlJavaValidator()

    • Method Detail

      • checkModel

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