Package org.eclipse.xsemantics.dsl.typing.validation

Class XsemanticsTypeSystemGenValidator

  • All Implemented Interfaces:
    org.eclipse.emf.ecore.EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor
    public class XsemanticsTypeSystemGenValidator
extends AbstractXsemanticsValidator

    • 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
      protected org.eclipse.xsemantics.runtime.validation.XsemanticsValidatorErrorGenerator errorGenerator  
      protected XsemanticsTypeSystemGen xsemanticsSystem  

      • 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
      protected XsemanticsTypeSystemGen getXsemanticsSystem()  

      • Methods inherited from class org.eclipse.xtext.xbase.annotations.validation.XbaseWithAnnotationsValidator

        checkAllAttributesConfigured

      • Methods inherited from class org.eclipse.xtext.xbase.validation.XbaseValidator

        addImportUnusedIssues, canonicalName, checkAssignment, checkAssignment, checkAssignment, checkAssignment, checkAssignment, checkCast, checkCasts, checkCatchClausesOrder, checkClosureParameterTypes, checkClosureParams, checkConflicts, checkConstructorArgumentsAreValid, checkDelegateConstructorIsFirst, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDeprecated, checkDuplicatedCases, checkExplicitOperationCall, checkExplicitOperationCall, checkExplicitOperationCall, checkFinalFieldInitialization, checkImports, checkIncompleteCasesOnEnum, checkInitializationRec, checkInnerExpressions, checkInstanceOf, checkInstanceOfOrder, checkIsValidConstructorArgument, checkLocalUsageOfDeclared, checkLocalUsageOfSwitchParameter, checkNoCircularConstructorCall, checkNoForwardReferences, checkNoJavaStyleTypeCasting, checkNoJavaStyleTypeCasting, checkNumberFormat, checkOperandTypesForTripleEquals, checkPrimitiveComparedToNull, checkRedundantCase, checkReferInvalidTypes, checkReferInvalidTypes, checkReferInvalidTypes, checkReturn, checkTypeArguments, checkTypeArguments, checkTypeGuards, checkTypeGuardsOrder, checkTypeGuardsOrderWithGenerics, checkTypeLiteral, checkTypeParameterConstraintIsValid, checkTypeParameterNotUsedInStaticContext, checkTypeReferenceIsNotVoid, checkTypeReferenceIsNotVoid, checkTypes, checkVariableDeclaration, checkVariableIsNotInferredAsVoid, containsTypeArgs, doCheckTypeParameterForwardReference, ensureNotPrimitiveNorWildcard, getActualType, getActualType, getActualType, getExpectedType, getExpressionHelper, getFirstLeafNode, getLogicalContainerProvider, getNameOfTypes, getNode, getReferInvalidTypeMessage, getServices, hasConstructorCallWithThis, isFinal, isHandled, isHidden, isInitialized, isInterface, isLocalClassSemantics, isLocallyUsed, isLocalType, isPrimitiveVoid, isSemicolon, isStaticContext, isTripleEqualsOperation, isValueExpectedRecursive, isXExpressionInsideBlock, memberOfTypeHierarchy, mustBeJavaStatementExpression, populateMaps, reportFieldAlreadyInitialized, reportUninitializedField, reportUninitializedField, toLightweightTypeReference, toLightweightTypeReference

      • 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

      • errorGenerator

        @Inject
protected org.eclipse.xsemantics.runtime.validation.XsemanticsValidatorErrorGenerator errorGenerator

    • Constructor Detail

      • XsemanticsTypeSystemGenValidator

        public XsemanticsTypeSystemGenValidator()