Package tools.refinery.language.validation

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

public class ProblemValidator
extends AbstractProblemValidator

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

Fields

Modifier and Type	Field	Description
static final String	DUPLICATE_NAME_ISSUE
static final String	INVALID_ARITY_ISSUE
static final String	INVALID_ASSIGNMENT_ISSUE
static final String	INVALID_IMPORT_ISSUE
static final String	INVALID_MODALITY_ISSUE
static final String	INVALID_MULTIPLICITY_ISSUE
static final String	INVALID_OPPOSITE_ISSUE
static final String	INVALID_PREDICATE_ISSUE
static final String	INVALID_REFERENCE_TYPE_ISSUE
static final String	INVALID_RULE_ISSUE
static final String	INVALID_SUPERSET_ISSUE
static final String	INVALID_SUPERTYPE_ISSUE
static final String	INVALID_TRANSITIVE_CLOSURE_ISSUE
static final String	MISSING_OPPOSITE_ISSUE
static final String	NODE_CONSTANT_ISSUE
static final String	SHADOW_RELATION_ISSUE
static final String	SINGLETON_VARIABLE_ISSUE
static final String	TYPE_ERROR
static final String	UNBOUND_VARIABLE_ISSUE
static final String	UNEXPECTED_MODULE_NAME_ISSUE
static final String	UNKNOWN_EXPRESSION_ISSUE
static final String	UNSUPPORTED_ASSERTION_ISSUE
static final String	UNUSED_PARAMETER_ISSUE
static final String	ZERO_MULTIPLICITY_ISSUE

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
ProblemValidator()

Method Summary

Modifier and Type	Method	Description
void	checkAggregationExpr(AggregationExpr aggregationExpr)
void	checkAssertion(AbstractAssertion assertion)
void	checkAssertion(Assertion assertion)
void	checkAssertionActions(AssertionAction assertionAction)
void	checkAtom(Atom atom)
void	checkCase(Case match)
void	checkContainerOpposite(ReferenceDeclaration referenceDeclaration)
void	checkContainmentReferenceType(ReferenceDeclaration referenceDeclaration)
void	checkDiagonalParameters(RuleDefinition ruleDefinition)
void	checkImportStatement(ImportStatement importStatement)
void	checkLatticeExpr(LatticeBinaryExpr latticeExpr)
void	checkModalExpr(ModalExpr modalExpr)
void	checkModuleName(Problem problem)
void	checkMultiObjectAssertion(Assertion assertion)
void	checkNodeAssertionArgumentConstants(NodeAssertionArgument argument)
void	checkNodeConstants(VariableOrNodeExpr expr)
void	checkOpposite(ReferenceDeclaration referenceDeclaration)
void	checkParameter(Parameter parameter)
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	checkSingletonVariable(VariableOrNodeExpr expr)
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, getMethodsForType, guard, handleExceptionDuringValidation, info, info, info, info, info, info, info, info, initializeCheckMethods, 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 Details

UNEXPECTED_MODULE_NAME_ISSUE

public static final String UNEXPECTED_MODULE_NAME_ISSUE

See Also:

• Constant Field Values

INVALID_IMPORT_ISSUE

public static final String INVALID_IMPORT_ISSUE

See Also:

• Constant Field Values

SINGLETON_VARIABLE_ISSUE

public static final String SINGLETON_VARIABLE_ISSUE

See Also:

• Constant Field Values

UNBOUND_VARIABLE_ISSUE

public static final String UNBOUND_VARIABLE_ISSUE

See Also:

• Constant Field Values

NODE_CONSTANT_ISSUE

public static final String NODE_CONSTANT_ISSUE

See Also:

• Constant Field Values

DUPLICATE_NAME_ISSUE

public static final String DUPLICATE_NAME_ISSUE

See Also:

• Constant Field Values

INVALID_MULTIPLICITY_ISSUE

public static final String INVALID_MULTIPLICITY_ISSUE

See Also:

• Constant Field Values

ZERO_MULTIPLICITY_ISSUE

public static final String ZERO_MULTIPLICITY_ISSUE

See Also:

• Constant Field Values

MISSING_OPPOSITE_ISSUE

public static final String MISSING_OPPOSITE_ISSUE

See Also:

• Constant Field Values

INVALID_OPPOSITE_ISSUE

public static final String INVALID_OPPOSITE_ISSUE

See Also:

• Constant Field Values

INVALID_SUPERTYPE_ISSUE

public static final String INVALID_SUPERTYPE_ISSUE

See Also:

• Constant Field Values

INVALID_REFERENCE_TYPE_ISSUE

public static final String INVALID_REFERENCE_TYPE_ISSUE

See Also:

• Constant Field Values

INVALID_ARITY_ISSUE

