Package org.palladiosimulator.textual.tpcm.validation

Class TPCMValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

org.palladiosimulator.commons.stoex.validation.AbstractStoexValidator

org.palladiosimulator.commons.stoex.validation.StoexValidator

org.palladiosimulator.textual.tpcm.validation.AbstractTPCMValidator

org.palladiosimulator.textual.tpcm.validation.TPCMValidator

All Implemented Interfaces:

EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor

public class TPCMValidator
extends AbstractTPCMValidator

This class contains custom validation rules. See https://www.eclipse.org/Xtext/documentation/303_runtime_concepts.html#validation

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

EValidator.Descriptor, EValidator.PatternMatcher, EValidator.Registry, EValidator.SubstitutionLabelProvider, EValidator.ValidationDelegate

Field Summary

Fields

Modifier and Type	Field	Description
protected static LanguageSwitch<de.uka.ipd.sdq.stoex.AbstractNamedReference>	NAMED_REFERENCE_EXTRACTOR
protected static de.uka.ipd.sdq.stoex.AbstractNamedReference	VALUE_REFERENCE

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

Method Summary

Modifier and Type	Method	Description
void	checkAssemblyContextAssignmentIsExclusive(Connector connector)
void	checkCallParameterTypeIsCorrect(ParameterSpecification specification)
void	checkImportNamespaceIsValid(Import imp)
void	checkPositionalArgumentsDoNotFollowNamedArguments(SEFFCallAction callAction)
void	checkSignaturesWithoutParametersAreNotCalledWithParameters(SEFFCallAction callAction)

Methods inherited from class org.palladiosimulator.textual.tpcm.validation.AbstractTPCMValidator

getEPackages

Methods inherited from class org.palladiosimulator.commons.stoex.validation.StoexValidator

assertType, checkTypes, getIssues

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

VALUE_REFERENCE

protected static final de.uka.ipd.sdq.stoex.AbstractNamedReference VALUE_REFERENCE

NAMED_REFERENCE_EXTRACTOR

protected static final LanguageSwitch<de.uka.ipd.sdq.stoex.AbstractNamedReference> NAMED_REFERENCE_EXTRACTOR

Constructor Detail

TPCMValidator

public TPCMValidator()

Method Detail

checkSignaturesWithoutParametersAreNotCalledWithParameters

public void checkSignaturesWithoutParametersAreNotCalledWithParameters(SEFFCallAction callAction)

checkPositionalArgumentsDoNotFollowNamedArguments

public void checkPositionalArgumentsDoNotFollowNamedArguments(SEFFCallAction callAction)

checkImportNamespaceIsValid

public void checkImportNamespaceIsValid(Import imp)

checkCallParameterTypeIsCorrect

public void checkCallParameterTypeIsCorrect(ParameterSpecification specification)

checkAssemblyContextAssignmentIsExclusive

public void checkAssemblyContextAssignmentIsExclusive(Connector connector)