org.eclipse.emf.mwe2.language.validation
Class Mwe2JavaValidator

java.lang.Object
  org.eclipse.xtext.validation.AbstractInjectableValidator
      org.eclipse.xtext.validation.AbstractDeclarativeValidator
          org.eclipse.emf.mwe2.language.validation.AbstractMwe2JavaValidator
              org.eclipse.emf.mwe2.language.validation.Mwe2JavaValidator

All Implemented Interfaces:

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

public class Mwe2JavaValidator
extends AbstractMwe2JavaValidator

Author:

Sebastian Zarnekow - Initial contribution and API

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

static java.lang.String	ABSTRACT_OR_INTERFACE
static java.lang.String	DUPLICATE_LOCAL
static java.lang.String	INCOMPATIBLE_ASSIGNMENT
static java.lang.String	MISSING_DEFAULT_CONSTRUCTOR
static java.lang.String	MISSING_MANDATORY_FEATURE
static java.lang.String	UNUSED_LOCAL

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

CURRENT_LANGUAGE_NAME, ISSUE_SEVERITIES

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

INSIGNIFICANT_INDEX

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

MARKER, RELATED_URIS_ATTRIBUTE, URI_ATTRIBUTE

Constructor Summary

Mwe2JavaValidator()

Method Summary

void	checkCompatibility(Assignment assignment)
void	checkCompatibility(DeclaredProperty property)
void	checkComponentTypeIsInterfaceOrAbstract(Component component)
void	checkInstantiable(Component component)
void	checkManadatoryFeaturesAssigned(Component component)
void	checkReferables(Module referable)
java.util.Set<java.lang.String>	collectFeatureNames(Component component)
java.util.Map<java.lang.String,org.eclipse.xtext.common.types.JvmIdentifiableElement>	collectMandatoryFeatures(Component component)
java.util.Map<java.lang.String,Referrable>	collectReferablesUpTo(Component component)
protected java.util.List<org.eclipse.emf.ecore.EPackage>	getEPackages()
protected boolean	isAssignableFrom(org.eclipse.xtext.common.types.JvmType left, org.eclipse.xtext.common.types.JvmType right)
protected boolean	isAssignableFrom(org.eclipse.xtext.common.types.JvmTypeReference left, org.eclipse.xtext.common.types.JvmType right)
boolean	isMandatory(org.eclipse.xtext.common.types.JvmIdentifiableElement feature)

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, getChain, getCheckMode, getContext, getCurrentMethod, getCurrentObject, getIssueSeverities, getMessageAcceptor, guard, 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

INCOMPATIBLE_ASSIGNMENT

public static final java.lang.String INCOMPATIBLE_ASSIGNMENT

See Also:

Constant Field Values

UNUSED_LOCAL

public static final java.lang.String UNUSED_LOCAL

See Also:

Constant Field Values

DUPLICATE_LOCAL

public static final java.lang.String DUPLICATE_LOCAL

See Also:

Constant Field Values

MISSING_DEFAULT_CONSTRUCTOR

public static final java.lang.String MISSING_DEFAULT_CONSTRUCTOR

See Also:

Constant Field Values

ABSTRACT_OR_INTERFACE

public static final java.lang.String ABSTRACT_OR_INTERFACE

See Also:

Constant Field Values

MISSING_MANDATORY_FEATURE

public static final java.lang.String MISSING_MANDATORY_FEATURE

See Also:

Constant Field Values

Constructor Detail

Mwe2JavaValidator

public Mwe2JavaValidator()

Method Detail

checkCompatibility

public void checkCompatibility(Assignment assignment)

isAssignableFrom

protected boolean isAssignableFrom(org.eclipse.xtext.common.types.JvmTypeReference left,
                                   org.eclipse.xtext.common.types.JvmType right)

isAssignableFrom

protected boolean isAssignableFrom(org.eclipse.xtext.common.types.JvmType left,
                                   org.eclipse.xtext.common.types.JvmType right)

checkCompatibility

public void checkCompatibility(DeclaredProperty property)

checkReferables

public void checkReferables(Module referable)

collectFeatureNames

public java.util.Set<java.lang.String> collectFeatureNames(Component component)

checkInstantiable

public void checkInstantiable(Component component)

checkComponentTypeIsInterfaceOrAbstract

public void checkComponentTypeIsInterfaceOrAbstract(Component component)

checkManadatoryFeaturesAssigned

public void checkManadatoryFeaturesAssigned(Component component)

collectReferablesUpTo

public java.util.Map<java.lang.String,Referrable> collectReferablesUpTo(Component component)

collectMandatoryFeatures

public java.util.Map<java.lang.String,org.eclipse.xtext.common.types.JvmIdentifiableElement> collectMandatoryFeatures(Component component)

isMandatory

public boolean isMandatory(org.eclipse.xtext.common.types.JvmIdentifiableElement feature)

getEPackages

protected java.util.List<org.eclipse.emf.ecore.EPackage> getEPackages()

Overrides:

getEPackages in class AbstractMwe2JavaValidator