Class ProblemValidator
java.lang.Object
org.eclipse.xtext.validation.AbstractInjectableValidator
org.eclipse.xtext.validation.AbstractDeclarativeValidator
tools.refinery.language.validation.AbstractProblemValidator
tools.refinery.language.validation.ProblemValidator
- All Implemented Interfaces:
org.eclipse.emf.ecore.EValidator
,org.eclipse.xtext.validation.ValidationMessageAcceptor
This class contains custom validation rules.
See ...
-
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
Modifier and TypeFieldDescriptionstatic final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
static final String
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
-
Method Summary
Modifier and TypeMethodDescriptionvoid
checkAssertion
(AbstractAssertion assertion) void
void
checkContainerOpposite
(ReferenceDeclaration referenceDeclaration) void
checkDiagonalParameters
(RuleDefinition ruleDefinition) void
checkImportStatement
(ImportStatement importStatement) void
checkModuleName
(Problem problem) void
checkMultiObjectAssertion
(Assertion assertion) void
void
void
checkOpposite
(ReferenceDeclaration referenceDeclaration) void
checkParameter
(Parameter parameter) void
checkPartialReference
(ReferenceDeclaration referenceDeclaration) void
checkPredicateDefinition
(PredicateDefinition predicateDefinition) void
checkPredicateSubSetting
(PredicateDefinition predicateDefinition) void
checkRangeMultiplicity
(RangeMultiplicity rangeMultiplicity) void
checkReferenceMultiplicity
(ReferenceDeclaration referenceDeclaration) void
checkReferenceSubSetting
(ReferenceDeclaration referenceDeclaration) void
checkReferenceType
(ReferenceDeclaration referenceDeclaration) void
checkRuleDefinition
(RuleDefinition ruleDefinition) void
checkRuleParameters
(RuleDefinition ruleDefinition) void
void
checkSupertypes
(ClassDeclaration classDeclaration) void
checkTypeScope
(TypeScope typeScope) void
checkUniqueDeclarations
(Problem problem) void
checkUniqueFeatures
(ClassDeclaration classDeclaration) void
checkUniqueLiterals
(EnumDeclaration enumDeclaration) protected void
checkUniqueSimpleNames
(Iterable<? extends NamedElement> namedElements) Methods inherited from class tools.refinery.language.validation.AbstractProblemValidator
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
-
Field Details
-
UNEXPECTED_MODULE_NAME_ISSUE
- See Also:
-
INVALID_IMPORT_ISSUE
- See Also:
-
SINGLETON_VARIABLE_ISSUE
- See Also:
-
NODE_CONSTANT_ISSUE
- See Also:
-
DUPLICATE_NAME_ISSUE
- See Also:
-
INVALID_MULTIPLICITY_ISSUE
- See Also:
-
ZERO_MULTIPLICITY_ISSUE
- See Also:
-
MISSING_OPPOSITE_ISSUE
- See Also:
-
INVALID_OPPOSITE_ISSUE
- See Also:
-
INVALID_SUPERTYPE_ISSUE
- See Also:
-
INVALID_REFERENCE_TYPE_ISSUE
- See Also:
-
INVALID_ARITY_ISSUE
- See Also:
-
INVALID_MODALITY_ISSUE
- See Also:
-
INVALID_PREDICATE_ISSUE
- See Also:
-
INVALID_RULE_ISSUE
- See Also:
-
INVALID_TRANSITIVE_CLOSURE_ISSUE
- See Also:
-
INVALID_SUPERSET_ISSUE
- See Also:
-
SHADOW_RELATION_ISSUE
- See Also:
-
UNSUPPORTED_ASSERTION_ISSUE
- See Also:
-
UNKNOWN_EXPRESSION_ISSUE
- See Also:
-
INVALID_ASSIGNMENT_ISSUE
- See Also:
-
TYPE_ERROR
- See Also:
-
UNUSED_PARTIAL_RELATION
- See Also:
-
UNUSED_PARAMETER
- See Also:
-
-
Constructor Details
-
ProblemValidator
public ProblemValidator()
-
-
Method Details
-
checkModuleName
-
checkImportStatement
-
checkSingletonVariable
-
checkNodeConstants
-
checkNodeAssertionArgumentConstants
-
checkUniqueDeclarations
-
checkUniqueFeatures
-
checkUniqueLiterals
-
checkUniqueSimpleNames
-
checkRangeMultiplicity
-
checkReferenceMultiplicity
-
checkOpposite
-
checkContainerOpposite
-
checkReferenceSubSetting
-
checkPartialReference
-
checkSupertypes
-
checkReferenceType
-
checkPredicateDefinition
-
checkPredicateSubSetting
-
checkParameter
-
checkDiagonalParameters
-
checkAtom
-
checkRuleDefinition
-
checkRuleParameters
-
checkAssertion
-
checkTypeScope
-
checkMultiObjectAssertion
-