public static final String INVALID_ARITY_ISSUE

See Also:

• Constant Field Values

INVALID_MODALITY_ISSUE

public static final String INVALID_MODALITY_ISSUE

See Also:

• Constant Field Values

INVALID_PREDICATE_ISSUE

public static final String INVALID_PREDICATE_ISSUE

See Also:

• Constant Field Values

INVALID_RULE_ISSUE

public static final String INVALID_RULE_ISSUE

See Also:

• Constant Field Values

INVALID_TRANSITIVE_CLOSURE_ISSUE

public static final String INVALID_TRANSITIVE_CLOSURE_ISSUE

See Also:

• Constant Field Values

INVALID_SUPERSET_ISSUE

public static final String INVALID_SUPERSET_ISSUE

See Also:

• Constant Field Values

SHADOW_RELATION_ISSUE

public static final String SHADOW_RELATION_ISSUE

See Also:

• Constant Field Values

UNSUPPORTED_ASSERTION_ISSUE

public static final String UNSUPPORTED_ASSERTION_ISSUE

See Also:

• Constant Field Values

UNKNOWN_EXPRESSION_ISSUE

public static final String UNKNOWN_EXPRESSION_ISSUE

See Also:

• Constant Field Values

INVALID_ASSIGNMENT_ISSUE

public static final String INVALID_ASSIGNMENT_ISSUE

See Also:

• Constant Field Values

TYPE_ERROR

public static final String TYPE_ERROR

See Also:

• Constant Field Values

UNUSED_PARAMETER_ISSUE

public static final String UNUSED_PARAMETER_ISSUE

See Also:

• Constant Field Values

Constructor Details

ProblemValidator

public ProblemValidator()

Method Details

checkModuleName

public void checkModuleName(Problem problem)

checkImportStatement

public void checkImportStatement(ImportStatement importStatement)

checkSingletonVariable

public void checkSingletonVariable(VariableOrNodeExpr expr)

checkNodeConstants

public void checkNodeConstants(VariableOrNodeExpr expr)

checkNodeAssertionArgumentConstants

public void checkNodeAssertionArgumentConstants(NodeAssertionArgument argument)

checkUniqueDeclarations

public void checkUniqueDeclarations(Problem problem)

checkUniqueFeatures

public void checkUniqueFeatures(ClassDeclaration classDeclaration)

checkUniqueLiterals

public void checkUniqueLiterals(EnumDeclaration enumDeclaration)

checkUniqueSimpleNames

protected void checkUniqueSimpleNames(Iterable<? extends NamedElement> namedElements)

checkRangeMultiplicity

public void checkRangeMultiplicity(RangeMultiplicity rangeMultiplicity)

checkReferenceMultiplicity

public void checkReferenceMultiplicity(ReferenceDeclaration referenceDeclaration)

checkOpposite

public void checkOpposite(ReferenceDeclaration referenceDeclaration)

checkContainerOpposite

public void checkContainerOpposite(ReferenceDeclaration referenceDeclaration)

checkContainmentReferenceType

public void checkContainmentReferenceType(ReferenceDeclaration referenceDeclaration)

checkReferenceSubSetting

public void checkReferenceSubSetting(ReferenceDeclaration referenceDeclaration)

checkSupertypes

public void checkSupertypes(ClassDeclaration classDeclaration)

checkReferenceType

public void checkReferenceType(ReferenceDeclaration referenceDeclaration)

checkPredicateDefinition

public void checkPredicateDefinition(PredicateDefinition predicateDefinition)

checkPredicateSubSetting

public void checkPredicateSubSetting(PredicateDefinition predicateDefinition)

checkParameter

public void checkParameter(Parameter parameter)

checkDiagonalParameters

public void checkDiagonalParameters(RuleDefinition ruleDefinition)

checkAtom

public void checkAtom(Atom atom)

checkModalExpr

public void checkModalExpr(ModalExpr modalExpr)

checkLatticeExpr

public void checkLatticeExpr(LatticeBinaryExpr latticeExpr)

checkRuleDefinition

public void checkRuleDefinition(RuleDefinition ruleDefinition)

checkRuleParameters

public void checkRuleParameters(RuleDefinition ruleDefinition)

checkAssertionActions

public void checkAssertionActions(AssertionAction assertionAction)

checkAssertion

public void checkAssertion(Assertion assertion)

checkCase

public void checkCase(Case match)

checkAggregationExpr

public void checkAggregationExpr(AggregationExpr aggregationExpr)

checkAssertion

public void checkAssertion(AbstractAssertion assertion)

checkTypeScope

public void checkTypeScope(TypeScope typeScope)

checkMultiObjectAssertion

public void checkMultiObjectAssertion(Assertion assertion)