Package com.regnosys.rosetta.typing.validation

Class RosettaTypingCheckingValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

com.regnosys.rosetta.typing.validation.RosettaTypingAuxiliaryValidator

com.regnosys.rosetta.typing.validation.RosettaTypingValidator

com.regnosys.rosetta.typing.validation.RosettaTypingCheckingValidator

All Implemented Interfaces:

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

Direct Known Subclasses:

StandaloneRosettaTypingValidator

public class RosettaTypingCheckingValidator
extends RosettaTypingValidator

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 RosettaTypingChecking	xsemanticsSystem

Fields inherited from class com.regnosys.rosetta.typing.validation.RosettaTypingAuxiliaryValidator

errorGenerator

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

Method Summary

Modifier and Type	Method	Description
void	checkAbsentExpression(RosettaAbsentExpression e)
void	checkAddition(ArithmeticOperation op)
void	checkBodyConditionalExpression(RosettaConditionalExpression e)
void	checkChoiceOperation(ChoiceOperation e)
void	checkComparison(ComparisonOperation op)
void	checkEqualityOperation(EqualityOperation op)
void	checkExistsExpression(RosettaExistsExpression e)
void	checkIfConditionalExpression(RosettaConditionalExpression e)
void	checkLeftArithmetic(ArithmeticOperation op)
void	checkLeftComparison(ComparisonOperation op)
void	checkLeftLogical(LogicalOperation op)
void	checkListLiteral(ListLiteral e)
void	checkOneOfOperation(OneOfOperation e)
void	checkOnlyExistsExpression(RosettaOnlyExistsExpression e)
void	checkRightArithmetic(ArithmeticOperation op)
void	checkRightComparison(ComparisonOperation op)
void	checkRightLogical(LogicalOperation op)
void	checkRosettaSymbolReference(RosettaSymbolReference e)
protected RosettaTypingChecking	getXsemanticsSystem()

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, getEPackages, 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

xsemanticsSystem

@Inject
protected RosettaTypingChecking xsemanticsSystem

Constructor Details

RosettaTypingCheckingValidator

public RosettaTypingCheckingValidator()

Method Details

getXsemanticsSystem

protected RosettaTypingChecking getXsemanticsSystem()

Overrides:

getXsemanticsSystem in class RosettaTypingValidator

checkLeftArithmetic

public void checkLeftArithmetic(ArithmeticOperation op)

checkRightArithmetic

public void checkRightArithmetic(ArithmeticOperation op)

checkAddition

public void checkAddition(ArithmeticOperation op)

checkEqualityOperation

public void checkEqualityOperation(EqualityOperation op)

checkLeftLogical

public void checkLeftLogical(LogicalOperation op)

checkRightLogical

public void checkRightLogical(LogicalOperation op)

checkLeftComparison

public void checkLeftComparison(ComparisonOperation op)

checkRightComparison

public void checkRightComparison(ComparisonOperation op)

checkComparison

public void checkComparison(ComparisonOperation op)

checkIfConditionalExpression

public void checkIfConditionalExpression(RosettaConditionalExpression e)

checkBodyConditionalExpression

public void checkBodyConditionalExpression(RosettaConditionalExpression e)

checkListLiteral

public void checkListLiteral(ListLiteral e)

checkRosettaSymbolReference

public void checkRosettaSymbolReference(RosettaSymbolReference e)

checkExistsExpression

public void checkExistsExpression(RosettaExistsExpression e)

checkAbsentExpression

public void checkAbsentExpression(RosettaAbsentExpression e)

checkOnlyExistsExpression

public void checkOnlyExistsExpression(RosettaOnlyExistsExpression e)

checkOneOfOperation

public void checkOneOfOperation(OneOfOperation e)

checkChoiceOperation

public void checkChoiceOperation(ChoiceOperation e)