Package org.palladiosimulator.simexp.dsl.smodel.validation

Class SmodelValidator

java.lang.Object

org.eclipse.xtext.validation.AbstractInjectableValidator

org.eclipse.xtext.validation.AbstractDeclarativeValidator

org.palladiosimulator.simexp.dsl.smodel.validation.AbstractSmodelValidator

org.palladiosimulator.simexp.dsl.smodel.validation.SmodelValidator

All Implemented Interfaces:

EValidator, org.eclipse.xtext.validation.ValidationMessageAcceptor

public class SmodelValidator
extends AbstractSmodelValidator

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

Method Summary

Modifier and Type	Method	Description
void	checkActionArguments(ActionArguments actionArguments)
void	checkActionCall(ActionCall actionCall)
void	checkArray(SetBounds array)
void	checkConstant(Constant constant)
void	checkExpression(Expression expression)
void	checkIfStatement(IfStatement ifStatement)
void	checkOptimizable(Optimizable variable)
void	checkRange(RangeBounds range)
void	checkSmodel(Smodel model)
void	checkVariable(Variable variable)
void	checkVariableAssignment(VariableAssignment variableAssignment)

Methods inherited from class org.palladiosimulator.simexp.dsl.smodel.validation.AbstractSmodelValidator

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

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Details

SmodelValidator

public SmodelValidator()

Method Details

checkSmodel

public void checkSmodel(Smodel model)

checkConstant

public void checkConstant(Constant constant)

checkVariable

public void checkVariable(Variable variable)

checkOptimizable

public void checkOptimizable(Optimizable variable)

checkArray

public void checkArray(SetBounds array)

checkRange

public void checkRange(RangeBounds range)

checkIfStatement

public void checkIfStatement(IfStatement ifStatement)

checkActionArguments

public void checkActionArguments(ActionArguments actionArguments)

checkActionCall

public void checkActionCall(ActionCall actionCall)

checkVariableAssignment

public void checkVariableAssignment(VariableAssignment variableAssignment)

checkExpression

public void checkExpression(Expression expression)